| 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 |
| Machine-Assisted Proofs for Institutions in Coq
|
2022 |
Reynolds, Conor |
| SNITCH: A Platform for Information Flow Control
|
2022 |
Geraldo, Eduardo |
| Simple Dependent Types for OSTRICH
|
2022 |
Parreira, Joana |
| Extending Data Flow Coverage to Test Constraint Refinements
|
2022 |
Kolchin, Alexander |
| Scalable Typestate Analysis for Low-Latency Environments
|
2022 |
Arslanagić, Alen |
| 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 |
Tag hinzufügen