default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th IFM 2016: Reykjavik, Iceland
- Erika Ábrahám, Marieke Huisman
:
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science 9681, Springer 2016, ISBN 978-3-319-33692-3
Invited Contributions
- Martin Hentschel, Reiner Hähnle, Richard Bubel:
Can Formal Methods Improve the Efficiency of Code Reviews? 3-19 - Laura Kovács:
Symbolic Computation and Automated Reasoning for Program Analysis. 20-27 - Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber:
Perspectives of Model Transformation Reuse. 28-44
Program Verification
- Ferruccio Damiani, Michael Lienhardt:
On Type Checking Delta-Oriented Product Lines. 47-62 - Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings:
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. 63-78 - Michael Ameri, Carlo A. Furia:
Why Just Boogie? - Translating Between Intermediate Verification Languages. 79-95
Probabilistic Systems
- Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards:
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. 99-114 - Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost:
Probabilistic Formal Analysis of App Usage to Inform Redesign. 115-129 - Lubos Korenciak, Vojtech Rehák, Adrian Farmadin:
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. 130-138
Concurrency
- Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Monitoring Multi-threaded Component-Based Systems. 141-159 - Sascha Fendrich, Gerald Lüttgen:
A Generalised Theory of Interface Automata, Component Compatibility and Error. 160-175 - Ian Cassar, Adrian Francalanza:
On Implementing a Monitor-Oriented Programming Framework for Actor Systems. 176-192 - Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim:
Towards a Thread-Local Proof Technique for Starvation Freedom. 193-209 - Olaf Owe:
Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems. 210-225 - Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings:
A Formal Model of the Safety-Critical Java Level 2 Paradigm. 226-241
Safety and Liveness
- Stephan Barth:
Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite Automata. 245-259 - Christian Prehofer:
Property Preservation for Extension Patterns of State Transition Diagrams. 260-274 - Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield:
Symbolic Reachability Analysis of B Through ProB and LTSmin. 275-291
Model Learning
- Petra van den Bos, Rick Smetsers, Frits W. Vaandrager:
Enhancing Automata Learning by Log-Based Metrics. 295-310 - Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager:
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. 311-325 - Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik:
On Robust Malware Classifiers by Verifying Unwanted Behaviours. 326-341
SAT and SMT Solving
- Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe:
Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. 345-360 - Sebastian Krings, Michael Leuschel:
SMT Solvers for Validation of B and Event-B Models. 361-375 - Andrii Kovalov, Juliana Küster Filipe Bowles:
Avoiding Medication Conflicts for Patients with Multimorbidities. 376-390
Testing
- Adrián Riesco, Juan Rodríguez-Hortalá:
Temporal Random Testing for Spark Streaming. 393-408 - Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
Combining Static Analysis and Testing for Deadlock Detection. 409-424 - Renáta Hodován, Ákos Kiss:
Fuzzing JavaScript Engine APIs. 425-438
Theorem Proving and Constraint Satisfaction
- Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
A Component-Based Approach to Hybrid Systems Safety Verification. 441-456 - Viorel Preoteasa:
Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle. 457-473 - Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko:
A Constraint Satisfaction Method for Configuring Non-local Service Interfaces. 474-488
Case Studies
- Bjørnar Luteberget, Christian Johansen, Martin Steffen:
Rule-Based Consistency Checking of Railway Infrastructure Designs. 491-507 - Dániel Darvas, István Majzik, Enrique Blanco Viñuela:
Formal Verification of Safety PLC Based Control Software. 508-522 - Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal:
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. 523-536
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-08 00:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
