Concepedia

Felix Kossak

FK

Statistics

Publications

2

Citations

44

H-Index

2

Active since

2013

Affiliations

Software Competence Center Hagenberg (Austria)(Current)

Johannes Kepler University of Linz

Felix Kossak is an author at Software Competence Center Hagenberg (Austria) specializing in formal verification, software engineering, and engineering.

ORCID

Top concepts

Publications per year

2013–2018

2

Publications

2

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

Atif Mashkoor, Felix Kossak, Alexander Egyed · Software Practice and Experience · 2018 · 27 citations · Full text

, , +21

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

Christine Natschläger, Felix Kossak, Klaus‐Dieter Schewe · Software & Systems Modeling · 2013 · 17 citations

, , +14

1–2 of 2