List of Accepted Papers
- Dániel Darvas, István Majzik and Enrique Blanco Viñuela. "Formal Verification of Safety PLC Based Control Software"
- Gerhard Schellhorn, Oleg Travkin and Heike Wehrheim. "Towards a Thread-Local Proof Technique for Starvation Freedom"
- Petra van den Bos, Rick Smetsers and Frits Vaandrager. "Enhancing Automata Learning by Log-Based Metrics"
- Sean
Sedwards, Pedro D'Argenio, Arnd Hartmanns and Axel Legay. "Statistical
Approximation of Optimal Schedulers for Probabilistic Timed Automata"
- Olaf Owe. "Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems"
- Oana
Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison and Mattias
Rost. "Probabilistic Formal Analysis of App Usage to Inform Redesign"
- Sebastian Krings and Michael Leuschel. "SMT Solvers for Validation of B and Event-B models"
- Mathijs
Schuts, Jozef Hooman and Frits Vaandrager. "Refactoring of Legacy
Software using Model Learning and Equivalence Checking: An Industrial
Experience Report"
- Stephan Barth. "Deciding Monadic Second Order Logic over omega-words by Specialized Finite Automata"
- Adrian Riesco and Juan Rodriguez-Hortala. "Temporal Random Testing for Spark Streaming"
- Leo Freitas, James Baxter, Ana Cavalcanti and Andy Wellings. "Verifying a Priority Scheduler for an SCJ Runtime Environment"
- Andreas
Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and
André Platzer. "A Component-based Approach to Hybrid Systems Safety
Verification"
- Michael Ameri and Carlo A. Furia. "Why Just Boogie? Translating Between Intermediate Verification Languages"
- Sascha Fendrich and Gerald Luettgen. "A Generalised Theory of Interface Automata, Component Compatibility and Error"
- Christian Prehofer. "Property Preservation for Extension Patterns of State Transition Diagrams"
- Hosein
Nazarpour, Ylies Falcone, Saddek Bensalem, Marius Bozga and Jacques
Combaz. "Monitoring Multi-threaded Component-Based Systems"
- Elvira Albert, Miguel Gomez-Zamalloa and Miguel Isabel. "Combining Static Analysis and Testing for Deadlock Detection"
- Andrii Kovalov and Juliana Küster Filipe Bowles. "Avoiding Medication Conflicts for Patients with Multimorbidities"
- Pedro Antonino, Bill Roscoe and Thomas Gibson-Robinson. "Efficient Deadlock Checking using Local Analysis and SAT Solving"
- Jens
Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco Van
de Pol, Helen Treharne and Jorden Whitefield. "Symbolic Reachability
Analysis of B through ProB and LTSmin"
- Bjørnar Luteberget, Christian Johansen and Martin Steffen. "Rule-based Consistency Checking of Railway Infrastructure Designs"
- Viorel Preoteasa. "Verifying Pointer Programs using Separation Logic and Invariant Based Programming in Isabelle"
- Wei
Chen, David Aspinall, Andrew D. Gordon, Charles Sutton and Igor Muttik.
"On Robust Malware Classifiers by Verifying Unwanted Behaviours"
- Ian Cassar and Adrian Francalanza. "On Implementing a Monitor-Oriented Programming Framework for Actor Systems"
- Lubos Korenciak, Vojtech Rehak and Adrian Farmadin. "Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-delay CTMC"
- Pavel
Zaichenkov, Olga Tveretina and Alex Shafarenko. "A Constraint
Satisfaction Method for Configuring Non-Local Service Interfaces"
- Renáta Hodován and Akos Kiss. "Fuzzing JavaScript Engine APIs"
- Matt Luckcuck, Ana Cavaltanti and Andy Wellings. "Formal Model of the Safety-Critical Java Level 2 Paradigm"
- Rahul
Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti
and Chetan Bansal. "Enabling Static Driver Verifier using Microsoft
Azure"
- Ferruccio Damiani and Michael Lienhardt. "On Type Checking Delta-Oriented Product Lines"
Was the content helpful?
Yes
No