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, JohnConference 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, JohnInformation 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 modelJung, Georg and Hatcliff, JohnInternational 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 structuresRanganath, Venkatesh⋅Ranganath, Venkatesh P⋅Amtoft, Torben⋅Amtoft, Torben⋅Banerjee, Anindya⋅Banerjee, Anindya⋅Hatcliff, John⋅Hatcliff, John⋅Dwyer, Matthew and Dwyer, MatthewACM Transactions on Programming Languages and Systems, vol. 29, (no. 5), 2007.
| Journal Article
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architecturesJung, Georg and Hatcliff, JohnGenerative 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 CheckingDwyer, Matthew⋅Hatcliff, John⋅Robby, Robby⋅Pasareanu, Corina and Visser, WillemInternational Conference on Software Engineering: 2007 Future of Software Engineering; 23-25 May 2007. 2007.
| Conference Proceeding
Slicing concurrent Java programs using Indus and KaveriRanganath, Venkatesh P and Hatcliff, JohnInternational Journal on Software Tools for Technology Transfer, vol. 9, (no. 5-6), pp. 489-504, Oct 2007.
| Journal Article
Checking JML specifications using an extensible software model checking frameworkRodríguez, Edwin⋅Robby⋅Rodríguez, Edwin⋅Rodríguez, Edwin⋅Dwyer, Matthew B⋅Hatcliff, John⋅Dwyer, Matthew⋅Dwyer, Matthew⋅Hatcliff, John and Hatcliff, JohnInternational Journal on Software Tools for Technology Transfer, vol. 8, (no. 3), pp. 280-299, Jun 2006.
| Journal Article
High-confidence medical device software and systemsLee, 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-EndIosif, Radu⋅Iosif, Radu⋅Dwyer, Matthew⋅Dwyer, Matthew⋅Hatcliff, John and Hatcliff, JohnFormal 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 ProgramsDwyer, Matthew⋅Dwyer, Matthew⋅Hatcliff, John⋅Hatcliff, John⋅Robby,⋅Robby⋅Ranganath, Venkatesh and Ranganath, Venkatesh PFormal 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 systemsHatcliff, John⋅Deng, Xinghua⋅Dwyer, Matthew B⋅Jung, Georg and Ranganath, Venkatesh PInternational Conference on Software Engineering: Proceedings of the 25th International Conference on Software Engineering : Portland, Oregon; 03-10 May 2003. 2003.
| Conference Proceeding
Slicing and partial evaluation of CORBA component model designs for avionics systemHatcliff, 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, RobbyACM SIGPLAN Notices, vol. 38, (no. 10), pp. 1-2, 2003.
| Journal Article
Slicing and partial evaluation of CORBA component model designs for avionics systemHatcliff, John⋅Hatcliff, John⋅Deng, William⋅Deng, William⋅Dwyer, Matthew B.⋅Dwyer, Matthew B⋅Jung, Georg⋅Jung, Georg⋅Ranganath, Venkatesh⋅Ranganath, Venkatesh Prasad and Robby, RobbyACM/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 LanguageCorbett, James C⋅Corbett, James C⋅Dwyer, Matthew B⋅Dwyer, Matthew⋅Hatcliff, John⋅Hatcliff, John and RobbyInternational 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 programsDeng, Xianghua⋅Deng, Xianghua⋅Dwyer, Matthew⋅Dwyer, Matthew B.⋅Hatcliff, John⋅Hatcliff, John⋅Mizuno, Masaaki and Mizuno, MasaakiInternational 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 programsDeng, Xianghua⋅Dwyer, Matthew⋅Hatcliff, John and Mizuno, MasaakiProceedings - 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 verificationDwyer, Matthew⋅Hatcliff, John⋅Joehanes, R.⋅Laubach, S.⋅Pasareanu, Corina⋅Robby⋅Zheng, H. and Visser, WillemPROC 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 codeCorbett, James C⋅Dwyer, Matthew⋅Hatcliff, John⋅Laubach, Shawn⋅Pasareanu, Corina⋅Robby and Zheng, HongjunPROC INT CONF SOFTWARE ENG. pp. 439-448. 2000, 2000.
| Journal Article