John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged model checking

A Model Checking Approach to the Parameter Estimation of Biochemical PathwaysRobin Donaldson, David Gilbert. cmsb 2008: 269-287 [doi]

Understanding SIP through Model-CheckingPamela Zave. iptcomm 2008: 256-279 [doi]

Abstraction, model checking and software correctnessPeter B. Henderson. SIGCSE, 40(2):23-24, 2008. [doi]

A Practical Approach to Word Level Model Checking of Industrial NetlistsPer Bjesse. cav 2008: 446-458 [doi]

Formal Software Analysis Emerging Trends in Software Model CheckingMatthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser. ICSE 2007: 120-136 [doi]

Testing Distributed Systems Through Symbolic Model CheckingGabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin. forte 2007: 263-279 [doi]

A Compact Linear Translation for Bounded Model CheckingPaul B. Jackson, Daniel Sheridan. ENTCS, 174(3):17-30, 2007. [doi]

Ant Colony Optimization for Model CheckingEnrique Alba, J. Francisco Chicano. eurocast 2007: 523-530 [doi]

Domain-specific Model Checking Using The Bogor FrameworkRobby, Matthew B. Dwyer, John Hatcliff. ASE 2006: 369-370 [doi]

Checking JML specifications using an extensible software model checking frameworkRobby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff. STTT, 8(3):280-299, 2006. [doi]

Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, ProceedingsE. Allen Emerson, Kedar S. Namjoshi, editors, Volume 3855 of Lecture Notes in Computer Science, Springer, 2006.

Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, ProceedingsAntti Valmari, editor, Volume 3925 of Lecture Notes in Computer Science, Springer, 2006.

Model Checking Dynamic States in GROOVEHarmen Kastenberg, Arend Rensink. spin 2006: 299-305 [doi]

Model Checking Quantified Computation Tree LogicArend Rensink. concur 2006: 110-125 [doi]

PSL Model Checking and Run-Time Verification Via TestersAmir Pnueli, Aleksandr Zaks. FM 2006: 573-586 [doi]

Model Checking Data-Dependent Real-Time Properties of the European Train Control SystemJohannes Faber, Roland Meyer. FMCAD 2006: 76-77 [doi]

Model Checking Duration Calculus: A Practical ApproachRoland Meyer, Johannes Faber, Andrey Rybalchenko. ictac 2006: 332-346 [doi]

Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking FrameworkZhifeng Lai, S. C. Cheung, Yunfei Jiang. qsic 2006: 410-417 [doi]

A Framework for Model Checking InstitutionsFrancesco Viganò. mochart 2007: 129-145 [doi]

Building Your Own Software Model Checker Using the Bogor Extensible Model Checking FrameworkMatthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby. cav 2005: 148-152 [doi]

Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, ProceedingsPatrice Godefroid, editor, Volume 3639 of Lecture Notes in Computer Science, Springer, 2005.

Memory Efficient State Space Storage in Explicit Software Model CheckingSami Evangelista, Jean-François Pradat-Peyre. spin 2005: 43-57 [doi]

Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, ProceedingsRadhia Cousot, editor, Volume 3385 of Lecture Notes in Computer Science, Springer, 2005.

Model Checking Flight Guidance Systems: from Synchrony to AsynchronyYunja Choi. ENTCS, 133:61-79, 2005. [doi]

Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-CheckingJohn Hatcliff, Robby, Matthew B. Dwyer. vmcai 2004: 175-190 [doi]

A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model CheckingEdwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby. cassis 2005: 210-228 [doi]

Supporting model checking education using BOGOR/EclipseMatthew B. Dwyer, John Hatcliff, Matthew Hoosier. eclipse 2004: 88-92 [doi]

Checking Strong Specifications Using an Extensible Software Model Checking FrameworkRobby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff. TACAS 2004: 404-420 [doi]

A Case Study in Domain-Customized Model Checking for Real-Time Component SoftwareMatthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff. ISoLA 2006: 161-180 [doi]

A Case Study in Domain-customized Model Checking for Real-time Component SoftwareMatthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer. ISoLA 2004: 261-267

Bogor: an extensible and highly-modular software model checking frameworkRobby, Matthew B. Dwyer, John Hatcliff. ESEC/FSE 2003: 267-276 [doi]

Space Reductions for Model Checking Quasi-Cyclic SystemsMatthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff. emsoft 2003: 173-189 [doi]

Space-Reduction Strategies for Model Checking Dynamic SoftwareRobby, Matthew B. Dwyer, John Hatcliff, Radu Iosif. ENTCS, 89(3):499-517, 2003. [doi]

Static Verification of Worm and virus Behavior in binary Executables using Model CheckingPrabhat K. Singh, Arun Lakhotia. cimca 2003: 298-300

Oracle Circuits for Branching-Time Model CheckingPh. Schnoebelen. icalp 2003: 790-801 [doi]

Model-Checking Middleware-Based Event-Driven Real-Time Embedded SoftwareXianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh. FMCO 2003: 154-181 [doi]

Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, ProceedingsDragan Bosnacki, Stefan Leue, editors, Volume 2318 of Lecture Notes in Computer Science, Springer, 2002.

An Approach to Model Checking for Nonlinear Analog Systemsdate 2002: 1080 [doi]

Sequential and Distributed Model Checking of Petri Net SpecificationsAlexander Bell, Boudewijn R. Haverkort. ENTCS, 68(4):539-558, 2002. [doi]

Using the Bandera Tool Set to Model-Check Properties of Concurrent Java SoftwareJohn Hatcliff, Matthew B. Dwyer. concur 2001: 39-58 [doi]

Bandera: a source-level interface for model checking Java programsJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby. ICSE 2000: 762-765 [doi]

Model-checking continous-time Markov chainsAdnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton. tocl, 1(1):162-170, 2000. [doi]

Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systemsZhe Dang, Richard A. Kemmerer. ICSE 2000: 345-354 [doi]

The Quest for Correct Systems: Model Checking of Diagrams and DatatypesJan Philipps, Oscar Slotosch. apsec 1999: 449 [doi]

Local Model Checking for Value-Passing Processes (Extended Abstract)Julian Rathke, Matthew Hennessy. tacs 1997: 250-266

Partial Model Checking with ROBDDsHenrik Reif Andersen, Jørgen Staunstrup, Niels Maretti. TACAS 1997: 35-49

Model Checking and the Mu-calculusE. Allen Emerson. dimacs 1996: 185-214

Hierarchical Compression for Model-Checking CSP or How to Check 10:::20::: Dining Philosophers for DeadlockA. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood. TACAS 1995: 133-152

Functional Extension of Symbolic Model CheckingThomas Filkorn. cav 1992: 225-232

What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron. avmfss 1990: 275-285

runs on WebDSL