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

John Hatcliff Vis

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

*2009
76EEAndrew King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger: An open test bed for medical device integration and coordination. ICSE Companion 2009: 141-151
75EEAndrew King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger: Demonstration of a medical device integration and coordination framework. ICSE Companion 2009: 433-434
2008
74EETorben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve: Specification and Checking of Software Contracts for Conditional Information Flow. FM 2008: 229-245
73EEJohn Hatcliff: Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. ICFEM 2008: 3-4
2007
72EEMatthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136
71EEGeorg Jung, John Hatcliff: A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. GPCE 2007: 33-42
70EEXianghua Deng, Robby, John Hatcliff: Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. SEFM 2007: 273-282
69EEVenkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer: A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5): (2007)
68EEGeorg Jung, John Hatcliff: A correlation framework for the CORBA component model. STTT 9(5-6): 417-427 (2007)
67EEVenkatesh Prasad Ranganath, John Hatcliff: Slicing concurrent Java programs using Indus and Kaveri. STTT 9(5-6): 489-504 (2007)
2006
66 John Hatcliff, Frank Tip: Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006 ACM 2006
65EE Robby, Matthew B. Dwyer, John Hatcliff: Domain-specific Model Checking Using The Bogor Framework. ASE 2006: 369-370
64EEXianghua Deng, Robby, John Hatcliff: Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. ISoLA 2006: 137
63EEMatthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine: Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs. TACAS 2006: 73-89
62EE Robby, Matthew B. Dwyer, John Hatcliff: Bogor: A Flexible Framework for Creating Software Model Checkers. TAIC PART 2006: 3-22
61EEAdam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, John Hatcliff: CALM and Cadena: Metamodeling for Component-Based Product-Line Development. IEEE Computer 39(2): 42-50 (2006)
60EEInsup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha: High-Confidence Medical Device Software and Systems. IEEE Computer 39(4): 33-38 (2006)
59EEMark W. Bailey, John Hatcliff, Frank Tip: PEPM 2006 paper abstracts. SIGPLAN Notices 41(3): 4-8 (2006)
58EEHubert Garavel, John Hatcliff: Why you should definitely read this special section. STTT 8(1): 1-3 (2006)
57EE Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff: Checking JML specifications using an extensible software model checking framework. STTT 8(3): 280-299 (2006)
56EEHubert Garavel, John Hatcliff: TACAS 2003 Special Issue - Preface. Theor. Comput. Sci. 354(2): 169-172 (2006)
2005
55EEMatthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby: Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. CAV 2005: 148-152
54EEEdwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby: Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP 2005: 551-576
53EEVenkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff: A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP 2005: 77-93
52EEGaneshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff: Kaveri: Delivering the Indus Java Program Slicer to Eclipse. FASE 2005: 269-272
51EERadu Iosif, Matthew B. Dwyer, John Hatcliff: Translating Java for Multiple Model Checkers: The Bandera Back-End. Formal Methods in System Design 26(2): 137-180 (2005)
2004
50EEEdwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby: A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. CASSIS 2004: 210-228
49EEVenkatesh Prasad Ranganath, John Hatcliff: Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. CC 2004: 39-56
48EEMatthew B. Dwyer, John Hatcliff, Matthew Hoosier: Supporting model checking education using BOGOR/Eclipse. ETX 2004: 88-92
47EEGeorg Jung, John Hatcliff, Venkatesh Prasad Ranganath: A Correlation Framework for the CORBA Component Model. FASE 2004: 144-159
46EEAdam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh: Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. FASE 2004: 160-164
45EEMatthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff: A Case Study in Domain-Customized Model Checking for Real-Time Component Software. ISoLA 2004: 161-180
44 Matthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer: A Case Study in Domain-customized Model Checking for Real-time Component Software. ISoLA (Preliminary proceedings) 2004: 261-267
43EEXianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno: SyncGen: An Aspect-Oriented Framework for Synchronization. TACAS 2004: 158-162
42EE Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff: Checking Strong Specifications Using an Extensible Software Model Checking Framework. TACAS 2004: 404-420
41EEJohn Hatcliff, Robby, Matthew B. Dwyer: Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking. VMCAI 2004: 175-190
40EEMatthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath: Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods in System Design 25(2-3): 199-240 (2004)
2003
39 Hubert Garavel, John Hatcliff: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Springer 2003
38EEMatthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff: Space Reductions for Model Checking Quasi-Cyclic Systems. EMSOFT 2003: 173-189
37EE Robby, Matthew B. Dwyer, John Hatcliff: Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE 2003: 267-276
36EEJohn Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath: Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. ICSE 2003: 160-173
35EEVenkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh: Cadena: enabling CCM-based application development in Eclipse. OOPSLA Workshop on Eclipse Technology eXchange 2003: 20-24
34EEJohn Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby: Slicing and partial evaluation of CORBA component model designs for avionics system. PEPM 2003: 1-2
33EE Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif: Space-Reduction Strategies for Model Checking Dynamic Software. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
2002
32EEXianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh: Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. FMCO 2002: 154-181
31EEXianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno: Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. ICSE 2002: 442-452
30EEJohn Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby: Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203
29EEJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Expressing checkable properties of dynamic systems: the Bandera Specification Language. STTT 4(1): 34-56 (2002)
2001
28EEJohn Hatcliff, Matthew B. Dwyer: Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. CONCUR 2001: 39-58
27 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
26EEGilles Barthe, John Hatcliff, Morten Heine Sørensen: An induction principle for pure type systems. Theor. Comput. Sci. 266(1-2): 773-818 (2001)
25EEGilles Barthe, John Hatcliff, Morten Heine Sørensen: Weak normalization implies strong normalization in a class of non-dependent pure type systems. Theor. Comput. Sci. 269(1-2): 317-361 (2001)
2000
24EEJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng: Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448
23EEJames C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: Bandera: a source-level interface for model checking Java programs. ICSE 2000: 762-765
22 James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby: A Language Framework for Expressing Checkable Properties of Dynamic Software. SPIN 2000: 205-223
21 John Hatcliff, Matthew B. Dwyer, Hongjun Zheng: Slicing Software for Model Construction. Higher-Order and Symbolic Computation 13(4): 315-353 (2000)
1999
20 John Hatcliff, Torben Æ. Mogensen, Peter Thiemann: Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 Springer 1999
19 Matthew B. Dwyer, John Hatcliff: Slicing Software for Model Construction. PEPM 1999: 105-118
18EEJohn Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng: A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives. SAS 1999: 1-18
17 Gilles Barthe, John Hatcliff, Morten Heine Sørensen: CPS Translations and Applications: The Cube and Beyond. Higher-Order and Symbolic Computation 12(2): 125-170 (1999)
1998
16EERobert Glück, John Hatcliff, Jesper Jørgensen: Generalization in Hierarchies of Online Program Specialization Systems. LOPSTR 1998: 179-198
15EEJohn Hatcliff, Matthew B. Dwyer, Shawn Laubach: Staging Static Analyses Using Abstraction-Based Program Specialization. PLILP/ALP 1998: 134-151
14 John Hatcliff: An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language. Partial Evaluation 1998: 20-82
13EEJohn Hatcliff: Foundations for Partial Evaluation of Functional Programs with Computational Effects. ACM Comput. Surv. 30(3es): 13 (1998)
12EEMatthew B. Dwyer, John Hatcliff, Muhammad Nanda: Using Partial Evaluation to Enable Verification of Concurrent Software. ACM Comput. Surv. 30(3es): 22 (1998)
1997
11EEGilles Barthe, John Hatcliff, Morten Heine Sørensen: Reflections on Reflections. PLILP 1997: 241-258
10EEGilles Barthe, John Hatcliff, Peter Thiemann: Monadic Type Systems: Pure Type Systems for Impure Settings. Electr. Notes Theor. Comput. Sci. 10: (1997)
9EEGilles Barthe, John Hatcliff, Morten Heine Sørensen: A notion of classical pure type system. Electr. Notes Theor. Comput. Sci. 6: 4-59 (1997)
8 John Hatcliff, Olivier Danvy: Thunks and the lambda-Calculus. J. Funct. Program. 7(3): 303-319 (1997)
7 John Hatcliff, Olivier Danvy: A Computational Formalization for Partial Evaluation. Mathematical Structures in Computer Science 7(5): 507-541 (1997)
1996
6 John Hatcliff, Robert Glück: Reasoning about Hierarchies of Online Program Specialization Systems. Dagstuhl Seminar on Partial Evaluation 1996: 161-182
1995
5EEJohn Hatcliff: Mechanically Verifying the Correctness of an Offline Partial Evaluator PLILP 1995: 279-298
1994
4 John Hatcliff, Olivier Danvy: A Generic Account of Continuation-Passing Styles. POPL 1994: 458-471
1993
3EEOlivier Danvy, John Hatcliff: On the Transformation between Direct and Continuation Semantics. MFPS 1993: 627-648
1992
2 Olivier Danvy, John Hatcliff: Thunks (Continued). WSA 1992: 3-11
1 Olivier Danvy, John Hatcliff: CPS-Transformation After Strictness Analysis. LOPLAS 1(3): 195-212 (1992)

Coauthor Index

1Torben Amtoft (Torben Amtoft Hansen) [53] [69] [74]
2Daniel Andresen [75] [76]
3Mark W. Bailey [59]
4Anindya Banerjee [53] [69]
5Gilles Barthe [9] [10] [11] [17] [25] [26]
6Adam Childs [35] [46] [61]
7Rance Cleaveland [60]
8James C. Corbett [18] [22] [23] [24] [29]
9Olivier Danvy [1] [2] [3] [4] [7] [8]
10William Deng [34]
11Xianghua Deng [31] [32] [36] [38] [43] [46] [64] [70]
12Matthew B. Dwyer [12] [15] [18] [19] [21] [22] [23] [24] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [40] [41] [42] [43] [44] [45] [46] [48] [50] [51] [53] [54] [55] [57] [62] [63] [65] [69] [72]
13Cormac Flanagan [54]
14Hubert Garavel [39] [56] [58]
15Robert Glück [6] [16]
16Jesse Greenwald [35] [46] [61]
17David Greve [74]
18Jonathan Hoag [74]
19Matthew Hoosier [44] [45] [48] [55] [61] [63]
20Radu Iosif [33] [51]
21Ganeshan Jayaraman [52]
22Raoul Praful Jetley [75] [76]
23Roby Joehanes [27]
24Paul L. Jones [75] [76]
25Jesper Jørgensen [16]
26Georg Jung [32] [34] [36] [46] [47] [61] [68] [71]
27Andrew King [75] [76]
28Bruce H. Krogh [60]
29Shawn Laubach [15] [24] [27]
30Gary T. Leavens [54]
31Insup Lee [60]
32Peter Lee [60]
33Masaaki Mizuno [31] [43]
34Torben Æ. Mogensen [20]
35Muhammad Nanda [12]
36George J. Pappas [60]
37Corina S. Pasareanu [24] [27] [30] [72]
38Sam Procter [75] [76]
39Venkatesh Prasad Ranganath [34] [35] [36] [40] [46] [47] [49] [52] [53] [63] [67] [69]
40 Robby [22] [23] [24] [27] [29] [30] [32] [33] [34] [37] [38] [40] [41] [42] [44] [45] [50] [54] [55] [57] [62] [63] [64] [65] [70] [72] [74]
41Edwin Rodríguez [42] [50] [54] [57] [74]
42Harvey Rubin [60]
43Lui Sha [60]
44Prashant Shanti [46]
45Gurdip Singh [32] [35] [46]
46Stefan Sokolowski [18]
47Morten Heine Sørensen [9] [11] [17] [25] [26]
48William Spees [75] [76]
49Peter Thiemann [10] [20]
50Frank Tip [59] [66]
51Willem Visser [27] [72]
52Todd Wallentine [63]
53Steve Warren [75] [76]
54Sandy Weininger [75] [76]
55Hongjun Zheng [18] [21] [24] [27]

Colors in the list of coauthors

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