Michael Schwarz

Helmholtz Center for Information Security — Germany

Decision Sciences · Social Sciences

29h-index6.8kcitations228works2.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Auction Theory and Applications(27), Formal Methods in Verification(18), Computer Graphics and Visualization Techniques(18), Software Testing and Debugging Techniques(16), Security and Verification in Computing(16)

Publications228 total

The Weighted k-Search Problem
Mathematics·2026Open Access
Lixom: Protecting Encryption Keys with Execute-Only Memory
Lecture notes in computer science·2026
Do Compilers Break Constant-Time Guarantees?
Lecture notes in computer science·2026
Compiling Away the Overhead of Race Detection
arXiv (Cornell University)·2025Open Access
Boundary Representations of Intermediate forms between a Regular Dirichlet form and its Active Main Part
Potential Analysis·2025Open Access
Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
arXiv (Cornell University)·2025· 1 citedOpen Access
Effect of the synbiotic system on the performance of shrimp Penaeus vannamei, oyster Crassostrea virginica, and macroalgae Ulva lactuca in an integrated system
Aquaculture International·2025
Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
Proceedings of the ACM on Programming Languages·2025Open Access
Study of an OPTO-ASIC for a Functionally Safe Speed Sensor Using the Spatial Frequency Filter Method
2025
Context-Dependent Adaptation in Structured Environments
2025· 1 citedOpen Access
Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
arXiv (Cornell University)·2025Open Access
Context Gas and friends: taming context-sensitivity on the fly
International Journal on Software Tools for Technology Transfer·2025· 1 citedOpen Access
GAIWAP (Gait Analysis to Determine the Improvement of Walking Ability in People with Disabilities)
2025
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts
Lecture notes in computer science·2025· 2 cited
Development and Validation of Control Systems with Variable Dead Time for Networked Control Systems
WSEAS TRANSACTIONS ON SYSTEMS AND CONTROL·2024Open Access
The digest framework: concurrency-sensitivity for abstract interpretation
International Journal on Software Tools for Technology Transfer·2024· 5 citedOpen Access
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
arXiv (Cornell University)·2024· 1 citedOpen Access
Settlement of digital assets and wholesale CBDC : Solutions and interoperability approaches explored by the ECB
Journal of securities operations & custody·2024
Multisource energy harvesting using (Ba,Ca)(Zr,Ti)O <sub>3</sub> oscillating under temperature gradient
Journal of the American Ceramic Society·2024· 2 citedOpen Access
The super-intensive culture of Penaeus vannamei in low salinity water: A comparative study among recirculating aquaculture system, biofloc, and synbiotic systems
Aquaculture·2024· 12 cited
page 1 of 12Next →

Frequent Co-authors

Lucas Paletta(5), Benjamin Edelman(4), Michael Ostrovsky(4), Catherine Mahony(4), M Cronin(4), Marc Stamminger(4), Stefan Ladstätter(4), Derek J. Knight(3), George P. Daston(3), Mathieu Vinken(3), Hans‐Peter Seidel(3), Elmar Eisemann(3), Ulf Assarsson(3), Michael Wimmer(3), Patrick Luley(3), Simmo Saan(3), Helmut Seidl(3), Julian Erhard(3), Vesal Vojdani(3), T.W. Schultz(2)