Skip to content
cs-conference-ranking.org

International Symposium on Formal Methods (was Formal Methods Europe FME)

FM

B

CORE rank

CORE rank (raw)

B

Fields of research

Software Engineering · Theory of Computation

Papers indexed

1,364

1978–2026

Best Software Engineering conferencesBest Theory of Computation conferences

Papers per year

1978116 peak2026

Most published authors

FM papers

1,364 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1991Specification and Refinement in an Integrated Database Application Environment.Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel
1991Specification and Stepwise Development of Communicating Systems.Stephan Rssig, Michael Schenke
1991The Integrated Software Development and Verification System ATES.Armand Puccetti
1991The Delft VDM-SL Front-End.Nico Plat, Kees Pronk, Marcel Verhoef
1991A Case for Structured Analysis/Formal Design.Nico Plat, Jan van Katwijk, Kees Pronk
1991Formal Specification in Metamorphic Programing.David A. Penny, Richard C. Holt, Michael W. Godfrey
1991Specification of the MAA Standard in VDM.Graeme I. P. Parkin, G. O'Neill
1991MURAL and SPECBOX.Richard C. Moore, Peter K. D. Froome
1991Concurrent Processes as Objects (Abstract).Robin Milner
1991LPF and MPLCornelis A. Middelburg, Gerard R. Renardel de Lavalette
1991A Specification of a Complex Programming Language Statement.P. McParland, Peter Kilpatrick
1991Using VDM within an Object-Oriented Framework.Lynn S. Marshall, Linda Simon
1991B-Tool.Matthew Lee, Ib Holm Srensen
1991Formal Development of a Serial Copy Management System.Gerard R. Renardel de Lavalette
1991An Executable Subset of Meta-IV with Loose Specification.Peter Gorm Larsen, Poul Bgh Lassen
1991The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.Bernd Krieg-Brckner, Einar W. Karlsen, Junbo Liu, Owen Traynor
1991A Debugger for a Meta-IV-like Meta-Language.D. Kinnaes, Karel De Vlaminck
1991CADIZ - Computer Aided Design in Z.David Jordan
1991Upgrading the Pre- and Postcondition Technique.H. B. M. Jonkers
1991Description is our Business.Michael Jackson
1991CICS Project Report: Experiences and Results from the use of Z in IBM.Ian Houston, Steve King
1991The IBM Z Tool.Ian Houston
1991The PROSPECTRA System.Berthold Hoffmann, Bernd Krieg-Brckner
1991Prototyping with Temporal VDM: A Status Report.Heping He, Hussein Zedan
1991The EXSPECT Tool.Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
1,201–1,225 of 1,364← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.