State of the art and trends in Design Automation in Italy. - P. Ciompi; Luca Simoncini; Marco Tomljanovich; Giorgio Valle (DAC, 1975)

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

The Effect of LSI Technology on the Theory of Modular Computer Design. - Arthur D. Friedman; Luca Simoncini (Computer, 1978)

Analysis and Optimal Design of Self-Diagnosable Systems with Repair. - P. Ciompi; Luca Simoncini (IEEE Trans. Computers, 1979)

System-Level Fault Diagnosis. - Arthur D. Friedman; Luca Simoncini (Computer, 1980)

Subgraphs smaller than the girth. - Luca Simoncini; Herbert Taylor (J. Graph Theory, 1980)

Design of Self-Diagnosable Multiprocessor Systems with Concurrent Computation and Diagnosis. - Luca Simoncini; F. Saheban; Arthur D. Friedman (IEEE Trans. Computers, 1980)

The architecture and the fault-treatment of MuTEAM. - Paolo Corsini; Luca Simoncini; Lorenzo Strigini (Fehlertolerierende Rechensysteme, 1984)

A Distributed Domino-Effect free recovery Algorithm. - D. Briatico; Augusto Ciuffoletti; Luca Simoncini (Symposium on Reliability in Distributed Software and Database Systems, 1984)

MuTEAM: An experience in the design of robust multiprocessor systems. - Paolo Corsini; Cosimo Antonio Prete; Luca Simoncini (Comput. Syst. Sci. Eng., 1985)

Reliable Multicast Protocols for a Token Ring Architecture. - M. Scevarolli; Luca Simoncini (Fehlertolerierende Rechensysteme, 1987)

Gracefully Degradable Algorithm for Byzantine Agreement. - Felicita Di Giandomenico; M. L. Guidotti; Fabrizio Grandoni 002; Luca Simoncini (Comput. Syst. Sci. Eng., 1988)

A Fault-Tolerant Distributed Control VLSI Permutation Network. - Maurizio A. Bonuccelli; Luca Simoncini (Fehlertolerierende Rechensysteme, 1989)

A Performable BSM Architecture. - Andrea Bondavalli; M. Mannocci; Fabio Tarini; Paolo Zini; L. Nardone; Luca Simoncini (Fault-Tolerant Computing Systems, 1991)

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

The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm. - Andrea Bondavalli; Luca Simoncini; Cinzia Bernardeschi (NATO ASI RTC, 1992)

What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? - Luca Simoncini (NATO ASI RTC, 1992)

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

Functional paradigm for designing dependable large-scale parallel computing systems. - Andrea Bondavalli; Luca Simoncini (ISADS, 1993)

From Data Flow Networks to Process Algebras. - Cinzia Bernardeschi; Andrea Bondavalli; Luca Simoncini (PARLE, 1993)

Data Flow Control Systems: an Example of Safety Validation. - Cinzia Bernardeschi; Luca Simoncini; Andrea Bondavalli (SAFECOMP, 1993)

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

Using Process Algebras for the Semantic Analysis of Data Flow Networks. - Cinzia Bernardeschi; Andrea Bondavalli; Luca Simoncini (IEICE Trans. Inf. Syst., 1995)

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

Reachability and Timing Analysis in Data Flow Networks: A Case Study. - B. Antal; György Csertán; István Majzik; Andrea Bondavalli; Luca Simoncini (EUROMICRO, 1996)

Validating the Design of Dependable Systems. - Cinzia Bernardeschi; Luca Simoncini; Alessandro Fantechi (ISORC, 1998)

Temporal analysis of data flow control systems. - Cinzia Bernardeschi; Andrea Bondavalli; György Csertán; István Majzik; Luca Simoncini (Autom., 1998)

Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures. - Luca Simoncini (ISADS, 1999)

Formally Verifying Fault Tolerant System Designs. - Cinzia Bernardeschi; Alessandro Fantechi; Luca Simoncini (Comput. J., 2000)

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

Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. - Andrea Bondavalli; Manuela Nelli; Luca Simoncini; Giorgio Mongardi (Comput. Syst. Sci. Eng., 2001)

Design Validation of Embedded Dependable Systems. - Andrea Bondavalli; Alessandro Fantechi; Diego Latella; Luca Simoncini (IEEE Micro, 2001)

Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. - Luca Simoncini (EDCC, 2002)

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

Architectural Challenges for "Ambient Dependability". - Luca Simoncini (WORDS Fall, 2003)

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

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

Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies. - Francesco Romani; Silvano Chiaradonna; Felicita Di Giandomenico; Luca Simoncini (HASE, 2007)

Resilient computing: An engineering discipline. - Luca Simoncini (IPDPS, 2009)

Technological and Educational Challenges of Resilient Computing. - Luca Simoncini (Int. J. Adapt. Resilient Auton. Syst., 2010)

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