Oliver Niggemann

Orcid: 0000-0001-8747-3596

Affiliations:
  • Helmut Schmidt University, Hamburg, Germany
  • Hochschule Ostwestfalen-Lippe, Lemgo, Germany (former)


According to our database1, Oliver Niggemann authored at least 177 papers between 1999 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Solving industrial fault diagnosis problems with quantum computers.
Quantum Mach. Intell., December, 2024

AAAI Workshop on AI Planning for Cyber-Physical Systems - CAIPI24.
CoRR, 2024

Artificial Intelligence in Industry 4.0: A Review of Integration Challenges for Industrial Systems.
CoRR, 2024

Design Principles for Falsifiable, Replicable and Reproducible Empirical ML Research.
CoRR, 2024

On the Convergence of Locally Adaptive and Scalable Diffusion-Based Sampling Methods for Deep Bayesian Neural Network Posteriors.
CoRR, 2024

Enhancing Cyber-Physical System Analysis with Structure-Aware Modular Neural Networks.
Proceedings of the 7th IEEE International Conference on Industrial Cyber-Physical Systems, 2024

Plan-Based Derivation of General Functional Structures in Product Design.
Proceedings of the 7th IEEE International Conference on Industrial Cyber-Physical Systems, 2024

Enhancing Nonlinear Electrical Circuit Modeling with Prior Knowledge-Infused Neural ODEs.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

Discretization of CPS Time Series with Neural Networks.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

Extracting Knowledge using Machine Learning for Anomaly Detection and Root-Cause Diagnosis.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

Potentials of Large Language Models for Generating Assembly Instructions.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

Using Ontologies to Create Logical System Descriptions for Fault Diagnosis.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

Design Automation: A Conditional VAE Approach to 3D Object Generation Under Conditions.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

Using Modular Neural Networks for Anomaly Detection in Cyber-Physical Systems.
Proceedings of the 29th IEEE International Conference on Emerging Technologies and Factory Automation, 2024

Automated Impact Echo Spectrum Anomaly Detection using U-Net Autoencoder.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

A Lazy Approach to Neural Numerical Planning with Control Parameters.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

Design Principles for Falsifiable, Replicable and Reproducible Empirical Machine Learning Research.
Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024

Using Multi-Modal LLMs to Create Models for Fault Diagnosis (Short Paper).
Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024

Summary of "A Lazy Approach to Neural Numerical Planning with Control Parameters" (Extended Abstract).
Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024

Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory.
Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024

2023
AutoConf: New Algorithm for Reconfiguration of Cyber-Physical Production Systems.
IEEE Trans. Ind. Informatics, 2023

Position Paper on Materials Design - A Modern Approach.
CoRR, 2023

Diagnosis driven Anomaly Detection for CPS.
CoRR, 2023

A Generative Neural Network Approach for 3D Multi-Criteria Design Generation and Optimization of an Engine Mount for an Unmanned Air Vehicle.
CoRR, 2023

Discret2Di - Deep Learning based Discretization for Model-based Diagnosis.
CoRR, 2023

Using Autoencoders and AutoDiff to Reconstruct Missing Variables in a Set of Time Series.
CoRR, 2023

Graph Structural Residuals: A Learning Approach to Diagnosis.
CoRR, 2023

Robustness and Generalization Performance of Deep Learning Models on Cyber-Physical Systems: A Comparative Study.
CoRR, 2023

A Diagnosis Algorithms for a Rotary Indexing Machine.
CoRR, 2023

A Cross-Frequency Protective Emblem: Protective Options for Medical Units and Wounded Soldiers in the Context of (fully) Autonomous Warfare.
CoRR, 2023

High Accuracy Uncertainty-Aware Interatomic Force Modeling with Equivariant Bayesian Neural Networks.
CoRR, 2023

KIAAA: An AI Assistant for Teaching Programming in the Field of Automation.
Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

Game Design Tools for ML Data Generation in CPS.
Proceedings of the 9th International Conference on Automation, Robotics and Applications, 2023

Task-fidelity Assessment for Programming Tasks Using Semantic Code Analysis.
Proceedings of the IEEE Frontiers in Education Conference, 2023

Using FliPSi to Generate Data for Machine Learning Algorithms.
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Integrating Machine Learning into an SMT-Based Planning Approach for Production Planning in Cyber-Physical Production Systems.
Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

Learning Process Steps as Dynamical Systems for a Sub-Symbolic Approach of Process Planning in Cyber-Physical Production Systems.
Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

2022
On Residual-based Diagnosis of Physical Systems.
Eng. Appl. Artif. Intell., 2022

On a Uniform Causality Model for Industrial Automation.
CoRR, 2022

Problem examination for AI methods in product design.
CoRR, 2022

Anomaly detection based on time series data from industrial automatic sewing machines.
Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

Anomaly Detection with Autoencoders as a Tool for Detecting Sensor Malfunctions.
Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

A Research Agenda for AI Planning in the Field of Flexible Production Systems.
Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

Opportunities of AI for maritime forces in an in- and outward-looking view.
Proceedings of the International Conference on Military Communication and Information Systems, 2022

Learning Physically Meaningful Representations of Energy Systems with Variational Autoencoders.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

An AI benchmark for Diagnosis, Reconfiguration & Planning.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Machine Learning for Cyber-Physical Systems.
Proceedings of the Digital Transformation, 2022

2021
A Nonconvex Archetypal Analysis for One-Class Classification Based Anomaly Detection in Cyber-Physical Systems.
IEEE Trans. Ind. Informatics, 2021

Generating Artificial Sensor Data for the Comparison of Unsupervised Machine Learning Methods.
Sensors, 2021

A Research Agenda for Artificial Intelligence in the Field of Flexible Production Systems.
CoRR, 2021

Learning Physical Concepts in Cyber-Physical Systems: A Case Study.
CoRR, 2021

Reconfiguring Hybrid Systems Using SAT.
CoRR, 2021

Expressing uncertainty in neural networks for production systems.
Autom., 2021

An Ensemble of Benchmarks for the Evaluation of AI Methods for Fault Handling in CPPS.
Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

Neural Network Modeling of Nonlinear Filters for EMC Simulation in Discrete Time Domain.
Proceedings of the IECON 2021, 2021

A Generic DigitalTwin Model for Artificial Intelligence Applications.
Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

Gradient-based Reconfiguration of Cyber-Physical Production Systems.
Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

2020
Non-convex hull based anomaly detection in CPPS.
Eng. Appl. Artif. Intell., 2020

Discretization of hybrid CPPS data into timed automaton using restricted Boltzmann machines.
Eng. Appl. Artif. Intell., 2020

A Novel Anomaly Detection Algorithm for Hybrid Production Systems based on Deep Learning and Timed Automata.
CoRR, 2020

The DigitalTwin from an Artificial Intelligence Perspective.
CoRR, 2020

A Concept for the Automated Reconfiguration of Quadcopters.
Proceedings of the Conference "Lernen, 2020

Incorporating Uncertainty into Unsupervised Machine Learning for Cyber-Physical Systems.
Proceedings of the IEEE Conference on Industrial Cyberphysical Systems, 2020

Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories.
Proceedings of the IEEE Conference on Industrial Cyberphysical Systems, 2020

2019
Model-based routing in flexible manufacturing systems.
Autom., 2019

Quality Control of Continuous Wort Production through Production Data Analysis in Latent Space.
Proceedings of the IEEE International Conference on Industrial Technology, 2019

On the Identification of Decision Boundaries for Anomaly Detection in CPPS.
Proceedings of the IEEE International Conference on Industrial Technology, 2019

Dimensionality Reduction and Anomaly Detection for CPPS Data using Autoencoder.
Proceedings of the IEEE International Conference on Industrial Technology, 2019

Data-driven Identification of Causal Dependencies in Cyber-Physical Production Systems.
Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Why Symbolic AI is a Key Technology for Self-Adaption in the Context of CPPS.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Evaluation of Cognitive Architectures for Cyber-Physical Production Systems.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Model-Based Diagnosis for Cyber-Physical Production Systems Based on Machine Learning and Residual-Based Diagnosis Models.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Automatic Parameter Estimation for Reusable Software Components of Modular and Reconfigurable Cyber-Physical Production Systems in the Domain of Discrete Manufacturing.
IEEE Trans. Ind. Informatics, 2018

Computation of energy efficient driving speeds in conveying systems.
Autom., 2018

Online parameter estimation for cyber-physical production systems based on mixed integer nonlinear programming, process mining and black-box optimization techniques.
Autom., 2018

Machine Learning in Automation.
Autom., 2018

Assistance system to support troubleshooting of complex industrial systems.
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

LSTM for Model-based Anomaly Detection in Cyber-Physical Systems.
Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

Diagnosing Hybrid Cyber-Physical Systems using State-Space Models and Satisfiability Modulo Theory.
Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

Inference Methods for Detecting the Root Cause of Alarm Floods in Causal Models.
Proceedings of the 23rd International Conference on Methods & Models in Automation & Robotics, 2018

Challenges in Learning Causal Models of Alarms in Industrial Plants.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Generation of Adversarial Examples to Prevent Misclassification of Deep Neural Network based Condition Monitoring Systems for Cyber-Physical Production Systems.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

A Geometric Approach to Clustering Based Anomaly Detection for Industrial Applications.
Proceedings of the IECON 2018, 2018

Mapping Data Sets to Concepts using Machine Learning and a Knowledge based Approach.
Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

Information Retrieval in Industrial Production Environments.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Improved Domain Modeling for Realistic Automated Planning and Scheduling in Discrete Manufacturing.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

A Data Provenance based Architecture to Enhance the Reliability of Data Analysis for Industry 4.0.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Integrating OWL Ontologies for Smart Services into AutomationML and OPC UA.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
Datenanalyse in der intelligenten Fabrik.
Proceedings of the Handbuch Industrie 4.0 Bd.2, Automatisierung., 2017

A self-configurable fault detection system for Industrial Ethernet networks.
Autom., 2017

Interaktionsmodell für Industrie 4.0 Komponenten.
Autom., 2017

Differential Evolution in Production Process Optimization of Cyber Physical Systems.
Proceedings of the Machine Learning for Cyber Physical Systems, 2017

Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis.
Proceedings of the Machine Learning for Cyber Physical Systems, 2017

Learned Abstraction: Knowledge Based Concept Learning for Cyber Physical Systems.
Proceedings of the Machine Learning for Cyber Physical Systems, 2017

A new approach to model-based test case generation for industrial automation systems.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Towards Industrie 4.0 compliant configuration of condition monitoring services.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Defining and validating similarity measures for industrial alarm flood analysis.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Structure learning methods for Bayesian networks to reduce alarm floods by identifying the root cause.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

A novel self-configuration method for RFID systems in industrial production environments.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Learning parallel automata of PLCs.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Automated process planning for cyber-physical production systems.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Semantic interoperability for asset communication within smart factories.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Using self-organizing maps to learn hybrid timed automata in absence of discrete events.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Managing Complexity: Towards Intelligent Error-Handling Assistance Trough Interactive Alarm Flood Reduction.
Proceedings of the Machine Learning and Knowledge Extraction, 2017

2016
A GPU-based method for robust and efficient fault detection in industrial automation processes.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Optimizing modular and reconfigurable cyber-physical production systems by determining parameters automatically.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Improving clustering based anomaly detection with concave hull: An application in fault diagnosis of wind turbines.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Pattern-based control-code synthesis.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Integrating semantics for diagnosis of manufacturing systems.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
"Plug-and-Produce" für Fertigungssysteme - Anwendungsfälle und Lösungsansätze.
Inform. Spektrum, 2015

Data-driven anomaly detection in cyber-physical production systems.
Autom., 2015

Data-Driven Monitoring of Cyber-Physical Systems Leveraging on Big Data and the Internet-of-Things for Diagnosis and Control.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

On the Learning of Timing Behavior for Anomaly Detection in Cyber-Physical Production Systems.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

Data Driven Modeling for System-Level Condition Monitoring on Wind Power Plants.
Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

Evaluation of Model-Based Condition Monitoring Systems in Industrial Application Cases.
Proceedings of the Machine Learning for Cyber Physical Systems, 2015

Kognitive Architektur zum Konzeptlernen in technischen Systemen.
Proceedings of the Machine Learning for Cyber Physical Systems, 2015

Efficient fault detection for industrial automation processes with observable process variables.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Bayesian predictive assistance system: An embedded application for resource optimization in industrial cleaning processes.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Energy efficiency optimization by automatic coordination of motor speeds in conveying systems.
Proceedings of the IEEE International Conference on Industrial Technology, 2015

Automatic model separation and application for diagnosis in industrial automation systems.
Proceedings of the IEEE International Conference on Industrial Technology, 2015

MapReduce algorithms for efficient generation of CPS models from large historical data sets.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

A HMM-based fault detection method for piecewise stationary industrial processes.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Exploiting multicore processors in PLCs using libraries for IEC 61131-3.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Hybrid approach combining Bayesian network and rule-based systems for resource optimization in industrial cleaning processes.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

CP3L: A Cyber-Physical Production Planning Language.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Data Driven Condition Monitoring of Wind Power Plants Using Cluster Analysis.
Proceedings of the 2015 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2015

Automatic Parameterization of Automation Software for Plug-and-Produce.
Proceedings of the Algorithm Configuration, 2015

On the Diagnosis of Cyber-Physical Production Systems.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Plug and Work für verteilte Echtzeitsysteme mit Zeitsynchronisation.
Proceedings of the Industrie 4.0 und Echtzeit, 2014

A Bayesian predictive assistance system for resource optimization - A case study in industrial cleaning process.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

On the applicability of model based software development to cyber physical production systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Assisted design for automation systems - From formal requirements to final designs.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

System modeling based on machine learning for anomaly detection and predictive maintenance in industrial plants.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A descriptive engineering approach for cyber-physical systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A comparison of modeling approaches for planning in Cyber Physical Production Systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Emotional Trends in Social Media - A State Space Approach.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Plug-and-Produce: Semantic Module Profile.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

A stochastic method for the detection of anomalous energy consumption in hybrid industrial systems.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Evaluating Learning Algorithms for Stochastic Finite Automata - Comparative Empirical Analyses on Learning Models for Technical Systems.
Proceedings of the ICPRAM 2013, 2013

A software architecture for the analysis of energy- and process-data.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

The importance of model-learning for the analysis of the energy consumption of production plants.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Design of industrial automation systems - Formal requirements in the engineering process.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
Solving Modeling Problems with Machine Learning -- A Classification Scheme of Model Learning Approaches for Technical Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Detecting anomalous energy consumptions in distributed manufacturing systems.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Visual Anomaly Detection in Production Plants.
Proceedings of the ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Rome, Italy, 28, 2012

A generic synchronized data acquisition solution for distributed automation systems.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Learning Behavior Models for Hybrid Timed Systems.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Fighting the Modeling Bottleneck - Learning Models for Production Plants.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

Anomaly Detection in Production Plants using Timed Automata - Automated Learning of Models from Observations.
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout, The Netherlands, 28, 2011

AutomationML as a Basis for Offline - And Realtime-simulation - Planning, Simulation and Diagnosis of Automation Systems.
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Noordwijkerhout, The Netherlands, 28, 2011

Modeling and Testing of Automation Systems.
Proceedings of the Frontiers in Computer Education [International Conference on Frontiers in Computer Education, 2011

Using behavior models for anomaly detection in hybrid systems.
Proceedings of the XXIII International Symposium on Information, 2011

mINA-DL: A novel description language enabling dynamic reconfiguration in industrial automation.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Identifying behavior models for process plants.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Using automatic topology discovery to diagnose PROFINET networks.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010
Model-based Development of Automation Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

A Probabilistic MajorClust Variant for the Clustering of Near-Homogeneous Graphs.
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

2009
Planning of Time Triggered Communication Schedules.
Proceedings of the Software-intensive verteilte Echtzeitsysteme, 2009

Using Models for Dynamic System Diagnosis: A Case Study in Automotive Engineering.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

2008
Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum Serienprojekt.
Proceedings of the Software Engineering 2008, 2008

Durchgehende Systemverifikation im Automotiven Entwicklungsprozess.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Models for model's sake: why explicit system models are also an end to themselves.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen.
Proceedings of the Software Engineering 2007, 2007

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

Benefits of System Simulation for Automotive Applications.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Model-Based Integration.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006
Scenario-Based Verification of Automotive Software Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2006

2001
Visual data mining of graph based data.
PhD thesis, 2001

Generating protein interaction maps from incomplete data: application to fold assignment.
Proceedings of the Ninth International Conference on Intelligent Systems for Molecular Biology, 2001

Generation of Similarity Measures from Different Sources.
Proceedings of the Engineering of Intelligent Systems, 2001

Visualization of traffic structures.
Proceedings of the IEEE International Conference on Communications, 2001

2000
A Meta Heuristic for Graph Drawing.
Proceedings of the working conference on Advanced visual interfaces, 2000

1999
On the Nature of Structure and Its Identification.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1999


  Loading...