Mertens, Eric
256  Ergebnisse:
Personensuche X
?
1

Enabling Development of an Extensible, Multi-Perspective On..:

, In: 2024 IEEE 18th International Conference on Semantic Computing (ICSC),
Moitra, Abha ; Siu, Kit ; Cuddihy, Paul... - p. 77-80 , 2024
 
?
2

Aviation Certification Powered by the Semantic Web Stack:

, In: The Semantic Web – ISWC 2023; Lecture Notes in Computer Science,
Cuddihy, Paul ; Russell, Daniel ; Mertens, Eric... - p. 345-361 , 2023
 
?
3

RACK: A Semantic Model and Triplestore for Curation of Assu..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,
Moitra, Abha ; Cuddihy, Paul ; Siu, Kit... - p. 149-160 , 2023
 
?
4

A Semantic Reference Model for Capturing System Development..:

, In: 2022 IEEE 16th International Conference on Semantic Computing (ICSC),
Moitra, Abha ; Cuddihy, Paul ; Siu, Kit... - p. 173-174 , 2022
 
?
5

Continuous Formal Verification of Amazon s2n:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Chudnov, Andrey ; Collins, Nathan ; Cook, Byron... - p. 430-446 , 2018
 
?
8

BGA electromigration behavior and why it has become the bot..:

, In: 2024 IEEE 74th Electronic Components and Technology Conference (ECTC),
Labie, Riet ; Nawghane, Chinmay ; Tsiakos, Dimitrios... - p. 678-684 , 2024
 
?
 
1-15