Eric Mertens

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 7

Top Topics

Ontology Driven

Reference Model

Top Venues

Publications

Abha Moitra, Kit Siu, Paul Cuddihy, Daniel Russell, Eric Mertens, Dave Archer, Kevin Quick
Enabling Development of an Extensible, Multi-Perspective Ontology. ICSC (2024)
Paul Cuddihy, Daniel Russell, Eric Mertens, Kit Siu, David W. Archer, Jenny Williams
Aviation Certification Powered by the Semantic Web Stack. ISWC (2023)
Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. SAFECOMP Workshops (2023)
Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell
A Semantic Reference Model for Capturing System Development and Evaluation. ICSC (2022)
Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore
Weird Machines as Insecure Compilation. CoRR (2019)
Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook
Continuous Formal Verification of Amazon s2n. CAV (2) (2018)
Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb
TrackOS: A Security-Aware Real-Time Operating System. RV (2016)
John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens
Application-Scale Secure Multiparty Computation. ESOP (2014)