Publications
Jump to navigation
Jump to search
Contents
2024
- Validation of Reinforcement Learning Agents and Safety Shields with ProB
- Generating interactive documents for domain-specific validation of formal models
- Trace preservation in B and Event-B refinements (Paper of the conference award)
2023
- Validation-Driven Development (Paper of the conference award)
- Early and Systematic Validation of Formal Models
- Validation of Formal Models by Interactive Simulation
- Validation by Abstraction and Refinement
- Modeling and Analysis of a Safety-Critical Interactive System Through Validation Obligations
2022
- Trace Refinement in B and Event-B
- Model Checking B Models via High-Level Code Generation
- Generating Domain-Specific Interactive Validation Documents
- Application of Validation Obligations to Security Concerns
2021
- Validation of Formal Models by Timed Probabilistic Simulation
- Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
- ProB2-UI: A Java-Based User Interface for ProB
- 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
