Skip to contents Holzmann, Gerard J. To Code Is Human Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software Holzmann, Gerard J. Fault Intolerance [Reliable Code] Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2014 Published in: IEEE Software Holzmann, Gerard J. Mars code Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2014 Published in: Communications of the ACM Holzmann, Gerard J. Landing a Spacecraft on Mars Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2013 Published in: IEEE Software Holzmann, Gerard J. Model Checking Software: Proving Properties of Concurrent Programs : (Extended Abstract) : (Extended Abstract) Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2013 Published in: Model Checking Software Holzmann, Gerard J. A Three-Step Program for Recovering Hackers Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2013 Published in: Computer Holzmann, Gerard J. Model Checking Software: Parallelizing the Spin Model Checker Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Model Checking Software Holzmann, Gerard J. Tools and Algorithms for the Construction and Analysis of Systems: Reliable Software Development: Analysis-Aware Design Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2011 Published in: Tools and Algorithms for the Construction and Analysis of Systems Holzmann, Gerard J. Formal Techniques for Distributed Systems: Formal Software Verification: How Close Are We? Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2010 Published in: Formal Techniques for Distributed Systems Holzmann, Gerard J. SCRUB: a tool for code reviews Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2010 Published in: Innovations in Systems and Software Engineering Holzmann, Gerard J. A Stack-Slicing Algorithm for Multi-Core Model Checking Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2008 Published in: Electronic Notes in Theoretical Computer Science Holzmann, Gerard J. Conquering Complexity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2007 Published in: Computer Holzmann, Gerard J. FME 2003: Formal Methods: Trends in Software Verification Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: FME 2003: Formal Methods Holzmann, Gerard_J. Computer Aided Verification: Software Analysis and Model Checking Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2002 Published in: Computer Aided Verification Holzmann, Gerard J. The logic of bugs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2002 Published in: ACM SIGSOFT Software Engineering Notes Holzmann, Gerard J. Software verification at Bell Labs: One line of development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2002 Published in: Bell Labs Technical Journal Holzmann, Gerard J. SPIN Model Checking and Software Verification: Logic Verification of ANSI-C Code with SPIN Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: SPIN Model Checking and Software Verification Holzmann, Gerard J. Theoretical and Practical Aspects of SPIN Model Checking: The Engineering of a Model Checker: the Gnu i-Protocol Case Study Revisited Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Theoretical and Practical Aspects of SPIN Model Checking Holzmann, Gerard J. Computer Aided Verification: On checking model checkers Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: Computer Aided Verification Holzmann, Gerard J. Lecture Notes in Computer Science: Formal methods for early fault detection Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1996 Published in: Lecture Notes in Computer Science
Holzmann, Gerard J. To Code Is Human Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Software
Holzmann, Gerard J. Fault Intolerance [Reliable Code] Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2014 Published in: IEEE Software
Holzmann, Gerard J. Mars code Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2014 Published in: Communications of the ACM
Holzmann, Gerard J. Landing a Spacecraft on Mars Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2013 Published in: IEEE Software
Holzmann, Gerard J. Model Checking Software: Proving Properties of Concurrent Programs : (Extended Abstract) : (Extended Abstract) Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2013 Published in: Model Checking Software
Holzmann, Gerard J. A Three-Step Program for Recovering Hackers Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2013 Published in: Computer
Holzmann, Gerard J. Model Checking Software: Parallelizing the Spin Model Checker Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Model Checking Software
Holzmann, Gerard J. Tools and Algorithms for the Construction and Analysis of Systems: Reliable Software Development: Analysis-Aware Design Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2011 Published in: Tools and Algorithms for the Construction and Analysis of Systems
Holzmann, Gerard J. Formal Techniques for Distributed Systems: Formal Software Verification: How Close Are We? Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2010 Published in: Formal Techniques for Distributed Systems
Holzmann, Gerard J. SCRUB: a tool for code reviews Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2010 Published in: Innovations in Systems and Software Engineering
Holzmann, Gerard J. A Stack-Slicing Algorithm for Multi-Core Model Checking Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2008 Published in: Electronic Notes in Theoretical Computer Science
Holzmann, Gerard J. Conquering Complexity Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2007 Published in: Computer
Holzmann, Gerard J. FME 2003: Formal Methods: Trends in Software Verification Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2003 Published in: FME 2003: Formal Methods
Holzmann, Gerard_J. Computer Aided Verification: Software Analysis and Model Checking Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2002 Published in: Computer Aided Verification
Holzmann, Gerard J. The logic of bugs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2002 Published in: ACM SIGSOFT Software Engineering Notes
Holzmann, Gerard J. Software verification at Bell Labs: One line of development Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2002 Published in: Bell Labs Technical Journal
Holzmann, Gerard J. SPIN Model Checking and Software Verification: Logic Verification of ANSI-C Code with SPIN Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: SPIN Model Checking and Software Verification
Holzmann, Gerard J. Theoretical and Practical Aspects of SPIN Model Checking: The Engineering of a Model Checker: the Gnu i-Protocol Case Study Revisited Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Theoretical and Practical Aspects of SPIN Model Checking
Holzmann, Gerard J. Computer Aided Verification: On checking model checkers Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: Computer Aided Verification
Holzmann, Gerard J. Lecture Notes in Computer Science: Formal methods for early fault detection Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1996 Published in: Lecture Notes in Computer Science
> Media type Skip to next facet Articles (83) Wert ausschließen Books (10) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (3) Wert ausschließen Stack Collection (1) Wert ausschließen Ask for availability (3) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (5) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (7) Wert ausschließen Without Specification (81) Wert ausschließen Show more show less
> Language Skip to next facet Not determined (61) Wert ausschließen English (31) Wert ausschließen Latin (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (48) Wert ausschließen Technology (9) Wert ausschließen Mathmatics (4) Wert ausschließen Physics (4) Wert ausschließen Medicine (2) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Holzmann, Gerard J. (89) Wert ausschließen Joshi, Rajeev (7) Wert ausschließen Peled, Doron (4) Wert ausschließen Pehrson, Björn (3) Wert ausschließen Godefroid, Patrice (2) Wert ausschließen Groce, Alex (2) Wert ausschließen Havelund, Klaus (2) Wert ausschließen Pirottin, Didier (2) Wert ausschließen Ruys, Theo C. (2) Wert ausschließen Smith, Margaret H. (2) Wert ausschließen Albertazzi, Alberto (1) Wert ausschließen Alecsandru, Radu (1) Wert ausschließen Alonso-Montes, Cristina (1) Wert ausschließen Alur, Rajeev (1) Wert ausschließen Alves, Doutor Rui (1) Wert ausschließen Amigo, Soler (1) Wert ausschließen Arendt, Susanne (1) Wert ausschließen Armbruster, Helmut (1) Wert ausschließen Asola, L L Markku (1) Wert ausschließen Au, Diep Thanh (1) Wert ausschließen Aucella, Filippo (1) Wert ausschließen Bagnewski, Wolfgang (1) Wert ausschließen Bahlmann, Günter (1) Wert ausschließen Bako, Cristian Gabriel (1) Wert ausschließen Barrera-Baena, Pedro (1) Wert ausschließen Becker, Helmut Peter (1) Wert ausschließen Becker, Matthias (1) Wert ausschließen Beige, Joachim (1) Wert ausschließen Benedik, Mihael (1) Wert ausschließen Berger, Dieter (1) Wert ausschließen Bertocchio, Philippe (1) Wert ausschließen Berweck, S (1) Wert ausschließen Besnier, Dominique (1) Wert ausschließen Biagini, Marco (1) Wert ausschließen Bianchi, Giuseppe (1) Wert ausschließen Bidas, Kizysztof (1) Wert ausschließen Bobaru, Mihaela (1) Wert ausschließen Bolley (1) Wert ausschließen Bonomini, Mario (1) Wert ausschließen Bos, Willem-Jan (1) Wert ausschließen Bosnacki, Dragan (1) Wert ausschließen Bouchouareb (1) Wert ausschließen Bounab, Mohamed Brahim (1) Wert ausschließen Boussad, Bouali (1) Wert ausschließen Bošnački, Dragan (1) Wert ausschließen Brancaccio, Diego (1) Wert ausschließen Bravenboer, Nathalie (1) Wert ausschließen Brech, Wolfgang (1) Wert ausschließen Brensing, Karl-August (1) Wert ausschließen Brignon (1) Wert ausschließen Bristogiannis, Georgios (1) Wert ausschließen Brockmann, Carsten (1) Wert ausschließen Brugmann, Chu (1) Wert ausschließen Brückner, Dieter (1) Wert ausschließen Bucht, Stig (1) Wert ausschließen Bunia, J (1) Wert ausschließen Burgos, Rafael Romero (1) Wert ausschließen Burkhardt, Klaus (1) Wert ausschließen Burnier, Michel (1) Wert ausschließen Cagnoli, Leonardo (1) Wert ausschließen Calvo, Maria Dolores Paz (1) Wert ausschließen Cannata-Andía, Jorge Benito (1) Wert ausschließen Carrera, Fernando (1) Wert ausschließen Cassidy, Mike (1) Wert ausschließen Cattanéo (1) Wert ausschließen Chantal, Bony (1) Wert ausschließen Clasen, Wolfgang (1) Wert ausschließen Claus, Pierre (1) Wert ausschließen Cohen-Solal, Martine (1) Wert ausschließen Colet, John (1) Wert ausschließen Colussi, Giacomo (1) Wert ausschließen Coric-Martinovic, Valentina (1) Wert ausschließen Cossu, Maria (1) Wert ausschließen Covic, Adrian (1) Wert ausschließen Craciun, Irinel (1) Wert ausschließen Cruz, Joao (1) Wert ausschließen Cuvelier, René (1) Wert ausschließen D'Angelo, Angela (1) Wert ausschließen DIMACS (Group) (1) Wert ausschließen Danielsen, Overlæge Henning (1) Wert ausschließen Daschner, M (1) Wert ausschließen De Fremont, J F (1) Wert ausschließen De Hoek, C T Op (1) Wert ausschließen De Mouscron, C M (1) Wert ausschließen Dehnert (1) Wert ausschließen Dehout, François (1) Wert ausschließen Del Rosso, Goffredo (1) Wert ausschließen Delcroix, Catherine (1) Wert ausschließen Dell, Cesare (1) Wert ausschließen Dhondt, A M (1) Wert ausschließen Dialisi, E (1) Wert ausschließen Didier, Ducloux (1) Wert ausschließen Dijkstra, Gerard (1) Wert ausschließen Djamel, Dahmane (1) Wert ausschließen Donatella, Spotti (1) Wert ausschließen Dong, Yifei (1) Wert ausschließen Dratwa, Max (1) Wert ausschließen Du, Xiaoqun (1) Wert ausschließen Duchet (1) Wert ausschließen Dupuy (1) Wert ausschließen Show more show less
> Collection Skip to next facet Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (40) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (23) Wert ausschließen Verbunddaten SWB (10) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (8) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (4) Wert ausschließen Elsevier BV (CrossRef) (2) Wert ausschließen Lizenzfreie Online-Ressourcen (2) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen Fachkatalog Technikgeschichte (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen Open Publishing Association (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen Show more show less