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.

Dr. Michael Böhm University of Stuttgart

Multi-Stage Optimization for Long-Term Building Climate Operation with Seasonal Thermal Storage, , and . 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, , , and . ISSTA 2023 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, page 892-903. New York, Association for Computing Machinery, (2023)
That’s a Tough Call : Studying the Challenges of Call Graph Construction for WebAssembly, , , and . ISSTA 2023 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, page 892-903. New York, Association for Computing Machinery, (2023)Beware of the Unexpected : Bimodal Taint Analysis, , and . ISSTA 2023 : Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, page 211-222. New York, Association for Computing Machinery, (2023)
 

Other publications of authors with the same name

Designing runtime variation points in product line architectures: three cases., , and . Sci. Comput. Program., 53 (3): 353-380 (2004)Adaptive User Profiles in Pervasive Advertising Environments, , , , , , , and . Ambient Intelligence, European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings, volume 5859 of Lecture Notes in Computer Science, page 276--286. Springer, (2009)4th SEMAT Workshop on General Theory of Software Engineering (GTSE 2015)., , , and . ICSE (2), page 983-984. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Formal Design and Performance Evaluation of Parallel and Distributed Software Systems., and . PDSE, page 136-. IEEE Computer Society, (1998)Dynamic Accommodation of Change: Automated Architecture Configuration of Distributed Systems., , and . ASE, page 287-290. IEEE Computer Society, (1999)Towards a Computer-Aided Problem-Oriented Variability Requirements Engineering Method., , , , , and . CAiSE Workshops, volume 178 of Lecture Notes in Business Information Processing, page 136-147. Springer, (2014)Analyse von Programmieraufgaben durch Softwareproduktmetriken., and . SEUH, volume 956 of CEUR Workshop Proceedings, page 59-68. CEUR-WS.org, (2013)Supporting evolution of automated material flow systems as part of CPPS by using coupled meta models., , , , , and . ICPS, page 316-323. IEEE, (2018)Continuous Design Decision Support., , , , , and . Managed Software Evolution, Springer, (2019)A Case for ViewPoints and Documents., and . Monterey Workshop, volume 5320 of Lecture Notes in Computer Science, page 62-84. Springer, (2007)