John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged meta-model

Heart vs. ModelKai Neumann. idt, 2(2):133-137, 2008. [doi]

A correlation framework for the CORBA component modelGeorg Jung, John Hatcliff. STTT, 9(5-6):417-427, 2007. [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]

Component Adaptation in Contemporary Execution EnvironmentsSusan Eisenbach, Chris Sadler, Dominic Wong. dais 2007: 90-103 [doi]

Modelling-in-the-LargeAnthony Finkelstein. RE 2007: [doi]

3D facial model exaggeration builder for small or large sized model manufacturingWon-Sook Lee, Andrew Soon, Lijia Zhu. vr, 11(4):229-239, 2007. [doi]

A feature-binding model with localized excitationsHecke Schrobsdorff, J. Michael Herrmann, Theo Geisel. ijon, 70(10-12):1706-1710, 2007. [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]

Multiscale modelling of multilayer substratesR. L. J. M. Ubachs, O. van der Sluis, W. D. van Driel, G. Q. Zhang. mr, 46(9-11):1472-1477, 2006. [doi]

Separability in the fixed part of multilevel modelsGeorges Van Landeghem, Patrick Onghena, Jan Van Damme. csda, 50(10):2902-2919, 2006. [doi]

On generic method modelsNaveen Prakash. re, 11(4):221-237, 2006. [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]

Performance modelling and evaluation of heterogeneous networksDemetres D. Kouvatsos, Daniel Kofman. pe, 59:99-101, 2005. [doi]

A Correlation Framework for the CORBA Component ModelGeorg Jung, John Hatcliff, Venkatesh Prasad Ranganath. FASE 2004: 144-159 [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]

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based SystemsAdam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh. FASE 2004: 160-164 [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]

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based SystemsJohn Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath. ICSE 2003: 160-173 [doi]

Simulation and Validation of an Integrated Markets ModelBrian Sallans, Alexander Pfister, Alexandros Karatzoglou, Georg Dorffner. jasss, 6(4), 2003. [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]

The Maude LTL Model CheckerSteven Eker, José Meseguer, Ambarish Sridharanarayanan. ENTCS, 71:162-187, 2002. [doi]

A neural ensemble model of the respiratory central pattern generator: properties of the minimal modelWitali L. Dunin-Barkowski, Andrew T. Lovering, John M. Orem. ijon, 44-46:381-389, 2002. [doi]

Computational Techniques for Modelling Learning in EconomicsThomas Brenner. jasss, 5(1), 2002. [doi]

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

Modelling Free Flight with Collision AvoidanceMieke Massink, Nicoletta De Francesco. ICECCS 2001: 270-280 [doi]

A Simple Graphical Tool For Modelling TrustSteve Purser. compsec, 20(6):479-484, 2001.

An Assessment Model for Distance Education CoursesThaisa Barbosa, Eduardo Albuquerque. webnet 2001: 4

Issues on Modelling Distance Learning EnvironmentsAdja Andrade, Beatriz Regina Tavares Franciosi, Adriana Beiler, Paulo Wagner. webnet 2001: 35-40

Model of the Chydenial Network UniversityJukka Mäki, Ilkka Luoto. webnet 2001: 813

The Assesment in an on line Learning Model of MarketingM. Magdalena Maldonado. webnet 2001: 814-815

Slicing Software for Model ConstructionJohn Hatcliff, Matthew B. Dwyer, Hongjun Zheng. lisp, 13(4):315-353, 2000.

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

Slicing Software for Model ConstructionMatthew B. Dwyer, John Hatcliff. PEPM 1999: 105-118

Neural Networks for Economic and Financial ModellingAndrea Beltratti, Sergio Margarita, Pietro Terna. jasss, 2(2), 1999. [doi]

Documentary Abstracting: Toward a Methodological ModelMaria Pinto Molina. jasis, 46(3):225-234, 1995.

Text retrieval and the relational modelIan A. Macleod. jasis, 42(3):155-165, 1991.

A mathematical model of retrieval system performanceDavis B. McCarn, Craig M. Lewis. jasis, 41(7):495-500, 1990.

A Functional Model of a Simplified Sequential MachineJerzy A. Piotrowski. ipl, 35(3):161-166, 1990.

Petri net models for the lambda-calculusErik Meijer. apn 1987: 162-180

Queueing Models: Beyond the BasicsJeffrey P. Buzen. cmg 1986: 727-732

On Conceptual Modelling (Intervale)1982.

Omitting ModelsErnest Snapper. JSYML, 42(1):29-32, 1977.

runs on WebDSL