The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Willem Visser: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:87-107 [Conf]
  2. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    State-Space Reduction Techniques in Agent Verification. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:896-903 [Conf]
  3. Gary Lindstrom, Peter C. Mehlitz, Willem Visser
    Model Checking Real Time Java Using Java PathFinder. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:444-456 [Conf]
  4. Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge
    Model Checking Multi-Agent Programs with CASP. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:110-113 [Conf]
  5. Corina S. Pasareanu, Radek Pelánek, Willem Visser
    Concrete Model Checking with Abstract Matching and Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:52-66 [Conf]
  6. Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams
    Efficient CTL* model checking for analysis of rainbow designs. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:128-145 [Conf]
  7. Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
    Auto-generating Test Sequences Using Model Checkers: A Case Study. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:42-59 [Conf]
  8. Willem Visser, Seungjoon Park, John Penix
    Using predicate abstraction to reduce object-oriented programs for model checking. [Citation Graph (0, 0)][DBLP]
    FMSP, 2000, pp:3-182 [Conf]
  9. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:177-187 [Conf]
  10. John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
    Verification of time partitioning in the DEOS scheduler kernel. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:488-497 [Conf]
  11. Nigel Tracey, John Penix, Willem Visser
    The First International Workshop on Automated Program Analysis, Testing and Verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:796- [Conf]
  12. Nigel Tracey, John Penix, Willem Visser
    The Second International Workshop on Automated Program Analysis, Testing and Verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:755-755 [Conf]
  13. Alex Groce, Willem Visser
    Model checking Java programs using structural heuristics. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2002, pp:12-21 [Conf]
  14. Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
    Test input generation with java PathFinder. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:97-107 [Conf]
  15. Willem Visser, Corina S. Pasareanu, Radek Pelánek
    Test input generation for java containers using state matching. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:37-48 [Conf]
  16. Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
    Analyzing Interaction Orderings with Model Checking. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:154-163 [Conf]
  17. Guillaume P. Brat, Willem Visser
    Combining Static Analysis and Model Checking for Software Analysis. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:262-0 [Conf]
  18. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park
    Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:3-12 [Conf]
  19. Willem Visser, Corina S. Pasareanu, Radek Pelánek
    Test input generation for red-black trees using abstraction. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:414-417 [Conf]
  20. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Verifiable Multi-agent Programs. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2003, pp:72-89 [Conf]
  21. Corina S. Pasareanu, Willem Visser
    Verification of Java Programs Using Symbolic Execution and Invariant Generation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:164-181 [Conf]
  22. Saswat Anand, Corina S. Pasareanu, Willem Visser
    Symbolic Execution with Abstract Subsumption Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:163-181 [Conf]
  23. Alex Groce, Willem Visser
    Heuristic Model Checking for Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:242-245 [Conf]
  24. Alex Groce, Willem Visser
    What Went Wrong: Explaining Counterexamples. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:121-135 [Conf]
  25. Flavio Lerda, Willem Visser
    Addressing Dynamic Issues of Program Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:80-102 [Conf]
  26. Willem Visser, Peter C. Mehlitz
    Model Checking Programs with Java PathFinder. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:27- [Conf]
  27. Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
    Generalized Symbolic Execution for Model Checking and Testing. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:553-568 [Conf]
  28. Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
    Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:284-298 [Conf]
  29. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Verifying Multi-agent Programs by Model Checking. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2006, v:12, n:2, pp:239-256 [Journal]
  30. Charles Pecheur, Willem Visser, Reid G. Simmons
    AAAI 2000 Fall Symposium Series Reports. [Citation Graph (0, 0)][DBLP]
    AI Magazine, 2001, v:22, n:3, pp:107-111 [Journal]
  31. Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda
    Model Checking Programs. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2003, v:10, n:2, pp:203-232 [Journal]
  32. Byron Cook, Scott D. Stoller, Willem Visser
    SoftMC 2003: Workshop on Software Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
  33. Byron Cook, Scott D. Stoller, Willem Visser
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:1-2 [Journal]
  34. Scott D. Stoller, Willem Visser
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
  35. Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
    Model Checking Rational Agents. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2004, v:19, n:5, pp:46-52 [Journal]
  36. 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. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:167-198 [Journal]
  37. John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
    Verifying Time Partitioning in the DEOS Scheduling Kernel. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:103-135 [Journal]
  38. Scott D. Stoller, Willem Visser
    Foreword. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:75-76 [Journal]
  39. Nigel Tracey, John Penix, Willem Visser
    Automated analysis, verification and testing. [Citation Graph (0, 0)][DBLP]
    Software Focus, 2001, v:2, n:2, pp:82- [Journal]
  40. Alex Groce, Willem Visser
    Heuristics for model checking Java programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:4, pp:260-276 [Journal]
  41. Klaus Havelund, Willem Visser
    Program model checking as a new trend. [Citation Graph (0, 0)][DBLP]
    STTT, 2002, v:4, n:1, pp:8-20 [Journal]
  42. Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
    Finding feasible abstract counter-examples. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:34-48 [Journal]
  43. Willem Visser, Howard Barringer
    Practical CTL* Model Checking: Should SPIN be Extended? [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:350-365 [Journal]
  44. Nigel Tracey, John Penix, Willem Visser
    Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2001, v:11, n:2, pp:63-64 [Journal]
  45. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:209-234 [Journal]
  46. Aaron Tomb, Guillaume P. Brat, Willem Visser
    Variably interprocedural program analysis for runtime error detection. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2007, pp:97-107 [Conf]
  47. Saswat Anand, Corina S. Pasareanu, Willem Visser
    JPF-SE: A Symbolic Execution Extension to Java PathFinder. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:134-138 [Conf]
  48. Corina S. Pasareanu, Radek Pelánek, Willem Visser
    Predicate Abstraction with Under-approximation Refinement [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  49. 06172 Abstracts Collection -- Directed Model Checking. [Citation Graph (, )][DBLP]


  50. 06172 Executive Summary -- Directed Model Checking. [Citation Graph (, )][DBLP]


  51. Symbolic Execution and Model Checking for Testing. [Citation Graph (, )][DBLP]


  52. Formal Software Analysis Emerging Trends in Software Model Checking. [Citation Graph (, )][DBLP]


  53. Impendulo: debugging the programmer. [Citation Graph (, )][DBLP]


  54. Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. [Citation Graph (, )][DBLP]


  55. Who Really Cares If the Program Crashes?. [Citation Graph (, )][DBLP]


  56. Guest Editorial. [Citation Graph (, )][DBLP]


Search in 0.180secs, Finished in 0.183secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002