Felix Kossak

According to our database, Felix Kossak authored at least 21 papers between 1999 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

ML-PipeDebugger: A Debugging Tool for Data Processing Pipelines.

Felix Kossak, Michael Zwick

Proceedings of the Database and Expert Systems Applications, 2019

2018

Evaluating the suitability of state-based formal methods for industrial deployment.

Atif Mashkoor, Felix Kossak, Alexander Egyed

Softw. Pract. Exp., 2018

Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report.

Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models.

Verena Geist, Felix Kossak, Christine Natschläger, Christa Illibauer, Thomas Ziebermayr, Atif Mashkoor

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

2017

Graceful Integration of Process Capability Improvement, Formal Modeling and Web Technology for Traceability.

Miklós Biró, Felix Kossak, József Klespitz, Levente Kovács

Proceedings of the Systems, Software and Services Process Improvement, 2017

2016

A Practical Approach for Process Mining in Production Processes.

Christine Natschläger, Felix Kossak, Christian Lettner, Verena Geist, Andreas Denkmayr, Beate Käferböck

Proceedings of the Innovations in Enterprise Information Systems Management and Engineering, 2016

How to Select the Suitable Formal Method for an Industrial Application: A Survey.

Felix Kossak, Atif Mashkoor

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Hagenberg Business Process Modelling Method

Felix Kossak, Christa Illibauer, Verena Geist, Christine Natschläger, Thomas Ziebermayr, Bernhard Freudenthaler, Theodorich Kopetzky, Klaus-Dieter Schewe

Springer, ISBN: 978-3-319-30496-0, 2016

2015

Horizontal Business Process Model Integration.

Klaus-Dieter Schewe, Verena Geist, Christa Illibauer, Felix Kossak, Christine Natschläger-Carpella, Theodorich Kopetzky, Jan Kubovy, Bernhard Freudenthaler, Thomas Ziebermayr

Trans. Large Scale Data Knowl. Centered Syst., 2015

Deontic BPMN: a powerful extension of BPMN with a trusted model transformation.

Christine Natschläger, Felix Kossak, Klaus-Dieter Schewe

Softw. Syst. Model., 2015

An Enhanced Communication Concept for Business Processes.

Felix Kossak, Verena Geist

Proceedings of the Enterprise Modelling and Information Systems Architectures, 2015

2014

Improving the Understandability of Formal Specifications: An Experience Report.

Felix Kossak, Atif Mashkoor, Verena Geist, Christa Illibauer

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

Landing Gear System: An ASM-Based Solution for the ABZ Case Study.

Felix Kossak

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

A Rigorous Semantics for BPMN 2.0 Process Diagrams

Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe

Springer, ISBN: 978-3-319-09931-6, 2014

2012

Optional Activities in Process Flows.

Christine Natschläger, Verena Geist, Felix Kossak, Bernhard Freudenthaler

Proceedings of the EMISA 2012, 2012

A Formal Description of the ITIL Change Management Process Using Abstract State Machines.

Jan Kubovy, Verena Geist, Felix Kossak

Proceedings of the 23rd International Workshop on Database and Expert Systems Applications, 2012

Event-Based Gateways: Open Questions and Inconsistencies.

Felix Kossak, Christa Illibauer, Verena Geist

Proceedings of the Business Process Model and Notation - 4th International Workshop, 2012

2009

Key Questions in Building Defect Prediction Models in Practice.

Rudolf Ramler, Klaus Wolfmaier, Erwin Stauder, Felix Kossak, Thomas Natschläger

Proceedings of the Product-Focused Software Process Improvement, 2009

2004

Extracting knowledge and computable models from data - needs, expectations, and experience.

Thomas Natschläger, Felix Kossak, Mario Drobics

Proceedings of the IEEE International Conference on Fuzzy Systems, 2004

2001

Applicability of HCI research to e government applications.

Felix Kossak, Wolfgang Eßmayr, Werner Winiwarter

Proceedings of the 9th European Conference on Information Systems, 2001

1999

User--system interaction within Theorema.

Koji Nakagawa, Felix Kossak

Proceedings of the Systems for Integrated Computation and Deduction, 1999