Zum Inhalt springen

  1. Havelund, Klaus [Herausgeber:in] ; FATES 6 2006 Seattle, Wash, International Workshop on Runtime Verification 6 2006 Seattle, Wash

    Formal approaches to software testing and runtime verification : first combined international workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15 - 16, 2006 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 4262

  2. Havelund, Klaus [Herausgeber:in]; Majumdar, Rupak [Sonstige Person, Familie und Körperschaft]; Palsberg, Jens [Sonstige Person, Familie und Körperschaft] ; International SPIN Workshop 15 2008 Los Angeles, Calif

    Model checking software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10 - 12 , 2008; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5156

  3. Havelund, Klaus [Herausgeber:in]; Penix, John [Sonstige Person, Familie und Körperschaft]; Visser, Willem [Sonstige Person, Familie und Körperschaft] ; International SPIN Workshop 7 2000 Stanford, Calif

    SPIN model checking and software verification : proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2000

    Erschienen in: Lecture notes in computer science ; 1885

  4. Ábrahám, Erika [Verfasser:in] ; Havelund, Klaus [Herausgeber:in]

    Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8413

  5. Havelund, Klaus [Verfasser:in] ; Holzmann, Gerard [Herausgeber:in]; Joshi, Rajeev [Herausgeber:in]

    NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9058

  6. Havelund, Klaus [Verfasser:in] ; Penix, John [Sonstige Person, Familie und Körperschaft]; Visser, Willem [Sonstige Person, Familie und Körperschaft]

    SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2000

    Erschienen in: Lecture notes in computer science ; 1885

  7. Havelund, Klaus [Verfasser:in] ; Penix, John [Sonstige Person, Familie und Körperschaft]; Visser, Willem [Sonstige Person, Familie und Körperschaft]

    SPIN Model Checking and Software Verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2000

    Erschienen in: Lecture notes in computer science ; 188500

  8. Deshmukh, Jyotirmoy V. [Herausgeber:in]; Havelund, Klaus [Herausgeber:in]; Perez, Ivan [Herausgeber:in]

    NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings - [1st ed. 2022.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Lecture Notes in Computer Science ; 13260

  9. Bobaru, Mihaela [Verfasser:in] ; Havelund, Klaus [Herausgeber:in]; Holzmann, Gerard J. [Herausgeber:in]; Joshi, Rajeev [Herausgeber:in]

    NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6617

  10. Artho, Cyrille [Verfasser:in]; Havelund, Klaus [Verfasser:in]; Biere, Armin [Verfasser:in]

    High‐level data races

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    University of Freiburg: FreiDok, 2003

    Erschienen in: Software testing, verification & reliability. - 13, 4 (2003) , 207-227, ISSN: 1099-1689

  11. Havelund, Klaus [Verfasser:in]; Leucker, Martin [Verfasser:in]; Reger, Giles [Verfasser:in]; Stolz, Volker [Verfasser:in] ; Klaus Havelund and Martin Leucker and Giles Reger and Volker Stolz [Mitwirkende:r]

    A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  12. Finkbeiner, Bernd [Verfasser:in]; Havelund, Klaus [Verfasser:in]; Rosu, Grigore [Verfasser:in]; Sokolsky, Oleg [Verfasser:in] ; Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky [Mitwirkende:r]

    07011 Abstracts Collection – Runtime Verification

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  13. Finkbeiner, Bernd [Verfasser:in]; Havelund, Klaus [Verfasser:in]; Rosu, Grigore [Verfasser:in]; Sokolsky, Oleg [Verfasser:in] ; Bernd Finkbeiner and Klaus Havelund and Grigore Rosu and Oleg Sokolsky [Mitwirkende:r]

    07011 Executive Summary – Runtime Verification

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2008

  14. Havelund, Klaus [Herausgeber:in]; Peleska, Jan [Herausgeber:in]; Roscoe, Andrew W. [Herausgeber:in]; Vink, Erik de [Herausgeber:in]

    Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2018

    Erschienen in: Lecture notes in computer science ; 1095100

  15. Havelund, Klaus [Sonstige Person, Familie und Körperschaft]; Nuñez, Manuel [Sonstige Person, Familie und Körperschaft]; Rosu, Grigore [Sonstige Person, Familie und Körperschaft]; Wolff, Burkhart [Sonstige Person, Familie und Körperschaft]

    Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 4262

  16. Havelund, Klaus [Verfasser:in]; Leucker, Martin [Verfasser:in]; Sachenbacher, Martin [Verfasser:in]; Sokolsky, Oleg [Verfasser:in]; Williams, Brian C. [Verfasser:in] ; Klaus Havelund and Martin Leucker and Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams [Mitwirkende:r]

    10451 Abstracts Collection – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  17. Havelund, Klaus [Verfasser:in]; Leucker, Martin [Verfasser:in]; Sachenbacher, Martin [Verfasser:in]; Sokolsky, Oleg [Verfasser:in]; Williams, Brian C. [Verfasser:in] ; Klaus Havelund and Martin Leucker and Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams [Mitwirkende:r]

    10451 Executive Summary – Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  18. Barringer, Howard [Verfasser:in] ; Falcone, Ylies [Sonstige Person, Familie und Körperschaft]; Finkbeiner, Bernd [Sonstige Person, Familie und Körperschaft]; Havelund, Klaus [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Pace, Gordon J. [Sonstige Person, Familie und Körperschaft]; Rosu, Grigore [Sonstige Person, Familie und Körperschaft]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft]; Tillmann, Nikolai [Sonstige Person, Familie und Körperschaft]

    Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6418

  19. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Palsberg, Jens [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Havelund, Klaus [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Majumdar, Rupak [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]

    Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5156