Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. Michael Böhm University of Stuttgart

Multi-Stage Optimization for Long-Term Building Climate Operation with Seasonal Thermal Storage, , und . 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), IEEE, (2023)

Univ. -Prof. Dr. Michael Pradel University of Stuttgart

That’s a Tough Call : Studying the Challenges of Call Graph Construction for WebAssembly, , , und . ISSTA 2023 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seite 892-903. New York, Association for Computing Machinery, (2023)
That’s a Tough Call : Studying the Challenges of Call Graph Construction for WebAssembly, , , und . ISSTA 2023 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seite 892-903. New York, Association for Computing Machinery, (2023)Beware of the Unexpected : Bimodal Taint Analysis, , und . ISSTA 2023 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seite 211-222. New York, Association for Computing Machinery, (2023)
 

Weitere Publikationen von Autoren mit dem selben Namen

Run-Time Adaptive Error and State Management for Open Automotive Systems., , und . ISSRE Workshops, Seite 467-472. IEEE Computer Society, (2014)Easy Control System für Flugzeuge der General Aviation, , , und . Friedrichshafen, (September 2005)X-by-Wire Plattform - Konzept und Auslegung, und . Oldenbourg Wissenschaftsverlag GmbH, (2011)Innovative Testkonzepte für X-by-Wire Systeme der nächsten Generation am Beispiel eines Nutzfahrzeugs, Umsetzung im EU-Projekt SPARC, , , , , und . Stuttgart, (2005)Anforderungen an ein militärisch/zivil genutzes UAV als Grundlage eines gemeinsamen Konzeptes für ein integriertes Flugsteuerungssystem, , , , und . Berlin, (2008)Development of a Save and Easy Flight Control System for Small Aircraft in a University Environment - Impact of Research on Education, , , , und . Tallinn, Estonia, (Oktober 2006)Optimization of the Coupling Factor Curve for Lateral Offset of a Coil Pair for Contactless Inductive Charging to Generate Positioning Tolerance, , und . (2017)LP and SDP branch-and-cut algorithms for the minimum graph bisection problem: a computational comparison., , , und . Math. Program. Comput., 4 (3): 275-306 (2012)Hybrid Genetic Algorithm Within Branch-and-Cut for the Minimum Graph Bisection Problem., , , , und . EvoCOP, Volume 3906 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2006)An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures., , , , , , , , , und . ITSC, Seite 1274-1279. IEEE, (2015)