Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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

LExecutor: Learning-Guided Execution, and . Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, page 1522-1534. Association for Computing Machinery, (2023)

Univ. -Prof. Dr. rer. nat. Michael Sedlmair University of Stuttgart

Metaphorical Visualization : Mapping Data to Familiar Concepts, , , , and . CHI EA '22 : Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems, page 10. New York, Association for Computing Machinery, (2022)
 

Other publications of authors with the same name

Run-Time Adaptive Error and State Management for Open Automotive Systems., , and . ISSRE Workshops, page 467-472. IEEE Computer Society, (2014)LP and SDP branch-and-cut algorithms for the minimum graph bisection problem: a computational comparison., , , and . Math. Program. Comput., 4 (3): 275-306 (2012)Hybrid Genetic Algorithm Within Branch-and-Cut for the Minimum Graph Bisection Problem., , , , and . EvoCOP, volume 3906 of Lecture Notes in Computer Science, page 1-12. Springer, (2006)Easy Control System für Flugzeuge der General Aviation, , , and . Friedrichshafen, (September 2005)X-by-Wire Plattform - Konzept und Auslegung, and . 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, , , , , and . Stuttgart, (2005)Anforderungen an ein militärisch/zivil genutzes UAV als Grundlage eines gemeinsamen Konzeptes für ein integriertes Flugsteuerungssystem, , , , and . Berlin, (2008)Development of a Save and Easy Flight Control System for Small Aircraft in a University Environment - Impact of Research on Education, , , , and . Tallinn, Estonia, (October 2006)Optimization of the Coupling Factor Curve for Lateral Offset of a Coil Pair for Contactless Inductive Charging to Generate Positioning Tolerance, , and . (2017)Duo duplex drive-by-wire computer system., , , , and . Rel. Eng. & Sys. Safety, 89 (1): 71-80 (2005)