Luca Simoncini

Proceedings of the Dependable and Historic Computing, 2011

2010

Technological and Educational Challenges of Resilient Computing.

[BibT_eX]

[DOI]

Int. J. Adapt. Resilient Auton. Syst., 2010

2009

Resilient computing: An engineering discipline.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2007

Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies.

[BibT_eX]

[DOI]

Francesco Romani

Silvano Chiaradonna

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2005

Ambient dependability: a grand challenge.

[BibT_eX]

Comput. Syst. Sci. Eng., 2005

2004

Architectural challenges for a dependable Information Society.

[BibT_eX]

[DOI]

Silvano Chiaradonna

Proceedings of the Building the Information Society, 2004

2003

Architectural Challenges for "Ambient Dependability".

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

AMSD: A Dependability Roadmap for the Information Society in Europe.

[BibT_eX]

[DOI]

Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

2002

Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2002

2001

Design Validation of Embedded Dependable Systems.

[BibT_eX]

[DOI]

IEEE Micro, 2001

Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking.

[BibT_eX]

Comput. Syst. Sci. Eng., 2001

Modeling and Analysis of the Behavior of GPRS Systems.

[BibT_eX]

[DOI]

F. Tataranni

Stefano Porcarelli

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

2000

Formally Verifying Fault Tolerant System Designs.

[BibT_eX]

[DOI]

Alessandro Fantechi

Comput. J., 2000

1999

Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

1998

Temporal analysis of data flow control systems.

[BibT_eX]

[DOI]

Autom., 1998

Validating the Design of Dependable Systems.

[BibT_eX]

[DOI]

Alessandro Fantechi

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

1996

Reachability and Timing Analysis in Data Flow Networks: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 22rd EUROMICRO Conference '96, 1996

Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking.

[BibT_eX]

[DOI]

Manuela Nelli

Proceedings of the Dependable Computing, 1996

1995

Using Process Algebras for the Semantic Analysis of Data Flow Networks.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 1995

1994

Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study.

[BibT_eX]

[DOI]

Alessandro Fantechi

Proceedings of the Dependable Computing, 1994

1993

Data Flow Control Systems: an Example of Safety Validation.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Computer Safety, 1993

From Data Flow Networks to Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

Functional paradigm for designing dependable large-scale parallel computing systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

1992

Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations.

[BibT_eX]

[DOI]

Lorenzo Strigini

Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992

What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications?

[BibT_eX]

[DOI]

Proceedings of the Real Time Computing, 1992

The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Real Time Computing, 1992

Design Description Languages for the Design of Predictability Dependable Real-Time Systems.

[BibT_eX]

Proceedings of the Algorithms, Software, Architecture, 1992

1991

A Performable BSM Architecture.

[BibT_eX]

[DOI]

Proceedings of the Fault-Tolerant Computing Systems, Tests, Diagnosis, 1991

1989

A Fault-Tolerant Distributed Control VLSI Permutation Network.

[BibT_eX]

[DOI]

Maurizio A. Bonuccelli

Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1989

1988

Gracefully Degradable Algorithm for Byzantine Agreement.

[BibT_eX]

M. L. Guidotti

Fabrizio Grandoni

Comput. Syst. Sci. Eng., 1988

1987

Reliable Multicast Protocols for a Token Ring Architecture.

[BibT_eX]

[DOI]

M. Scevarolli

Proceedings of the Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 1987

1985

MuTEAM: An experience in the design of robust multiprocessor systems.

[BibT_eX]

Paolo Corsini

Cosimo Antonio Prete

Comput. Syst. Sci. Eng., 1985

1984

A Distributed Domino-Effect free recovery Algorithm.

[BibT_eX]

D. Briatico

Augusto Ciuffoletti

Proceedings of the Fourth Symposium on Reliability in Distributed Software and Database Systems, 1984

The architecture and the fault-treatment of MuTEAM.

[BibT_eX]

[DOI]

Paolo Corsini

Lorenzo Strigini

Proceedings of the Fehlertolerierende Rechensysteme, 1984

1980

Design of Self-Diagnosable Multiprocessor Systems with Concurrent Computation and Diagnosis.

[BibT_eX]

[DOI]

F. Saheban

IEEE Trans. Computers, 1980

Subgraphs smaller than the girth.

[BibT_eX]

[DOI]

Herbert Taylor

J. Graph Theory, 1980

System-Level Fault Diagnosis.

[BibT_eX]

[DOI]

Computer, 1980

1979

Analysis and Optimal Design of Self-Diagnosable Systems with Repair.

[BibT_eX]

[DOI]

P. Ciompi

IEEE Trans. Computers, 1979

1978

The Effect of LSI Technology on the Theory of Modular Computer Design.

[BibT_eX]

[DOI]

Computer, 1978

Incomplete Fault Coverage In Modular Miltiprocessor Systems.

[BibT_eX]

[DOI]