Conferences in DBLP
Thomas A. Henzinger , Joseph Sifakis The Embedded Systems Design Challenge. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Schellhorn , Holger Grandy , Dominik Haneberg , Wolfgang Reif The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Schmitt , Alwin Hoffmann , Michael Balser , Wolfgang Reif , Mar Marcos Interactive Verification of Medical Guidelines. [Citation Graph (0, 0)][DBLP ] Conf ] David Delahaye , Jean-Frédéric Étienne , Véronique Donzeau-Gouge Certifying Airport Security Regulations Using the Focal Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Shinya Umeno , Nancy A. Lynch Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Ernie Cohen Validating the Microsoft Hypervisor. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen , Ulrik Nyman , Andrzej Wasowski Interface Input/Output Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Greg Brunet , Marsha Chechik , Sebastián Uchitel Properties of Behavioural Model Merging. [Citation Graph (0, 0)][DBLP ] Conf ] Angela Freitas , Ana Cavalcanti Automatic Translation from Circus to Java. [Citation Graph (0, 0)][DBLP ] Conf ] Annabelle McIver Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marcel Verhoef , Peter Gorm Larsen , Jozef Hooman Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. [Citation Graph (0, 0)][DBLP ] Conf ] Jewgenij Botaschanjan , Alexander Gruler , Alexander Harhurin , Leonid Kof , Maria Spichkova , David Trachtenherz Towards Modularized Verification of Distributed Time-Triggered Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Bacherini , Alessandro Fantechi , Matteo Tempestini , Niccolò Zingoni A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. [Citation Graph (0, 0)][DBLP ] Conf ] Yujun Zheng , Jinquan Wang , Kan Wang , Jinyun Xue Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Tim McComb , Graeme Smith Compositional Class Refinement in Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Evans , Michael Butler A Proposal for Records in Event-B. [Citation Graph (0, 0)][DBLP ] Conf ] José Nuno Oliveira , César Jesus Rodrigues Pointfree Factorization of Operation Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Nuno Amálio , Susan Stepney , Fiona Polack A Formal Template Language Enabling Metaproof. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis T. Kassios Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions. [Citation Graph (0, 0)][DBLP ] Conf ] Alcino Cunha , José Nuno Oliveira , Joost Visser Type-Safe Two-Level Data Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Höfner , Ridha Khédri , Bernhard Möller Feature Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond T. Boute Using Domain-Independent Problems for Introducing Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Pamela Zave Compositional Binding in Network Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Zarrin Langari , Richard J. Trefler Formal Modeling of Communication Protocols by Graph Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Aiguier , Karim Berkani , Pascale Le Gall Feature Specification and Static Analysis for Interaction Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Mass Soldal Lund , Ketil Stølen A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. [Citation Graph (0, 0)][DBLP ] Conf ] Xin Li , H. James Hoover , Piotr Rudnicki Towards Automatic Exception Safety Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Cyrille Artho , Armin Biere , Shinichi Honiden Enforcer - Efficient Failure Injection. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Bouquet , Frédéric Dadeau , Bruno Legeard Automated Boundary Test Generation from JML Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Wojciech Mostowski Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Sandrine Blazy , Zaynah Dargaye , Xavier Leroy Formal Verification of a C Compiler Front-End. [Citation Graph (0, 0)][DBLP ] Conf ] Thuan Quang Huynh , Abhik Roychoudhury A Memory Model Sensitive Checker for C#. [Citation Graph (0, 0)][DBLP ] Conf ] Fabian Bannwart , Peter Müller Changing Programs Correctly: Refactoring with Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Viorel Preoteasa Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Wendy Johnston , Kirsten Winter , Lionel van den Berg , Paul A. Strooper , Peter Robinson Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Alastair F. Donaldson , Alice Miller Exact and Approximate Strategies for Symmetry Reduction in Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Genon , Thierry Massart , Cédric Meuter Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Amir Pnueli , Aleksandr Zaks PSL Model Checking and Run-Time Verification Via Testers. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Stephan Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. [Citation Graph (0, 0)][DBLP ] Conf ] David von Oheimb Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. [Citation Graph (0, 0)][DBLP ] Conf ] Dusko Pavlovic Connector-Based Software Development: Deriving Secure Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Jürjens Model-Based Security Engineering for Real. [Citation Graph (0, 0)][DBLP ] Conf ] D. Randolph Johnson Cost Effective Software Engineering for Security. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Backes , Birgit Pfitzmann , Michael Waidner Formal Methods and Cryptography. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Woodcock Verified Software Grand Challenge. [Citation Graph (0, 0)][DBLP ] Conf ] 