FM
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Formal Methods (FM)

1 × Australia
1 × Austria
1 × Belgium
1 × Canada
1 × China
3 × Denmark
3 × Finland
5 × France
5 × Germany
1 × Greece
1 × India
2 × Ireland
17 × Italy
1 × Norway
1 × Singapore
1 × South Africa
2 × Spain
4 × The Netherlands
7 × United Kingdom
1 × Uruguay
1 × Vietnam
257 ×#verification
223 ×#specification
151 ×#using
144 ×#formal method
136 ×#modelling
102 ×#analysis
91 ×#model checking
84 ×#refinement
83 ×#testing
72 ×#semantics

5 brands:

FMFM
IFMIFM
SEFMSEFM
SFMSFM
VDMVDM

1734 papers in 64 issues:

2015
FMProceedings of the 20th International Symposium of Formal Methods (FM 2015)
SEFMProceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015)
SFMAdvanced Lectures of the 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Multicore Programming (SFM 2015)
2014
FMProceedings of the 19th International Symposium of Formal Methods (FM 2014)
IFMProceedings of the 11th International Conference on Integrated Formal Methods (IFM 2014)
SEFMProceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014)
SFMAdvanced Lectures of the 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Executable Software Models (SFM 2014)
2013
IFMProceedings of the 10th International Conference on Integrated Formal Methods (IFM 2013)
SEFMProceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013)
SFMAdvanced Lectures of the 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Dynamical Systems (SFM 2013)
2012
FMProceedings of the 18th International Symposium of Formal Methods (FM 2012)
IFMProceedings of the Ninth International Conference on Integrated Formal Methods (IFM 2012)
SEFMProceedings of the 10th International Conference on Software Engineering and Formal Methods (SEFM 2012)
SFMAdvanced Lectures of the 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Model-Driven Engineering (SFM 2012)
2011
FMProceedings of the 17th International Symposium of Formal Methods (FM 2011)
SEFMProceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM 2011)
SFMAdvanced Lectures of the 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Eternal Networked Software Systems (SFM 2011)
2010
IFMProceedings of the Eighth International Conference on Integrated Formal Methods (IFM 2010)
SEFMProceedings of the Eighth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)
SFMAdvanced Lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010)
2009
FMProceedings of the 16th International Symposium of Formal Methods: Second World Congress (FM 2009)
IFMProceedings of the Seventh International Conference on Integrated Formal Methods (IFM 2009)
IFMSelected papers on Integrated Formal Methods (iFM09) (IFM 2009)
SEFMProceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009)
SFMAdvanced Lectures of the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Web Services (SFM 2009)
2008
FMProceedings of the 15th International Symposium of Formal Methods (FM 2008)
SEFMProceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008)
SFMAdvanced Lectures of the Eighth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Computational Systems Biology (SFM 2008)
2007
IFMProceedings of the Sixth International Conference on Integrated Formal Methods (IFM 2007)
SEFMProceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
SFMAdvanced Lectures of the Seventh International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Performance Evaluation (SFM 2007)
2006
FMProceedings of the 14th International Symposium of Formal Methods (FM 2006)
SEFMProceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006)
SFMAdvanced Lectures of the Sixth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Hardware Verification (SFM 2006)
2005
FMProceedings of the 13th International Symposium of Formal Methods Europe (FM 2005)
IFMProceedings of the Fifth International Conference on Integrated Formal Methods (IFM 2005)
SEFMProceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005)
SFMAdvanced Lectures of the Fifth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Mobile Computing (SFM-Moby 2005)
2004
IFMProceedings of the Fourth International Conference on Integrated Formal Methods (IFM 2004)
SEFMProceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004)
SFMAdvanced Lectures of the Fourth International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for the Design of Real-Time Systems (SFM-RT 2004)
2003
FMProceedings of the 12th International Symposium of Formal Methods Europe (FME 2003)
SEFMProceedings of the First International Conference on Software Engineering and Formal Methods (SEFM 2003)
SFMAdvanced Lectures of the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Software Architectures (SFM 2003)
2002
FMProceedings of the 11th International Symposium of Formal Methods Europe: Getting IT Right (FME 2002)
IFMProceedings of the Third International Conference on Integrated Formal Methods (IFM 2002)
2001
FMProceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity (FME 2001)
2000
IFMProceedings of the Second International Conference on Integrated Formal Methods (IFM 2000)
1999
FMProceedings of the World Congress on Formal Methods in the Development of Computing Systems. Volume I (World Congress on Formal Methods 1999)
FMProceedings of the World Congress on Formal Methods in the Development of Computing Systems. Volume II (World Congress on Formal Methods 1999)
IFMProceedings of the First International Conference on Integrated Formal Methods (IFM 1999)
1998
FMProceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 1998)
1997
FMProceedings of the Fourth International Symposium of Formal Methods Europe: Industrial Applications and Strengthened Foundations of Formal Methods (FME 1997)
1996
FMProceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods (FME 1996)
1994
FMProceedings of the Second International Symposium of Formal Methods Europe: Industrial Benefit of Formal Methods (FME 1994)
1993
FMProceedings of the First International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods (FME 1993)
1991
VDMProceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 1: Conference Contributions (VDM Europe (1) 1991)
VDMProceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 2: Tutorials (VDM Europe (2) 1991)
1990
VDMProceedings of the Third International Symposium on Vienna Development Method and Z: Formal Methods in Software Development (VDM Europe 1990)
1988
VDMProceedings of the Second European Symposium on Vienna Development Method: The Way Ahead (VDM Europe 1988)
1987
VDMProceedings of the First European Symposium on Vienna Development Method: A Formal Method at Work (VDM Europe 1987)
1981
FMProceedings of a Workshop on Program Specification (PS 1981)
1979
FMThe Use of Formal Specification of Software (FSS 1979)
1978
VDMThe Vienna Development Method: The Meta-Language (VDM 1978)

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.