Luca Simoncini

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