Abstract is missing.
- Can Formal Methods Improve the Efficiency of Code Reviews?Martin Hentschel 0002, Reiner Hähnle, Richard Bubel. 3-19 [doi]
- Symbolic Computation and Automated Reasoning for Program AnalysisLaura Kovács. 20-27 [doi]
- Perspectives of Model Transformation ReuseMarsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber 0001. 28-44 [doi]
- On Type Checking Delta-Oriented Product LinesFerruccio Damiani, Michael Lienhardt. 47-62 [doi]
- Modelling and Verifying a Priority Scheduler for an SCJ Runtime EnvironmentLeo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings. 63-78 [doi]
- Why Just Boogie? - Translating Between Intermediate Verification LanguagesMichael Ameri, Carlo A. Furia. 79-95 [doi]
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed AutomataPedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards. 99-114 [doi]
- Probabilistic Formal Analysis of App Usage to Inform RedesignOana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost. 115-129 [doi]
- Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMCLubos Korenciak, Vojtech Rehák, Adrian Farmadin. 130-138 [doi]
- Monitoring Multi-threaded Component-Based SystemsHosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz. 141-159 [doi]
- A Generalised Theory of Interface Automata, Component Compatibility and ErrorSascha Fendrich, Gerald Lüttgen. 160-175 [doi]
- On Implementing a Monitor-Oriented Programming Framework for Actor SystemsIan Cassar, Adrian Francalanza. 176-192 [doi]
- Towards a Thread-Local Proof Technique for Starvation FreedomGerhard Schellhorn, Oleg Travkin, Heike Wehrheim. 193-209 [doi]
- Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent SystemsOlaf Owe. 210-225 [doi]
- A Formal Model of the Safety-Critical Java Level 2 ParadigmMatt Luckcuck, Ana Cavalcanti, Andy J. Wellings. 226-241 [doi]
- Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite AutomataStephan Barth. 245-259 [doi]
- Property Preservation for Extension Patterns of State Transition DiagramsChristian Prehofer. 260-274 [doi]
- Symbolic Reachability Analysis of B Through ProB and LTSminJens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield. 275-291 [doi]
- Enhancing Automata Learning by Log-Based MetricsPetra van den Bos, Rick Smetsers, Frits W. Vaandrager. 295-310 [doi]
- Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience ReportMathijs Schuts, Jozef Hooman, Frits W. Vaandrager. 311-325 [doi]
- On Robust Malware Classifiers by Verifying Unwanted BehavioursWei Chen, David Aspinall, Andrew D. Gordon, Charles A. Sutton, Igor Muttik. 326-341 [doi]
- Efficient Deadlock-Freedom Checking Using Local Analysis and SAT SolvingPedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe. 345-360 [doi]
- SMT Solvers for Validation of B and Event-B ModelsSebastian Krings, Michael Leuschel. 361-375 [doi]
- Avoiding Medication Conflicts for Patients with MultimorbiditiesAndrii Kovalov, Juliana Küster Filipe Bowles. 376-390 [doi]
- Temporal Random Testing for Spark StreamingAdrián Riesco, Juan Rodríguez-Hortalá. 393-408 [doi]
- Combining Static Analysis and Testing for Deadlock DetectionElvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel. 409-424 [doi]
- Fuzzing JavaScript Engine APIsRenáta Hodován, Ákos Kiss 0001. 425-438 [doi]
- A Component-Based Approach to Hybrid Systems Safety VerificationAndreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer. 441-456 [doi]
- Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in IsabelleViorel Preoteasa. 457-473 [doi]
- A Constraint Satisfaction Method for Configuring Non-local Service InterfacesPavel Zaichenkov, Olga Tveretina, Alex Shafarenko. 474-488 [doi]
- Rule-Based Consistency Checking of Railway Infrastructure DesignsBjørnar Luteberget, Christian Johansen, Martin Steffen. 491-507 [doi]
- Formal Verification of Safety PLC Based Control SoftwareDániel Darvas, István Majzik, Enrique Blanco Viñuela. 508-522 [doi]
- CloudSDV Enabling Static Driver Verifier Using Microsoft AzureRahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal. 523-536 [doi]