Conferences in DBLP
C. A. R. Hoare Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. [Citation Graph (0, 0)][DBLP ] Conf ] Cliff B. Jones Scientific Decisions which Characterize VDM. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Rushby Mechanized Formal Methods: Where Next? [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Sifakis Integration, the Price of Success. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Jackson The Role of Formalism in Method. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Conquet , Jean-Luc Marty Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. [Citation Graph (0, 0)][DBLP ] Conf ] Henk Eertink , Wil Janssen , Paul Oude Luttighuis , Wouter B. Teeuw , Chris A. Vissers A Business Process Design Language. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Philipps , Bernhard Rumpe Refinement of Pipe-and-Filter Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] John Herbert , Bruno Dutertre , Robert A. Riemenschneider , Victoria Stavridou A Formalization of Software Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Reino Kurki-Suonio Component and Interface Refinement in Closed-System Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Dusko Pavlovic Semantics of First Order Parametric Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Yonit Kesten , Amit Klein , Amir Pnueli , Gil Raanan A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Reffel , Stefan Edelkamp Error Detection with Directed Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Joel M. Esposito , M. Kim , Vijay Kumar , Insup Lee Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. [Citation Graph (0, 0)][DBLP ] Conf ] Stavros Tripakis , Karine Altisen On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Michel Couvreur On-the-Fly Verification of Linear Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] David Déharbe , Anamaria Martins Moreira Symbolic Model Checking with Fewer Fixpoint Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Barbuti , Nicoletta De Francesco , Antonella Santone , Gigliola Vaglini Formula Based Abstractions of Transition Systems for Real-Time Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Farn Wang Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Sabatier , Pierre Lartigue The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Behm , Paul Benoit , Alain Faivre , Jean-Marc Meynadier Météor: A Successful Application of B in a Large Project. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Matthews , Elvira Locuratolo Formal Development of Databases in ASSO and B. [Citation Graph (0, 0)][DBLP ] Conf ] Yann Rouzaud Interpreting the B-Method in the Refinement Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Büchi , Ralph-Johan Back Compositional Symmetric Sharing in B. [Citation Graph (0, 0)][DBLP ] Conf ] César Muñoz , John M. Rushby Structural Embeddings: Mechanization with Method. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Dunne The Safe Machine: A New Specification Construct for B. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Butler csp2B: A Practical Approach to Combining CSP and B. [Citation Graph (0, 0)][DBLP ] Conf ] Salimeh Behnia , Hélène Waeselynck Test Criteria Definition for B Models. [Citation Graph (0, 0)][DBLP ] Conf ] Richard F. Paige , Eric C. R. Hehner Bunches for Object-Oriented, Concurrent, and Real-Time Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Enn Tyugu , Mihhail Matskin , Jaan Penjam Applications of Structural Synthesis of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Charpentier , K. Mani Chandy Towards a Compositional Approach to the Design and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andre Wong , Marsha Chechik Formal Modeling in a Commercial Setting: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Igor B. Burdonov , Alexander Kossatchev , Alexandre Petrenko , Dmitri Galter KVEST: Automated Generation of Test Suites from Formal Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Lydie du Bousquet Feature Interaction Detection Using Testing and Model-Checking Experience Report. [Citation Graph (0, 0)][DBLP ] Conf ] Nisse Husberg , Tapio Manner Emma: Developing an Industrial Reachability Analyser for SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Monin , Francis Klay Correctness Proof of the Standardized Algorithm for ABR Conformance. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Arts , Mads Dam Verifying a Distributed Database Lookup Manager Written in Erlang. [Citation Graph (0, 0)][DBLP ] Conf ] Fred Gilham , Robert A. Riemenschneider , Victoria Stavridou Secure Interoperation of Secure Distributed Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Volkmar Lotz , Volker Kessler , Georg Walter A Formal Security Model for Microprocessor Hardware. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Schneider Abstraction and Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Zhou , Shiu-Kai Chin Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Lincoln , John C. Mitchell , Mark Mitchell , Andre Scedrov Probabilistic Polynomial-Time Equivalence and Security Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Riccardo Focardi , Fabio Martinelli A Uniform Approach for the Definition of Security Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Paul F. Syverson , Stuart G. Stubblebine Group Principals and the Formalization of Anonymity. [Citation Graph (0, 0)][DBLP ] Conf ] Richard F. Paige , Jonathan S. Ostroff Developing BON as an Industrial-Strength Formal Method. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Mandel , María Victoria Cengarle On the Expressive Power of OCL. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Meyer , Jeanine Souquières A Systematic Approach to Transform OMT Diagrams to a B Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Shaoying Liu Verifying Consistency and Validity of Formal Specifications by Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Marine Tabourier , Ana R. Cavalli , Melania Ionescu A GSM-MAP Protocol Experiment Using Passive Testing. [Citation Graph (0, 0)][DBLP ] Conf ] 