Michael Werner

53 papers A* 1A 2C 3Misc 6Journal 20Unranked 20

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Detecting Anomalous Events in Object-centric Business Processes via Graph Neural Networks. CoRR Alessandro Niro, Michael Werner
2023	—	`—`	Automatic Generator Methodology for Safe Embedded Software. Michael Werner
2023	J	`jnl`	Deep Reinforcement Learning for Optimization at Early Design Stages. IEEE Des. Test Lorenzo Servadei, Jin Hwa Lee, José Antonio Arjona-Medina, Michael Werner, Sepp Hochreiter, Wolfgang Ecker, Robert Wille
2023	—	`conf`	Detecting Anomalous Events in Object-Centric Business Processes via Graph Neural Networks. ICPM Workshops Alessandro Niro, Michael Werner
2022	Misc	`conf`	A Planning Model for Incorporating Renewable Energy Sources into Semiconductor Supply Chains. WSC Michael Werner, Lars Mönch, Jei-Zheng Wu
2022	J	`jnl`	Determination of anisotropic elastic parameters from morphological parameters of cancellous bone for osteoporotic lumbar spine. Medical Biol. Eng. Comput. Christoph Oefner, Elena Riemer, Kerstin Funke, Michael Werner, Christoph-Eckhard Heyde, Stephan Schoenfelder
2021	J	`jnl`	Embedding process mining into financial statement audits. Int. J. Account. Inf. Syst. Michael Werner, Michael Wiese, Annalouise Maas
2021	—	`conf`	Extending Verilator to Enable Fault Simulation. MBMV Endri Kaja, Nicolas Ojeda Leon, Michael Werner, Bogdan-Andrei Tabacaru, Keerthikumara Devarajegowda, Wolfgang Ecker
2021	—	`conf`	On Self-Verifying DSL Generation for Embedded Systems Automation. MBMV Zhao Han, Shahzaib Qazi, Michael Werner, Keerthikumara Devarajegowda, Wolfgang Ecker
2020	J	`jnl`	Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation. IEEE Trans. Computers Lorenzo Servadei, Edoardo Mosca, Elena Zennaro, Keerthikumara Devarajegowda, Michael Werner, Wolfgang Ecker, Robert Wille
2020	—	`conf`	Automatic compiler optimization on embedded software through k-means clustering. MLCAD Michael Werner, Lorenzo Servadei, Robert Wille, Wolfgang Ecker
2020	—	`conf`	Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning. ACM Great Lakes Symposium on VLSI Lorenzo Servadei, Edoardo Mosca, Keerthikumara Devarajegowda, Michael Werner, Wolfgang Ecker, Robert Wille
2020	—	`conf`	Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning. MLCAD Lorenzo Servadei, Jiapeng Zheng, Jose A. Arjona-Medina, Michael Werner, Volkan Esen, Sepp Hochreiter, Wolfgang Ecker, Robert Wille
2020	J	`jnl`	Experimental validation of adaptive pedicle screws - a novel implant concept using shape memory alloys. Medical Biol. Eng. Comput. Michael Werner, Niels Hammer, Christian Rotsch, Isabell Berthold, Mario Leimert
2020	C	`conf`	Optimized HW/FW Generation from an Abstract Register Interface Model. DSD Michael Werner, Igli Zeraliu, Zhao Han, Sebastian Siegfried Prebeck, Lorenzo Servadei, Wolfgang Ecker
2020	J	`jnl`	Verification of physical designs using an integrated reverse engineering flow for nanoscale technologies. Integr. Bernhard Lippmann, Niklas Unverricht, Aayush Singla, Matthias Ludwig, Michael Werner, Peter Egger, Anja Dübotzky, Helmut Gräb, Horst A. Gieser, Martin Rasche, Oliver Kellermann
2019	A	`conf`	Embedded Systems' Automation following OMG's Model Driven Architecture Vision. DATE Wolfgang Ecker, Keerthikumara Devarajegowda, Michael Werner, Zhao Han, Lorenzo Servadei
2019	—	`conf`	Exploring Design Science Research Project Characteristics - An Initial Empirical Investigation. HICSS Michael Werner
2019	C	`conf`	Formal Verification Methodology in an Industrial Setup. DSD Lorenzo Servadei, Zhao Han, Michael Werner, Wolfgang Ecker, Keerthikumara Devarajegowda
2019	J	`jnl`	Identifying the Absence of Effective Internal Controls: An Alternative Approach for Internal Control Audits. J. Inf. Syst. Michael Werner, Nick Gehrke
2019	A*	`conf`	Increasing Soft Error Resilience by Software Transformation. DAC Michael Werner, Keerthikumara Devarajegowda, Moomen Chaari, Wolfgang Ecker
2019	—	`conf`	Integrated flow for reverse engineering of nanoscale technologies. ASP-DAC Bernhard Lippmann, Michael Werner, Niklas Unverricht, Aayush Singla, Peter Egger, Anja Dübotzky, Horst A. Gieser, Martin Rasche, Oliver Kellermann, Helmut Graeb
2019	—	`conf`	Materiality Maps - Process Mining Data Visualization for Financial Audits. HICSS Michael Werner
2019	—	`conf`	Towards a Python-Based One Language Ecosystem for Embedded Systems Automation. NORCAS Zhao Han, Keerthikumara Devarajegowda, Michael Werner, Wolfgang Ecker
2018	Misc	`conf`	Improving tunneling simulation using Bayesian Updating and Hidden Markov Chains. WSC Michael Werner, Wenying Ji, Simaan M. AbouRizk
2018	—	`conf`	Reverse Engineering of Cryptographic Cores by Structural Interpretation Through Graph Analysis. IVSW Michael Werner, Bernhard Lippmann, Johanna Baehr, Helmut Gräb
2017	J	`jnl`	Financial process mining - Accounting data structure dependent control flow inference. Int. J. Account. Inf. Syst. Michael Werner
2016	Misc	`conf`	A combined discrete-continuous simulation model for analyzing train-pedestrian interactions. WSC Ronald Ekyalimpa, Michael Werner, Stephen Hague, Simaan M. AbouRizk, Nadia Porter
2016	—	`conf`	Process Model Representation Layers for Financial Audits. HICSS Michael Werner
2015	—	`conf`	Artifact-Centered Planning and Assessing of Large Design Science Research Projects - A Case Study. DESRIST Gerald Däuble, Michael Werner, Markus Nüttgens
2015	J	`jnl`	Multilevel Process Mining for Financial Audits. IEEE Trans. Serv. Comput. Michael Werner, Nick Gehrke
2015	Misc	`conf`	Simulation case study: modelling distinct breakdown events for a tunnel boring machine excavation. WSC Michael Werner, Simaan M. AbouRizk
2015	Misc	`conf`	Updating geological conditions using bayes theorem and markov chain. WSC Limao Zhang, Ronald Ekyalimpa, Stephen Hague, Michael Werner, Simaan M. AbouRizk
2015	J	`jnl`	Wake-up latencies for processor idle states on current x86 processors. Comput. Sci. Res. Dev. Robert Schöne, Daniel Molka, Michael Werner
2014	—	`conf`	Improving Structure: Logical Sequencing of Mined Process Models. HICSS Michael Werner, Markus Nüttgens
2014	—	`conf`	Who is Afraid of the Big Bad Wolf - Structuring Large Design Science Research Projects. ECIS Michael Werner, Martin Schultz, Niels Müller-Wickop, Markus Nüttgens
2013	A	`conf`	Colored Petri Nets for Integrating the Data Perspective in Process Audits. ER Michael Werner
2013	J	`jnl`	Geschäftsprozessorientierte Prüfung von IT-Systemen. HMD Prax. Wirtsch. Martin Schultz, Niels Müller-Wickop, Michael Werner, Markus Nüttgens
2013	J	`jnl`	Teaching graphics programming on mobile devices. J. Comput. Sci. Coll. Michael Werner
2013	—	`conf`	Towards Automated Analysis of Business Processes for Financial Audits. Wirtschaftsinformatik Michael Werner, Nick Gehrke, Markus Nüttgens
2012	—	`conf`	Business Process Mining and Reconstruction for Financial Audits. HICSS Michael Werner, Nick Gehrke, Markus Nüttgens
2012	J	`jnl`	Graphics programming on Android. J. Comput. Sci. Coll. Michael Werner
2012	C	`conf`	Tackling Complexity: Process Reconstruction and Graph Transformation for Financial Audits. ICIS Michael Werner, Martin Schultz, Niels Müller-Wickop, Nick Gehrke, Markus Nüttgens
2011	J	`jnl`	Introducing bioinformatics into the computer science curriculum: J. Comput. Sci. Coll. Mark D. LeBlanc, David G. Rilett, John Russo, Michael Werner, Hongsheng Wu
2010	Misc	`conf`	An SBR tool for very lowdelay applications with flexible crossover frequency. ICASSP Michael Werner, Gerald Schuller
2009	—	`conf`	A Student Recruitment Strategy for Colleges and Universities. FECS Leonidas Deligiannidis, Karina Assiter, John Russo, Michael Werner
2008	—	`conf`	Google Earth as a Decision Support System for Targeting College Admissions Drives. FECS Leonidas Deligiannidis, Michael Werner, John Russo
2008	—	`conf`	WCET determination tool for embedded systems software. SimuTools Carsten Albrecht, Roman Koch, Thilo Pionteck, Erik Maehle, Michael Werner, Rudolf Fuchsen
2006	J	`jnl`	Building community service projects effectively. J. Comput. Sci. Coll. Michael Werner, Lisa MacLean
2003	J	`jnl`	A parser project in a programming languages course. J. Comput. Sci. Coll. Michael Werner
1991	J	`jnl`	Implementierung von Algorithmen zut Kompaktifizierung von Programmen für VLIW-Architekturen Forschungsberichte, TU Munich Michael Werner
1973	J	`jnl`	Ein Lösungsansatz für ein spezielles zweistufiges stochastisches Optimierungsproblem. Z. Oper. Research Michael Werner
1972	J	`jnl`	CPM-Cost: Ein parametrischer Dekompositionsalgorithmus. Z. Oper. Research Michael Werner