Erika Ábrahám, Marieke Huisman
Proceedings of the 12th International Conference on Integrated Formal Methods
IFM, 2016.

@proceedings{IFM-2016,
	doi           = "10.1007/978-3-319-33693-0",
	editor        = "Erika Ábrahám and Marieke Huisman",
	isbn          = "978-3-319-33692-3",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Conference on Integrated Formal Methods}",
	volume        = 9681,
	year          = 2016,
}

Contents (33 items)

IFM-2016-HentschelHB #code review #formal method #performance #question

Can Formal Methods Improve the Efficiency of Code Reviews? (MH, RH, RB), pp. 3–19.

IFM-2016-Kovacs #automation #program analysis #reasoning #symbolic computation

Symbolic Computation and Automated Reasoning for Program Analysis (LK), pp. 20–27.

IFM-2016-ChechikFS0 #model transformation #reuse

Perspectives of Model Transformation Reuse (MC, MF, RS, DS0), pp. 28–44.

IFM-2016-DamianiL #on the #product line #type checking

On Type Checking Delta-Oriented Product Lines (FD, ML), pp. 47–62.

IFM-2016-FreitasBCW #modelling #runtime #verification

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment (LF, JB, AC, AJW), pp. 63–78.

IFM-2016-AmeriF #verification #why

Why Just Boogie? - Translating Between Intermediate Verification Languages (MA, CAF), pp. 79–95.

IFM-2016-DArgenioHLS #approximate #automaton #probability #statistics

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata (PRD, AH, AL, SS), pp. 99–114.

IFM-2016-AndreiCCMR #analysis #formal method #probability

Probabilistic Formal Analysis of App Usage to Inform Redesign (OA, MC, MC, AM, MR), pp. 115–129.

IFM-2016-KorenciakRF #synthesis

Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC (LK, VR, AF), pp. 130–138.

IFM-2016-NazarpourFBBC #component #concurrent #monitoring #multi #thread

Monitoring Multi-threaded Component-Based Systems (HN, YF, SB, MB, JC), pp. 141–159.

IFM-2016-FendrichL #automaton #component #fault #interface

A Generalised Theory of Interface Automata, Component Compatibility and Error (SF, GL), pp. 160–175.

IFM-2016-CassarF #framework #implementation #on the #programming

On Implementing a Monitor-Oriented Programming Framework for Actor Systems (IC, AF), pp. 176–192.

IFM-2016-SchellhornTW #proving #thread #towards

Towards a Thread-Local Proof Technique for Starvation Freedom (GS, OT, HW), pp. 193–209.

IFM-2016-Owe #concurrent #inheritance #object-oriented #reasoning #reuse #strict

Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems (OO), pp. 210–225.

IFM-2016-LuckcuckCW #formal method #java #paradigm #safety

A Formal Model of the Safety-Critical Java Level 2 Paradigm (ML, AC, AJW), pp. 226–241.

IFM-2016-Barth

Deciding Monadic Second Order Logic over ω-Words by Specialized Finite Automata (SB0), pp. 245–259.

IFM-2016-Prehofer #diagrams

Property Preservation for Extension Patterns of State Transition Diagrams (CP), pp. 260–274.

IFM-2016-BendispostoKLMP #analysis #reachability

Symbolic Reachability Analysis of B Through ProB and LTSmin (JB, PK, ML, JM, JvdP, HT, JW), pp. 275–291.

IFM-2016-BosSV #automaton #learning #metric

Enhancing Automata Learning by Log-Based Metrics (PvdB, RS, FWV), pp. 295–310.

IFM-2016-SchutsHV #case study #equivalence #experience #industrial #learning #legacy #refactoring #using

Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report (MS, JH, FWV), pp. 311–325.

IFM-2016-ChenAGSM #behaviour #classification #on the #robust #verification

On Robust Malware Classifiers by Verifying Unwanted Behaviours (WC, DA0, ADG, CAS, IM), pp. 326–341.

IFM-2016-AntoninoGR #analysis #performance #satisfiability #using

Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving (PA, TGR, AWR), pp. 345–360.

IFM-2016-KringsL #modelling #smt #validation

SMT Solvers for Validation of B and Event-B Models (SK, ML), pp. 361–375.

IFM-2016-KovalovB #multi

Avoiding Medication Conflicts for Patients with Multimorbidities (AK, JKFB), pp. 376–390.

IFM-2016-RiescoR #random testing #streaming #testing

Temporal Random Testing for Spark Streaming (AR0, JRH), pp. 393–408.

IFM-2016-AlbertGI #concurrent #detection #static analysis #testing

Combining Static Analysis and Testing for Deadlock Detection (EA, MGZ, MI), pp. 409–424.

IFM-2016-HodovanK #api #fuzzing #javascript

Fuzzing JavaScript Engine APIs (RH, ÁK), pp. 425–438.

IFM-2016-MullerMRSP #approach #component #hybrid #safety #verification

A Component-Based Approach to Hybrid Systems Safety Verification (AM0, SM, WR, WS, AP), pp. 441–456.

IFM-2016-Preoteasa #invariant #logic #pointer #programming #source code #using #verification

Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle (VP), pp. 457–473.

IFM-2016-ZaichenkovTS #configuration management #constraints #interface

A Constraint Satisfaction Method for Configuring Non-local Service Interfaces (PZ, OT, AS), pp. 474–488.

IFM-2016-LutebergetJS #consistency #design #framework #rule-based

Rule-Based Consistency Checking of Railway Infrastructure Designs (BL, CJ, MS), pp. 491–507.

IFM-2016-DarvasMV #safety #verification

Formal Verification of Safety PLC Based Control Software (DD, IM, EBV), pp. 508–522.

IFM-2016-KumarBLDUB #using #verification

CloudSDV Enabling Static Driver Verifier Using Microsoft Azure (RK, TB, JL, ND, AU, CB), pp. 523–536.