Christian Martin

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 6

Top Topics

Intelligent Software

Architectural Models

Top Venues

IACR Cryptol. ePrint Arch.

IACR Commun. Cryptol.

Publications

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. CoRR (2024)
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. SAC (2024)
Ahmad Abou-Hamde, Lauren Philippi, Eric Jones, Christian Martin, Kingsley Wu, Michael Kundell, Sunita Mathur, Alireza Sadeghian, Maryam Davoudpour, Jane Batt, Adriana Ieraci, Sharon Gabison
Using Physiological Markers to Assess Comfort during Neuromuscular Electrical Stimulation Induced Muscle Contraction in a Virtually Guided Environment: Pilot Study for a Path toward Combating ICU-Acquired Weakness. Sensors 24 (11) (2024)
Marcel Tiepelt, Christian Martin, Nils Mäurer
Post-Quantum Ready Key Agreement for Aviation. IACR Cryptol. ePrint Arch. 2024 (2024)
Marcel Tiepelt, Christian Martin, Nils Mäurer
Post-Quantum Ready Key Agreement for Aviation. IACR Commun. Cryptol. 1 (1) (2024)
Georg Walther, Christian Martin, Amelie Haase, Ulf Nestler, Stefan Schob
Machine Learning for Rupture Risk Prediction of Intracranial Aneurysms: Challenging the PHASES Score in Geographically Constrained Areas. Symmetry 14 (5) (2022)
Stefano Previdi, Mike Shand, Christian Martin
A Policy Control Mechanism in IS-IS Using Administrative Tags. RFC 5130 (2008)
Christian Martin, Christian Winterhalder
Integrating CASE and UIMS for Automatic Software Construction. HCI (2) (1993)