| 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 |
| PALM: A Technique for Process ALgebraic Specification Mining
|
2020 |
Belluccini, Sara |
| Fast and Effective Well-Definedness Checking
|
2020 |
Leuschel, Michael |
| Synthesizing Clock-Efficient Timed Automata
|
2020 |
Saeedloei, Neda |
| Detection of Polluting Test Objectives for Dataflow Criteria
|
2020 |
Martin, Thibault |
| 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 |
| 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 |
| 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 |
Tag hinzufügen