dblp.uni-trier.dewww.uni-trier.de

Willem Visser Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
58EENeha Rungta, Eric G. Mercer, Willem Visser: Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN 2009: 174-191
57EEWillem Visser: Who Really Cares If the Program Crashes?. SPIN 2009: 5
56EESaswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic execution with abstraction. STTT 11(1): 53-67 (2009)
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
54EEMatthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136
53EECorina S. Pasareanu, Willem Visser: Symbolic Execution and Model Checking for Testing. Haifa Verification Conference 2007: 17-18
52EEAaron Tomb, Guillaume P. Brat, Willem Visser: Variably interprocedural program analysis for runtime error detection. ISSTA 2007: 97-107
51EESaswat Anand, Corina S. Pasareanu, Willem Visser: JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS 2007: 134-138
50EECorina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-approximation Refinement CoRR abs/cs/0701140: (2007)
49EECorina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science 3(1): (2007)
2006
48EEStefan Edelkamp, Stefan Leue, Willem Visser: 06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking 2006
47EEStefan Edelkamp, Stefan Leue, Willem Visser: 06172 Executive Summary -- Directed Model Checking. Directed Model Checking 2006
46EEWillem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for java containers using state matching. ISSTA 2006: 37-48
45EESaswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic Execution with Abstract Subsumption Checking. SPIN 2006: 163-181
44EERafael 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)
43EEByron Cook, Scott D. Stoller, Willem Visser: Preface. Electr. Notes Theor. Comput. Sci. 144(3): 1-2 (2006)
2005
42EEWillem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for red-black trees using abstraction. ASE 2005: 414-417
41EEGary Lindstrom, Peter C. Mehlitz, Willem Visser: Model Checking Real Time Java Using Java PathFinder. ATVA 2005: 444-456
40EECorina S. Pasareanu, Radek Pelánek, Willem Visser: Concrete Model Checking with Abstract Matching and Refinement. CAV 2005: 52-66
39EEWillem Visser, Peter C. Mehlitz: Model Checking Programs with Java PathFinder. SPIN 2005: 27
38EEJohn 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)
37EEScott D. Stoller, Willem Visser: Foreword. Formal Methods in System Design 26(2): 75-76 (2005)
36EECyrille 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
35EERafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
34EEMatthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser: Analyzing Interaction Orderings with Model Checking. ASE 2004: 154-163
33EEWillem Visser, Corina S. Pasareanu, Sarfraz Khurshid: Test input generation with java PathFinder. ISSTA 2004: 97-107
32EECorina S. Pasareanu, Willem Visser: Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN 2004: 164-181
31EEGuillaume 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)
30EERafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
29EEAlex Groce, Willem Visser: Heuristics for model checking Java programs. STTT 6(4): 260-276 (2004)
2003
28EECyrille 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
27EERafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
26EEMats 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
25EERafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89
24EEAlex Groce, Willem Visser: What Went Wrong: Explaining Counterexamples. SPIN 2003: 121-135
23EESarfraz Khurshid, Corina S. Pasareanu, Willem Visser: Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568
22EEWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda: Model Checking Programs. Autom. Softw. Eng. 10(2): 203-232 (2003)
21EEByron Cook, Scott D. Stoller, Willem Visser: SoftMC 2003: Workshop on Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
20EECorina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding feasible abstract counter-examples. STTT 5(1): 34-48 (2003)
2002
19EEAlex Groce, Willem Visser: Model checking Java programs using structural heuristics. ISSTA 2002: 12-21
18EEAlex Groce, Willem Visser: Heuristic Model Checking for Java Programs. SPIN 2002: 242-245
17EEKlaus Havelund, Willem Visser: Program model checking as a new trend. STTT 4(1): 8-20 (2002)
2001
16EEGuillaume 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
13EEFlavio Lerda, Willem Visser: Addressing Dynamic Issues of Program Model Checking. SPIN 2001: 80-102
12EECorina 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)
10EEScott 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
6EEWillem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park: Model Checking Programs. ASE 2000: 3-12
5EEWillem Visser, Seungjoon Park, John Penix: Using predicate abstraction to reduce object-oriented programs for model checking. FMSP 2000: 3-182
4EEJohn Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000: 488-497
3EENigel Tracey, John Penix, Willem Visser: The First International Workshop on Automated Program Analysis, Testing and Verification. ICSE 2000: 796
2EEWillem 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)