Philipp Schmitz

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 11

Top Topics

Conservation Laws

Stochastic Systems

Top Venues

IEEE Control. Syst. Lett.

Annu. Rev. Control.

Publications

Anna Lena Duque Antón, Johannes Müller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz
VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL. CoRR (2024)
Philipp Schmitz, Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Thore Tiemann, Jonah Heller, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz
Okapi: A Lightweight Architecture for Secure Speculation Exploiting Locality of Memory Accesses. CoRR (2023)
Timm Faulwasser, Ruchuan Ou, Guanru Pan, Philipp Schmitz, Karl Worthmann
Behavioral theory for stochastic systems? A data-driven journey from Willems to Wiener and back again. Annu. Rev. Control. 55 (2023)
Philipp Schmitz, Derk Gonschor, Marco Jung
X-in-the-Loop Test Environment for Standardized Development of Photovoltaic Inverters. EUROCON (2023)
Philipp Schmitz, Johannes Mueller, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz
UPEC-PN: Exhaustive constant time verification of low-level software using property checking. MBMV (2023)
Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Philipp Schmitz, Sayak Ray, Jason M. Fung, Christopher W. Fletcher, Dominik Stoffel, Wolfgang Kunz
Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL. ICCAD (2023)
Philipp Schmitz, Lukas Lanza, Karl Worthmann
. ICSTCC (2023)
Philipp Schmitz, Alexander Engelmann, Timm Faulwasser, Karl Worthmann
Data-driven MPC of descriptor systems: A case study for power networks. CoRR (2022)
Philipp Schmitz, Timm Faulwasser, Karl Worthmann
Willems' fundamental lemma for linear descriptor systems and its use for data-driven output-feedback MPC. CoRR (2022)
Timm Faulwasser, Ruchuan Ou, Guanru Pan, Philipp Schmitz, Karl Worthmann
Behavioral Theory for Stochastic Systems? A Data-driven Journey from Willems to Wiener and Back Again. CoRR (2022)
Philipp Schmitz, Timm Faulwasser, Karl Worthmann
Willems' Fundamental Lemma for Linear Descriptor Systems and Its Use for Data-Driven Output-Feedback MPC. IEEE Control. Syst. Lett. 6 (2022)
Robert C. Taft, Pier Andrea Francese, Maria Rosaria Tursi, Ols Hidri, Alan MacKenzie, Tobias Hoehn, Philipp Schmitz, Heinz Werker, Andrew Glenny
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 44 (12) (2009)
Robert C. Taft, Pier Andrea Francese, Maria Rosaria Tursi, Ols Hidri, Alan MacKenzie, Tobias Hoehn, Philipp Schmitz, Heinz Werker, Andrew Glenny
A 1.8V 1.0GS/s 10b self-calibrating unified-folding-interpolating ADC with 9.1 ENOB at Nyquist frequency. ISSCC (2009)