Personal information

Activities

Collapse all

Employment (1)

Software Competence Center Hagenberg GmbH: Hagenberg, Oberösterreich, AT

1999 to present | Researcher (Data Analysis Systems (DAS))
Employment
Source: Self-asserted source
Felix Kossak

Education and qualifications (1)

Fachhochschule Oberösterreich Fakultät für Informatik Kommunikation Medien: Hagenberg, Oberösterreich, AT

1995 to 1999 | Diplomingenieur (FH)
Education
Source: Self-asserted source
Felix Kossak

Works (8)

ML-PipeDebugger: A Debugging Tool for Data Processing Pipelines

Lecture Notes in Computer Science
2019 | Book chapter
DOI: 10.1007/978-3-030-27618-8_20
Part of ISBN: 9783030276171
Part of ISBN: 9783030276188
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Felix Kossak
grade
Preferred source (of 2)‎

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

Modelling Foundations and Applications
2018 | Book chapter
DOI: 10.1007/978-3-319-92997-2_17
Part of ISBN: 9783319929965
Part of ISBN: 9783319929972
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Felix Kossak

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

Software: Practice and Experience
2018-12 | Journal article
DOI: 10.1002/spe.2634
Part of ISSN: 0038-0644
Source: Self-asserted source
Felix Kossak

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

Systems, Software and Services Process Improvement
2017 | Conference paper
DOI: https://doi.org/10.1007/978-3-319-64218-5_32
Source: Self-asserted source
Felix Kossak

Hagenberg Business Process Modelling Method
Source: Self-asserted source
Felix Kossak

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

Lecture Notes in Computer Science
2016 | Book chapter
DOI: 10.1007/978-3-319-33600-8_13
Part of ISBN: 9783319335995
Part of ISBN: 9783319336008
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Felix Kossak

A Rigorous Semantics for BPMN 2.0 Process Diagrams
Source: Self-asserted source
Felix Kossak

Horizontal Business Process Model Integration

Lecture Notes in Computer Science
2015 | Book chapter
DOI: 10.1007/978-3-662-46485-4_2
Part of ISBN: 9783662464847
Part of ISBN: 9783662464854
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Felix Kossak
How many people are using ORCID?