2007 |
30 | EE | Francesco Romani,
Silvano Chiaradonna,
Felicita Di Giandomenico,
Luca Simoncini:
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies.
HASE 2007: 305-312 |
2005 |
29 | | Luca Simoncini:
Ambient dependability: a grand challenge.
Comput. Syst. Sci. Eng. 20(3): (2005) |
2004 |
28 | | Luca Simoncini,
Felicita Di Giandomenico,
Andrea Bondavalli,
Silvano Chiaradonna:
Architectural challenges for a dependable Information Society.
IFIP Congress Topical Sessions 2004: 283-304 |
2003 |
27 | EE | Luca Simoncini:
AMSD: A Dependability Roadmap for the Information Society in Europe.
SRDS 2003: 153- |
26 | EE | Luca Simoncini:
Architectural Challenges for "Ambient Dependability".
WORDS Fall 2003: 245-249 |
2002 |
25 | EE | Luca Simoncini:
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability.
EDCC 2002: 227-233 |
2001 |
24 | EE | F. Tataranni,
Stefano Porcarelli,
Luca Simoncini,
Felicita Di Giandomenico,
Andrea Bondavalli:
Modeling and Analysis of the Behavior of GPRS Systems.
WORDS 2001: 51-58 |
23 | | Andrea Bondavalli,
Manuela Nelli,
Luca Simoncini,
Giorgio Mongardi:
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking.
Comput. Syst. Sci. Eng. 16(4): 249-261 (2001) |
22 | EE | Andrea Bondavalli,
Alessandro Fantechi,
Diego Latella,
Luca Simoncini:
Design Validation of Embedded Dependable Systems.
IEEE Micro 21(5): 52-62 (2001) |
2000 |
21 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Luca Simoncini:
Formally Verifying Fault Tolerant System Designs.
Comput. J. 43(3): 191-205 (2000) |
1999 |
20 | EE | Luca Simoncini:
Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures.
ISADS 1999: 409-410 |
1998 |
19 | EE | Cinzia Bernardeschi,
Luca Simoncini,
Alessandro Fantechi:
Validating the Design of Dependable Systems.
ISORC 1998: 364-372 |
1996 |
18 | | Andrzej Hlawiczka,
João Gabriel Silva,
Luca Simoncini:
Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings
Springer 1996 |
17 | | Manuela Nelli,
Andrea Bondavalli,
Luca Simoncini:
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking.
EDCC 1996: 93-110 |
16 | EE | B. Antal,
György Csertán,
István Majzik,
Andrea Bondavalli,
Luca Simoncini:
Reachability and Timing Analysis in Data Flow Networks: A Case Study.
EUROMICRO 1996: 193- |
1994 |
15 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Luca Simoncini:
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study.
EDCC 1994: 77-94 |
1993 |
14 | | Cinzia Bernardeschi,
Andrea Bondavalli,
Luca Simoncini:
From Data Flow Networks to Process Algebras.
PARLE 1993: 740-743 |
1992 |
13 | | Luca Simoncini:
Design Description Languages for the Design of Predictability Dependable Real-Time Systems.
IFIP Congress (1) 1992: 598 |
12 | | Andrea Bondavalli,
Lorenzo Strigini,
Luca Simoncini:
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations.
SRDS 1992: 214-221 |
1991 |
11 | | Andrea Bondavalli,
M. Mannocci,
F. Tarini,
P. Zini,
L. Nardone,
Luca Simoncini:
A Performable BSM Architecture.
Fault-Tolerant Computing Systems 1991: 332-347 |
1989 |
10 | | Maurizio A. Bonuccelli,
Luca Simoncini:
A Fault-Tolerant Distributed Control VLSI Permutation Network.
Fehlertolerierende Rechensysteme 1989: 85-99 |
1988 |
9 | | Felicita Di Giandomenico,
M. L. Guidotti,
Fabrizio Grandoni,
Luca Simoncini:
Gracefully Degradable Algorithm for Byzantine Agreement.
Comput. Syst. Sci. Eng. 3(1): 32-40 (1988) |
1987 |
8 | | M. Scevarolli,
Luca Simoncini:
Reliable Multicast Protocols for a Token Ring Architecture.
Fehlertolerierende Rechensysteme 1987: 249-262 |
7 | | Felicita Di Giandomenico,
M. L. Guidotti,
Fabrizio Grandoni,
Luca Simoncini:
A Gracefully Degradable Algorithm for Byzantine Agreement.
SRDS 1987: 188-200 |
1985 |
6 | | Paolo Corsini,
Cosimo Antonio Prete,
Luca Simoncini:
MuTEAM: An experience in the design of robust multiprocessor systems.
Comput. Syst. Sci. Eng. 1(1): 23-35 (1985) |
1984 |
5 | | Paolo Corsini,
Luca Simoncini,
Lorenzo Strigini:
The architecture and the fault-treatment of MuTEAM.
Fehlertolerierende Rechensysteme 1984: 1-13 |
4 | | D. Briatico,
Augusto Ciuffoletti,
Luca Simoncini:
A Distributed Domino-Effect free recovery Algorithm.
Symposium on Reliability in Distributed Software and Database Systems 1984: 207-215 |
1980 |
3 | | Luca Simoncini,
F. Saheban,
Arthur D. Friedman:
Design of Self-Diagnosable Multiprocessor Systems with Concurrent Computation and Diagnosis.
IEEE Trans. Computers 29(6): 540-546 (1980) |
1979 |
2 | | P. Ciompi,
Luca Simoncini:
Analysis and Optimal Design of Self-Diagnosable Systems with Repair.
IEEE Trans. Computers 28(5): 362-365 (1979) |
1978 |
1 | EE | Luca Simoncini,
Arthur D. Friedman:
Incomplete Fault Coverage In Modular Miltiprocessor Systems.
ACM Annual Conference (1) 1978: 210-216 |