Carlo A. Furia, Kirsten Winter
Proceedings of the 14th International Conference on Integrated Formal Methods
IFM, 2018.

@proceedings{IFM-2018,
	doi           = "10.1007/978-3-319-98938-9",
	editor        = "Carlo A. Furia and Kirsten Winter",
	isbn          = "['978-3-319-98937-2', '978-3-319-98938-9']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Conference on Integrated Formal Methods}",
	volume        = 11023,
	year          = 2018,
}

Contents (22 items)

IFM-2018-CavalcantiMSL0T #modelling #verification

Modelling and Verification for Swarm Robotics (AC, AM, AS, WL, PR0, JT), pp. 1–19.

IFM-2018-BasileBFGMPTF #formal method #industrial #on the #overview

On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders (DB, MHtB, AF, SG, FM, AP, DT, AF), pp. 20–29.

IFM-2018-BoermanHJ #difference #ml #reasoning

Reasoning About JML: Differences Between KeY and OpenJML (JB, MH, SJCJ), pp. 30–46.

IFM-2018-BohlenderK #design #industrial #verification

Design and Verification of Restart-Robust Industrial Control Software (DB, SK), pp. 47–68.

IFM-2018-ChengRT #rule-based

Efficiently Characterizing the Undefined Requests of a Rule-Based System (ZC, JCR, MT), pp. 69–88.

IFM-2018-DimjasevicHLR #object-oriented #random #testing

Study of Integrating Random and Symbolic Testing for Object-Oriented Software (MD, FH, KSL, ZR), pp. 89–109.

IFM-2018-DohertyDWD #composition #order

Making Linearizability Compositional for Partially Ordered Executions (SD, BD, HW, JD), pp. 110–129.

IFM-2018-DoughertyGR #analysis #protocol #security #smt #using

Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA (DJD, JDG, JDR), pp. 130–150.

IFM-2018-ErikssonPB #array #invariant #precise

A Precise Pictorial Language for Array Invariants (JE, MP, RJB), pp. 151–160.

IFM-2018-FarrellL0 #formal method

Robotics and Integrated Formal Methods: Necessity Meets Opportunity (MF, ML, MF0), pp. 161–171.

IFM-2018-Galpin #formal method #modelling #network

Formal Modelling of Software Defined Networking (VG), pp. 172–193.

IFM-2018-JohnsenSST #resource management

Resource-Aware Virtually Timed Ambients (EBJ, MS, JBS, LT), pp. 194–213.

IFM-2018-KamburjanC #behaviour

Stateful Behavioral Types for Active Objects (EK, TCC), pp. 214–235.

IFM-2018-KangMH #constraints #probability #using #verification

Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC (EYK0, DM, LH), pp. 236–254.

IFM-2018-KobeissiUJF #distributed #implementation #interactive

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions (SK, AU, MJ, YF), pp. 255–274.

IFM-2018-KornerLM #model checking #state of the art #using

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin (PK, ML, JM), pp. 275–295.

IFM-2018-LanotteMT #cyber-physical #metric #towards

Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks (RL, MM, ST), pp. 296–315.

IFM-2018-LeofanteAT

Task Planning with OMT: An Application to Production Logistics (FL, EÁ, AT), pp. 316–325.

IFM-2018-NguyenT #automaton #branch #logic

Branching Temporal Logic of Calls and Returns for Pushdown Systems (HVN, TT), pp. 326–345.

IFM-2018-SchmidtKL #formal method #generative #modelling #synthesis #using

Repair and Generation of Formal Models Using Synthesis (JS, SK, ML), pp. 346–366.

IFM-2018-FotsoFLML #component #formal method

Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions (SJTF, MF, RL, AM, ML), pp. 377–397.

IFM-2018-GlabbeekHW #using

Analysing AWN-Specifications Using mCRL2 (Extended Abstract) (RJvG, PH, DvdW), pp. 398–418.