Proceedings of the 12th 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

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

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

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.