Abstract is missing.
- The Digital Thread in Industry 4.0Tiziana Margaria, Alexander Schieweck. 3-24 [doi]
- Accelerating Parameter Synthesis Using Semi-algebraic ConstraintsNikola Benes, Lubos Brim, Martin Geletka, Samuel Pastva, David Safránek. 27-45 [doi]
- Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems ProgrammingTuur Benoit, Bart Jacobs 0002. 46-64 [doi]
- Using Ontologies in Formal Developments Targeting CertificationAchim D. Brucker, Burkhart Wolff. 65-82 [doi]
- A Program Logic for Dependence AnalysisRichard Bubel, Reiner Hähnle, Asmae Heydari Tabar. 83-100 [doi]
- Evaluation of Program Slicing in Software VerificationMarek Chalupa, Jan Strejcek. 101-119 [doi]
- Integrated Model-Checking for the Design of Safe and Efficient Distributed Software CommissioningHélène Coullon, Claude Jard, Didier Lime. 120-137 [doi]
- Learning to Reuse: Adaptive Model Learning for Evolving SystemsCarlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, Adenilso da Silva Simão. 138-156 [doi]
- Axiomatic Characterization of Trace Reachability for Concurrent ObjectsFrank S. de Boer, Hans-Dieter A. Hiep. 157-174 [doi]
- Dynamic Reconfigurations in Frequency Constrained Data FlowPaul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre. 175-193 [doi]
- Ontology-Mediated Probabilistic Model CheckingClemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan. 194-211 [doi]
- Fuzzing JavaScript Environment APIs with Interdependent Function CallsRenáta Hodován, Dániel Vince, Ákos Kiss 0001. 212-226 [doi]
- Dione: A Protocol Verification System Built with Dafny for I/O AutomataChiao Hsieh, Sayan Mitra. 227-245 [doi]
- Relating Alternating Relations for Conformance and RefinementRamon Janssen, Frits W. Vaandrager, Jan Tretmans. 246-264 [doi]
- Embedding SMT-LIB into B for Interactive Proof and Constraint SolvingSebastian Krings, Michael Leuschel. 265-283 [doi]
- An Integrated Approach to a Combinatorial Optimisation ProblemJuliana Bowles, Marco B. Caminati. 284-302 [doi]
- Computing Bisimilarity Metrics for Probabilistic Timed AutomataRuggero Lanotte, Simone Tini. 303-321 [doi]
- Sound Probabilistic Numerical Error AnalysisDebasmita Lohar, Milos Prokop, Eva Darulova. 322-340 [doi]
- Automated Drawing of Railway Schematics Using Numerical Optimization in SATBjørnar Luteberget, Koen Claessen, Christian Johansen. 341-359 [doi]
- Asynchronous Testing of Synchronous Components in GALS SystemsLina Marsso, Radu Mateescu 0001, Ioannis Parissis, Wendelin Serwe. 360-378 [doi]
- Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal MethodsYakoub Nemouchi, Simon Foster 0001, Mario Gleirscher, Tim Kelly. 379-398 [doi]
- Practical Abstractions for Automated Verification of Message Passing ConcurrencyWytse Oortwijn, Marieke Huisman. 399-417 [doi]
- Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control SystemWytse Oortwijn, Marieke Huisman. 418-436 [doi]
- Resource Sharing via Capability-Based Multiparty Session TypesA. Laura Voinea, Ornela Dardha, Simon J. Gay. 437-455 [doi]
- A Multi-target Code Generator for High-Level BFabian Vu, Dominik Hansen, Philipp Körner, Michael Leuschel. 456-473 [doi]
- Visualization and Abstractions for Execution Paths in Model-Based Software TestingRui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz. 474-492 [doi]
- HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web ApplicationsMatteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra. 495-503 [doi]
- Interactive Visualization of Saturation Attempts in VampireBernhard Gleiss, Laura Kovács, Lena Schnedlitz. 504-513 [doi]
- SIGmA: GPU Accelerated Simplification of SAT FormulasMuhammad Osama, Anton Wijs. 514-522 [doi]
- Summary of: Dynamic Structural Operational SemanticsChristian Johansen, Olaf Owe. 525-528 [doi]
- Summary of: An Evaluation of Interaction Paradigms for Active ObjectsFarzane Karami, Olaf Owe, Toktam Ramezanifarkhani. 529-533 [doi]
- Summary of: On Checking Delta-Oriented Software Product Lines of StatechartsMichael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin. 534-537 [doi]
- A Summary of Formal Specification and Verification of Autonomous Robotic SystemsMatt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher 0001. 538-541 [doi]
- Summary of: On the Expressiveness of Modal Transition Systems with Variability ConstraintsMaurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini. 542-546 [doi]
- Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable SystemsMaurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin. 547-551 [doi]