A Distributed Domino-Effect free recovery Algorithm. D Briatico, A Ciuffoletti, L Simoncini Symposium on Reliability in Distributed Software and Database Systems 84 …, 1984 | 234 | 1984 |
System-level fault diagnosis AD Friedman, L Simoncini Computer 13 (03), 47-53, 1980 | 150 | 1980 |
Failure classification with respect to detection A Bondavalli, L Simoncini [1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed …, 1990 | 117 | 1990 |
Formally verifying fault tolerant system designs C Bernardeschi, A Fantechi, L Simoncini The Computer Journal 43 (3), 191-205, 2000 | 38 | 2000 |
Dependability modeling and analysis of complex control systems: An application to railway interlocking M Nelli, A Bondavalli, L Simoncini European Dependable Computing Conference, 91-110, 1996 | 31 | 1996 |
Distributed diagnosis in multiprocessor systems: The MuTEAM approach P Ciompi, F Grandoni, L Simoncini IEEE Proc. 11th Int. Symposium on Fault-Tolerant Computing, 25-29, 1981 | 28 | 1981 |
Analysis and optimal design of self-diagnosable systems with repair P Ciompi, L Simoncini IEEE Transactions on Computers 28 (05), 362-365, 1979 | 27 | 1979 |
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking A Bondavalli, M Nelli, L Simoncini, G Mongardi Comput. Syst. Sci. Eng. 16 (4), 249-261, 2001 | 26 | 2001 |
Functional paradigm for designing dependable large-scale parallel computing systems A Bondavalli, L Simoncini Proceedings ISAD 93: International Symposium on Autonomous Decentralized …, 1993 | 22 | 1993 |
Resilient computing: An engineering discipline L Simoncini 2009 IEEE International Symposium on Parallel & Distributed Processing, 1-1, 2009 | 18 | 2009 |
Design validation of embedded dependable systems A Bondavalli, A Fantechi, D Latella, L Simoncini IEEE Micro 21 (5), 52-62, 2001 | 18 | 2001 |
Incomplete Fault Coverage In Modular Miltiprocessor Systems L Simoncini, AD Friedman Proceedings of the 1978 annual conference, 210-216, 1978 | 17 | 1978 |
Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies F Romani, S Chiaradonna, F Di Giandomenico, L Simoncini 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 305-312, 2007 | 16 | 2007 |
Dataflow-like languages for real-time systems: issues of computational models and notation A Bondavalli, L Strigini, L Simoncini [1992] Proceedings 11th Symposium on Reliable Distributed Systems, 214-221, 1992 | 15 | 1992 |
The boundary graphs: An approach to the diagnosability with repair of digital systems P Ciompi, L Simoncini Proc. 3rd Texas Conference on Computing Systems, Austin, 1974 | 13 | 1974 |
Formal reasoning on fault coverage of fault tolerant techniques: a case study C Bernardeschi, A Fantechi, L Simoncini Dependable Computing—EDCC-1: First European Dependable Computing Conference …, 1994 | 12 | 1994 |
Modeling and Analysis of the Behavior of GPRS Systems F Tataranni, S Porcarelli, F Di Giandomenico, A Bondavalli, L Simoncini Proceedings Sixth International Workshop on Object-Oriented Real-Time …, 2001 | 11 | 2001 |
Data Flow control systems: an example of safety validation C Bernardeschi, L Simoncini, A Bondavalli SAFECOMP’93: The 12th International Conference on Computer Safety …, 1993 | 11 | 1993 |
Structured software fault-tolerance with BSM A Bondavalli, L Simoncini 3rd. IEEE Workshop on Future Trends in Distributed Computing Systems,(Taipei …, 1992 | 10 | 1992 |
Design of Self-Diagnosable Minicomputers Using Bit Sliced Microprocessors P Ciompi, L Simoncini J. DA and FTC 1, 363-375, 1977 | 10 | 1977 |