Conferences in DBLP
Mathai Joseph Formal Aids for the Growth of Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Claude Gaudel Formal Methods and Testing: Hypotheses, and Correctness Approximations. [Citation Graph (0, 0)][DBLP ] Conf ] C. W. Johnson The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions. [Citation Graph (0, 0)][DBLP ] Conf ] K. Rustan M. Leino , Peter Müller Modular Verification of Static Class Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis T. Kassios Decoupling in Object Orientation. [Citation Graph (0, 0)][DBLP ] Conf ] Cees Pierik , Dave Clarke , Frank S. de Boer Controlling Object Allocation Using Creation Guards. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Bouquet , Frédéric Dadeau , Bruno Legeard , Mark Utting Symbolic Animation of JML Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] David Cachera , Thomas P. Jensen , David Pichardie , Gerardo Schneider Certified Memory Usage Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Orieta Celiku , Annabelle McIver Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Salverda , Grigore Rosu , Craig B. Zilles Formally Defining and Verifying Master/Slave Speculative Parallelization. [Citation Graph (0, 0)][DBLP ] Conf ] Martin De Wulf , Laurent Doyen , Jean-François Raskin Systematic Implementation of Real-Time Models. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Wassyng , Mark Lawford , Xiayong Hu Timing Tolerances in Safety-Critical Software. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik C. Bohnenkamp , Axel Belinfante Timed Testing with TorX. [Citation Graph (0, 0)][DBLP ] Conf ] Vlad Rusu , Hervé Marchand , Thierry Jéron Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christie Bolton Adding Conflict and Confusion to CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Butler , Michael Leuschel Combining CSP and B for Specification and Property Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Woodcock , Ana Cavalcanti , Leonardo Freitas Operational Semantics for Model Checking Circus. [Citation Graph (0, 0)][DBLP ] Conf ] Ana Cavalcanti , Phil Clayton , Colin O'Halloran Control Law Diagrams in Circus . [Citation Graph (0, 0)][DBLP ] Conf ] David A. Basin , Hironobu Kuruma , Kazuo Takaragi , Burkhart Wolff Verification of a Signature Architecture with HOL-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Mikael Buchholtz , Stephen Gilmore , Valentin Haenel , Carlo Montangero End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. [Citation Graph (0, 0)][DBLP ] Conf ] June Andronick , Boutheina Chetali , Christine Paulin-Mohring Formal Verification of Security Properties of Smart Card Embedded Source Code. [Citation Graph (0, 0)][DBLP ] Conf ] Pamela Zave A Formal Model of Addressing for Interoperating Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Yu Lei , S. Purushothaman Iyer An Approach to Unfolding Asynchronous Communication Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Zongyan Qiu , Shuling Wang , Geguang Pu , Xiangpeng Zhao Semantics of BPEL4WS-Like Fault and Compensation Handling. [Citation Graph (0, 0)][DBLP ] Conf ] Dragan Bosnacki On Some Galois Connection Based Abstractions for the Mu-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Banach , Michael Poppleton , Czeslaw Jeske , Susan Stepney Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. [Citation Graph (0, 0)][DBLP ] Conf ] Tiago L. Alves , P. F. Silva , Joost Visser , José Nuno Oliveira Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Sun , Jin Song Dong Synthesis of Distributed Processes from Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Emilia Katz , Shmuel Katz Verifying Scenario-Based Aspect Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Soon-Kyeong Kim , Damian Burger , David A. Carrington An MDA Approach Towards Integrating Formal and Informal Modeling Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Hoenicke , Patrick Maier Model-Checking of Specifications Integrating Processes, Data and Time. [Citation Graph (0, 0)][DBLP ] Conf ] Alastair F. Donaldson , Alice Miller Automatic Symmetry Detection for Model Checking Using Computational Group Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Subramanian K. Iyer , Debashis Sahoo , E. Allen Emerson , Jawahar Jain On Partitioning and Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Natasha Sharygina , Sagar Chaki , Edmund M. Clarke , Nishant Sinha Dynamic Component Substitutability Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] John Harrison Floating-Point Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Eisler , Christian Scheidler , Bernhard Josko , Guido Sandmann , Joachim Stroop Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Pretschner Model-Based Testing in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Colin Campbell , Wolfgang Grieskamp , Lev Nachmanson , Wolfram Schulte , Nikolai Tillmann , Margus Veanes Testing Concurrent Object-Oriented Systems with Spec Explorer. [Citation Graph (0, 0)][DBLP ] Conf ] Guy H. Broadfoot ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software. [Citation Graph (0, 0)][DBLP ] Conf ] Gerrit Muller The Informal Nature of Systems Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] 