The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Cliff B. Jones
    Reasoning about Interference in an Object-Based Design Method. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:1-18 [Conf]
  2. Antonio Cau, Willem P. de Roever
    Using Relative Refinement for Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:19-41 [Conf]
  3. Anthony Boswell
    Specification and Validation of a Security Policy Model. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:42-51 [Conf]
  4. Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau
    Experience from Applications of RAISE. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:52-63 [Conf]
  5. Eugène Dürr, E. M. Dusink
    Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:64-72 [Conf]
  6. Mikael Hedlund
    The Integration of LOTOS with an Object Oriented Development Method. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:73-82 [Conf]
  7. Gonzalo León, Juan C. Yelmo, Carlos Sánchez, F. Javier Carrasco, Juan J. Gil
    An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:83-92 [Conf]
  8. Ing Widya, Gert-Jan van der Heijden
    Towards an Implementation-oriented Specification of TP Protocol in LOTOS. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:93-109 [Conf]
  9. Egidio Astesiano, Gianna Reggio
    A Metalanguage for the Formal Requirement Specification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:110-128 [Conf]
  10. Geoff Barrett
    Model Checking in Practice - The T9000 Virtual Channel Processor. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:129-147 [Conf]
  11. Juan Bicarregui
    Algorithm Refinement with Read and Write Frames. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:148-161 [Conf]
  12. Juan Bicarregui, Brian Ritchie
    Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:162-182 [Conf]
  13. Jonathan P. Bowen, Victoria Stavridou
    The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:183-195 [Conf]
  14. Naima Brown, Dominique Méry
    A Proof Environment for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:196-215 [Conf]
  15. Andrew Butterfield
    A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:216-234 [Conf]
  16. Liang Chen, Alistair Munro
    Applications of Modal Logic for the Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:235-249 [Conf]
  17. Dan Craigen, Susan L. Gerhart, Ted Ralston
    Formal Methods Reality Check: Industrial Usage. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:250-267 [Conf]
  18. Jeremy Dick, Alain Faivre
    Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:268-284 [Conf]
  19. Guillaume Doumenc, Jean-François Monin
    The Parallel Abstract Machine: A Common Execution Model for FDTs. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:285-293 [Conf]
  20. Kai Engelhardt, Willem P. de Roever
    Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:294-313 [Conf]
  21. Colin J. Fidge
    Real-Time Refinement. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:314-331 [Conf]
  22. Joachim Fischer, Andreas Prinz, Andreas Vogel
    Different FDT's Confronted with Different ODP-Viewpoints of the Trader. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:332-350 [Conf]
  23. Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel
    On the Derivation of Executable Database Programs from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:351-366 [Conf]
  24. Anne Elisabeth Haxthausen, Chris George
    A Concurrency Case Study Using RAISE. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:367-387 [Conf]
  25. Jonathan Jacky
    Specifying a Safety-Critical Control System in Z. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:388-402 [Conf]
  26. H. B. M. Jonkers
    An Overview of the SPRINT Method. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:403-427 [Conf]
  27. Leonid A. Kalinichenko, Nikolaj S. Nikitchenko, Vladimir Zadorozhny
    Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:428-441 [Conf]
  28. M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar
    Verification Tools in the Development of Provably Correct Compilers. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:442-461 [Conf]
  29. Andrew Martin
    Encoding W: A Logic for Z in 2OBJ. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:462-481 [Conf]
  30. Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
    Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:482-500 [Conf]
  31. Graeme I. Parkin, Brian A. Wichmann
    Conformity Clause for VDM-SL. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:501-520 [Conf]
  32. Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot
    Process Instances in LOTOS Simulation. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:521-540 [Conf]
  33. Fiona Polack, Mark Whiston, Keith Mander
    The SAZ Project: Integrating SSADM and Z.. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:541-557 [Conf]
  34. Kelvin J. Ross, Peter A. Lindsay
    Maintaining Consistency Under Changes to Formal Specifications. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:558-577 [Conf]
  35. Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels
    An EVES Data Abstraction Example. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:578-596 [Conf]
  36. Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto
    Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:597-616 [Conf]
  37. Thony van der Vloedt, Kees Bogaards
    Integrating SA/RT with LOTOS. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:617-631 [Conf]
  38. Farn Wang, Aloysius K. Mok, E. Allen Emerson
    Symbolic Model Checking for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:632-651 [Conf]
  39. Nigel Ward
    Adding Specification Constructors to the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:652-670 [Conf]
  40. Debora Weber-Wulff
    Selling Formal Methods to Industry. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:671-678 [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