Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Likely matches
- John Hatcliff
Kansas State Uniersity, Manhattan, KS, USA
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 138 matches
- 2023
- Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod:
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134: 102789 (2023) - Stefan Hallerstede, John Hatcliff:
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. FACS 2023: 45-64 - John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter:
Automated Property-Based Testing from AADL Component Contracts. FMICS 2023: 131-150 - Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa:
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). Dagstuhl Reports 13(1): 155-183 (2023) - 2022
- Darren D. Cofer, Isaac Amundson, Junaid Babar, David S. Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton:
Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 20(3): 52-64 (2022) - Hariharan Thiagarajan, John Hatcliff, Robby:
Awas: AADL information flow and error propagation analysis framework. Innov. Syst. Softw. Eng. 18(4): 485-504 (2022) - Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff:
Specification and Verification of Timing Properties in Interoperable Medical Systems. Log. Methods Comput. Sci. 18(2) (2022) - John Hatcliff, Jérôme Hugues, Danielle Stewart, Lutz Wrage:
Formalization of the AADL Run-Time Services. ISoLA (2) 2022: 105-134 - Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart:
Mechanization of a Large DSML: An Experiment with AADL and Coq. MEMOCODE 2022: 1-9 - 2021
- John Hatcliff, Jason Belt, Robby, Todd Carpenter:
HAMR: An AADL Multi-platform Code Generation Toolset. ISoLA 2021: 274-295 - Robby, John Hatcliff:
Slang: The Sireum Programming Language. ISoLA 2021: 253-273 - 2020
- Hariharan Thiagarajan, John Hatcliff, Robby:
Awas: AADL Information Flow and Error Propagation Analysis Framework. ECSA Companion 2020: 294-310 - Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang:
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. IMBSA 2020: 34-50 - Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff:
Specification and Verification of Timing Properties in Interoperable Medical Systems. CoRR abs/2012.04025 (2020) - 2019
- John Hatcliff, Brian R. Larson, Todd Carpenter, Paul L. Jones, Yi Zhang, Joseph Jorgens:
The open PCA pump project: an exemplar open source medical device as a community resource. SIGBED Rev. 16(2): 8-13 (2019) - 2018
- John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang:
A Unified Approach for Modeling, Developing, and Assuring Critical Systems. ISoLA (1) 2018: 225-245 - Robby, John Hatcliff, Jason Belt:
Model-Based Development for High-Assurance Embedded Systems. ISoLA (1) 2018: 539-545 - Yi Zhang, Brian R. Larson, John Hatcliff:
Assurance Case Considerations for Interoperable Medical Systems. SAFECOMP Workshops 2018: 42-48 - 2017
- Sam Procter, Eugene Y. Vasserman, John Hatcliff:
SAFE and Secure: Deeply Integrating Security in a New Hazard Analysis. ARES 2017: 66:1-66:10 - Xiaolong Wang, Richard Habeeb, Xinming Ou, Siddharth Amaravadi, John Hatcliff, Masaaki Mizuno, Mitchell L. Neilsen, S. Raj Rajagopalan, Srivatsan Varadarajan:
Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. ICDCS Workshops 2017: 37-44 - Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu:
Focused Certification of an Industrial Compilation and Static Verification Toolchain. SEFM 2017: 17-34 - Todd Carpenter, John Hatcliff, Eugene Y. Vasserman:
A Reference Separation Architecture for Mixed-Criticality Medical and IoT Devices. SafeThings@SenSys 2017: 14-19 - 2015
- Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones:
Enabling Safe Interoperation by Medical Device Virtual Integration. IEEE Des. Test 32(5): 74-88 (2015) - Venkatesh-Prasad Ranganath, Yu Jin Kim, John Hatcliff, Robby:
Communication patterns for interconnecting and composing medical systems. EMBC 2015: 1711-1716 - Yu Jin Kim, Sam Procter, John Hatcliff, Venkatesh-Prasad Ranganath, Robby:
Ecosphere Principles for Medical Application Platforms. ICHI 2015: 193-198 - Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, Insup Lee:
Towards Assurance for Plug & Play Medical Systems. SAFECOMP 2015: 228-242 - Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando:
Error Type Refinement for Assurance of Families of Platform-Based Systems. SAFECOMP Workshops 2015: 95-106 - 2014
- Sam Procter, John Hatcliff, Robby:
Towards an AADL-Based Definition of App Architecture for Medical Application Platforms. FHIES/SEHC 2014: 26-43 - John Hatcliff, Alan Wassyng, Tim Kelly, Cyrille Comar, Paul L. Jones:
Certifiably safe software-dependent systems: challenges and directions. FOSE 2014: 182-200 - Sam Procter, John Hatcliff:
An architecturally-integrated, systems-based hazard analysis for medical applications. MEMOCODE 2014: 124-133
skipping 108 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-23 13:20 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint