Conferences in DBLP
Pascal Poizat , Christine Choppy , Jean-Claude Royer From Informal Requirements to COOP: A Concurrent Automata Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Lang , Pierre Lescanne , Luigi Liquori A Framework for Defining Object-Calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjit A. Seshia , R. K. Shyamasundar , A. K. Bhattacharjee , S. D. Dhodapkar A Translation of Statecharts to Esterel. [Citation Graph (0, 0)][DBLP ] Conf ] Xia Yong , Chris George An Operational Semantics for Timed RAISE. [Citation Graph (0, 0)][DBLP ] Conf ] Heike Wehrheim Data Abstraction for CSP-OZ. [Citation Graph (0, 0)][DBLP ] Conf ] Fiona Polack , Susan Stepney Systems Development Using Z Generics. [Citation Graph (0, 0)][DBLP ] Conf ] Perry Alexander , Murali Rangarajan , Phillip Baraona A Brief Summary of VSPEC. [Citation Graph (0, 0)][DBLP ] Conf ] Gary T. Leavens , Albert L. Baker Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Müller-Olm , Andreas Wolf On Excusable and Inexcusable Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Verhoeven , Roland Carl Backhouse Interfacing Program Construction and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] S. Dellacherie , Samuel Devulder , Jean-Luc Lambert Software Verification Based on Linear Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Brendan P. Mahony , Jin Song Dong Sensors and Actuators in TCOZ. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Krieg-Brückner , Jan Peleska , Ernst-Rüdiger Olderog , Alexander Baer The UniForM Workbench, a Universal Development Environment for Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Schätz , Franz Huber Integrating Formal Description Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Merz A More Complete TLA. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Ulrich Hannemann , Willem P. de Roever Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Martin Relating Z and First-Order Logic. [Citation Graph (0, 0)][DBLP ] Conf ] João Pedro Sousa , David Garlan Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Leonid Mikhajlov , Emil Sekerinski , Linas Laibinis Developing Components in the Presence of Re-entrance. [Citation Graph (0, 0)][DBLP ] Conf ] H. B. M. Jonkers Communication and Synchronisation Using Interaction Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Loe M. G. Feijs Modelling Microsoft COM Using pi-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Irina M. Smarandache , Thierry Gautier , Paul Le Guernic Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Simin Nadjm-Tehrani , Ove Åkerlund Combining Theorem Proving and Continuous Models in Synchronous Design. [Citation Graph (0, 0)][DBLP ] Conf ] Juliano Iyoda , Augusto Sampaio , Leila Silva ParTS: A Partitioning Transformation System. [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He A Behavioral Model for Co-design. [Citation Graph (0, 0)][DBLP ] Conf ] Ana Cavalcanti , David A. Naumann A Weakest Precondition Semantics for an Object-Oriented Language of Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph-Johan Back , Anna Mikhajlova , Joakim von Wright Reasoning About Interactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John Derrick , Eerke A. Boiten Non-atomic Refinement in Z. [Citation Graph (0, 0)][DBLP ] Conf ] Eric C. R. Hehner , Andrew M. Gravell Refinement Semantics and Loop Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Michel R. V. Chaudron , Jan Tretmans , Klaas Wijbrans Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. [Citation Graph (0, 0)][DBLP ] Conf ] Steve King , Jonathan Hammond , Roderick Chapman , Andy Pryor The Value of Verification: Positive Experience of Industrial Proof. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Elisabeth Haxthausen , Jan Peleska Formal Development and Verification of a Distributed Railway Control System. [Citation Graph (0, 0)][DBLP ] Conf ] Kaisa Sere , Elena Troubitsyna Safety Analysis in Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Cimatti , P. L. Pieraccini , Roberto Sebastiani , Paolo Traverso , Adolfo Villafiorita Formal Specification and Validation of a Vital Communication Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé Marchand , Mazen Samaan Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] Akira Mori , Kokichi Futatsugi Verifying Behavioural Specifications in CafeOBJ Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Razvan Diaconescu , Kokichi Futatsugi , Shusaku Iida Component-Based Algebraic Specification and Verification in CafeOBJ. [Citation Graph (0, 0)][DBLP ] Conf ] Shin Nakajima Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Clavel , Francisco Durán , Steven Eker , José Meseguer , Mark-Oliver Stehr Maude as a Formal Meta-tool. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , Grigore Rosu Hiding More of Hidden Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Eschbach A Termination Detection Algorithm: Specification and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Grädel , Marc Spielmann Logspace Reducibility via Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Dunstan , Tom Kelsey , Ursula Martin , Steve Linton Formal Methods for Extensions to CAS. [Citation Graph (0, 0)][DBLP ] Conf ] Rosa M. Jiménez , Fernando Orejas An Algebraic Framework for Higher-Order Modules. [Citation Graph (0, 0)][DBLP ] Conf ] Famantanantsoa Randimbivololona , Jean Souyris , Patrick Baudin , Anne Pacalet , Jacques Raguideau , Dominique Schoen Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] P. Garbett , J. P. Parkes , M. Shackleton , S. Anderson Secure Synthesis of Code: A Process Improvement Experiment. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Hainque , Laurent Pautet , Yann Le Biannic , Eric Nassor Cronos: A Separate Compilation Toolset for Modular Esterel Applications. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Knight , P. Thomas Fletcher , Brian R. Hicks Tool Support for Production Use of Formal Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Brendan P. Mahony , Neale Fulton Modeling Aircraft Mission Computer Task Rates. [Citation Graph (0, 0)][DBLP ] Conf ] Henri Habrias , Pascal Poizat , Jean-Yves Lafaye A Study of Collaborative Work: Answers to a Test on Formal Specification in B. [Citation Graph (0, 0)][DBLP ] Conf ] Pertti Kellomäki , Tommi Mikkonen Archived Design Steps in Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Levy , Laurent Trilling A PVS-Based Approach for Teaching Constructing Correct Iterations. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Baumgarten A Minimal Framework for Specification Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Ian MacColl , David A. Carrington A Model of Specification-Based Testing of Interactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Radu Ocica , Dan Ionescu Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Banach , Michael Poppleton Retrenchment. [Citation Graph (0, 0)][DBLP ] Conf ] Anamaria Martins Moreira Proof Preservation in Component Generalization. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Meyer zu Hörste , Eckehard Schnieder Formal Modelling and Simulation of Train Control Systems Using Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Johann Hörl , Bernhard K. Aichernig Formal Specification of a Voice Communication System Used in Air Traffic Control. [Citation Graph (0, 0)][DBLP ] Conf ] Bettina Buth , Mike Schrönen Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Droschl Analyzing the Requirements of an Access Control Using VDMTools and PVS. [Citation Graph (0, 0)][DBLP ] Conf ] Homayoon Akhiani , Damien Doligez , Paul Harter , Leslie Lamport , Joshua Scheid , Mark R. Tuttle , Yuan Yu Cache Coherence Verification with TLA+. [Citation Graph (0, 0)][DBLP ] Conf ] 