32 Publications (Page 1 of 2)
2018
A Reference Architecture for Secure Medical Devices
Harp, Steven⋅Carpenter, Todd and Hatcliff, John
Biomedical Instrumentation & Technology, vol. 52, (no. 5), pp. 357-365, Sep/Oct 2018. | Journal Article
2015
Communication patterns for interconnecting and composing medical systems.
Ranganath, Venkatesh Prasad⋅Kim, Yu Jin and Hatcliff, John
Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference, vol. 2015, pp. 1711-1716, August 2015. | Journal Article
2014
Foundational Security Principles for Medical Application Platforms (Extended Abstract).
Vasserman, Eugene Y and Hatcliff, John
Information security applications : 14th International Workshop, WISA 2013, Jeju Island, Korea, August 19-21, 2013 : revised selected papers / Yongdae Kim, Heejo Lee, Adrian Perrig (eds.). WISA (Workshop : Information security) (14th : ..., vol. 8267, pp. 213-217. | Journal Article
2013
Open Source Patient-Controlled Analgesic Pump Requirements Documentation.
Larson, Brian R⋅Hatcliff, John and Chalin, Patrice
... International Workshop on Software Engineering in Health Care. International Workshop on Software Engineering in Health Care, pp. 28-34, 2013. | Journal Article
2007
A correlation framework for the CORBA component model
Jung, Georg and Hatcliff, John
International Journal on Software Tools for Technology Transfer, vol. 9, (no. 5-6), pp. 417-427, Oct 2007. | Journal Article
 
A new foundation for control dependence and slicing for modern program structures
Ranganath, Venkatesh⋅Ranganath, Venkatesh P⋅Amtoft, Torben⋅Amtoft, Torben⋅Banerjee, Anindya⋅Banerjee, Anindya⋅Hatcliff, John⋅Hatcliff, John⋅Dwyer, Matthew and Dwyer, Matthew
ACM Transactions on Programming Languages and Systems, vol. 29, (no. 5), 2007. | Journal Article
 
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
Jung, Georg and Hatcliff, John
Generative Programming And Component Engineering: Proceedings of the 6th international conference on Generative programming and component engineering; 01-03 Oct. 2007. 2007. | Conference Proceeding
 
Formal Software Analysis Emerging Trends in Software Model Checking
Dwyer, Matthew⋅Hatcliff, John⋅Robby, Robby⋅Pasareanu, Corina and Visser, Willem
International Conference on Software Engineering: 2007 Future of Software Engineering; 23-25 May 2007. 2007. | Conference Proceeding
 
Slicing concurrent Java programs using Indus and Kaveri
Ranganath, Venkatesh P and Hatcliff, John
International Journal on Software Tools for Technology Transfer, vol. 9, (no. 5-6), pp. 489-504, Oct 2007. | Journal Article
2006
A new foundation for control-dependence and slicing for modern program structures.
Ranganath, Venkatesh⋅Amtoft, Torben⋅Banerjee, Anindya⋅Dwyer, Matthew and Hatcliff, John
STAR, vol. 44, (no. 12), 2006. | Journal Article
 
Checking JML specifications using an extensible software model checking framework
Rodríguez, Edwin⋅Robby⋅Rodríguez, Edwin⋅Rodríguez, Edwin⋅Dwyer, Matthew B⋅Hatcliff, John⋅Dwyer, Matthew⋅Dwyer, Matthew⋅Hatcliff, John and Hatcliff, John
International Journal on Software Tools for Technology Transfer, vol. 8, (no. 3), pp. 280-299, Jun 2006. | Journal Article
 
High-confidence medical device software and systems
Lee, Insup⋅Pappas, George J⋅Cleaveland, Rance⋅Hatcliff, John⋅Krogh, Bruce⋅Lee, Peter⋅Rubin, H. and Sha, L.
Computer, vol. 39, (no. 4), pp. 33-38, 2006. | Journal Article
2005
Translating Java for Multiple Model Checkers: The Bandera Back-End
Iosif, Radu⋅Iosif, Radu⋅Dwyer, Matthew⋅Dwyer, Matthew⋅Hatcliff, John and Hatcliff, John
Formal Methods in System Design, vol. 26, (no. 2), pp. 137-180, 2005. | Journal Article
2004
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs
Dwyer, Matthew⋅Dwyer, Matthew⋅Hatcliff, John⋅Hatcliff, John⋅Robby,⋅Robby⋅Ranganath, Venkatesh and Ranganath, Venkatesh P
Formal Methods in System Design, vol. 25, (no. 2-3), pp. 199-240, 2004. | Journal Article
2003
Cadena:an integrated development, analysis, and verification environment for component-based systems
Hatcliff, John⋅Deng, Xinghua⋅Dwyer, Matthew B⋅Jung, Georg and Ranganath, Venkatesh P
International Conference on Software Engineering: Proceedings of the 25th International Conference on Software Engineering : Portland, Oregon; 03-10 May 2003. 2003. | Conference Proceeding
 
Foundations of the bandera abstraction tools.
Hatcliff, John⋅Dwyer, Matthew⋅Pasareanu, Corina and Robby
STAR, vol. 41, (no. 9), 2003. | Journal Article
 
Slicing and partial evaluation of CORBA component model designs for avionics system
Hatcliff, John⋅Hatcliff, John⋅Deng, William⋅Deng, William⋅Dwyer, Matthew B⋅Dwyer, Matthew B⋅Jung, Georg⋅Jung, Georg⋅Ranganath, Venkatesh⋅Ranganath, Venkatesh⋅Robby, Robby and Robby, Robby
ACM SIGPLAN Notices, vol. 38, (no. 10), pp. 1-2, 2003. | Journal Article
 
Slicing and partial evaluation of CORBA component model designs for avionics system
Hatcliff, John⋅Hatcliff, John⋅Deng, William⋅Deng, William⋅Dwyer, Matthew B.⋅Dwyer, Matthew B⋅Jung, Georg⋅Jung, Georg⋅Ranganath, Venkatesh⋅Ranganath, Venkatesh Prasad and Robby, Robby
ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation : San Diego, California, USA; 07-07 June 2003. 2003. | Conference Proceeding
2002
Expressing checkable properties of dynamic systems: the Bandera Specification Language
Corbett, James C⋅Corbett, James C⋅Dwyer, Matthew B⋅Dwyer, Matthew⋅Hatcliff, John⋅Hatcliff, John and Robby
International Journal on Software Tools for Technology Transfer, vol. 4, (no. 1), pp. 34-56, Oct 2002. | Journal Article
 
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Deng, Xianghua⋅Deng, Xianghua⋅Dwyer, Matthew⋅Dwyer, Matthew B.⋅Hatcliff, John⋅Hatcliff, John⋅Mizuno, Masaaki and Mizuno, Masaaki
International Conference on Software Engineering: Proceedings of the 24th International Conference on Software Engineering; 19-25 May 2002. 2002. | Conference Proceeding
 
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Deng, Xianghua⋅Dwyer, Matthew⋅Hatcliff, John and Mizuno, Masaaki
Proceedings - International Conference on Software Engineering. pp. 442-452. 2002, 2002. | Journal Article
2001
An induction principle for pure type systems
Barthe, G.⋅Hatcliff, John and Sorensen, M. H
Theoretical Computer Science, vol. 266, (no. 1-2), pp. 773-818, 2001. | Journal Article
 
Tool-supported program abstraction for finite-state verification
Dwyer, Matthew⋅Hatcliff, John⋅Joehanes, R.⋅Laubach, S.⋅Pasareanu, Corina⋅Robby⋅Zheng, H. and Visser, Willem
PROC INT CONF SOFTWARE ENG. pp. 177-187. 2001, 2001. | Journal Article
 
Weak normalization implies strong normalization in a class of non-dependent pure type systems
Barthe, G.⋅Hatcliff, John and Sorensen, M. H
Theoretical Computer Science, vol. 269, (no. 1-2), pp. 317-361, 2001. | Journal Article
2000
Bandera: extracting finite-state models from Java source code
Corbett, James C⋅Dwyer, Matthew⋅Hatcliff, John⋅Laubach, Shawn⋅Pasareanu, Corina⋅Robby and Zheng, Hongjun
PROC INT CONF SOFTWARE ENG. pp. 439-448. 2000, 2000. | Journal Article