This is an old revision of the document!
LARA Publications
Individual Publication Lists
Publication lists from home pages:
LARA Reports and Partial Cumulative List
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
For publications prior to the forming of LARA in 2007, please see the individual home pages of group members.