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

CORE rank

CORE rank (raw)

Fields of research

Software Engineering · Theory of Computation

Papers indexed

1,364

1978–2026

Best Software Engineering conferences Best 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.

Year	Title	Authors
1988	Specification of an Operating System Kernel FOREST and VDM compared.	Stephen J. Goldsack
1988	Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting.	Bettina Buth, Karl-Heinz Buth
1988	Understanding an informal Description: Office Documents Architecture, an ISO Standard.	Andrzej M. Borzyszkowski, Stefan Sokolowski
1988	A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.	Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski
1988	The Use of VDM within the Alvey Flagship Project.	Graham Boddy
1988	Three-Valued Predicates for Software Specification and Validation.	Andrzej Blikle
1988	Structuring for the VDM Specification Language.	Stephen Bear
1988	Compiler Prototyping with VDM and Standard ML.	R. D. Arthan
1988	The Formal Definition of Modula-2 and Its Associated Interpreter.	Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers
1988	Report from the BSIPanel for the Standardisation of VDM (IST/5/50).	Derek J. Andrews
1988	The B Tool (Abstract).	Jean-Raymond Abrial
1987	Objectives of the British Standardisation of a Language to support the Vienna Development Method - The BSI VDM Specification Language Standardisation Panel - United Kingdom.	D. Sen
1987	Experience with VDM in Norsk Data.	Uwe Schmidt, Reinhard Vller
1987	From VDM to RAISE.	Sren Prehn
1987	VDM in Three Generations of Ada* Formal Descriptions.	Jan Storbank Pedersen
1987	A Type Model for VDM.	Brian Q. Monahan
1987	A Formal Description of Object-Oriented Programming Using VDM.	Cydney Minkowitz, Peter B. Henderson
1987	VDM: Origins, Hopes, and Achievements.	Peter Lucas
1987	VDM as a Specification Method for Telecommunications Software.	Thomas Letschert
1987	A Formal Semantics for a DataFlow Machine - Using VDM.	Kevin D. Jones
1987	VDM Proof Obligations and their Justification.	Cliff B. Jones
1987	Support Environments for VDM.	Kevin D. Jones
1987	Development and Application of a Meta IV Compiler.	Manfred Ha
1987	Use of VDM within CCITT.	Peter Haff, Anders Olsen
1987	Heap Storage Specification and Development.	Chris George

1,301–1,325 of 1,364← Previous Next →

Comparable venues

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