| Formal Specification and Verification of JDK’s Identity Hash Map Implementation
|
2022 |
Boer, Martin de |
| Probabilistic Model Checking of BPMN Processes at Runtime
|
2022 |
Falcone, Yliès |
| Reachability Analysis and Simulation for Hybridised Event-B Models
|
2022 |
Aït-Ameur, Yamine |
| Modeling Explanations in Autonomous Vehicles
|
2022 |
Bairy, Akhila |
| Verified Password Generation from Password Composition Policies
|
2022 |
Grilo, Miguel |
| Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games
|
2022 |
Johansen, Nicklas S. |
| A Policy Language to Capture Compliance of Data Protection Requirements
|
2022 |
Baramashetru, Chinmayi Prabhu |
| Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
|
2022 |
Farrell, Marie |
| Reusing Predicate Precision in Value Analysis
|
2022 |
Jakobs, Marie-Christine |
| A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller
|
2022 |
Sheridan, Oisín |
| Empowering the Event-B Method Using External Theories
|
2022 |
Aït-Ameur, Yamine |
| Verifying Autonomous Systems
|
2022 |
Dennis, Louise A. |
| HyperPCTL Model Checking by Probabilistic Decomposition
|
2022 |
Zaman, Eshita |
| Operation Caching and State Compression for Model Checking of High-Level Models
|
2022 |
Leuschel, Michael |
| Untangling the Graphs of Timed Automata to Decrease the Number of Clocks
|
2022 |
Saeedloei, Neda |
| Studying Users’ Willingness to Use a Formally Verified Password Manager
|
2022 |
Carreira, Carolina |
| A Dialogue Interface for Low Code Program Evolution
|
2022 |
Carvalho, Luís |
| Learning Finite State Models from Recurrent Neural Networks
|
2022 |
Muškardin, Edi |
| Certified Verification of Relational Properties
|
2022 |
Blatter, Lionel |
| Conservative Time Discretization: A Comparative Study
|
2022 |
Forets, Marcelo |
Tag hinzufügen