| 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 |
| 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 |
| 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 |
Tag hinzufügen