13th International Conference on integrated Formal Methods (iFM 2017)

PROGRAM OVERVIEW (preliminary)

    Monday,
September 18
Tuesday,
September 19
Wednesday,
September 20
Thursday,
September 21
Friday,
September 22
08:15 - 09:00   Registration Registration Registration
iFM Opening (8:45-09:00)
Registration Registration
09:00 - 10:00   SATELLITE EVENT SESSIONS SATELLITE EVENT SESSIONS iFM Keynote I:
André Platzer
iFM Keynote II:
Jane Hillston
iFM Keynote III:
Martin Vechev
10:00 - 10:30   Coffee break Coffee break Coffee break Coffee break Coffee break
10:30 - 12:10   SATELLITE EVENT SESSIONS SATELLITE EVENT SESSIONS iFM Session I:
Cyber-physical systems
iFM Session IV:
Concurrency and distributed systems
iFM Session VII:
Verified Software
12:10 - 13:40   Lunch Lunch Lunch Lunch iFM Closing (12:10-12:20)
Lunch
13:40 - 15:20   SATELLITE EVENT SESSIONS SATELLITE EVENT SESSIONS iFM Session II:
Software Verification Tools
iFM Session V:
Program Verification Techniques
 
15:20 - 15:50   Coffee break Coffee break Coffee break Coffee break  
15:50 - 17:30   SATELLITE EVENT SESSIONS SATELLITE EVENT SESSIONS iFM Session III:
Safety-critical systems
iFM Session VI:
Formal Modeling
 
    FMICS-AVoCS Reception (18:30) Wine tasting event
(18:30, end ca. 20:30)
iFM Reception (18:30)    
      FMICS-AVoCS Social dinner (19:30)   iFM Social dinner (19:30)  


iFM Keynotes

  • remove André Platzer
    Logic & Proofs for Cyber-Physical Systems with KeYmaera X
  • remove Jane Hillston
    Integrating Inference with Stochastic Process Algebra Models
  • remove Martin Vechev
    Machine Learning for Programming

iFM Sessions

iFM Session I: Cyber-Physical Systems
iFM Session II: Software Verification Tools
iFM Session III: Safety-Critical Systems
  • remove Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser and Alexander Weigl
    Generalised Test Tables - a Practical Specification Language for Reactive Systems
  • remove Stephen Gilmore, Daniel Reijsbergen and Andrea Vandin
    Transient and Steady-State Statistical Analysis for Discrete Event Simulators
  • remove James Baxter and Ana Cavalcanti
    Algebraic Compilation of Safety-Critical Java Bytecode
  • remove Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt and Daniel Lüdtke
    Task-Node Mapping in an Arbitrary Computer Network using SMT Solver
iFM Session IV: Concurrency and distributed systems
  • remove Ludovic Henrio, Cosimo Laneve and Vincenzo Mastandrea
    Analysis of synchronisation patterns in stateful active objects
  • remove Dalay Israel de Almeida Pereira, Marcel Vinicius Medeiros Oliveira, Madiel Conserva Filho and Sarah Raquel Da Rocha Silva
    BTS: A Tool for Formal Component-based Development
  • remove Stavros Aronis, Scott Fritchie and Kostis Sagonas
    Testing and Verifying Chain Repair Methods for CORFU Using Stateless Model Checking
  • remove Wei Ji, Farn Wang and Peng Wu
    Synthesizing Coalitions for Multi-Agent Games
iFM Session V: Program Verification Techniques
  • remove Olaf Owe, Toktam Ramezanifarkhani and Elahe Fazeldehkordi
    Hoare-style Reasoning from Multiple Contracts
  • remove Dominic Steinhöfel and Nathan Wasser
    A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows
  • remove Yuting Chen and Carlo A. Furia
    Triggerless Happy: Intermediate Verification with a First-Order Prover
  • remove Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch and Mattias Ulbrich
    SemSlice: Exploiting Relational Verification for Automatic Program Slicing
iFM Session VI: Formal Modeling
  • remove Ajay Krishna, Pascal Poizat and Gwen Salaün
    VBPMN: Automated Verification of BPMN Processes
  • remove Barbara Kordy and Wojciech Widel
    How well can I secure my system?
  • remove Hao Wu
    MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams
  • remove Fahrurrozi Rahman and Juliana Küster Filipe Bowles
    Formal Verification of CNL Health Recommendations
iFM Session VII: Verified Software
  • remove Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif
    Modular Verification of Order-Preserving Write-Back Caches
  • remove Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi and Elena Pagani
    Formal verification of ARP (Address Resolution Protocol) through SMT-based model checking - A case study
  • remove Joao F. Ferreira, Saul A. Johnson, Alexandra Mendes and Phillip J. Brooke
    Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
  • remove Murat Moran and Dan Wallach
    Verification of STAR-Vote and Evaluation of FDR and ProVerif

Monday, September 18, SATELLITE EVENT SESSIONS

  • remove FMICS-AVoCS
  • remove ARVI (by invitation)
  • remove ALP4IoT
  • remove WAO

Tuesday, September 19, SATELLITE EVENT SESSIONS

Wednesday, September 20, SATELLITE EVENT SESSIONS