Michael Schwarz

According to our database1, Michael Schwarz authored at least 20 papers between 1999 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Mind the GAP: Security & Privacy Risks of Contact Tracing Apps.
CoRR, 2020

Lower and Upper Bounds for the Discrete Bi-Directional Preemptive Conversion Problem with a Constant Price Interval.
Algorithms, 2020

ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization.
Proceedings of the 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2019

Introduction and Evaluation of Complexity Metrics for Network-based, Graphical IEC 61131-3 Programming Languages.
Proceedings of the IECON 2019, 2019

Systematic RISC-V based Firmware Design<sup>⋆</sup>.
Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Simultaneous Measurement of the Flow Velocities of Liquids and Gases.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2019, 2019

ACCESS: HW/SW Co-Equivalence Checking for Firmware Optimization.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Introduction to the Special Issue on EC'15.
ACM Trans. Economics and Comput., 2018

Predictive quality control of hybrid metal-CFRP components using information fusion.
Prod. Eng., 2018

Scalable cloud based semantic code analysis to support continuous integration of industrial PLC code.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Cycle-accurate software modeling for RTL verification of embedded systems.
Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017

Come Together: a multi-hospital transition in reporting strategy from untethered databases to integrated warehouse solutions.
Proceedings of the AMIA 2017, 2017

Context-Based Orchestration for Control of Resource-Efficient Manufacturing Processes.
Future Internet, 2012

Median stable matching for markets with wages.
J. Econ. Theory, 2011

Model-Based Assessment of Tissue Perfusion and Temperature in Deep Hypothermic Patients.
IEEE Trans. Biomed. Engineering, 2010

Prediction and validation of cell alignment along microvessels as order principle to restore tissue architecture in liver regeneration.
Proc. Natl. Acad. Sci. USA, 2010

Incremental Learning of Statistical Models from a Temporal Data Stream . An MML-Based Appoach.
Trans. MLDM, 2010

Tutorial on sponsored search.
Proceedings of the Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), 2007

Geschäftsprozess-Monitoring in heterogenen IT-Landschaften.
Proceedings of the Software Engineering 2005, 2005

Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA).
Rundbr. GI Fachgr. 5 10 Informationssystem Archit., 1999