Difference between revisions of "Publications"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
A listing of all publications made: | A listing of all publications made: | ||
| + | |||
| + | == 2023 == | ||
| + | === IVOIRE related === | ||
| + | * [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_12 Validation by Abstraction and Refinement] | ||
| + | * [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_22 Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations] | ||
| + | * [https://link.springer.com/chapter/10.1007/978-3-031-33163-3_5 Validation of Formal Models by Interactive Simulation] | ||
| + | |||
== 2022 == | == 2022 == | ||
Revision as of 07:45, 16 May 2023
A listing of all publications made:
Contents
2023
- Validation by Abstraction and Refinement
- Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations
- Validation of Formal Models by Interactive Simulation
2022
- Application of Validation Obligations to Security Concerns
- Trace Refinement in B and Event-B
- Model Checking B Models via High-Level Code Generation
2021
- Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
- Validation of Formal Models by Timed Probabilistic Simulation
- Safe and secure cyber-physical systems
- A Literature Review of Using Machine Learning in Software Development Life Cycle Stages
- TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces
- A Conceptual Model for Mitigation of Root Causes of Uncertainty in Cyber-Physical Systems
- Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts
- Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts
- Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment
- On the effect of incompleteness to check requirement-to-method traces
