IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS

A
Artho, Cyrille Valentin	Visualization and Abstractions for Execution Paths in Model-based Software Testing
B
Benes, Nikola	Accelerating Parameter Synthesis using Semi-Algebraic Constraints
Benoit, Tuur	Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
Brim, Lubos	Accelerating Parameter Synthesis using Semi-Algebraic Constraints
Brucker, Achim D.	Using Ontologies in Formal Developments Targeting Certification
Bubel, Richard	A Program Logic For Dependence Analysis
C
Camilli, Matteo	HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-based Web Applications
Caminati, Marco B.	An integrated approach to a combinatorial optimisation problem
Chalupa, Marek	Evaluation of Program Slicing in Software Verification
Claessen, Koen	Automated Drawing of Railway Schematics using SAT and optimization
Coullon, Helene	Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning
D
Damasceno, Carlos Diego	Learning to reuse: Adaptive model learning for evolving systems
Damiani, Ferruccio	Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
Dardha, Ornela	Resource Sharing via Capability-Based Multiparty Session Types
Darulova, Eva	Sound Probabilistic Numerical Error Analysis
de Boer, Frank	Axiomatic Characterization of Trace Reachability for Concurrent Objects
Dennis, Louise	Summary of: Formal Specification and Verification of Autonomous Robotic Systems
Dixon, Clare	Summary of: Formal Specification and Verification of Autonomous Robotic Systems
Dubrulle, Paul	Dynamic Reconfigurations in Frequency Constrained Data Flow
Dubslaff, Clemens	Ontology-Mediated Probabilistic Model Checking
F
Farrell, Marie	Summary of: Formal Specification and Verification of Autonomous Robotic Systems
Filliatre, Jean-Christophe	Deductive Verification of OCaml Libraries
Fisher, Michael	Summary of: Formal Specification and Verification of Autonomous Robotic Systems
Foster, Simon	Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
G
Gargantini, Angelo	HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-based Web Applications
Gaston, Christophe	Dynamic Reconfigurations in Frequency Constrained Data Flow
Gay, Simon	Resource Sharing via Capability-Based Multiparty Session Types
Geletka, Martin	Accelerating Parameter Synthesis using Semi-Algebraic Constraints
Gleirscher, Mario	Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
Gleiss, Bernhard	Interactive Visualization of Saturation Attempts in Vampire
Gnesi, Stefania	Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
H
Heydari Tabar, Asmae	A Program Logic For Dependence Analysis
Hiep, Hans-Dieter	Axiomatic Characterization of Trace Reachability for Concurrent Objects
Hodován, Renáta	Fuzzing JavaScript Environment APIs with Interdependent Function Calls
Hsieh, Chiao	Dione: A protocol verification system built with Dafny for I/O Automata
Huisman, Marieke	Practical Abstractions for Automated Verification of Message Passing Concurrency Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System
Hähnle, Reiner	A Program Logic For Dependence Analysis
J
Jacobs, Bart	Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
Janssen, Ramon	Relating Alternating Relations for Conformance and Refinement
Jard, Claude	Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning
Johansen, Christian	Summary of: Dynamic Structural Operational Semantics Automated Drawing of Railway Schematics using SAT and optimization
K
Karami, Farzane	Summary of: An Evaluation of Interaction Paradigms for Active Objects
Kelly, Tim	Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
Kiss, Ákos	Fuzzing JavaScript Environment APIs with Interdependent Function Calls
Koerner, Philipp	A Multi-Target Code Generator for High-Level B
Koopmann, Patrick	Ontology-Mediated Probabilistic Model Checking
Kosmatov, Nikolai	Dynamic Reconfigurations in Frequency Constrained Data Flow
Kovacs, Laura	Interactive Visualization of Saturation Attempts in Vampire
Krings, Sebastian	Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
Kristensen, Lars Michael	Visualization and Abstractions for Execution Paths in Model-based Software Testing
Küster Filipe Bowles, Juliana	An integrated approach to a combinatorial optimisation problem
L
Lanotte, Ruggero	Computing Bisimilarity Metrics for Probabilistic Timed Automata
Lapitre, Arnault	Dynamic Reconfigurations in Frequency Constrained Data Flow
Legay, Axel	Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems
Leuschel, Michael	A Multi-Target Code Generator for High-Level B Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
Lienhardt, Michael	Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts
Lime, Didier	Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning
Lluch Lafuente, Alberto	Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems
Lohar, Debasmita	Sound Probabilistic Numerical Error Analysis
Luckcuck, Matt	Summary of: Formal Specification and Verification of Autonomous Robotic Systems
Luteberget, Bjørnar	Automated Drawing of Railway Schematics using SAT and optimization
M
Madaudo, Rosario	HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-based Web Applications
Margaria, Tiziana	The Digital Thread in Industry 4.0
Marsso, Lina	Asynchronous Testing of Synchronous Components in GALS Systems
Mateescu, Radu	Asynchronous Testing of Synchronous Components in GALS Systems
Mazzanti, Franco	Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
Mitra, Sayan	Dione: A protocol verification system built with Dafny for I/O Automata
Mousavi, Mohammadreza	Learning to reuse: Adaptive model learning for evolving systems
N
Nemouchi, Yakoub	Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
O
Oortwijn, Wytse	Practical Abstractions for Automated Verification of Message Passing Concurrency Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System
Osama, Muhammad	SIGmA: GPU Accelerated Simplification of SAT Formulas
Owe, Olaf	Summary of: An Evaluation of Interaction Paradigms for Active Objects Summary of: Dynamic Structural Operational Semantics
P
Paolini, Luca	Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
Parissis, Ioannis	Asynchronous Testing of Synchronous Components in GALS Systems
Pastva, Samuel	Accelerating Parameter Synthesis using Semi-Algebraic Constraints
Prokop, Milos	Sound Probabilistic Numerical Error Analysis
Păsăreanu, Corina	Safe Deep Neural Networks
R
Ramezanifarkhani, Toktam	Summary of: An Evaluation of Interaction Paradigms for Active Objects
S
Scandurra, Patrizia	HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-based Web Applications
Schieweck, Alexander	The Digital Thread in Industry 4.0
Schnedlitz, Lena	Interactive Visualization of Saturation Attempts in Vampire
Serwe, Wendelin	Asynchronous Testing of Synchronous Components in GALS Systems
Simao, Adenilso	Learning to reuse: Adaptive model learning for evolving systems
Stolz, Volker	Visualization and Abstractions for Execution Paths in Model-based Software Testing
Strejček, Jan	Evaluation of Program Slicing in Software Verification
T
ter Beek, Maurice H.	Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
Testa, Lorenzo	Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts
Tini, Simone	Computing Bisimilarity Metrics for Probabilistic Timed Automata
Tretmans, Jan	Relating Alternating Relations for Conformance and Refinement
Turhan, Anni-Yasmin	Ontology-Mediated Probabilistic Model Checking
Turin, Gianluca	Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts
V
Vaandrager, Frits	Relating Alternating Relations for Conformance and Refinement
Vandin, Andrea	Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems
Vince, Dániel	Fuzzing JavaScript Environment APIs with Interdependent Function Calls
Voinea, A. Laura	Resource Sharing via Capability-Based Multiparty Session Types
Vu, Fabian	A Multi-Target Code Generator for High-Level B
W
Wang, Rui	Visualization and Abstractions for Execution Paths in Model-based Software Testing
Wijs, Anton	SIGmA: GPU Accelerated Simplification of SAT Formulas
Wolff, Burkhart	Using Ontologies in Formal Developments Targeting Certification
Š
Šafránek, David	Accelerating Parameter Synthesis using Semi-Algebraic Constraints

Disclaimer | Powered by EasyChair Smart Program