IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
PROGRAM

Days: Monday, December 2nd Tuesday, December 3rd Wednesday, December 4th Thursday, December 5th Friday, December 6th

Monday, December 2nd

View this program: with abstractssession overviewtalk overview

Tuesday, December 3rd

View this program: with abstractssession overviewtalk overview

18:30-20:00 Reception

Reception in Schøtstuen (part of the Hanseatic Museum, downtown). See https://ifm2019.hvl.no/social/ for details.

Wednesday, December 4th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 5: Keynote 1
Location: Aud 1
09:00
The Digital Thread in Industry 4.0 (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 6A: Distributed Systems
Location: Aud 1
10:30
Summary of: An Evaluation of Interaction Paradigms for Active Objects (abstract)
11:00
Practical Abstractions for Automated Verification of Message Passing Concurrency (abstract)
11:30
Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning (abstract)
12:00
Dione: A protocol verification system built with Dafny for I/O Automata (abstract)
10:30-12:30 Session 6B: Testing
Location: Aud 2
10:30
Fuzzing JavaScript Environment APIs with Interdependent Function Calls (abstract)
11:00
Visualization and Abstractions for Execution Paths in Model-based Software Testing (abstract)
11:30
Asynchronous Testing of Synchronous Components in GALS Systems (abstract)
12:00
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-based Web Applications (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 7: Verification Tools & Methods
Location: Aud 1
14:00
Using Ontologies in Formal Developments Targeting Certification (abstract)
14:30
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods (abstract)
15:00
Evaluation of Program Slicing in Software Verification (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 8: Safety Critical Systems
Location: Aud 1
16:00
Summary of: Formal Specification and Verification of Autonomous Robotic Systems (abstract)
16:30
Automated Drawing of Railway Schematics using SAT and optimization (abstract)
17:00
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System (abstract)
Thursday, December 5th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 9: Keynote 2
Location: Aud 1
09:00
Deductive Verification of OCaml Libraries (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 10A: Evolving & Dynamic Systems
Location: Aud 1
10:30
Learning to reuse: Adaptive model learning for evolving systems (abstract)
11:00
Dynamic Reconfigurations in Frequency Constrained Data Flow (abstract)
11:30
Accelerating Parameter Synthesis using Semi-Algebraic Constraints (abstract)
12:00
Summary of: Dynamic Structural Operational Semantics (abstract)
10:30-12:30 Session 10B: Concurrency & Types
Location: Aud 2
10:30
Axiomatic Characterization of Trace Reachability for Concurrent Objects (abstract)
11:00
A Program Logic For Dependence Analysis (abstract)
11:30
Resource Sharing via Capability-Based Multiparty Session Types (abstract)
12:00
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 11: Saturation & Satisfiability
Location: Aud 1
14:00
Interactive Visualization of Saturation Attempts in Vampire (abstract)
14:30
SIGmA: GPU Accelerated Simplification of SAT Formulas (abstract)
15:00
An integrated approach to a combinatorial optimisation problem (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 12: Product Lines
Location: Aud 1
16:00
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts (abstract)
16:30
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems (abstract)
17:00
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints (abstract)
Friday, December 6th

View this program: with abstractssession overviewtalk overview

10:00-10:30Coffee Break
10:30-12:00 Session 14A: Refinement-Based Methods
Location: Aud 1
10:30
Relating Alternating Relations for Conformance and Refinement (abstract)
11:00
A Multi-Target Code Generator for High-Level B (abstract)
11:30
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving (abstract)
10:30-12:00 Session 14B: Probabilistic methods
Location: Aud 2
10:30
Sound Probabilistic Numerical Error Analysis (abstract)
11:00
Computing Bisimilarity Metrics for Probabilistic Timed Automata (abstract)
11:30
Ontology-Mediated Probabilistic Model Checking (abstract)
12:30-14:00Lunch Break