Conferences in DBLP
Stuart Anderson , Konstantinos Tourlas Diagrams and Programming Languages for Programmable Controllers. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Dierks , Cheryl Dietz Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. [Citation Graph (0, 0)][DBLP ] Conf ] Gianna Reggio , Mauro Larosa A Graphic Notation for Formal Specifications of Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme Smith A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Mikhajlova , Emil Sekerinski Class Refinement and Interface Refinement in Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Kleuker Formalizing Requirements for Distributed Systems with Trace Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Huber , Bernhard Schätz , Geralf Einert Consistent Graphical Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Lano , Ana Sánchez Design of Reactive Control Systems for Event-Drivem Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Fleischhack , Josef Tapken An M-Net Semantics for a Real-Time Extension of µSDL. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy , Radu Grosu , Cornel Klein Reconciling Real-Time with Asynchronous Message Passing. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Schönhoff , Mojgan Kowsari Specifying the Remote Control of Valves in an Explosion Test Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Lionel Devauchelle , Peter Gorm Larsen , Henrik Voss PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. [Citation Graph (0, 0)][DBLP ] Conf ] William D. Young , William R. Bevier Mathematical Modeling and Analysis of an External Memory Manager. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Mukherjee Automatic Translation of VDM-SL Specifications into Gofer. [Citation Graph (0, 0)][DBLP ] Conf ] Sten Agerholm , Jacob Frost Towards an Integrated CASE and Theorem Proving Tool for VDM-SL. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Lano , Juan Bicarregui , José Luiz Fiadeiro , Antónia Lopes Specification of Required Non-determinism. [Citation Graph (0, 0)][DBLP ] Conf ] Haykal Tej , Burkhart Wolff A Corrected Failure Divergence Model for CSP in Isabelle/HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard K. Aichernig , Peter Gorm Larsen A Proof Obligation Generator for VDM-SL. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Mehdi Ayadi , Dominique Bolignano Verification of Cryptographic Protocols: An Experiment. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Charles Grégoire TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations. [Citation Graph (0, 0)][DBLP ] Conf ] Abdelillah Mokkedem , Michael J. Ferguson , Robert de B. Johnston A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] J. M. R. Martin , S. A. Jassim An Efficient Technique for Deadlock Analysis of Large Scale Process Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Shenwei Yu , Zhaohui Luo Implementing a Model Checker for LEGO. [Citation Graph (0, 0)][DBLP ] Conf ] Axel Dold , Friedrich W. von Henke , Holger Pfeifer , Harald Rueß Formal Verification of Transformations for Peephole Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Richard F. Paige A Meta-Method for Formal Method Integration. [Citation Graph (0, 0)][DBLP ] Conf ] David Hemer , Peter A. Lindsay Reuse of Verified Design Templates Through Extended Pattern Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Ulrich Hannemann , Willem P. de Roever A Compositional Proof System for Shared Variable Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Michel , Virginie Wiels A Framework for Modular Formal Specification and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Carsta Petersohn , Luis Urbina A Timed Semantics for the STATEMATE Implementation of Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] David W. J. Stringer-Calvert , Susan Stepney , Ian Wand Using PVS to Prove a Z Refinement: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Pertti Kellomäki Verification of Reactive Systems Using DisCo and PVS. [Citation Graph (0, 0)][DBLP ] Conf ] David Cazier , Jean-François Dufourd Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Leila Silva , Augusto Sampaio , Edna Barros A Normal Form Reduction Strategy for Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP ] Conf ] Eerke A. Boiten , Howard Bowman , John Derrick , Maarten Steen Viewpoint Consistency in Z and LOTOS: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Charpentier A UNITY Mapping Operator for Distributed Programs. [Citation Graph (0, 0)][DBLP ] Conf ] 