Nadia Polikarpova, Steve Schneider
Proceedings of the 13th International Conference on Integrated Formal Methods
IFM, 2017.

@proceedings{IFM-2017,
	doi           = "10.1007/978-3-319-66845-1",
	editor        = "Nadia Polikarpova and Steve Schneider",
	isbn          = "['978-3-319-66844-4', '978-3-319-66845-1']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th International Conference on Integrated Formal Methods}",
	volume        = 10510,
	year          = 2017,
}

Contents (28 items)

IFM-2017-SilvettiPB #approach #black box #cyber-physical #learning

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems (SS, AP, LB), pp. 3–17.

IFM-2017-RibeiroMLCT #modelling #verification

Modelling and Verification of Timed Robotic Controllers (PR, AM, WL, AC, JT), pp. 18–33.

IFM-2017-Linker #higher-order #reasoning #safety

Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL (SL), pp. 34–49.

IFM-2017-RizaldiKHFIAHN #formal method #higher-order #monitoring

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL (AR, JK, MH, JF, FI, MA, EH, TN), pp. 50–66.

IFM-2017-UttingPG #exclamation

Making Whiley Boogie! (MU, DJP, LG), pp. 69–84.

IFM-2017-FrohnG #analysis #complexity #java

Complexity Analysis for Java with AProVE (FF, JG), pp. 85–101.

IFM-2017-BlomDHO #concurrent #parallel #set #verification

The VerCors Tool Set: Verification of Parallel and Concurrent Software (SB, SD, MH, WO), pp. 102–110.

IFM-2017-DamianiLMS #type checking

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs (FD, ML, RM, IS), pp. 111–126.

IFM-2017-BeckertCUVW #specification

Generalised Test Tables: A Practical Specification Language for Reactive Systems (BB, SC, MU, BVH, AW), pp. 129–144.

IFM-2017-GilmoreRV #analysis #statistics

Transient and Steady-State Statistical Analysis for Discrete Event Simulators (SG, DR, AV), pp. 145–160.

IFM-2017-BaxterC #algebra #bytecode #compilation #java #safety

Algebraic Compilation of Safety-Critical Java Bytecode (JB, AC), pp. 161–176.

IFM-2017-KovalovLGL #network #smt #using

Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver (AK, EL, AG, DL), pp. 177–191.

IFM-2017-HenrioLM #analysis

Analysis of Synchronisations in Stateful Active Objects (LH, CL, VM), pp. 195–210.

IFM-2017-PereiraOFS #component #development #named

BTS: A Tool for Formal Component-Based Development (DIdAP, MVMO, MSCF, SRDRS), pp. 211–226.

IFM-2017-AronisFS #model checking #testing #using #verification

Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking (SA, SLF, KS), pp. 227–242.

IFM-2017-JiWW #game studies #multi

Synthesizing Coalitions for Multi-agent Games (WJ, FW, PW0), pp. 243–259.

IFM-2017-OweRF #contract #hoare #multi #reasoning

Hoare-Style Reasoning from Multiple Contracts (OO, TR, EF), pp. 263–278.

IFM-2017-SteinhofelW #analysis #control flow #invariant #standard

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows (DS, NW), pp. 279–294.

IFM-2017-ChenF #first-order #proving #verification

Triggerless Happy - Intermediate Verification with a First-Order Prover (YC, CAF), pp. 295–311.

IFM-2017-BeckertBGHLU #automation #named #relational #slicing #verification

SemSlice: Exploiting Relational Verification for Automatic Program Slicing (BB, TB, SG, MH, DL, MU), pp. 312–319.

IFM-2017-KrishnaPS #automation #named #process #verification

VBPMN: Automated Verification of BPMN Processes (Tool Paper) (AK0, PP, GS), pp. 323–331.

IFM-2017-KordyW #how #question

How Well Can I Secure My System? (BK, WW), pp. 332–347.

IFM-2017-Wu #consistency #constraints #diagrams #named #uml

MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams (HW0), pp. 348–356.

IFM-2017-RahmanB #health #recommendation #verification

Formal Verification of CNL Health Recommendations (FR, JKFB), pp. 357–371.

IFM-2017-PfahlerEBSR #composition #verification

Modular Verification of Order-Preserving Write-Back Caches (JP, GE, SB, GS, WR), pp. 375–390.

IFM-2017-BruschiPGLP #case study #model checking #protocol #smt #verification

Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study - (DB, ADP, SG, AL, EP), pp. 391–406.

IFM-2017-FerreiraJMB #authentication #case study #coq #linux #quality #using

Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules (JFF, SAJ, AM, PJB), pp. 407–421.

IFM-2017-MoranW #evaluation #verification

Verification of STAR-Vote and Evaluation of FDR and ProVerif (MM, DSW), pp. 422–436.