Research Track session

Formal Analysis
June 4th, Wednesday, 2:00 - 4:00 pm
Session Chair: Vittorio Cortellessa
Room: MR 1.01 & MR 1.02

2:00 - 2:30 Mining Behavior Models from User-Intensive Web Applications
Carlo Ghezzi, Mauro Pezzè, Michele Sama, and Giordano Tamburrelli
Politecnico di Milano, Italy; University of Lugano, Switzerland; Touchtype, UK
2:30 - 3:00 Reviser: Efficiently Updating IDE-/IFDS-Based Data-Flow Analyses in Response to Incremental Program Changes
Steven Arzt and Eric Bodden
TU Darmstadt, Germany; Fraunhofer SIT, Germany
3:00 - 3:30 Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees
Antonio Filieri, Henry Hoffmann, and Martina Maggio
University of Stuttgart, Germany; University of Chicago, USA; Lund University, Sweden
3:30 - 4:00 Perturbation Analysis of Stochastic Systems with Empirical Distribution Parameters
Guoxin Su and David S. Rosenblum
National University of Singapore, Singapore