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
2301984
System-level fault diagnosis
AD Friedman, F AD
1271980
Failure classification with respect to detection
A Bondavalli, L Simoncini
[1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed …, 1990
1041990
Formally verifying fault tolerant system designs
C Bernardeschi, A Fantechi, L Simoncini
The Computer Journal 43 (3), 191-205, 2000
402000
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
261981
Analysis and optimal design of self-diagnosable systems with repair
P Ciompi, L Simoncini
IEEE Computer Architecture Letters 28 (05), 362-365, 1979
261979
Functional paradigm for designing dependable large-scale parallel computing systems
A Bondavalli, L Simoncini
Proceedings ISAD 93: International Symposium on Autonomous Decentralized …, 1993
241993
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
222001
Design validation of embedded dependable systems
A Bondavalli, A Fantechi, D Latella, L Simoncini
IEEE Micro 21 (5), 52-62, 2001
172001
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
Incomplete Fault Coverage In Modular Miltiprocessor Systems
L Simoncini, AD Friedman
Proceedings of the 1978 annual conference, 210-216, 1978
151978
Resilient computing: An engineering discipline
L Simoncini
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-1, 2009
142009
The boundary graphs: An approach to the diagnosability with repair of digital systems
P Ciompi, L Simoncini
Proceedings of the 3 rd Texas Conference of Computer Systems, 931-939, 1974
131974
Formal reasoning on fault coverage of fault tolerant techniques: a case study
C Bernardeschi, A Fantechi, L Simoncini
European Dependable Computing Conference, 77-94, 1994
121994
Data Flow control systems: an example of safety validation
C Bernardeschi, L Simoncini, A Bondavalli
International Conference on Computer Safety, Reliability and Security, 9-20, 1993
121993
Design of Self-Diagnosable Minicomputers Using Bit Sliced Microprocessors
P Ciompi, L Simoncini
JOURNAL OF DESIGN AUTOMATION & FAULT-TOLERANT COMPUTING 1 (4), 363-375, 1977
101977
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
92001
Resilience assessment and dependability benchmarking: challenges of prediction
L Strigini
DSN Workshop on Resilience Assessment and Dependability Benchmarking, 2008
82008
The system can't perform the operation now. Try again later.
Articles 1–20