Follow
Luca Simoncini
Luca Simoncini
Professor of Computer Engineering, University of Pisa
Verified email at isti.cnr.it
Title
Cited by
Cited by
Year
A Distributed Domino-Effect free recovery Algorithm.
D Briatico, A Ciuffoletti, L Simoncini
Symposium on Reliability in Distributed Software and Database Systems 84 …, 1984
2361984
System-level fault diagnosis
AD Friedman, L Simoncini
Computer 13 (03), 47-53, 1980
1441980
Failure classification with respect to detection
A Bondavalli, L Simoncini
[1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed …, 1990
1161990
Formally verifying fault tolerant system designs
C Bernardeschi, A Fantechi, L Simoncini
The Computer Journal 43 (3), 191-205, 2000
382000
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
311996
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
281981
Analysis and optimal design of self-diagnosable systems with repair
P Ciompi, L Simoncini
IEEE Transactions on Computers 28 (05), 362-365, 1979
271979
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
242001
Functional paradigm for designing dependable large-scale parallel computing systems
A Bondavalli, L Simoncini
Proceedings ISAD 93: International Symposium on Autonomous Decentralized …, 1993
221993
Resilient computing: An engineering discipline
L Simoncini
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-1, 2009
182009
Design validation of embedded dependable systems
A Bondavalli, A Fantechi, D Latella, L Simoncini
IEEE Micro 21 (5), 52-62, 2001
182001
Incomplete Fault Coverage In Modular Miltiprocessor Systems
L Simoncini, AD Friedman
Proceedings of the 1978 annual conference, 210-216, 1978
171978
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
162007
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
151992
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
131974
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
121994
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
112001
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
111993
Structured software fault-tolerance with BSM
A Bondavalli, L Simoncini
3rd. IEEE Workshop on Future Trends in Distributed Computing Systems,(Taipei …, 1992
101992
Design of Self-Diagnosable Minicomputers Using Bit Sliced Microprocessors
P Ciompi, L Simoncini
J. DA and FTC 1, 363-375, 1977
101977
The system can't perform the operation now. Try again later.
Articles 1–20