Willem Visser

2007
55		Stefan Edelkamp, Stefan Leue, Willem Visser: Directed Model Checking, 26.04. - 29.04.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
54	EE	Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136
53	EE	Corina S. Pasareanu, Willem Visser: Symbolic Execution and Model Checking for Testing. Haifa Verification Conference 2007: 17-18
52	EE	Aaron Tomb, Guillaume P. Brat, Willem Visser: Variably interprocedural program analysis for runtime error detection. ISSTA 2007: 97-107
51	EE	Saswat Anand, Corina S. Pasareanu, Willem Visser: JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS 2007: 134-138
50	EE	Corina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-approximation Refinement CoRR abs/cs/0701140: (2007)
49	EE	Corina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science 3(1): (2007)
2006
48	EE	Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking 2006
47	EE	Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Executive Summary -- Directed Model Checking. Directed Model Checking 2006
46	EE	Willem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for java containers using state matching. ISSTA 2006: 37-48
45	EE	Saswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic Execution with Abstract Subsumption Checking. SPIN 2006: 163-181
44	EE	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems 12(2): 239-256 (2006)
43	EE	Byron Cook, Scott D. Stoller, Willem Visser: Preface. Electr. Notes Theor. Comput. Sci. 144(3): 1-2 (2006)
2005
42	EE	Willem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for red-black trees using abstraction. ASE 2005: 414-417
41	EE	Gary Lindstrom, Peter C. Mehlitz, Willem Visser: Model Checking Real Time Java Using Java PathFinder. ATVA 2005: 444-456
40	EE	Corina S. Pasareanu, Radek Pelánek, Willem Visser: Concrete Model Checking with Abstract Matching and Refinement. CAV 2005: 52-66
39	EE	Willem Visser, Peter C. Mehlitz: Model Checking Programs with Java PathFinder. SPIN 2005: 27
38	EE	John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods in System Design 26(2): 103-135 (2005)
37	EE	Scott D. Stoller, Willem Visser: Foreword. Formal Methods in System Design 26(2): 75-76 (2005)
36	EE	Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005)
2004
35	EE	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
34	EE	Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser: Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163
33	EE	Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid: Test input generation with java PathFinder. ISSTA 2004: 97-107
32	EE	Corina S. Pasareanu, Willem Visser: Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN 2004: 164-181
31	EE	Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design 25(2-3): 167-198 (2004)
30	EE	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
29	EE	Alex Groce, Willem Visser: Heuristics for model checking Java programs. STTT 6(4): 260-276 (2004)
2003
28	EE	Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser: Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines 2003: 87-107
27	EE	Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
26	EE	Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao: Auto-generating Test Sequences Using Model Checkers: A Case Study. FATES 2003: 42-59
25	EE	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89
24	EE	Alex Groce, Willem Visser: What Went Wrong: Explaining Counterexamples. SPIN 2003: 121-135
23	EE	Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser: Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568
22	EE	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
21	EE	Byron Cook, Scott D. Stoller, Willem Visser: SoftMC 2003: Workshop on Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
20	EE	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding feasible abstract counter-examples. STTT 5(1): 34-48 (2003)
2002
19	EE	Alex Groce, Willem Visser: Model checking Java programs using structural heuristics. ISSTA 2002: 12-21
18	EE	Alex Groce, Willem Visser: Heuristic Model Checking for Java Programs. SPIN 2002: 242-245
17	EE	Klaus Havelund, Willem Visser: Program model checking as a new trend. STTT 4(1): 8-20 (2002)
2001
16	EE	Guillaume P. Brat, Willem Visser: Combining Static Analysis and Model Checking for Software Analysis. ASE 2001: 262-
15		Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser: Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187
14		Nigel Tracey, John Penix, Willem Visser: The Second International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2001: 755-755
13	EE	Flavio Lerda, Willem Visser: Addressing Dynamic Issues of Program Model Checking. SPIN 2001: 80-102
12	EE	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298
11		Charles Pecheur, Willem Visser, Reid G. Simmons: AAAI 2000 Fall Symposium Series Reports. AI Magazine 22(3): 107-111 (2001)
10	EE	Scott D. Stoller, Willem Visser: Preface. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
9		Nigel Tracey, John Penix, Willem Visser: Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). Softw. Test., Verif. Reliab. 11(2): 63-64 (2001)
8		Nigel Tracey, John Penix, Willem Visser: Automated analysis, verification and testing. Software Focus 2(2): 82 (2001)
2000
7		Klaus Havelund, John Penix, Willem Visser: SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings Springer 2000
6	EE	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
5	EE	Willem Visser, Seungjoon Park, John Penix: Using predicate abstraction to reduce object-oriented programs for model checking. FMSP 2000: 3-182
4	EE	John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497
3	EE	Nigel Tracey, John Penix, Willem Visser: The First International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2000: 796
2	EE	Willem Visser, Howard Barringer: Practical CTL* Model Checking: Should SPIN be Extended? STTT 2(4): 350-365 (2000)
1997
1		Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams: Efficient CTL* model checking for analysis of rainbow designs. CHARME 1997: 128-145

Coauthor Index

1	Saswat Anand	[45] [51]
2	Cyrille Artho	[28] [36]
3	Howard Barringer	[1] [2] [36]
4	Rafael H. Bordini	[25] [27] [30] [35] [44]
5	Guillaume P. Brat	[6] [16] [22] [31] [52]
6	Byron Cook	[21] [43]
7	George Devaraj	[26]
8	Doron Drusinsky	[28] [31]
9	Matthew B. Dwyer	[12] [15] [20] [34] [54]
10	Stefan Edelkamp	[47] [48] [55]
11	Eric Engstrom	[4] [38]
12	Donal Fellows	[1]
13	Michael Fisher	[25] [27] [30] [35] [44]
14	Jimin Gao	[26]
15	Dimitra Giannakopoulou	[31]
16	Allen Goldberg	[28] [31] [36]
17	Graham Gough	[1]
18	Alex Groce	[18] [19] [24] [29]
19	John Hatcliff	[15] [54]
20	Klaus Havelund	[6] [7] [17] [22] [28] [31] [36]
21	Mats Per Erik Heimdahl	[26]
22	Roby Joehanes	[15]
23	Sarfraz Khurshid	[23] [33] [36]
24	Aaron Larson	[4] [38]
25	Shawn Laubach	[15]
26	Flavio Lerda	[13] [22]
27	Stefan Leue	[47] [48] [55]
28	Gary Lindstrom	[41]
29	Michael R. Lowry	[28] [31] [36]
30	Peter C. Mehlitz	[39] [41]
31	Carmen Pardavila	[27]
32	Seungjoon Park	[5] [6] [22] [38]
33	Corina S. Pasareanu	[12] [15] [20] [23] [28] [31] [32] [33] [36] [38] [40] [42] [45] [46] [49] [50] [51] [53] [54]
34	Charles Pecheur	[11]
35	Radek Pelánek	[40] [42] [46] [49] [50]
36	John Penix	[3] [4] [5] [7] [8] [9] [14] [38]
37	Sanjai Rayadurgam	[26]
38	Robby	[15] [34] [54]
39	Grigore Rosu	[28] [36]
40	Koushik Sen	[36]
41	Reid G. Simmons	[11]
42	Scott D. Stoller	[10] [21] [37] [43]
43	Oksana Tkachuk	[34]
44	Aaron Tomb	[52]
45	Nigel Tracey	[3] [8] [9] [14]
46	Arnaud Venet	[31]
47	Richard Washington	[31] [36]
48	Nicholas Weininger	[4] [38]
49	Alan Williams	[1]
50	Michael Wooldridge	[25] [27] [30] [35] [44]
51	Hongjun Zheng	[15]

Colors in the list of coauthors