default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. FMCO 2010: Graz, Austria
- Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
:
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Lecture Notes in Computer Science 6957, Springer 2012, ISBN 978-3-642-25270-9
The AVANTSSAR Project
- David von Oheimb, Sebastian Mödersheim:
ASLan++ - A Formal Security Specification Language for Distributed Systems. 1-22 - Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch:
Orchestration under Security Constraints. 23-44 - Bogdan Groza, Marius Minea:
Customizing Protocol Specifications for Detecting Resource Exhaustion and Guessing Attacks. 45-60
The ESF Cost Action IC0701
- Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov:
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. 61-79 - Richard Bubel, Reiner Hähnle, Ran Ji:
Program Specialization via a Software Verification Tool. 80-101
The DEPLOY Project
- Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos:
Model-Based Analysis Tools for Component Synthesis. 102-121 - Renato Silva, Michael J. Butler:
Shared Event Composition/Decomposition in Event-B. 122-141
The HATS Project
- Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen:
ABS: A Core Language for Abstract Behavioral Specification. 142-164 - Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter:
A Component Model for the ABS Language. 165-183 - Ina Schaefer, Dilian Gurov, Siavash Soleimanifard:
Compositional Algorithmic Verification of Software Product Lines. 184-203 - Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte:
Variability Modelling in the ABS Language. 204-224
The INESS Project
- Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos:
Automated Verification of Executable UML Models. 225-250 - Colin F. Snook, Vitaly Savicks, Michael J. Butler:
Verification of UML Models by Translation to UML-B. 251-266
The MADES Project
- Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi:
Towards the UML-Based Formal Verification of Timed Systems. 267-286
The MOGENTES Project
- Rickard Svenningsson, Henrik Eriksson, Jonny Vinter, Martin Törngren:
Generic Fault Modelling for Fault Injection. 287-296 - Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Rümmer:
Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction. 297-315
The MULTIFORM Project
- Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn:
The Hierarchical Compositional Interchange Format. 316-335 - Alexandre David, Jacob Deleuran Grunnet, Jan Jakob Jessen, Kim Guldstrand Larsen, Jacob Illum Rasmussen:
Application of Model-Checking Technology to Controller Synthesis. 336-351
The QUASIMODO Project
- Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen:
Testing Real-Time Systems under Uncertainty. 352-371 - Arnd Hartmanns:
Model-Checking and Simulation for Stochastic Timed Systems. 372-391
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-17 23:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
