Author:
Robby ,Hatcliff John,Belt Jason
Publisher
Springer International Publishing
Reference21 articles.
1. Carpenter, T., Hatcliff, J., Vasserman, E.Y.: A reference separation architecture for mixed-criticality medical and IoT devices. In: Proceedings of the 1st ACM Workshop on the Internet of Safe Things, SafeThings 2017, New York, pp. 14–19. ACM (2017)
2. Deng, X., Robby, Hatcliff, J.: Kiasan/KUnit: automatic test case generation and analysis feedback for open object-oriented systems. In: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007), pp. 3–12, September 2007
3. Feiler, P.H., Hansson, J., de Niz, D., Wrage, L.: System architecture virtual integration: an industrial case study. Technical report CMU/SEI-2009-TR-017, CMU (2009)
4. Harp, S., Carpenter, T., Hatcliff, J.: A reference architecture for secure medical devices. Biomed. Instrum. Technol. 52(5), 357–365 (2018). Association for the Advancement of Medical Instrumentation (AAMI)
5. Hatcliff, J., Dwyer, M.B., Robby: Bogor: a flexible framework for creating software model checkers. In: Testing: Academic Industrial Conference - Practice And Research Techniques (TAIC PART 2006), pp. 3–22, August 2006
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Evaluation of Graphical Modeling of CI/CD Workflows with Rig;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
2. An FMI-Based Initialization Plugin for INTO-CPS Maestro 2;Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops;2021
3. Pyro: Generating Domain-Specific Collaborative Online Modeling Environments;Fundamental Approaches to Software Engineering;2019