Abstract is missing.
- Validation of Regulation Documents by Automated Analysis of Formal ModelsDidier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes. [doi]
- Regulation in Information Systems at the Level of TunementMichel Léonard, Abdelaziz Khadraoui, Jolita Ralyté. [doi]
- A Formalisation of the Soccer Substitution RulesYves Ledru. [doi]
- Modeling Airport Security Regulations in FocalDavid Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge. [doi]
- Modeling and Verifying Workflow-based RegulationsDaniel Fötsch, Elke Pulvermüller, Wilhelm Rossak. [doi]
- Deviational Analyses for Validating Regulations on Real SystemsFiona A. C. Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark. [doi]
- Structuring Safety Policy DecompositionMartin Hall-May, Tim Kelly. [doi]
- Goal-oriented Analysis of RegulationsRobert Darimont, Michel Lemoine. [doi]
- PrefaceRégine Laleau, Michel Lemoine. [doi]
- From Requirements Models to Formal Specifications in BChristophe Ponsard, Emmanuel Dieul. [doi]
- Modelling and Verifying of e-Commerce SystemsAndreas Speck. [doi]
- Experiences with Modeling and Verification of RegulationsJan Vanthienen, Christophe Mues, Stijn Goedertier. [doi]
- Improving Operational Risk Management Systems by Formalizing the Basel II Regulation with Goal Models and the ISO/IEC 15504 ApproachAndré Rifaut, Christophe Feltus. [doi]