default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFM-Trends 1998: Boppard, Germany
- Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann:
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings. Lecture Notes in Computer Science 1641, Springer 1999, ISBN 3-540-66462-9
Invited Papers
- Egon Börger:
High Level System Design and Analysis Using Abstract State Machines. 1-43 - Manfred Broy, Oscar Slotosch:
Enriching the Software Development Process by Formal Methods. 44-61
Regular Papers
- François Puitg, Jean-François Dufourd:
Formal Program Development in Geometric Modeling. 62-76 - 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). 77-91 - Alfons Geser, Wolfgang Küchlin:
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip. 92-106 - Kirill Bogdanov, Mike Holcombe, Harbhajan Singh:
Automated Test Set Generation for Statecharts. 107-121 - Wolfgang Goerigk, Ulrich Hoffmann:
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. 122-136 - Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation: From DC+ to C*. 137-150 - Satoshi Yamane:
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. 151-167 - Sten Agerholm, Peter Gorm Larsen:
A Lightweight Approach to Formal Methods. 168-183 - Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann:
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. 184-195 - Philipp W. Kutter, Daniel Schweizer, Lothar Thiele:
Integrating Domain Specific Language Design in the Software Life Cycle. 196-212 - Tiziana Margaria, Volker Gruhn:
Flexible and Reliable Process Model Properties: An Integrated Approach. 213-227 - Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci:
A Symbolic Model Checker for ACTL. 228-242 - Michael Goldsmith, Irfan Zakiuddin:
Critical Systems Validation and Verification with CSP and FDR. 243-250 - Bernd Krieg-Brückner:
UniForM Perspectives for Formal Methods. 251-265 - Einar W. Karlsen:
The UniForM WorkBench - A Higher Order Tool Integration Framework. 266-280
Application Papers
- Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu:
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. 281-295 - Meine van der Meulen, Tim Clement:
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. 296-301 - Frank Koob, Markus Ullmann, Stefan Wittmann:
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. 302-310
Tool Papers
- Giuseppe Del Castillo:
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. 311-325 - Sten Agerholm, Peter Gorm Larsen:
The IFAD VDM Tools: Lightweight Formal Methods. 326-329 - Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
KIV 3.0 for Provably Correct Systems. 330-337 - Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert:
PVS: An Experience Report. 338-345 - Oscar Slotosch:
QUEST: Overview over the Project. 346-350 - 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. 351-358 - Mark E. Woodcock:
The wHOLe System. 359-366 - Ora Canada:
Z/EVES Version 1.5: An Overview. 367-376
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
