18. CAiSE 2006: Luxembourg - ReMo2V

• Régine Laleau, Michel Lemoine:
  Preface.
  
• Martin Hall-May, Tim Kelly:
  Structuring Safety Policy Decomposition.
  
• Jan Vanthienen, Christophe Mues, Stijn Goedertier:
  Experiences with Modeling and Verification of Regulations.
  
• Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes:
  Validation of Regulation Documents by Automated Analysis of Formal Models.
  
• David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge:
  Modeling Airport Security Regulations in Focal.
  
• Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark:
  Deviational Analyses for Validating Regulations on Real Systems.
  
• Michel Léonard, Abdelaziz Khadraoui, Jolita Ralyté:
  Regulation in Information Systems at the Level of Tunement.
  
• Daniel Fötsch, Elke Pulvermüller, Wilhelm Rossak:
  Modeling and Verifying Workflow-based Regulations.
  
• André Rifaut, Christophe Feltus:
  Improving Operational Risk Management Systems by Formalizing the Basel II Regulation with Goal Models and the ISO/IEC 15504 Approach.
  
• Robert Darimont, Michel Lemoine:
  Goal-oriented Analysis of Regulations.
  
• Christophe Ponsard, Emmanuel Dieul:
  From Requirements Models to Formal Specifications in B.
  
• Yves Ledru:
  A Formalisation of the Soccer Substitution Rules.
  
• Andreas Speck:
  Modelling and Verifying of e-Commerce Systems.