Felix Kossak

21 papers B 5C 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2019 — conf
ML-PipeDebugger: A Debugging Tool for Data Processing Pipelines.
DEXA (2)
Felix Kossak, Michael Zwick
2018 J jnl
Evaluating the suitability of state-based formal methods for industrial deployment.
Softw. Pract. Exp.
Atif Mashkoor, Felix Kossak, Alexander Egyed
2018 — conf
Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models.
Models: Concepts, Theory, Logic, Reasoning and Semantics
Verena Geist, Felix Kossak, Christine Natschläger, Christa Illibauer, Thomas Ziebermayr, Atif Mashkoor
2018 B conf
Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report.
ECMFA
Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed
2017 B conf
Graceful Integration of Process Capability Improvement, Formal Modeling and Web Technology for Traceability.
EuroSPI
Miklós Biró, Felix Kossak, József Klespitz, Levente Kovács
2016 — conf
A Practical Approach for Process Mining in Production Processes.
ERP Future
Christine Natschläger, Felix Kossak, Christian Lettner, Verena Geist, Andreas Denkmayr, Beate Käferböck
2016 — book
Hagenberg Business Process Modelling Method
Felix Kossak, Christa Illibauer, Verena Geist, Christine Natschläger, Thomas Ziebermayr, Bernhard Freudenthaler, Theodorich Kopetzky, Klaus-Dieter Schewe
2016 C conf
How to Select the Suitable Formal Method for an Industrial Application: A Survey.
ABZ
Felix Kossak, Atif Mashkoor
2015 — conf
An Enhanced Communication Concept for Business Processes.
EMISA
Felix Kossak, Verena Geist
2015 J jnl
Deontic BPMN: a powerful extension of BPMN with a trusted model transformation.
Softw. Syst. Model.
Christine Natschläger, Felix Kossak, Klaus-Dieter Schewe
2015 J jnl
Horizontal Business Process Model Integration.
Trans. Large Scale Data Knowl. Centered Syst.
Klaus-Dieter Schewe, Verena Geist, Christa Illibauer, Felix Kossak, Christine Natschläger-Carpella, Theodorich Kopetzky, Jan Kubovy, Bernhard Freudenthaler, Thomas Ziebermayr
2014 — book
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
2014 B conf
Improving the Understandability of Formal Specifications: An Experience Report.
REFSQ
Felix Kossak, Atif Mashkoor, Verena Geist, Christa Illibauer
2014 — conf
Landing Gear System: An ASM-Based Solution for the ABZ Case Study.
ABZ (Case Study)
Felix Kossak
2012 — conf
A Formal Description of the ITIL Change Management Process Using Abstract State Machines.
DEXA Workshops
Jan Kubovy, Verena Geist, Felix Kossak
2012 — conf
Event-Based Gateways: Open Questions and Inconsistencies.
BPMN
Felix Kossak, Christa Illibauer, Verena Geist
2012 — conf
Optional Activities in Process Flows.
EMISA
Christine Natschläger, Verena Geist, Felix Kossak, Bernhard Freudenthaler
2009 B conf
Key Questions in Building Defect Prediction Models in Practice.
PROFES
Rudolf Ramler, Klaus Wolfmaier, Erwin Stauder, Felix Kossak, Thomas Natschläger
2004 B conf
Extracting knowledge and computable models from data - needs, expectations, and experience.
FUZZ-IEEE
Thomas Natschläger, Felix Kossak, Mario Drobics
2001 — conf
Applicability of HCI research to e government applications.
ECIS
Felix Kossak, Wolfgang Eßmayr, Werner Winiwarter
1999 — conf
User--system interaction within Theorema.
Calculemus
Koji Nakagawa, Felix Kossak