| Grey-Box Learning of Register Automata
|
2020 |
Garhewal, Bharat |
| Automatic Generation of Guard-Stable Floating-Point Code
|
2020 |
Feliu,, Laura Titolo, Mariano Moscato, Marco A. |
| Tight Error Analysis in Fixed-Point Arithmetic
|
2020 |
Simic, Stella |
| Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem
|
2020 |
Jacquet, Stéphane |
| Chain of Events: Modular Process Models for the Law
|
2020 |
Debois, Seren |
| Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning
|
2020 |
Kazemi, Milad |
| An Event-B Based Generic Framework for Hybrid Systems Formal Modelling
|
2020 |
Dupont, Guillaume |
| Towards Generating SPARK from Event-B Models
|
2020 |
Sritharan, Sanjeevan |
| Formal Methods for GPGPU Programming: Is the Demand Met?
|
2020 |
Haak, Lars B. van den |
| Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch
|
2020 |
Bodenmüller, Stefan |
| Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion
|
2020 |
Putter, Sander de |
| Meeduse: A Tool to Build and Run Proved DSLs
|
2020 |
Idani, Akram |
| Clustering-Guided SMT(LRA) Learning
|
2020 |
Meywerk, Tim |
| Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs
|
2020 |
Mues, Malte |
| History-Based Specification and Verification of Java Collections in KeY
|
2020 |
Hiep, Hans-Dieter A. |
| A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms
|
2020 |
Safari, Mohsen |
| Philosophers May Dine - Definitively!
|
2020 |
Taha, Safouan |
| Algebra-Based Loop Synthesis
|
2020 |
Humenberger, Andreas |
| Active Objects with Deterministic Behaviour
|
2020 |
Henrio, Ludovic |
| Formal Verification Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata
|
2020 |
Brunner, Julian |
Tag hinzufügen