Search the dblp DataBase
Luca Simoncini :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Luca Simoncini , Arthur D. Friedman Incomplete Fault Coverage In Modular Miltiprocessor Systems. [Citation Graph (0, 0)][DBLP ] ACM Annual Conference (1), 1978, pp:210-216 [Conf ] Cinzia Bernardeschi , Alessandro Fantechi , Luca Simoncini Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. [Citation Graph (0, 0)][DBLP ] EDCC, 1994, pp:77-94 [Conf ] Manuela Nelli , Andrea Bondavalli , Luca Simoncini Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. [Citation Graph (0, 0)][DBLP ] EDCC, 1996, pp:93-110 [Conf ] Luca Simoncini Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. [Citation Graph (0, 0)][DBLP ] EDCC, 2002, pp:227-233 [Conf ] B. Antal , György Csertán , István Majzik , Andrea Bondavalli , Luca Simoncini Reachability and Timing Analysis in Data Flow Networks: A Case Study. [Citation Graph (0, 0)][DBLP ] EUROMICRO, 1996, pp:193-0 [Conf ] Andrea Bondavalli , M. Mannocci , F. Tarini , P. Zini , L. Nardone , Luca Simoncini A Performable BSM Architecture. [Citation Graph (0, 0)][DBLP ] Fault-Tolerant Computing Systems, 1991, pp:332-347 [Conf ] Maurizio A. Bonuccelli , Luca Simoncini A Fault-Tolerant Distributed Control VLSI Permutation Network. [Citation Graph (0, 0)][DBLP ] Fehlertolerierende Rechensysteme, 1989, pp:85-99 [Conf ] Paolo Corsini , Luca Simoncini , Lorenzo Strigini The architecture and the fault-treatment of MuTEAM. [Citation Graph (0, 0)][DBLP ] Fehlertolerierende Rechensysteme, 1984, pp:1-13 [Conf ] M. Scevarolli , Luca Simoncini Reliable Multicast Protocols for a Token Ring Architecture. [Citation Graph (0, 0)][DBLP ] Fehlertolerierende Rechensysteme, 1987, pp:249-262 [Conf ] Luca Simoncini Design Description Languages for the Design of Predictability Dependable Real-Time Systems. [Citation Graph (0, 0)][DBLP ] IFIP Congress (1), 1992, pp:598- [Conf ] Luca Simoncini , Felicita Di Giandomenico , Andrea Bondavalli , Silvano Chiaradonna Architectural challenges for a dependable Information Society. [Citation Graph (0, 0)][DBLP ] IFIP Congress Topical Sessions, 2004, pp:283-304 [Conf ] Luca Simoncini Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures. [Citation Graph (0, 0)][DBLP ] ISADS, 1999, pp:409-410 [Conf ] Cinzia Bernardeschi , Luca Simoncini , Alessandro Fantechi Validating the Design of Dependable Systems. [Citation Graph (0, 0)][DBLP ] ISORC, 1998, pp:364-372 [Conf ] Cinzia Bernardeschi , Andrea Bondavalli , Luca Simoncini From Data Flow Networks to Process Algebras. [Citation Graph (0, 0)][DBLP ] PARLE, 1993, pp:740-743 [Conf ] Andrea Bondavalli , Lorenzo Strigini , Luca Simoncini Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. [Citation Graph (0, 0)][DBLP ] Symposium on Reliable Distributed Systems, 1992, pp:214-221 [Conf ] D. Briatico , Augusto Ciuffoletti , Luca Simoncini A Distributed Domino-Effect free recovery Algorithm. [Citation Graph (0, 0)][DBLP ] Symposium on Reliability in Distributed Software and Database Systems, 1984, pp:207-215 [Conf ] Felicita Di Giandomenico , M. L. Guidotti , Fabrizio Grandoni 0002 , Luca Simoncini A Gracefully Degradable Algorithm for Byzantine Agreement. [Citation Graph (0, 0)][DBLP ] SRDS, 1987, pp:188-200 [Conf ] Luca Simoncini AMSD: A Dependability Roadmap for the Information Society in Europe. [Citation Graph (0, 0)][DBLP ] SRDS, 2003, pp:153-0 [Conf ] Luca Simoncini Architectural Challenges for "Ambient Dependability". [Citation Graph (0, 0)][DBLP ] WORDS Fall, 2003, pp:245-249 [Conf ] F. Tataranni , Stefano Porcarelli , Luca Simoncini , Felicita Di Giandomenico , Andrea Bondavalli Modeling and Analysis of the Behavior of GPRS Systems. [Citation Graph (0, 0)][DBLP ] WORDS, 2001, pp:51-58 [Conf ] Cinzia Bernardeschi , Alessandro Fantechi , Luca Simoncini Formally Verifying Fault Tolerant System Designs. [Citation Graph (0, 0)][DBLP ] Comput. J., 2000, v:43, n:3, pp:191-205 [Journal ] Andrea Bondavalli , Manuela Nelli , Luca Simoncini , Giorgio Mongardi Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. [Citation Graph (0, 0)][DBLP ] Comput. Syst. Sci. Eng., 2001, v:16, n:4, pp:249-261 [Journal ] Paolo Corsini , Cosimo Antonio Prete , Luca Simoncini MuTEAM: An experience in the design of robust multiprocessor systems. [Citation Graph (0, 0)][DBLP ] Comput. Syst. Sci. Eng., 1985, v:1, n:1, pp:23-35 [Journal ] Felicita Di Giandomenico , M. L. Guidotti , Fabrizio Grandoni 0002 , Luca Simoncini Gracefully Degradable Algorithm for Byzantine Agreement. [Citation Graph (0, 0)][DBLP ] Comput. Syst. Sci. Eng., 1988, v:3, n:1, pp:32-40 [Journal ] Luca Simoncini Ambient dependability: a grand challenge. [Citation Graph (0, 0)][DBLP ] Comput. Syst. Sci. Eng., 2005, v:20, n:3, pp:- [Journal ] Andrea Bondavalli , Alessandro Fantechi , Diego Latella , Luca Simoncini Design Validation of Embedded Dependable Systems. [Citation Graph (0, 0)][DBLP ] IEEE Micro, 2001, v:21, n:5, pp:52-62 [Journal ] P. Ciompi , Luca Simoncini Analysis and Optimal Design of Self-Diagnosable Systems with Repair. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1979, v:28, n:5, pp:362-365 [Journal ] Luca Simoncini , F. Saheban , Arthur D. Friedman Design of Self-Diagnosable Multiprocessor Systems with Concurrent Computation and Diagnosis. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1980, v:29, n:6, pp:540-546 [Journal ] Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies. [Citation Graph (, )][DBLP ] Resilient computing: An engineering discipline. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.005secs