Publication lists from home pages:

• Viktor Kuncak

• 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