Eric Mertens

According to our database, Eric Mertens authored at least 8 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Enabling Development of an Extensible, Multi-Perspective Ontology.

Abha Moitra, Kit Siu, Paul Cuddihy, Daniel Russell, Eric Mertens, Dave Archer, Kevin Quick

Proceedings of the 18th IEEE International Conference on Semantic Computing, 2024

2023

Aviation Certification Powered by the Semantic Web Stack.

Paul Cuddihy, Daniel Russell, Eric Mertens, Kit Siu, David W. Archer, Jenny Williams

Proceedings of the Semantic Web - ISWC 2023, 2023

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence.

Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

A Semantic Reference Model for Capturing System Development and Evaluation.

Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell

Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022

2019

Weird Machines as Insecure Compilation.

Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore

CoRR, 2019

2018

Continuous Formal Verification of Amazon s2n.

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

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

TrackOS: A Security-Aware Real-Time Operating System.

Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb

Proceedings of the Runtime Verification - 16th International Conference, 2016

2014

Application-Scale Secure Multiparty Computation.

John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens

Proceedings of the Programming Languages and Systems, 2014