Proceedings of the 13th International Conference on Integrated Formal Methods
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FM
DBLP
Scholar
DOI
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.