Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
Proceedings of the 15th International Conference on Integrated Formal Methods
IFM, 2019.

@proceedings{IFM-2019,
	doi           = "10.1007/978-3-030-34968-4",
	editor        = "Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa",
	isbn          = "['978-3-030-34967-7', '978-3-030-34968-4']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th International Conference on Integrated Formal Methods}",
	volume        = 11918,
	year          = 2019,
}

Contents (35 items)

IFM-2019-MargariaS #concurrent #industrial #thread

The Digital Thread in Industry 4.0 (TM, AS), pp. 3–24.

IFM-2019-BenesBGPS #algebra #constraints #parametricity #synthesis #using

Accelerating Parameter Synthesis Using Semi-algebraic Constraints (NB, LB, MG, SP, DS), pp. 27–45.

IFM-2019-Benoit0 #alias #embedded #performance #programming

Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming (TB, BJ0), pp. 46–64.

IFM-2019-BruckerW #certification #ontology #using

Using Ontologies in Formal Developments Targeting Certification (ADB, BW), pp. 65–82.

IFM-2019-BubelHT #analysis #dependence #logic

A Program Logic for Dependence Analysis (RB, RH, AHT), pp. 83–100.

IFM-2019-ChalupaS #evaluation #slicing #verification

Evaluation of Program Slicing in Software Verification (MC, JS), pp. 101–119.

IFM-2019-CoullonJL #design #distributed #model checking #performance

Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning (HC, CJ, DL), pp. 120–137.

IFM-2019-DamascenoMS #adaptation #evolution #learning #reuse

Learning to Reuse: Adaptive Model Learning for Evolving Systems (CDND, MRM, AdSS), pp. 138–156.

IFM-2019-BoerH #axiom #concurrent #reachability

Axiomatic Characterization of Trace Reachability for Concurrent Objects (FSdB, HDAH), pp. 157–174.

IFM-2019-DubrulleGKL #configuration management #data flow

Dynamic Reconfigurations in Frequency Constrained Data Flow (PD, CG, NK, AL), pp. 175–193.

IFM-2019-DubslaffKT #model checking #probability

Ontology-Mediated Probabilistic Model Checking (CD, PK, AYT), pp. 194–211.

IFM-2019-HodovanV0 #api #fuzzing #javascript

Fuzzing JavaScript Environment APIs with Interdependent Function Calls (RH, DV, ÁK0), pp. 212–226.

IFM-2019-HsiehM #automaton #named #protocol #verification

Dione: A Protocol Verification System Built with Dafny for I/O Automata (CH, SM), pp. 227–245.

IFM-2019-JanssenVT #consistency #refinement

Relating Alternating Relations for Conformance and Refinement (RJ, FWV, JT), pp. 246–264.

IFM-2019-KringsL #constraints #interactive #proving #theorem proving

Embedding SMT-LIB into B for Interactive Proof and Constraint Solving (SK, ML), pp. 265–283.

IFM-2019-BowlesC #approach #combinator #optimisation #problem

An Integrated Approach to a Combinatorial Optimisation Problem (JB, MBC), pp. 284–302.

IFM-2019-LanotteT #automaton #metric #probability #similarity

Computing Bisimilarity Metrics for Probabilistic Timed Automata (RL, ST), pp. 303–321.

IFM-2019-LoharPD #analysis #fault #probability

Sound Probabilistic Numerical Error Analysis (DL, MP, ED), pp. 322–340.

IFM-2019-LutebergetCJ #automation #optimisation #satisfiability #using

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT (BL, KC, CJ), pp. 341–359.

IFM-2019-Marsso0PS #component #testing

Asynchronous Testing of Synchronous Components in GALS Systems (LM, RM0, IP, WS), pp. 360–378.

IFM-2019-Nemouchi0GK #assurance #formal method #named

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods (YN, SF0, MG, TK), pp. 379–398.

IFM-2019-OortwijnH #abstraction #automation #concurrent #message passing #verification

Practical Abstractions for Automated Verification of Message Passing Concurrency (WO, MH), pp. 399–417.

IFM-2019-OortwijnH19a #industrial #safety #verification

Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System (WO, MH), pp. 418–436.

IFM-2019-VoineaDG #multi #resource management

Resource Sharing via Capability-Based Multiparty Session Types (ALV, OD, SJG), pp. 437–455.

IFM-2019-VuHKL #code generation #multi

A Multi-target Code Generator for High-Level B (FV, DH, PK, ML), pp. 456–473.

IFM-2019-WangAKS #abstraction #execution #modelling #testing #visualisation

Visualization and Abstractions for Execution Paths in Model-Based Software Testing (RW, CA, LMK, VS), pp. 474–492.

IFM-2019-CamilliGMS #named #nondeterminism #testing #tool support #web

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications (MC, AG, RM, PS), pp. 495–503.

IFM-2019-GleissKS #interactive #visualisation

Interactive Visualization of Saturation Attempts in Vampire (BG, LK, LS), pp. 504–513.

IFM-2019-OsamaW #gpu #named #satisfiability

SIGmA: GPU Accelerated Simplification of SAT Formulas (MO, AW), pp. 514–522.

IFM-2019-JohansenO #semantics #summary

Summary of: Dynamic Structural Operational Semantics (CJ, OO), pp. 525–528.

IFM-2019-KaramiOR #evaluation #interactive #paradigm #summary

Summary of: An Evaluation of Interaction Paradigms for Active Objects (FK, OO, TR), pp. 529–533.

IFM-2019-LienhardtDTT #product line #summary

Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts (ML, FD, LT, GT), pp. 534–537.

IFM-2019-LuckcuckFDD0 #specification #summary #verification

A Summary of Formal Specification and Verification of Autonomous Robotic Systems (ML, MF, LAD, CD, MF0), pp. 538–541.

IFM-2019-BeekDGMP #constraints #summary #variability

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints (MHtB, FD, SG, FM, LP), pp. 542–546.

IFM-2019-BeekLLV #analysis #configuration management #framework #modelling #summary

Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems (MHtB, AL, ALL, AV), pp. 547–551.