Philipp Schmitz

20 papers A 3Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — conf
PowerCourt: Formally Judging Benign-Looking Circuits in Multi-Tenant FPGA Environments.
LATS
Philipp Schmitz, Mohamed Shelkamy Ali, Dino Mehmedagic, Hassan Nassar, Jörg Henkel, Dominik Stoffel, Wolfgang Kunz
2025 A conf
Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments.
AsiaCCS
Philipp Schmitz, Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Thore Tiemann, Jonah Heller, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz
2025 J jnl
On excitation of control-affine systems and its use for data-driven Koopman approximants.
CoRR
Philipp Schmitz, Lea Bold, Friedrich M. Philipp, Mario Rosenfelder, Peter Eberhard, Henrik Ebel, Karl Worthmann
2025 J jnl
Towards Data-Driven Multi-Stage OPF.
CoRR
Oleksii Molodchyk, Philipp Schmitz, Alexander Engelmann, Karl Worthmann, Timm Faulwasser
2024 J jnl
A continuous-time fundamental lemma and its application in data-driven optimal control.
Syst. Control. Lett.
Philipp Schmitz, Timm Faulwasser, Paolo Rapisarda, Karl Worthmann
2024 J jnl
Sampled-data funnel control and its use for safe continual learning.
Syst. Control. Lett.
Lukas Lanza, Dario Dennstädt, Karl Worthmann, Philipp Schmitz, Gökçen Devlet Sen, Stephan Trenn, Manuel Schaller
2024 A conf
VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL.
ICCAD
Anna Lena Duque Antón, Johannes Müller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2024 J jnl
VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL.
CoRR
Anna Lena Duque Antón, Johannes Müller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
2023 J jnl
Behavioral theory for stochastic systems? A data-driven journey from Willems to Wiener and back again.
Annu. Rev. Control.
Timm Faulwasser, Ruchuan Ou, Guanru Pan, Philipp Schmitz, Karl Worthmann
2023 J jnl
Okapi: A Lightweight Architecture for Secure Speculation Exploiting Locality of Memory Accesses.
CoRR
Philipp Schmitz, Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Thore Tiemann, Jonah Heller, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz
2023 — conf
Safe data-driven reference tracking with prescribed performance
ICSTCC
Philipp Schmitz, Lukas Lanza, Karl Worthmann
2023 A conf
Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL.
ICCAD
Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Philipp Schmitz, Sayak Ray, Jason M. Fung, Christopher W. Fletcher, Dominik Stoffel, Wolfgang Kunz
2023 — conf
UPEC-PN: Exhaustive constant time verification of low-level software using property checking.
MBMV
Philipp Schmitz, Johannes Mueller, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz
2023 — conf
X-in-the-Loop Test Environment for Standardized Development of Photovoltaic Inverters.
EUROCON
Philipp Schmitz, Derk Gonschor, Marco Jung
2022 J jnl
Behavioral Theory for Stochastic Systems? A Data-driven Journey from Willems to Wiener and Back Again.
CoRR
Timm Faulwasser, Ruchuan Ou, Guanru Pan, Philipp Schmitz, Karl Worthmann
2022 J jnl
Data-driven MPC of descriptor systems: A case study for power networks.
CoRR
Philipp Schmitz, Alexander Engelmann, Timm Faulwasser, Karl Worthmann
2022 J jnl
Willems' Fundamental Lemma for Linear Descriptor Systems and Its Use for Data-Driven Output-Feedback MPC.
IEEE Control. Syst. Lett.
Philipp Schmitz, Timm Faulwasser, Karl Worthmann
2022 J jnl
Willems' fundamental lemma for linear descriptor systems and its use for data-driven output-feedback MPC.
CoRR
Philipp Schmitz, Timm Faulwasser, Karl Worthmann
2009 J jnl
A 1.8 V 1.0 GS/s 10b Self-Calibrating Unified-Folding-Interpolating ADC With 9.1 ENOB at Nyquist Frequency.
IEEE J. Solid State Circuits
Robert C. Taft, Pier Andrea Francese, Maria Rosaria Tursi, Ols Hidri, Alan MacKenzie, Tobias Hoehn, Philipp Schmitz, Heinz Werker, Andrew Glenny
2009 — conf
A 1.8V 1.0GS/s 10b self-calibrating unified-folding-interpolating ADC with 9.1 ENOB at Nyquist frequency.
ISSCC
Robert C. Taft, Pier Andrea Francese, Maria Rosaria Tursi, Ols Hidri, Alan MacKenzie, Tobias Hoehn, Philipp Schmitz, Heinz Werker, Andrew Glenny