32 Publications (Page 1 of 2)
2018
A Reference Architecture for Secure Medical Devices
Harp, StevenCarpenter, 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 PrasadKim, 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 RHatcliff, 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, VenkateshRanganath, Venkatesh PAmtoft, TorbenAmtoft, TorbenBanerjee, AnindyaBanerjee, AnindyaHatcliff, JohnHatcliff, JohnDwyer, 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, MatthewHatcliff, JohnRobby, RobbyPasareanu, 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, VenkateshAmtoft, TorbenBanerjee, AnindyaDwyer, Matthew and Hatcliff, John
STAR, vol. 44, (no. 12), 2006. | Journal Article
 
Checking JML specifications using an extensible software model checking framework
Rodríguez, EdwinRobbyRodríguez, EdwinRodríguez, EdwinDwyer, Matthew BHatcliff, JohnDwyer, MatthewDwyer, MatthewHatcliff, 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, InsupPappas, George JCleaveland, RanceHatcliff, JohnKrogh, BruceLee, PeterRubin, 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, RaduIosif, RaduDwyer, MatthewDwyer, MatthewHatcliff, 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, MatthewDwyer, MatthewHatcliff, JohnHatcliff, JohnRobby,RobbyRanganath, 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, JohnDeng, XinghuaDwyer, Matthew BJung, 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, JohnDwyer, MatthewPasareanu, Corina and Robby
STAR, vol. 41, (no. 9), 2003. | Journal Article
 
Slicing and partial evaluation of CORBA component model designs for avionics system
Hatcliff, JohnHatcliff, JohnDeng, WilliamDeng, WilliamDwyer, Matthew BDwyer, Matthew BJung, GeorgJung, GeorgRanganath, VenkateshRanganath, VenkateshRobby, 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, JohnHatcliff, JohnDeng, WilliamDeng, WilliamDwyer, Matthew B.Dwyer, Matthew BJung, GeorgJung, GeorgRanganath, VenkateshRanganath, 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 CCorbett, James CDwyer, Matthew BDwyer, MatthewHatcliff, JohnHatcliff, 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, XianghuaDeng, XianghuaDwyer, MatthewDwyer, Matthew B.Hatcliff, JohnHatcliff, JohnMizuno, 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, XianghuaDwyer, MatthewHatcliff, 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, MatthewHatcliff, JohnJoehanes, R.Laubach, S.Pasareanu, CorinaRobbyZheng, 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 CDwyer, MatthewHatcliff, JohnLaubach, ShawnPasareanu, CorinaRobby and Zheng, Hongjun
PROC INT CONF SOFTWARE ENG. pp. 439-448. 2000, 2000. | Journal Article