Olga Fengler

According to our database, Olga Fengler authored at least 7 papers between 2002 and 2016.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2016

Adaptive Workflow System Concept for Scientific Project Collaboration.

Vasilii Ganishev, Olga Fengler, Wolfgang Fengler

Proceedings of the Innovations for Community Services - 16th International Conference, 2016

2015

Fault Detection by Backwards Analysis in Coloured Workflow Nets.

Vasilii Ganishev, Olga Fengler, Wolfgang Fengler

Proceedings of the SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21, 2015

2004

Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze.

Olga Fengler

PhD thesis, 2004

Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen.

Vesselka Duridanova, Thorsten Hummel, Olga Fengler, Wolfgang Fengler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2002

Modellierung kooperierender Prozesse mit gefärbten Sequenzdiagrammen.

Olga Fengler, Thorsten Hummel, Wolfgang Fengler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems.

Olga Fengler, Wolfgang Fengler, Vesselka Duridanova

Proceedings of the Innovative Internet Computing Systems, Second International Workshop, 2002

Modeling of Complex Automation Systems using Colored State Charts.

Olga Fengler, Wolfgang Fengler, Vesselka Duridanova

Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002