Michael Werner

Orcid: 0000-0002-3036-1478

According to our database1, Michael Werner authored at least 46 papers between 1972 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Deep Reinforcement Learning for Optimization at Early Design Stages.
IEEE Des. Test, February, 2023

Detecting Anomalous Events in Object-Centric Business Processes via Graph Neural Networks.
Proceedings of the Process Mining Workshops, 2023

2022
Determination of anisotropic elastic parameters from morphological parameters of cancellous bone for osteoporotic lumbar spine.
Medical Biol. Eng. Comput., 2022

A Planning Model for Incorporating Renewable Energy Sources into Semiconductor Supply Chains.
Proceedings of the Winter Simulation Conference, 2022

2021
Embedding process mining into financial statement audits.
Int. J. Account. Inf. Syst., 2021

Extending Verilator to Enable Fault Simulation.
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

On Self-Verifying DSL Generation for Embedded Systems Automation.
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

2020
Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation.
IEEE Trans. Computers, 2020

Experimental validation of adaptive pedicle screws - a novel implant concept using shape memory alloys.
Medical Biol. Eng. Comput., 2020

Verification of physical designs using an integrated reverse engineering flow for nanoscale technologies.
Integr., 2020

Automatic compiler optimization on embedded software through k-means clustering.
Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020

Cost Optimization at Early Stages of Design Using Deep Reinforcement Learning.
Proceedings of the MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, 2020

Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning.
Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

Optimized HW/FW Generation from an Abstract Register Interface Model.
Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019
Identifying the Absence of Effective Internal Controls: An Alternative Approach for Internal Control Audits.
J. Inf. Syst., 2019

Towards a Python-Based One Language Ecosystem for Embedded Systems Automation.
Proceedings of the 2019 IEEE Nordic Circuits and Systems Conference, 2019

Exploring Design Science Research Project Characteristics - An Initial Empirical Investigation.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Materiality Maps - Process Mining Data Visualization for Financial Audits.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Formal Verification Methodology in an Industrial Setup.
Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Embedded Systems' Automation following OMG's Model Driven Architecture Vision.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Increasing Soft Error Resilience by Software Transformation.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Integrated flow for reverse engineering of nanoscale technologies.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018
Improving tunneling simulation using Bayesian Updating and Hidden Markov Chains.
Proceedings of the 2018 Winter Simulation Conference, 2018

Reverse Engineering of Cryptographic Cores by Structural Interpretation Through Graph Analysis.
Proceedings of the 3rd IEEE International Verification and Security Workshop, 2018

2017
Financial process mining - Accounting data structure dependent control flow inference.
Int. J. Account. Inf. Syst., 2017

2016
A combined discrete-continuous simulation model for analyzing train-pedestrian interactions.
Proceedings of the Winter Simulation Conference, 2016

Process Model Representation Layers for Financial Audits.
Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

2015
Multilevel Process Mining for Financial Audits.
IEEE Trans. Serv. Comput., 2015

Wake-up latencies for processor idle states on current x86 processors.
Comput. Sci. Res. Dev., 2015

Updating geological conditions using bayes theorem and markov chain.
Proceedings of the 2015 Winter Simulation Conference, 2015

Simulation case study: modelling distinct breakdown events for a tunnel boring machine excavation.
Proceedings of the 2015 Winter Simulation Conference, 2015

Artifact-Centered Planning and Assessing of Large Design Science Research Projects - A Case Study.
Proceedings of the New Horizons in Design Science: Broadening the Research Agenda, 2015

2014
Improving Structure: Logical Sequencing of Mined Process Models.
Proceedings of the 47th Hawaii International Conference on System Sciences, 2014

Who is Afraid of the Big Bad Wolf - Structuring Large Design Science Research Projects.
Proceedings of the 22st European Conference on Information Systems, 2014

2013
Geschäftsprozessorientierte Prüfung von IT-Systemen.
HMD Prax. Wirtsch., 2013

Towards Automated Analysis of Business Processes for Financial Audits.
Proceedings of the 11. Internationale Tagung Wirtschaftsinformatik, 2013

Colored Petri Nets for Integrating the Data Perspective in Process Audits.
Proceedings of the Conceptual Modeling - 32th International Conference, 2013

2012
Tackling Complexity: Process Reconstruction and Graph Transformation for Financial Audits.
Proceedings of the International Conference on Information Systems, 2012

Business Process Mining and Reconstruction for Financial Audits.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

2010
An SBR tool for very lowdelay applications with flexible crossover frequency.
Proceedings of the IEEE International Conference on Acoustics, 2010

2009
A Student Recruitment Strategy for Colleges and Universities.
Proceedings of the 2009 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2009

2008
WCET determination tool for embedded systems software.
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

Google Earth as a Decision Support System for Targeting College Admissions Drives.
Proceedings of the 2008 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2008

1991
Implementierung von Algorithmen zut Kompaktifizierung von Programmen für VLIW-Architekturen
Forschungsberichte, TU Munich, 1991

1973
Ein Lösungsansatz für ein spezielles zweistufiges stochastisches Optimierungsproblem.
Z. Oper. Research, 1973

1972
CPM-Cost: Ein parametrischer Dekompositionsalgorithmus.
Z. Oper. Research, 1972


  Loading...