 | 2009 |
|---|
| 31 |       | Luca Simoncini:
Resilient computing: An engineering discipline.
IPDPS 2009: 1 |
| 2007 |
|---|
| 30 | | 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 | | Luca Simoncini:
AMSD: A Dependability Roadmap for the Information Society in Europe.
SRDS 2003: 153- |
| 26 | | Luca Simoncini:
Architectural Challenges for "Ambient Dependability".
WORDS Fall 2003: 245-249 |
| 2002 |
|---|
| 25 | | Luca Simoncini:
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability.
EDCC 2002: 227-233 |
| 2001 |
|---|
| 24 | | 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 | | 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 | | Luca Simoncini:
Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures.
ISADS 1999: 409-410 |
| 1998 |
|---|
| 19 | | 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 | | 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 | | Luca Simoncini,
Arthur D. Friedman:
Incomplete Fault Coverage In Modular Miltiprocessor Systems.
ACM Annual Conference (1) 1978: 210-216 |
