9. FMCO 2010: Graz, Austria

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 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
  

Last update Fri May 25 08:14:14 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page