iBet uBet web content aggregator. Adding the entire web to your favor.

iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: http://citations.springer.com/item?doi=10.1007/978-3-642-28756-5_38

SpringerCitations - Details Page

Citation Details

Chapter

Competition on Software Verification

Tools and Algorithms for the Construction and Analysis of Systems, 2012, Volume 7214

ISBN : 978-3-642-28755-8

Dirk Beyer

60 Items cite this Chapter

Chapter

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen and Dirk Beyer

Series: Lecture Notes in Computer Science, Year: 2012, Volume 7609, Page 608

DOI: 10.1007/978-3-642-34026-0_45

Chapter

Hardware and Software: Verification and Testing

Anand Yeolekar and Divyesh Unadkat

Series: Lecture Notes in Computer Science, Year: 2013, Volume 8244, Page 199

DOI: 10.1007/978-3-319-03077-7_14

Chapter

Hardware and Software: Verification and Testing

Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi and Alexander von Rhein

Series: Lecture Notes in Computer Science, Year: 2013, Volume 8244, Page 262

DOI: 10.1007/978-3-319-03077-7_18

Chapter

Tools and Algorithms for the Construction and Analysis of Systems

Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber and Akihisa Yamada

Series: Lecture Notes in Computer Science, Year: 2019, Volume 11429, Page 3

DOI: 10.1007/978-3-030-17502-3_1

Chapter

Tools and Algorithms for the Construction and Analysis of Systems

Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters and Marcel Steinmetz

Series: Lecture Notes in Computer Science, Year: 2019, Volume 11429, Page 69

DOI: 10.1007/978-3-030-17502-3_5

Chapter

Tools and Algorithms for the Construction and Analysis of Systems

Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon Schiffelers, Harco Kuppens and Frits W. Vaandrager

Series: Lecture Notes in Computer Science, Year: 2019, Volume 11429, Page 101

DOI: 10.1007/978-3-030-17502-3_7

Chapter

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer

Series: Lecture Notes in Computer Science, Year: 2019, Volume 11429, Page 133

DOI: 10.1007/978-3-030-17502-3_9

Chapter

Tools and Algorithms for the Construction and Analysis of Systems

Adrien Champion, Tomoya Chiba, Naoki Kobayashi and Ryosuke Sato

Series: Lecture Notes in Computer Science, Year: 2018, Volume 10805, Page 365

DOI: 10.1007/978-3-319-89960-2_20

Conference Paper

Bitvector Support in the Theta Formal Verification Framework

Mihaly Dobos-Kovacs, Akos Hajdu and Andras Voros

Conference: 2021 10th Latin-American Symposium on Dependable Computing (LADC), Year: 2021, Page 01

DOI: 10.1109/LADC53747.2021.9672595

Chapter

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer

Series: Lecture Notes in Computer Science, Year: 2023, Volume 13994, Page 495

DOI: 10.1007/978-3-031-30820-8_29

Items cite this Chapter

Items cite entire book

citation rank

96th

percentile

Citations per year

citing journals

citing books