Abstract is missing.
- ASLan++ - A Formal Security Specification Language for Distributed SystemsDavid von Oheimb, Sebastian Mödersheim. 1-22 [doi]
- Orchestration under Security ConstraintsYannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch. 23-44 [doi]
- Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing AttacksBogdan Groza, Marius Minea. 45-60 [doi]
- Improving the Usability of Specification Languages and Methods for Annotation-Based VerificationBernhard Beckert, Thorsten Bormer, Vladimir Klebanov. 61-79 [doi]
- Program Specialization via a Software Verification ToolRichard Bubel, Reiner Hähnle, Ran Ji. 80-101 [doi]
- Model-Based Analysis Tools for Component SynthesisLuigia Petre, Kaisa Sere, Leonidas Tsiopoulos. 102-121 [doi]
- Shared Event Composition/Decomposition in Event-BRenato Silva, Michael Butler. 122-141 [doi]
- ABS: A Core Language for Abstract Behavioral SpecificationEinar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen. 142-164 [doi]
- A Component Model for the ABS LanguageMichael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter. 165-183 [doi]
- Compositional Algorithmic Verification of Software Product LinesIna Schaefer, Dilian Gurov, Siavash Soleimanifard. 184-203 [doi]
- Variability Modelling in the ABS LanguageDave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte. 204-224 [doi]
- Automated Verification of Executable UML ModelsHelle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos. 225-250 [doi]
- Verification of UML Models by Translation to UML-BColin F. Snook, Vitaly Savicks, Michael J. Butler. 251-266 [doi]
- Towards the UML-Based Formal Verification of Timed SystemsLuciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi. 267-286 [doi]
- Generic Fault Modelling for Fault InjectionRickard Svenningsson, Henrik Eriksson, Jonny Vinter, Martin Törngren. 287-296 [doi]
- Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-InductionAlastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer. 297-315 [doi]
- The Hierarchical Compositional Interchange FormatDamian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn. 316-335 [doi]
- Application of Model-Checking Technology to Controller SynthesisAlexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen. 336-351 [doi]
- Testing Real-Time Systems under UncertaintyAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen. 352-371 [doi]
- Model-Checking and Simulation for Stochastic Timed SystemsArnd Hartmanns. 372-391 [doi]