A. Aziz
K. Sanwal
V. Singhal
R. K. Brayton
1996
Verifying Continuous-Time Markov Chains
CAV '96: Proceedings of the 8th International Conference on Computer Aided Verification
1102
Springer Verlag LNCS
New Brunswick, NJ, USA
269–276
10.1007/3-540-61474-5_75
M. Ajmone Marsan
G. Chiola
1987
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987
132–145
10.1007/3-540-18086-9_23
H. Aljazzar
S. Leue
2008
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
QEST '08: Proceedings of the Fifth International Conference on the Quantitative Evaluation of Systems
IEEE Computer Science Press
189–198
10.1109/QEST.2008.40
Husain Aljazzar
Manuel Fischer
Lars Grunske
Matthias Kuntz
Florian Leitner-Fischer
Stefan Leue
2009
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
QEST '09: Proceedings of the Sixth International Conference on Quantitative Evaluation of Systems
IEEE Computer Society
Los Alamitos, CA, USA
299–308
10.1109/QEST.2009.8
Husain Aljazzar
Stefan Leue
2009
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
IEEE Transactions on Software Engineering
10.1109/TSE.2009.57
Adnan Aziz
Kumud Sanwal
Vigyan Singhal
Robert Brayton
2000
Model-Checking Continuous-Time Markov Chains
ACM Trans. Comput. Logic
1
1
162–170
10.1145/343369.343402
Christel Baier
Boudewijn Haverkort
Holger Hermanns
Joost-Pieter Katoen
2003
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
29
7
10.1109/TSE.2003.1205180
S. Bernardi
J. Merseguer
D.C. Petriu
2009
A dependability profile within MARTE
Software and Systems Modeling
1–24
10.1007/s10270-009-0128-1
H. Boudali
P. Crouzen
B.R. Haverkort
M. Kuntz
M.I.A. Stoelinga
2008
Architectural Dependability Modelling with Arcade
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
512–521
10.1109/DSN.2008.4630122
E. M. Clarke
E. A. Emerson
A. P. Sistla
1986
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems
8
2
244–263
10.1145/5397.5399
Lars Grunske
2008
Specification patterns for probabilistic quality properties
ICSE '08: Proceedings of the 30th international conference on Software engineering
ACM
New York, NY, USA
31–40
10.1145/1368088.1368094
Lars Grunske
Robert Colvin
Kirsten Winter
2007
Probabilistic Model-Checking Support for FMEA
QEST '07: Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
IEEE Computer Society
Washington, DC, USA
119–128
10.1109/QEST.2007.34
J.Y. Halpern
J. Pearl
2005
Causes and explanations: A structural-model approach. Part I: Causes
The British journal for the philosophy of science
56
4
843-–887
10.1093/bjps/axi147
A. Hinton
M. Kwiatkowska
G. Norman
D. Parker
2006
PRISM: A Tool for Automatic Verification of Probabilistic Systems
TACAS '06: Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science
Springer
441–444
10.1007/11691372_29
ITU-TS recommendation Z.120
1996
Message Sequence Chart (MSC)
David Nicolaas Jansen
2003
Extensions of statecharts : with probability, time, and stochastic timing
University of Twente
http://doc.utwente.nl/58230/
V.G. Kulkarni
1995
Modeling and analysis of stochastic systems
Chapman & Hall/CRC
Matthias Kuntz
Florian Leitner-Fischer
Stefan Leue
2011
From Probabilistic Counterexamples via Causality to Fault Trees
Technical Report
soft-11-02
Chair for Software Engineering, University of Konstanz
url = "http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-11-02.pdf",
Leslie Lamport
1978
Time, clocks, and the ordering of events in a distributed system
Commun. ACM
21
558–565
10.1145/359545.359563
D. Latella
I. Majzik
M. Massink
1999
Towards a formal operational semantics of UML statechart diagrams
IFIP TC6/WG6
1
Citeseer
331–347
Florian Leitner-Fischer
2010
Quantitative Safety Analysis of UML Models
University of Konstanz
http://kops.ub.uni-konstanz.de/volltexte/2010/12520/
I. Majzik
A. Pataricza
A. Bondavalli
2003
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
219–244
10.1007/3-540-45177-3_10
Object Management Group
2007
XML Metadata Interchange (XMI), v2.1.1
http://www.omg.org/technology/documents/formal/xmi.htm
Object Management Group
2008
UML Profile for Modeling and Analysis of Real Time Embedded Systems
http://www.omgmarte.org/
Object Management Group
2010
Object Constraint Language (OCL), v2.2
http://www.omg.org/spec/OCL/2.2/
Object Management Group
2010
SysML. Specification v1.2
http://www.sysml.org
Object Management Group
2010
Unified Modeling Language. Specification v2.3
http://www.uml.org
U.S. Nuclear Regulatory Commission
1981
Fault Tree Handbook
NUREG-0492