Difference between revisions of "Publications"
Jump to navigation
Jump to search
Line 2: | Line 2: | ||
=== 2022 === | === 2022 === | ||
+ | == IVOIRE related == | ||
* [https://link.springer.com/chapter/10.1007/978-3-031-14343-4_31 Application of Validation Obligations to Security Concerns] | * [https://link.springer.com/chapter/10.1007/978-3-031-14343-4_31 Application of Validation Obligations to Security Concerns] | ||
* [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_19 Trace Refinement in B and Event-B] | * [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_19 Trace Refinement in B and Event-B] |
Revision as of 09:15, 22 November 2022
A listing of all publications made:
2022
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