| 2003 | SRDS | AMSD: A Dependability Roadmap for the Information Society in Europe. | Luca Simoncini |
| 2002 | EDCC | Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. | Luca Simoncini |
| 1999 | ISADS | Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures. | Luca Simoncini |
| 1998 | ISORC | Validating the Design of Dependable Systems. | Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi |
| 1996 | EDCC | Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. | Manuela Nelli, Andrea Bondavalli, Luca Simoncini |
| 1994 | EDCC | Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. | Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini |
| 1993 | ISADS | Functional paradigm for designing dependable large-scale parallel computing systems. | Andrea Bondavalli, Luca Simoncini |
| 1993 | SAFECOMP | Data Flow Control Systems: an Example of Safety Validation. | Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli |
| 1992 | SRDS | Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. | Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini |
| 1987 | SRDS | A Gracefully Degradable Algorithm for Byzantine Agreement. | Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini |
| 1984 | SRDS | A Distributed Domino-Effect free recovery Algorithm. | D. Briatico, Augusto Ciuffoletti, Luca Simoncini |
| 1975 | DAC | State of the art and trends in Design Automation in Italy. | P. Ciompi, Luca Simoncini, Marco Tomljanovich, Giorgio Valle |