×

zbMATH — the first resource for mathematics

Formal Methods in System Design

An International Journal

Short Title: Form. Methods Syst. Des.
Publisher: Springer US, New York, NY
ISSN: 0925-9856; 1572-8102/e
Online: http://link.springer.com/journal/volumesAndIssues/10703
Comments: Indexed cover-to-cover
Documents indexed: 472 Publications (since 1992)
References indexed: 363 Publications with 12,688 References
all top 5

Latest Issues

54, No. 2 (2019)
54, No. 1 (2019)
53, No. 3 (2018)
53, No. 2 (2018)
53, No. 1 (2018)
52, No. 3 (2018)
52, No. 2 (2018)
52, No. 1 (2018)
51, No. 3 (2017)
51, No. 2 (2017)
51, No. 1 (2017)
50, No. 2-3 (2017)
50, No. 1 (2017)
49, No. 3 (2016)
49, No. 1-2 (2016)
48, No. 3 (2016)
48, No. 1-2 (2016)
47, No. 3 (2015)
47, No. 2 (2015)
47, No. 1 (2015)
46, No. 3 (2015)
46, No. 2 (2015)
46, No. 1 (2015)
45, No. 3 (2014)
45, No. 2 (2014)
45, No. 1 (2014)
44, No. 3 (2014)
44, No. 2 (2014)
44, No. 1 (2014)
43, No. 3 (2013)
43, No. 2 (2013)
43, No. 1 (2013)
42, No. 3 (2013)
42, No. 2 (2013)
42, No. 1 (2013)
41, No. 3 (2012)
41, No. 2 (2012)
41, No. 1 (2012)
40, No. 3 (2012)
40, No. 2 (2012)
40, No. 1 (2012)
39, No. 3 (2011)
39, No. 2 (2011)
39, No. 1 (2011)
38, No. 3 (2011)
38, No. 2 (2011)
38, No. 1 (2011)
37, No. 2-3 (2010)
37, No. 1 (2010)
36, No. 3 (2010)
36, No. 2 (2010)
36, No. 1 (2010)
35, No. 3 (2009)
35, No. 2 (2009)
35, No. 1 (2009)
34, No. 3 (2009)
34, No. 2 (2009)
34, No. 1 (2009)
33, No. 1-3 (2008)
32, No. 3 (2008)
32, No. 2 (2008)
32, No. 1 (2008)
31, No. 3 (2007)
31, No. 2 (2007)
31, No. 1 (2007)
30, No. 3 (2007)
30, No. 2 (2007)
30, No. 1 (2007)
29, No. 3 (2006)
29, No. 2 (2006)
29, No. 1 (2006)
28, No. 3 (2006)
28, No. 2 (2006)
28, No. 1 (2006)
27, No. 3 (2005)
27, No. 1-2 (2005)
26, No. 3 (2005)
26, No. 2 (2005)
26, No. 1 (2005)
25, No. 2-3 (2004)
25, No. 1 (2004)
24, No. 3 (2004)
24, No. 2 (2004)
24, No. 1 (2004)
23, No. 3 (2003)
23, No. 2 (2003)
23, No. 1 (2003)
22, No. 3 (2003)
22, No. 2 (2003)
22, No. 1 (2003)
21, No. 3 (2002)
21, No. 2 (2002)
21, No. 1 (2002)
20, No. 3 (2002)
20, No. 2 (2002)
20, No. 1 (2002)
19, No. 3 (2001)
19, No. 2 (2001)
19, No. 1 (2001)
18, No. 3 (2001)
...and 15 more Volumes
all top 5

Authors

11 Clarke, Edmund Melson jun.
10 Kröning, Daniel
10 Strichman, Ofer
10 Vardi, Moshe Y.
8 Grumberg, Orna
7 Bouajjani, Ahmed
7 Falcone, Yliès
6 Henzinger, Thomas A.
6 Kupferman, Orna
6 Larsen, Kim Guldstrand
6 Raskin, Jean-François
6 Tonetta, Stefano
5 Alur, Rajeev
5 Chaki, Sagar
5 Fribourg, Laurent
5 Gopalakrishnan, Ganesh Lalitha
5 Heyman, Tamir
5 Majumdar, Rupak
5 Peled, Doron A.
5 Rümmer, Philipp
5 Sharygina, Natasha
5 Yorav, Karen
4 Abdulla, Parosh Aziz
4 Barrett, Clark W.
4 Ben-David, Shoham
4 Biere, Armin
4 Chatterjee, Krishnendu
4 Chockler, Hana
4 Cimatti, Alessandro
4 Dill, David L.
4 Eisner, Cindy
4 Esparza, Javier
4 Grosu, Radu
4 Gurfinkel, Arie
4 Habermehl, Peter
4 Havelund, Klaus
4 Katoen, Joost-Pieter
4 Kwiatkowska, Marta Z.
4 Parker, David F.
4 Roşu, Grigore
4 Sangiovanni-Vincentelli, Alberto L.
4 Sankaranarayanan, Sriram
4 Stoller, Scott D.
4 Tripakis, Stavros
4 Viswanathan, Mahesh
4 Vojnar, Tomáš
3 Abraham, Jacob A.
3 Andersen, Henrik Reif
3 Aziz, Adnan
3 Baier, Christel
3 Becker, Bernd
3 Beer, Ilan
3 Benveniste, Albert
3 Bérard, Béatrice
3 Bloem, Roderick
3 Bouyer, Patricia
3 Cabodi, Gianpiero
3 Chakraborty, Supratik
3 Claesen, Luc
3 Cook, Byron
3 Damm, Werner
3 Doyen, Laurent
3 Gastin, Paul
3 Gnesi, Stefania
3 Griggio, Alberto
3 Hermanns, Holger
3 Hunt, Warren A. jun.
3 Jéron, Thierry
3 Katz, Shmuel
3 Klaedtke, Felix
3 Kropf, Thomas
3 Kurshan, Robert P.
3 La Torre, Salvatore
3 Legay, Axel
3 Malik, Sharad
3 Marchand, Hervé
3 McMillan, Kenneth L.
3 Miné, Antoine
3 Mover, Sergio
3 Norman, Gethin
3 Păsăreanu, Corina S.
3 Platzer, André
3 Qadeer, Shaz
3 Ranzato, Francesco
3 Reps, Thomas W.
3 Reynolds, Andrew
3 Schneider, Klaus
3 Schuster, Assaf
3 Sifakis, Joseph
3 Singhal, Vigyan
3 Sipma, Henny B.
3 Sproston, Jeremy
3 Tahar, Sofiène
3 Valmari, Antti
3 Veith, Helmut
3 Weissenbacher, Georg
3 Wintersteiger, Christoph M.
2 Aiken, Alex
2 Alberti, Francesco
2 Alglave, Jade
...and 904 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription