Luca Simoncini

Publication Activity (10 Years)

Years Active: 1975-2011
Publications (10 Years): 0

Publications

Luca Simoncini
Socio-technical Complex Systems of Systems: Can We Justifiably Trust Their Resilience? Dependable and Historic Computing (2011)
Luca Simoncini
Technological and Educational Challenges of Resilient Computing. Int. J. Adapt. Resilient Auton. Syst. 1 (1) (2010)
Luca Simoncini
Resilient computing: An engineering discipline. IPDPS (2009)
Francesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, Luca Simoncini
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies. HASE (2007)
Luca Simoncini
Ambient dependability: a grand challenge. Comput. Syst. Sci. Eng. 20 (3) (2005)
Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
Architectural challenges for a dependable Information Society. IFIP Congress Topical Sessions (2004)
Luca Simoncini
AMSD: A Dependability Roadmap for the Information Society in Europe. SRDS (2003)
Luca Simoncini
Architectural Challenges for "Ambient Dependability". WORDS Fall (2003)
Luca Simoncini
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. EDCC (2002)
Andrea Bondavalli, Manuela Nelli, Luca Simoncini, Giorgio Mongardi
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. Comput. Syst. Sci. Eng. 16 (4) (2001)
Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini
Design Validation of Embedded Dependable Systems. IEEE Micro 21 (5) (2001)
F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli
Modeling and Analysis of the Behavior of GPRS Systems. WORDS (2001)
Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini
Formally Verifying Fault Tolerant System Designs. Comput. J. 43 (3) (2000)
Luca Simoncini
Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures. ISADS (1999)
Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi
Validating the Design of Dependable Systems. ISORC (1998)
Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini
Temporal analysis of data flow control systems. Autom. 34 (2) (1998)
Manuela Nelli, Andrea Bondavalli, Luca Simoncini
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. EDCC (1996)
B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini
Reachability and Timing Analysis in Data Flow Networks: A Case Study. EUROMICRO (1996)
Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini
Using Process Algebras for the Semantic Analysis of Data Flow Networks. IEICE Trans. Inf. Syst. (8) (1995)
Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC (1994)
Andrea Bondavalli, Luca Simoncini
Functional paradigm for designing dependable large-scale parallel computing systems. ISADS (1993)
Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini
From Data Flow Networks to Process Algebras. PARLE (1993)
Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli
Data Flow Control Systems: an Example of Safety Validation. SAFECOMP (1993)
Andrea Bondavalli, Luca Simoncini, Cinzia Bernardeschi
The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm. NATO ASI RTC (1992)
Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. SRDS (1992)
Luca Simoncini
Design Description Languages for the Design of Predictability Dependable Real-Time Systems. IFIP Congress (1) (1992)
Andrea Bondavalli, M. Mannocci, Fabio Tarini, P. Zini, L. Nardone, Luca Simoncini
A Performable BSM Architecture. Fault-Tolerant Computing Systems (1991)
Maurizio A. Bonuccelli, Luca Simoncini
A Fault-Tolerant Distributed Control VLSI Permutation Network. Fehlertolerierende Rechensysteme (1989)
Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini
Gracefully Degradable Algorithm for Byzantine Agreement. Comput. Syst. Sci. Eng. 3 (1) (1988)
Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini
A Gracefully Degradable Algorithm for Byzantine Agreement. SRDS (1987)
M. Scevarolli, Luca Simoncini
Reliable Multicast Protocols for a Token Ring Architecture. Fehlertolerierende Rechensysteme (1987)
Paolo Corsini, Cosimo Antonio Prete, Luca Simoncini
MuTEAM: An experience in the design of robust multiprocessor systems. Comput. Syst. Sci. Eng. 1 (1) (1985)
D. Briatico, Augusto Ciuffoletti, Luca Simoncini
A Distributed Domino-Effect free recovery Algorithm. Symposium on Reliability in Distributed Software and Database Systems (1984)
Paolo Corsini, Luca Simoncini, Lorenzo Strigini
The architecture and the fault-treatment of MuTEAM. Fehlertolerierende Rechensysteme (1984)
Luca Simoncini, F. Saheban, Arthur D. Friedman
Design of Self-Diagnosable Multiprocessor Systems with Concurrent Computation and Diagnosis. IEEE Trans. Computers 29 (6) (1980)
Arthur D. Friedman, Luca Simoncini
System-Level Fault Diagnosis. Computer 13 (3) (1980)
Luca Simoncini, Herbert Taylor
Subgraphs smaller than the girth. J. Graph Theory 4 (1) (1980)
P. Ciompi, Luca Simoncini
Analysis and Optimal Design of Self-Diagnosable Systems with Repair. IEEE Trans. Computers 28 (5) (1979)
Luca Simoncini, Arthur D. Friedman
Incomplete Fault Coverage In Modular Miltiprocessor Systems. ACM Annual Conference (1) (1978)
Arthur D. Friedman, Luca Simoncini
The Effect of LSI Technology on the Theory of Modular Computer Design. Computer 11 (7) (1978)
P. Ciompi, Luca Simoncini, Marco Tomljanovich, Giorgio Valle
State of the art and trends in Design Automation in Italy. DAC (1975)