John Hatcliff

TypePostAuthorRepliesLast updated
NSF CPS ProjectFDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms John Hatcliff015 weeks 6 days ago
FileArchitecturally-Integrated Hazard Analyses for Medical Application Platforms John Hatcliff024 weeks 1 day ago
FileFDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms John Hatcliff01 year 10 weeks ago
VideoSESSION III: CPS Domain Exemplars - Medical Devices John Hatcliff01 year 10 weeks ago
FileMedCPS-OExP: Open Experimental Platforms for International Collaboration on Integrated Medical Devices and Systems John Hatcliff01 year 12 weeks ago
FileInfrastructure and Technology Innovations for Medical Device Coordination John Hatcliff01 year 15 weeks ago
FileInfrastructure and Technology Innovations for Medical Device Coordination John Hatcliff01 year 15 weeks ago
FileAddressing Safety and Security in Standards for Interoperable Medical Systems: The AAMI/UL 2800 Family of Standards John Hatcliff02 years 11 weeks ago
FileTrustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms John Hatcliff02 years 44 weeks ago
FileCPS: Synergy: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms John Hatcliff02 years 44 weeks ago
FileTrustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms John Hatcliff02 years 44 weeks ago
NSF CPS ProjectCPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms John Hatcliff02 years 44 weeks ago
NSF CPS Project CPS: Medium: Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination John Hatcliff02 years 44 weeks ago
User ProfileJohn Hatcliff John Hatcliff02 years 44 weeks ago
NSF CPS ProjectCPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms John Hatcliff03 years 8 weeks ago
FileKiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution John Hatcliff03 years 9 weeks ago
NSF CPS ProjectFDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms John Hatcliff03 years 10 weeks ago
FileUsing Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES John Hatcliff05 years 28 weeks ago
FileMedical Device Coordination Framework John Hatcliff05 years 38 weeks ago
FileDeveloper-Friendly Contract-Based Notations and Machine-Checkable Evidence for Verif. of Information Flow Properties for ES John Hatcliff06 years 3 weeks ago