Conferences in DBLP
Egon Börger High Level System Design and Analysis Using Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy , Oscar Slotosch Enriching the Software Development Process by Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] François Puitg , Jean-François Dufourd Formal Program Development in Geometric Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Wanderley Lopes de Souza , Paulo Nazareno Maia Sampaio , Jean-Marie Farines , Roberto Milton Scheffel , Maria Janilce B. Almeida , Luciano Paschoal Gaspary , Lisandro Zambenedetti Granville , Roberto Willrich , Murilo S. de Camargo , Marcelo Domingos Design of Distributed Multimedia Applications (DAMD). [Citation Graph (0, 0)][DBLP ] Conf ] Alfons Geser , Wolfgang Küchlin Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip [Citation Graph (0, 0)][DBLP ] Conf ] Kirill Bogdanov , Mike Holcombe , Harbhajan Singh Automated Test Set Generation for Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Goerigk , Ulrich Hoffmann Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. [Citation Graph (0, 0)][DBLP ] Conf ] Amir Pnueli , Ofer Strichman , Michael Siegel Translation Validation: From DC+ to C*. [Citation Graph (0, 0)][DBLP ] Conf ] Satoshi Yamane A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sten Agerholm , Peter Gorm Larsen A Lightweight Approach to Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Büssow , Wolfgang Grieskamp , Winfried Heicking , Stephan Herrmann An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Philipp W. Kutter , Daniel Schweizer , Lothar Thiele Integrating Domain Specific Language Design in the Software Life Cycle. [Citation Graph (0, 0)][DBLP ] Conf ] Tiziana Margaria , Volker Gruhn Flexible and Reliable Process Model Properties: An Integrated Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Fantechi , Stefania Gnesi , Franco Mazzanti , Rosario Pugliese , Enrico Tronci A Symbolic Model Checker for ACTL. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Goldsmith , Irfan Zakiuddin Critical Systems Validation and Verification with CSP and FDR. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Krieg-Brückner UniForM Perspectives for Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Einar W. Karlsen The UniForM WorkBench - A Higher Order Tool Integration Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiro Fujita , Sreeranga P. Rajan , Alan J. Hu Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Meine van der Meulen , Tim Clement Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Koob , Markus Ullmann , Stefan Wittmann The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Del Castillo Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Sten Agerholm , Peter Gorm Larsen The IFAD VDM Tools: Lightweight Formal Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Balser , Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel KIV 3.0 for Provably Correct Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sam Owre , John M. Rushby , Natarajan Shankar , David W. J. Stringer-Calvert PVS: An Experience Report. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar Slotosch QUEST: Overview over the Project. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hutter , Heiko Mantel , Georg Rock , Werner Stephan , Andreas Wolpers , Michael Balser , Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel VSE: Controlling the Complexity in Formal Software Developments. [Citation Graph (0, 0)][DBLP ] Conf ] Mark E. Woodcock The wHOLe System. [Citation Graph (0, 0)][DBLP ] Conf ] Ora Canada Z/EVES Version 1.5: An Overview. [Citation Graph (0, 0)][DBLP ] Conf ] 