[TYPES/announce] Call for Participation: PrePost 2016
adrian.francalanza at um.edu.mt
Thu Apr 14 03:31:14 EDT 2016
Call for Participation
PrePost (Pre- and Post-Deployment Verification Techniques)
First International Workshop
(Affiliated with iFM 2016)
Reykjavik, 4 June 2016
The workshop aims to bring together researchers working in the field of computer-aided validation and verification to discuss the connections and interplay between pre- and post-deployment verification techniques. Examples of the topics covered by the workshop are the relationships between classic model checking and testing on the one hand and runtime verification and statistical model checking on the other, and between type systems that may be checked either statically or dynamically through techniques such as runtime monitoring. Relevant topics also include the synthesis of runtime adaptation and enforcement mechanisms from correctness specifications, as well as combining deductive verification with runtime verification. Contributions related to tools and applications of pre- and post-deployment verification will also be welcome.
Early registration deadline
April 22, 2016
Conference iFM 2016
June 1-3, 2016
Workshop PrePost 2016
June 4, 2016
Topics of Interest
PrePost considers work of either theoretical or applied interest, including case studies or experience reports dealing with the interplay between any of the pre- and post-verification techniques mentioned below:
Monitoring, Enforcement and Adaptation
9:00 - 10:00 Invited talk: Kim G. Larsen (Aalborg University). TBA
10:00 - 10:30 Coffee break
10:30 - 10:55 Vignir Gudmundsson, Mikael Lindvall, Luca Aceto, Johann Bergthorsson and Dharmalingam Ganesan. Model-based testing of mobile systems -- an empirical study on QuizUp Android App.
10:55 - 11:20 Nafi Diallo, Wided Ghardallou and Ali Mili. Program Repair by Stepwise Correctness Enhancement.
11:20 - 11:45 Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow and Martin Wegner. Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates.
12:00 - 13:30 Lunch
13:30 - 14:30 Invited talk: Dino Distefano (Facebook and Queen Mary, University of London, UK). TBA
14:30 - 14:50 Annalizz Vella and Adrian Francalanza. Preliminary Results Towards Contract Monitorability.
14:50 - 15:10 Oleg Sokolsky, Teng Zhang, Insup Lee and Michael McDougall. Monitoring Assumptions in Assume-Guarantee Contracts.
15:10 - 15:30 Coffee break
Luca Aceto (Reykjavik University, Iceland)
Adrian Francalanza (University of Malta, Malta)
Anna Ingolfsdottir (Reykjavik University, Iceland)
Wolfgang Ahrendt (Chalmers University of Technology, Sweden)
Maria Christakis (Microsoft Research Redmond, USA)
Matteo Cimini (Indiana University Bloomington, USA)
Rance Cleaveland (University of Maryland, USA)
Christoph Csallner (University of Texas at Arlington, USA)
Ylies Falcone (Univ. Grenoble Alpes, Inria, Laboratoire d'Informatique de Grenoble, France)
Klaus Havelund (Jet Propulsion Laboratory, California Institute of Technology, USA)
Ivan Lanese (University of Bologna, Italy)
Julien Lange (Imperial College, UK)
Martin Leucker (University of Lübeck, Germany)
Mohammadreza Mousavi (Halmstad University, Sweden)
Jorge A. Pérez (University of Groningen, The Netherlands)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce