LARA Publications
Individual Publication Lists
Publication lists from home pages:
Master's Theses (Partial List)
- Philippe Suter: Non-Clausal Satisfiability Modulo Theories
- Regis Blanc: Verification of Imperative Programs in Scala
- Remi Bonnet: Well-structured Petri Nets extensions with data
- Mikaël Mayer: Complete Program Synthesis for Linear Arithmetic
- Ersoy Bayramoglu: Programming with Undo
- Sebastian Gfeller: Robust Dynamically Deployed Static Analysis for Java
- Mirco Dotta: State Exploration of Scala Actor Programs
- Gizil Oguz: Decision Tree Learning for Drools
- Ivan Kuraj: Interactive Code Generation