ask others

FM-Trends 1998: Boppard, Germany

> Home > Conferences and Workshops > FM

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/1998
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/1998
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Borger98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Borger98
Egon Börger:
High Level System Design and Analysis Using Abstract State Machines. 1-43
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/BroyS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/BroyS98
Manfred Broy, Oscar Slotosch:
Enriching the Software Development Process by Formal Methods. 44-61

Regular Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/PuitgD98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/PuitgD98
François Puitg, Jean-François Dufourd:
Formal Program Development in Geometric Modeling. 62-76
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/SouzaSFSAGGWCD98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/SouzaSFSAGGWCD98
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/GeserK98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/GeserK98
Alfons Geser, Wolfgang Küchlin:
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip. 92-106
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/BogdanovHS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/BogdanovHS98
Kirill Bogdanov, Mike Holcombe, Harbhajan Singh:
Automated Test Set Generation for Statecharts. 107-121
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/GoerigkH98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/GoerigkH98
Wolfgang Goerigk, Ulrich Hoffmann:
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. 122-136
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/PnueliSS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/PnueliSS98
Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation: From DC+ to C*. 137-150
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Yamane98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Yamane98
Satoshi Yamane:
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. 151-167
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/fm/AgerholmL98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/AgerholmL98
Sten Agerholm, Peter Gorm Larsen:
A Lightweight Approach to Formal Methods. 168-183
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/BussowGHH98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/BussowGHH98
Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann:
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. 184-195
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/KutterST98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/KutterST98
Philipp W. Kutter, Daniel Schweizer, Lothar Thiele:
Integrating Domain Specific Language Design in the Software Life Cycle. 196-212
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/MargariaG98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/MargariaG98
Tiziana Margaria, Volker Gruhn:
Flexible and Reliable Process Model Properties: An Integrated Approach. 213-227
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/fm/FantechiGMPT98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/FantechiGMPT98
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci:
A Symbolic Model Checker for ACTL. 228-242
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/GoldsmithZ98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/GoldsmithZ98
Michael Goldsmith, Irfan Zakiuddin:
Critical Systems Validation and Verification with CSP and FDR. 243-250
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Krieg-Bruckner98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Krieg-Bruckner98
Bernd Krieg-Brückner:
UniForM Perspectives for Formal Methods. 251-265
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Karlsen98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Karlsen98
Einar W. Karlsen:
The UniForM WorkBench - A Higher Order Tool Integration Framework. 266-280

Application Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/FujitaRH98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/FujitaRH98
Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu:
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. 281-295
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/MeulenC98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/MeulenC98
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/KoobUW98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/KoobUW98
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Castillo98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Castillo98
Giuseppe Del Castillo:
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. 311-325
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/fm/AgerholmL98a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/AgerholmL98a
Sten Agerholm, Peter Gorm Larsen:
The IFAD VDM Tools: Lightweight Formal Methods. 326-329
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/BalserRSS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/BalserRSS98
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
KIV 3.0 for Provably Correct Systems. 330-337
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/OwreRSS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/OwreRSS98
Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert:
PVS: An Experience Report. 338-345
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Slotosch98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Slotosch98
Oscar Slotosch:
QUEST: Overview over the Project. 346-350
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/HutterMRSWBRSS98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/HutterMRSWBRSS98
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Woodcock98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Woodcock98
Mark E. Woodcock:
The wHOLe System. 359-366
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fm/Canada98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fm/Canada98
Ora Canada:
Z/EVES Version 1.5: An Overview. 367-376

maintained by

, founded at