| Specify This — Bridging Gaps Between Program Specification Paradigms
|
2022 |
Ahrendt, Wolfgang |
| Deductive Verification Based Abstraction for Software Model Checking
|
2022 |
Amilon, Jesper |
| A Hoare Logic with Regular Behavioral Specifications
|
2022 |
Ernst, Gidon |
| Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS
|
2022 |
Konnov, Igor |
| Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins
|
2022 |
Kamburjan, Eduard |
| TriCo—Triple Co-piloting of Implementation, Specification and Tests
|
2022 |
Ahrendt, Wolfgang |
| Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems
|
2022 |
Abbas, Houssam |
| Non-functional Testing of Runtime Enforcers in Android
|
2022 |
Riganelli, Oliviero |
| A Formal Model of Metacontrol in Maude
|
2022 |
Päßler, Juliane |
| Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
|
2022 |
Nayak, Satya Prakash |
| On Formal Choreographic Modelling: A Case Study in EU Business Processes
|
2022 |
Coto, Alex |
| Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty
|
2022 |
Adelt, Julius |
| Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept
|
2022 |
Dam, Khanh Huu The |
| Safe Policy Improvement in Constrained Markov Decision Processes
|
2022 |
Berducci, Luigi |
| A Thread-Safe Term Library (with a New Fast Mutual Exclusion Protocol)
|
2022 |
Groote, Jan Friso |
| On Binding in the Spatial Logics for Closure Spaces
|
2022 |
Bussi, Laura |
| X-by-Construction Meets Runtime Verification
|
2022 |
Beek, Maurice H. ter |
| Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)
|
2022 |
Huisman, Marieke |
| ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
|
2022 |
Jongmans, Sung-Shik |
| On Deductive Verification of an Industrial Concurrent Software Component with VerCors
|
2022 |
Monti, Raul E. |
Tag hinzufügen