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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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