A probabilistic extension of UML statecharts: Specification and Verification (original) (raw)
Related papers
A probabilistic extension of UML statecharts
2002
A MODEL CHECKING VERIFICATION ENVIRONMENT FOR UML STATECHARTS
Completeness and consistency analysis of UML statechart specifications
András Pataricza, István Majzik
2001
Quantitative Analysis of UML Statechart Models of Dependable Systems
The Computer Journal, 2002
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance
2008 Second International Conference on Secure System Integration and Reliability Improvement, 2008
Formal Verification of UML Statecharts with Real-Time Extensions
2002
Transforming UML ‘ Collaborating ’ Statecharts for Verification and Simulation
2002
A New approach to Detect Safety Violations in UML Statechart Models
IJCSNS, 2008
Efficient Algorithms for Verification of UML Statechart Models
Journal of Software, 2009
Towards a Formal Operational Semantics of UML Statechart Diagrams
Formal Methods for Open Object-Based Distributed Systems, 1999
The Journal of Logic and Algebraic Programming, 2002
Analyzing Robustness of UML State Machines
2006
UML models for dependability analysis of real-time systems
2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2004
A dynamic assertion-based verification platform for UML statecharts over rhapsody
2008
A FORMALIZATION OF UML STATECHARTS FOR REAL-TIME SOFTWARE MODELING
Verification of UML Statechart Models of Embedded Systems
2002
Model checking UML Statechart diagrams using JACK
Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering
Formal test-case generation for UML statecharts
… Complex Computer Systems, …, 2004
MR4UM: A framework for adding fault tolerance to UML state diagrams
Theoretical Computer Science, 2013
On the Compositional Properties of UML Statechart Diagrams
Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking
Runtime verification of statechart implementations
2005
Requirements-level semantics for UML statecharts
Formal methods for open object-based distributed …
Automatic Dependability Analysis for Supporting Design Decisions in UML
1999
Checking general safety criteria on UML statecharts
Z. Pap, András Pataricza, István Majzik
Lecture Notes in Computer Science
A probabilistic verification framework of SysML activity diagrams
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT), 2013
Automated verification techniques for probabilistic systems
2011
$$\textsf{PFL}$$: A Probabilistic Logic for Fault Trees
Springer eBooks, 2023
Extending UML towards a Useful OO-Language for Modeling Dependability Features
A QoS-oriented extension of UML statecharts
2003
Automated Dependability Analysis of UML Designs
1999