John Hatcliff

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