The SCEAS System
Navigation Menu

Conferences in DBLP

World Congress on Formal Methods (FM) (fm)
1997 (conf/fm/1997)

  1. Stuart Anderson, Konstantinos Tourlas
    Diagrams and Programming Languages for Programmable Controllers. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:1-19 [Conf]
  2. Henning Dierks, Cheryl Dietz
    Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:20-39 [Conf]
  3. Gianna Reggio, Mauro Larosa
    A Graphic Notation for Formal Specifications of Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:40-61 [Conf]
  4. Graeme Smith
    A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:62-81 [Conf]
  5. Anna Mikhajlova, Emil Sekerinski
    Class Refinement and Interface Refinement in Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:82-101 [Conf]
  6. Stephan Kleuker
    Formalizing Requirements for Distributed Systems with Trace Diagrams. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:102-121 [Conf]
  7. Franz Huber, Bernhard Schätz, Geralf Einert
    Consistent Graphical Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:122-141 [Conf]
  8. Kevin Lano, Ana Sánchez
    Design of Reactive Control Systems for Event-Drivem Operations. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:142-161 [Conf]
  9. Hans Fleischhack, Josef Tapken
    An M-Net Semantics for a Real-Time Extension of µSDL. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:162-181 [Conf]
  10. Manfred Broy, Radu Grosu, Cornel Klein
    Reconciling Real-Time with Asynchronous Message Passing. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:182-200 [Conf]
  11. Martin Schönhoff, Mojgan Kowsari
    Specifying the Remote Control of Valves in an Explosion Test Environment. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:201-220 [Conf]
  12. Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss
    PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:221-236 [Conf]
  13. William D. Young, William R. Bevier
    Mathematical Modeling and Analysis of an External Memory Manager. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:237-257 [Conf]
  14. Paul Mukherjee
    Automatic Translation of VDM-SL Specifications into Gofer. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:258-277 [Conf]
  15. Sten Agerholm, Jacob Frost
    Towards an Integrated CASE and Theorem Proving Tool for VDM-SL. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:278-297 [Conf]
  16. Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes
    Specification of Required Non-determinism. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:298-317 [Conf]
  17. Haykal Tej, Burkhart Wolff
    A Corrected Failure Divergence Model for CSP in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:318-337 [Conf]
  18. Bernhard K. Aichernig, Peter Gorm Larsen
    A Proof Obligation Generator for VDM-SL. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:338-357 [Conf]
  19. Marc Mehdi Ayadi, Dominique Bolignano
    Verification of Cryptographic Protocols: An Experiment. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:358-377 [Conf]
  20. Jean-Charles Grégoire
    TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:378-397 [Conf]
  21. 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]
    FME, 1997, pp:398-417 [Conf]
  22. J. M. R. Martin, S. A. Jassim
    An Efficient Technique for Deadlock Analysis of Large Scale Process Networks. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:418-441 [Conf]
  23. Shenwei Yu, Zhaohui Luo
    Implementing a Model Checker for LEGO. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:442-458 [Conf]
  24. Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß
    Formal Verification of Transformations for Peephole Optimization. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:459-472 [Conf]
  25. Richard F. Paige
    A Meta-Method for Formal Method Integration. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:473-494 [Conf]
  26. David Hemer, Peter A. Lindsay
    Reuse of Verified Design Templates Through Extended Pattern Matching. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:495-514 [Conf]
  27. Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever
    A Compositional Proof System for Shared Variable Concurrency. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:515-532 [Conf]
  28. Pierre Michel, Virginie Wiels
    A Framework for Modular Formal Specification and Verification. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:533-552 [Conf]
  29. Carsta Petersohn, Luis Urbina
    A Timed Semantics for the STATEMATE Implementation of Statecharts. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:553-572 [Conf]
  30. David W. J. Stringer-Calvert, Susan Stepney, Ian Wand
    Using PVS to Prove a Z Refinement: A Case Study. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:573-588 [Conf]
  31. Pertti Kellomäki
    Verification of Reactive Systems Using DisCo and PVS. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:589-604 [Conf]
  32. David Cazier, Jean-François Dufourd
    Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:605-623 [Conf]
  33. Leila Silva, Augusto Sampaio, Edna Barros
    A Normal Form Reduction Strategy for Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:624-643 [Conf]
  34. Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen
    Viewpoint Consistency in Z and LOTOS: A Case Study. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:644-664 [Conf]
  35. Michel Charpentier
    A UNITY Mapping Operator for Distributed Programs. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:665-684 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002