A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler

29th International Conference on Software Engineering (ICSE'07) ◽

10.1109/icse.2007.9 ◽

2007 ◽

Author(s):

Patrice Chalin

Keyword(s):

Dependable Systems ◽

Verifying Compiler

Download Full-text

Quantitative Analysis of UML Statechart Models of Dependable Systems

The Computer Journal ◽

10.1093/comjnl/45.3.260 ◽

2002 ◽

Vol 45 (3) ◽

pp. 260-277 ◽

Author(s):

G. Huszerl

Keyword(s):

Quantitative Analysis ◽

Dependable Systems

Download Full-text

A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-26250-1_6 ◽

2019 ◽

pp. 74-86 ◽

Author(s):

Lijun Shan ◽

Behrooz Sangchoolie ◽

Peter Folkesson ◽

Jonny Vinter ◽

Erwin Schoitsch ◽

...

Keyword(s):

Security And Privacy ◽

Dependable Systems

Download Full-text

Towards Developing Dependable Systems Suitable for Crisis Management Applications

Lecture Notes in Business Information Processing - Information Systems for Crisis Response and Management in Mediterranean Countries ◽

10.1007/978-3-319-67633-3_7 ◽

2017 ◽

pp. 77-84 ◽

Author(s):

Angeliki Zacharaki ◽

Ioannis Kostavelis ◽

Ioannis Dokas

Keyword(s):

Crisis Management ◽

Dependable Systems

Download Full-text

Statistical analysis and comparison of simulation models of highly dependable systems — An experimental study

Proceedings of the 2009 Winter Simulation Conference (WSC) ◽

10.1109/wsc.2009.5429726 ◽

2009 ◽

Author(s):

Peter Buchholz ◽

Dennis Muller

Keyword(s):

Experimental Study ◽

Statistical Analysis ◽

Simulation Models ◽

Dependable Systems

Download Full-text

Workshop on Architecting Dependable Systems (WADS 2008)

2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN) ◽

10.1109/dsn.2008.4630128 ◽

2008 ◽

Author(s):

Rogerio de Lemos ◽

Jean-Charles Fabre ◽

Cristina Gacek

Keyword(s):

Dependable Systems

Download Full-text

Dependable Systems and Platforms

Advances in Distributed Computing and Middleware - Distributed Systems for System Architects ◽

10.1007/978-1-4615-1663-7_9 ◽

2001 ◽

pp. 259-270

Author(s):

Paulo Veríssimo ◽

Luís Rodrigues

Keyword(s):

Dependable Systems

Download Full-text

Architecting Dependable Systems with Proactive Fault Management

Architecting Dependable Systems VII - Lecture Notes in Computer Science ◽

10.1007/978-3-642-17245-8_8 ◽

2010 ◽

pp. 171-200

Author(s):

Felix Salfner ◽

Miroslaw Malek

Keyword(s):

Fault Management ◽

Dependable Systems

Download Full-text

Software For Dependable Systems

Insight ◽

10.1002/inst.200811262 ◽

2008 ◽

Vol 11 (2) ◽

pp. 62-63 ◽

Author(s):

Daniel Jackson ◽

Martyn Thomas ◽

Lynette I. Millett ◽

Trace Baker

Keyword(s):

Dependable Systems

Download Full-text

The Verifying Compiler: A Grand Challenge for Computing Research

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-540-39866-0_1 ◽

2004 ◽

pp. 1-12 ◽

Author(s):

Tony Hoare

Keyword(s):

Grand Challenge ◽

Verifying Compiler

Download Full-text

A Multi-Class Mobility Model for Dynamic and Dependable Systems

2013 27th International Conference on Advanced Information Networking and Applications Workshops ◽

10.1109/waina.2013.28 ◽

2013 ◽

Author(s):

P. Bull ◽

G. Antonopoulos ◽

Lin Guan ◽

Xingang Wang ◽

Xunli Fan

Keyword(s):

Mobility Model ◽

Dependable Systems ◽

Download Full-text