Lab for Automated Reasoning and Analysis LARA

Publication lists from home pages:

• Viktor Kuncak
• Ruzica Piskac
• Philippe Suter
• Hossein Hojjat
• Tihomir Gvero
• Eva Darulova
• Etienne Kneuss
• Andrej Spielmann
• Giuliano Losa

Partial List from EPFL Infoscience

• 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
• Philippe Suter: Non-Clausal Satisfiability Modulo Theories
• 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.