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
1987Experience Using VDM in STC.R. J. Crispin
1987Using VDM in an Object-Oriented Development Method for Ada Software.Chris Chedgey, Seamus Kearney, Hans-Jrgen Kugler
1987Denotational Engineering or from Denotations to Syntax.Andrzej Blikle
1987The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments.Dines Bjrner
1987Data Reification and Program Decomposition.Derek Andrews
1987Specification by Data Types.Mchel Mac an Airchinnigh
1987Introduction to the VDM Tutorial.Mchel Mac an Airchinnigh
1987Mathematical Structures and their Morphisms in Meta-IV.Mchel Mac an Airchinnigh
1981KWIC-index generation.Jrgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jrg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Srensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen
1981Program Specification by Module Trees.Jrgen Steensgaard-Madsen
1981Geometrical Constructions.Jrgen Staunstrup, Joseph A. Goguen
1981Introduction.Jrgen Staunstrup
1981A Specification Language.Ib Holm Srensen
1981Communication Network.Leif Sandegaard Nielsen, Ib Holm Srensen
1981Concurrency.Leif Sandegaard Nielsen
1981The SRDL Specification Experiment.Herbert Klaeren
1981Recursive Definitions of Operations in Universal Algebras.Herbert Klaeren
1981Tecton: A Language for Manipulating Generic Objects.Deepak Kapur, David R. Musser, Alexander A. Stepanov
1981A Reduction Specification for DTL.Jane W. Hughes, Malcolm S. Powell
1981Issues and Observations.James J. Horning
1981A few Remarks on Putting Formal Specifications to Productive Use.John V. Guttag
1981Parameter Passing in Algebraic Specification Languages.Hartmut Ehrig, Hans-Jrg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1981Robust Data Types.Flaviu Cristian
1981Specification of Distributed Programs.Derek Coleman, Robin M. Gallimore
1981Partial Correctness of Distributed Programs.Derek Coleman, Robin M. Gallimore
1,326–1,350 of 1,364← PreviousNext →

Comparable venues

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