Conferences in DBLP
Kouichi Kishida Looking Back to the Future: Thoughts on Paradigm Shift in Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Toshimi Sawada , Kouichi Kishida , Kokichi Futatsugi Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Randell On Failures and Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard J. Holzmann Trends in Software Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Raymond Abrial Event Based Sequential Program Development: Application to Constructing a Pointer Program. [Citation Graph (0, 0)][DBLP ] Conf ] Steven P. Miller , Alan C. Tribble , Mats Per Erik Heimdahl Proving the Shalls. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Bert , Sylvain Boulmé , Marie-Laure Potet , Antoine Requet , Laurent Voisin Adaptable Translator of B Specifications to Embedded C Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Daniele Compare , Paola Inverardi , Patrizio Pelliccione , Alessandra Sebastiani Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Wassyng , Mark Lawford Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. [Citation Graph (0, 0)][DBLP ] Conf ] Ian J. Hayes , Michael A. Jackson , Cliff B. Jones Determining the Specification of a Control System from That of Its Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Donna C. Stidolph , E. James Whitehead Jr. Managerial Issues for the Consideration and Use of Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Colin J. Fidge Verifying Emulation of Legacy Mission Computer Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bozzano , Antonella Cavallo , Massimo Cifaldi , Laura Valacca , Adolfo Villafiorita Improving Safety Assessment of Complex Systems: An Industrial Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Vlad Rusu Compositional Verification of an ATM Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Henderson Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Boyer , Mihaela Sighireanu Synthesis and Verification of Constraints in the PGM Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Shengchao Qin , Wei-Ngan Chin Mapping Statecharts to Verilog for Hardware/Software Co-specification. [Citation Graph (0, 0)][DBLP ] Conf ] Adolfo Duran , Ana Cavalcanti , Augusto Sampaio A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. [Citation Graph (0, 0)][DBLP ] Conf ] Shengchao Qin , Jin Song Dong , Wei-Ngan Chin A Semantic Foundation for TCOZ in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Olga Kouchnarenko , Arnaud Lanoix Refinement and Verification of Synchronized Component-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Grigore Rosu , Steven Eker , Patrick Lincoln , José Meseguer Certifying and Synthesizing Membership Equational Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice H. ter Beek , Jetty Kleijn Team Automata Satisfying Compositionality. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Charpentier Composing Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Lilian Burdy , Antoine Requet , Jean-Louis Lanet Java Applet Correctness: A Developer-Oriented Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Patrice Chalin Improving JML: For a Safer and More Effective Language. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Lettrari Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Maria-Cristina V. Marinescu , Martin C. Rinard A Formal Framework for Modular Synchronous System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Arie Gurfinkel , Marsha Chechik Generating Counterexamples for Multi-valued Model-Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Schäfer Combining Real-Time Model-Checking and Fault Tree Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Morzenti , Matteo Pradella , Pierluigi San Pietro , Paola Spoletini Model-Checking TRIO Specifications in SPIN. [Citation Graph (0, 0)][DBLP ] Conf ] Julien Musset , Michaël Rusinowitch Computing Meta-transitions for Linear Transition Systems with Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Fei Xie , James C. Browne , Robert P. Kurshan Translation-Based Compositional Reasoning for Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Goldsmith , Nick Moffat , Bill Roscoe , Tim Whitworth , Irfan Zakiuddin Watchdog Transformations for Property-Oriented Model-Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Diyaa-Addein Atiya , Steve King , Jim Woodcock A Circus Semantics for Ravenscar Protected Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fenkam , Harald Gall , Mehdi Jazayeri Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Aldini , Marco Bernardo A General Approach to Deadlock Freedom Verification for Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo F. Frias , Carlos López Pombo , Gabriel Baum , Nazareno Aguirre , T. S. E. Maibaum Taking Alloy to the Movies. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Kuhn , David von Oheimb Interacting State Machines for Mobility. [Citation Graph (0, 0)][DBLP ] Conf ] Jei-Wen Teng , Yih-Kuen Tsay Composing Temporal-Logic Specifications with Machine Assistance. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Thums , Gerhard Schellhorn Model Checking FTA. [Citation Graph (0, 0)][DBLP ] Conf ] Sabine Glesner Program Checking with Certificates: Separating Correctness-Critical Code. [Citation Graph (0, 0)][DBLP ] Conf ] Fabrice Bouquet , Bruno Legeard Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Jing Sun , Hai Wang Checking and Reasoning about Semantic Web through Alloy. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Poppleton , Richard Banach Structuring Retrenchments in B by Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Amel Mammar , Régine Laleau Design of an Automatic Prover Dedicated to the Refinement of Database Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leuschel , Michael J. Butler ProB: A Model Checker for B. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Armando , Luca Compagna , Pierre Ganty SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Ewen Denney , Bernd Fischer Correctness of Source-Level Safety Policies. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Vigna A Topological Characterization of TCP/IP Security. [Citation Graph (0, 0)][DBLP ] Conf ] 