Abstract is missing.
- Object-Centric Process Mining: Dealing with Divergence and Convergence in Event DataWil M. P. van der Aalst. 3-25 [doi]
- Relating Session Types and Behavioural Contracts: The Asynchronous CaseMario Bravetti, Gianluigi Zavattaro. 29-47 [doi]
- Asynchronous Cooperative Contracts for Cooperative SchedulingEduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen. 48-66 [doi]
- Automatic Failure Explanation in CPS ModelsEzio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic. 69-86 [doi]
- Evolution of Formal Model-Based Assurance Cases for Autonomous RobotsMario Gleirscher, Simon Foster 0001, Yakoub Nemouchi. 87-104 [doi]
- Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health ManagementXingyu Zhao, Matt Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher 0001, Fabio Papacchini, Angelo Ferrando. 105-124 [doi]
- SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University CoursesPaul Maximilian Bittner, Thomas Thüm, Ina Schaefer. 127-144 [doi]
- Software Evolution with a Typeful Version Control SystemLuis Carvalho, João Costa Seco. 145-161 [doi]
- Compositional Feature-Oriented SystemsClemens Dubslaff. 162-180 [doi]
- Multi-objective Search for Effective Testing of Cyber-Physical SystemsHugo L. S. Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio. 183-202 [doi]
- Mutation Testing with HyperpropertiesAndreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher. 203-221 [doi]
- Test Model Coverage Analysis Under UncertaintyI. S. W. B. Prasetya, Rick Klomp. 222-239 [doi]
- Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT ApproachFlorent Avellaneda, Alexandre Petrenko. 243-256 [doi]
- Incorporating Data into EFSM InferenceMichael Foster 0001, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick. 257-272 [doi]
- Isabelle/DOF: Design and ImplementationAchim D. Brucker, Burkhart Wolff. 275-292 [doi]
- Towards Logical Specification of Statistical Machine LearningYusuke Kawamoto 0001. 293-311 [doi]
- Efficient Formal Verification for the Linux KernelDaniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira. 315-332 [doi]
- Reproducible Execution of POSIX Programs with DiOSPetr Rockai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiri Barnat. 333-349 [doi]
- Using Relational Verification for Program SlicingBernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich. 353-372 [doi]
- Local Nontermination Detection for Parallel C++ ProgramsVladimír Still, Jiri Barnat. 373-390 [doi]
- An Implementation Relation for Cyclic Systems with Refusals and Discrete TimeRaluca Lefticaru, Robert M. Hierons, Manuel Núñez 0001. 393-409 [doi]
- Modular Indirect Push-Button Formal Verification of Multi-threaded Code GeneratorsAnton Wijs, Maciej Wilkowski. 410-429 [doi]
- An Operational Guide to MonitorabilityLuca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. 433-453 [doi]
- Let's Prove It Later - Verification at Different Points in TimeMartin Ring, Christoph Lüth. 454-468 [doi]
- Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness MessagesMarie Farrell, Matthew Bradbury, Michael Fisher 0001, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple. 471-490 [doi]
- Towards Detecting Trigger-Based Behavior in Binaries: Uncovering the Correct EnvironmentDorottya Papp, Thorsten Tarrach, Levente Buttyán. 491-509 [doi]
- Formal Verification of Rewriting Rules for Dynamic Fault TreesYassmeen Elderhalli, Matthias Volk 0001, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. 513-531 [doi]
- Partially Bounded Context-Aware VerificationLuka Le Roux, Ciprian Teodorov. 532-548 [doi]