×
Edit Profile (opens in new tab)

Lowry, Mike

Co-Author Distance
Author ID: lowry.mike Recent zbMATH articles by "Lowry, Mike"
Published as: Lowry, Mike
Documents Indexed: 3 Publications since 2003
Co-Authors: 13 Co-Authors with 3 Joint Publications
208 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
3 Havelund, Klaus
3 Păsăreanu, Corina S.
3 Visser, Willem
2 Artho, Cyrille
2 Drusinsky, Doron
2 Roşu, Grigore
2 Washington, Rich
1 Barringer, Howard
1 Brat, Guillaume
1 Giannakopoulou, Dimitra
1 Khurshid, Sarfraz
1 Sen, Koushik
1 Venet, Arnaud J.

Serials

1 Theoretical Computer Science
1 Formal Methods in System Design

Fields

3 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

3 Publications have been cited 19 times in 16 Documents Cited by ▼ Year ▼
Combining test case generation and runtime verification. Zbl 1080.68062
Artho, Cyrille; Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Khurshid, Sarfraz; Lowry, Mike; Pasareanu, Corina; Roşu, Grigore; Sen, Koushik; Visser, Willem; Washington, Rich
12
2005
Experimental evaluation of verification and validation tools on Martian Rover software. Zbl 1078.68665
Brat, Guillaume; Drusinsky, Doron; Giannakopoulou, Dimitra; Goldberg, Allen; Havelund, Klaus; Lowry, Mike; Pasareanu, Corina; Venet, Arnaud; Visser, Willem; Washington, Rich
4
2004
Experiments with test case generation and runtime analysis. Zbl 1021.68503
Artho, Cyrille; Drusinksy, Doron; Goldberg, Allen; Havelund, Klaus; Lowry, Mike; Pasareanu, Corina; Rosu, Grigore; Visser, Willem
3
2003
Combining test case generation and runtime verification. Zbl 1080.68062
Artho, Cyrille; Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Khurshid, Sarfraz; Lowry, Mike; Pasareanu, Corina; Roşu, Grigore; Sen, Koushik; Visser, Willem; Washington, Rich
12
2005
Experimental evaluation of verification and validation tools on Martian Rover software. Zbl 1078.68665
Brat, Guillaume; Drusinsky, Doron; Giannakopoulou, Dimitra; Goldberg, Allen; Havelund, Klaus; Lowry, Mike; Pasareanu, Corina; Venet, Arnaud; Visser, Willem; Washington, Rich
4
2004
Experiments with test case generation and runtime analysis. Zbl 1021.68503
Artho, Cyrille; Drusinksy, Doron; Goldberg, Allen; Havelund, Klaus; Lowry, Mike; Pasareanu, Corina; Rosu, Grigore; Visser, Willem
3
2003
all cited Publications top 5 cited Publications
all top 5

Cited by 47 Authors

3 Francalanza, Adrian
2 Aceto, Luca
2 Cassar, Ian
2 Ingólfsdóttir, Anna
2 Kuliamin, Victor V.
2 Sen, Koushik
1 Ahrendt, Wolfgang
1 Artho, Cyrille
1 Barringer, Howard
1 Basin, David A.
1 Blass, Andreas Raphael
1 Bonakdarpour, Borzoo
1 Börger, Egon
1 Bowman, Howard
1 Chernov, E. S.
1 Chimento, Jesús Mauricio
1 Cini, Clare
1 Finkbeiner, Bernd
1 Fischmeister, Sebastian
1 Godefroid, Patrice
1 Gomez, Rodolfo
1 Gurevich, Yuri
1 Havelund, Klaus
1 Khurshid, Sarfraz
1 Krichen, Moez
1 Kuhtz, Lars
1 Kuruma, Hironobu
1 Lowry, Mike
1 Markey, Nicolas
1 Miyazaki, Kunihiko
1 Nachmanson, Lev
1 Navabpour, Samaneh
1 Pace, Gordon J.
1 Păsăreanu, Corina S.
1 Ponomarenko, A. V.
1 Roşu, Grigore
1 Rubanov, V. V.
1 Schneider, Gerardo
1 Schnoebelen, Philippe
1 Su, Li
1 Takaragi, Kazuo
1 Tripakis, Stavros
1 Veanes, Margus
1 Visser, Willem
1 Washington, Rich
1 Wolff, Burkhart
1 Zybin, R. S.
all top 5

Cited in 7 Serials

3 Formal Aspects of Computing
3 Formal Methods in System Design
2 Programming and Computer Software
1 Acta Informatica
1 Information Processing Letters
1 Theoretical Computer Science
1 Journal of Logical and Algebraic Methods in Programming

Cited in 4 Fields

16 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year