E-LIB Suche - Ergebnisse für: Havelund, Klaus

1

NASA Formal Methods: 14th International Symposium, NFM 2022..

Lecture Notes in Computer Science, 13260

Deshmukh, Jyotirmoy V ; Havelund, Klaus ; Perez, Ivan - 1st ed. 2022 . , 2022

2

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the ... Lecture Notes in Computer Science ; 10951;Programming and Software Engineering ; 10951;SpringerLink, Bücher

Havelund, Klaus ; Roscoe, Bill ; de Vink, Erik. , 2018

Link: http://dx.doi.org/10.100..

3

Proceedings of the 24th ACM SIGSOFT International SPIN Symp..:

Erdogmus, Hakan ; Havelund, Klaus , 2017

Link: https://dl.acm.org/doi/1..

4

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, A... Lecture Notes in Computer Science ; 9058;SpringerLink, Bücher

Havelund, Klaus ; Holzmann, Gerard ; Joshi, Rajeev , 2015

Link: https://doi.org/10.1007/..

5

Tools and Algorithms for the Construction and Analysis of S..

20th International Conference, TACAS 2014, Held as Part of ... Lecture Notes in Computer Science ; 8413;SpringerLink, Bücher

Ábrahám, Erika ; Havelund, Klaus , 2014

Link: https://doi.org/10.1007/..

6

NASA Formal Methods

Third International Symposium, NFM 2011, Pasadena, CA, USA,... Lecture Notes in Computer Science ; 6617;SpringerLink, Bücher

Bobaru, Mihaela ; Havelund, Klaus ; Joshi, Rajeev. , 2011

Link: http://dx.doi.org/10.100..

7

NASA formal methods

third international symposium, NFM 2011, Pasadena, CA, USA,... Lecture notes in computer science ; 6617

Bobaru, Mihaela ; Havelund, Klaus ; Holzmann, Gerard J.. , 2011

Link: http://dx.doi.org/10.100..

8

Runtime verification

first international conference, RV 2010, St. Julians, Malta... Lecture notes in computer science ; 6418

Barringer, Howard ; Falcone, Ylies ; Finkbeiner, Bernd... , 2010

Link: http://dx.doi.org/10.100..

9

Model checking software

15th international SPIN workshop, Los Angeles, CA, USA, Aug... Lecture notes in computer science ; 5156

Havelund, Klaus ; Majumdar, Rupak ; Palsberg, Jens , 2008

Link: http://dx.doi.org/10.100..

10

Model Checking Software

15th International SPIN Workshop, Los Angeles, CA, USA, Aug... Lecture Notes in Computer Science ; 5156;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Palsberg, Jens ; Terzopoulos, Demetri ; Tygar, Doug... , 2008

Link: http://dx.doi.org/10.100..

11

Formal approaches to software testing and runtime verificat..

first combined international workshops FATES 2006 and RV 20... Lecture notes in computer science ; 4262

Havelund, Klaus , 2006

Link: http://dx.doi.org/10.100..

12

SPIN Model Checking and Software Verification

7th International SPIN Workshop, Stanford, CA, USA, August ... Lecture Notes in Computer Science ; 1885

Havelund, Klaus ; Penix, John ; Visser, Willem , 2000

Link: https://doi.org/10.1007/..