Luca Simoncini

Luca Simoncini: Socio-technical Complex Systems of Systems: Can We Justifiably Trust Their Resilience? Dependable and Historic Computing 2011: 486-497

Luca Simoncini: Technological and Educational Challenges of Resilient Computing. IJARAS 1(1): 41-57 (2010)

Luca Simoncini: Resilient computing: An engineering discipline. IPDPS 2009: 1

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

Luca Simoncini: Ambient dependability: a grand challenge. Comput. Syst. Sci. Eng. 20(3) (2005)

Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna: Architectural challenges for a dependable Information Society. IFIP Congress Topical Sessions 2004: 283-304

Luca Simoncini: AMSD: A Dependability Roadmap for the Information Society in Europe. SRDS 2003: 153-

Luca Simoncini: Architectural Challenges for "Ambient Dependability". WORDS Fall 2003: 245-249

Luca Simoncini: Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. EDCC 2002: 227-233

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)

Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini: Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001)

F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli: Modeling and Analysis of the Behavior of GPRS Systems. WORDS 2001: 51-58

Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formally Verifying Fault Tolerant System Designs. Comput. J. 43(3): 191-205 (2000)

Luca Simoncini: Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures. ISADS 1999: 409-410

Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini: Temporal analysis of data flow control systems. Automatica 34(2): 169-182 (1998)

Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi: Validating the Design of Dependable Systems. ISORC 1998: 364-372

Manuela Nelli, Andrea Bondavalli, Luca Simoncini: Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. EDCC 1996: 93-110

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-

Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini (Eds.): Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings. Lecture Notes in Computer Science 1150, Springer 1996, isbn 3-540-61772-8

Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini: Using Process Algebras for the Semantic Analysis of Data Flow Networks. IEICE Transactions 78-D(8): 959-968 (1995)

Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC 1994: 77-94

Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini: From Data Flow Networks to Process Algebras. PARLE 1993: 740-743

Luca Simoncini: Design Description Languages for the Design of Predictability Dependable Real-Time Systems. IFIP Congress (1) 1992: 598

Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini: Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. SRDS 1992: 214-221

Andrea Bondavalli, M. Mannocci, F. Tarini, P. Zini, L. Nardone, Luca Simoncini: A Performable BSM Architecture. Fault-Tolerant Computing Systems 1991: 332-347

Maurizio A. Bonuccelli, Luca Simoncini: A Fault-Tolerant Distributed Control VLSI Permutation Network. Fehlertolerierende Rechensysteme 1989: 85-99

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)

M. Scevarolli, Luca Simoncini: Reliable Multicast Protocols for a Token Ring Architecture. Fehlertolerierende Rechensysteme 1987: 249-262

Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini: A Gracefully Degradable Algorithm for Byzantine Agreement. SRDS 1987: 188-200

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)

Paolo Corsini, Luca Simoncini, Lorenzo Strigini: The architecture and the fault-treatment of MuTEAM. Fehlertolerierende Rechensysteme 1984: 1-13

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

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)

P. Ciompi, Luca Simoncini: Analysis and Optimal Design of Self-Diagnosable Systems with Repair. IEEE Trans. Computers 28(5): 362-365 (1979)

Luca Simoncini, Arthur D. Friedman: Incomplete Fault Coverage In Modular Miltiprocessor Systems. ACM Annual Conference (1) 1978: 210-216

P. Ciompi, Luca Simoncini, Marco Tomljanovich, Giorgio Valle: State of the art and trends in Design Automation in Italy. DAC 1975: 23-31