| 2015 | SAFECOMP | A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface. | Kristian Beckers, Isabelle Ct, Thomas Frese, Denis Hatebur, Maritta Heisel |
| 2014 | SAC | A catalog of security requirements patterns for the domain of cloud computing systems. | Kristian Beckers, Isabelle Ct, Ludger Goeke |
| 2014 | SAFECOMP | Systematic Derivation of Functional Safety Requirements for Automotive Systems. | Kristian Beckers, Isabelle Ct, Thomas Frese, Denis Hatebur, Maritta Heisel |
| 2013 | SAC | Common criteria compliant software development (CC-CASD). | Kristian Beckers, Stephan Fabender, Denis Hatebur, Maritta Heisel, Isabelle Ct |
| 2012 | SAC | Designing architectures from problem descriptions by interactive model transformation. | Azadeh Alebrahim, Isabelle Ct, Maritta Heisel, Christine Choppy, Denis Hatebur |
| 2011 | RE | UML4PF - A tool for problem-oriented requirements analysis. | Isabelle Ct, Maritta Heisel, Holger Schmidt, Denis Hatebur |
| 2007 | ECSA | Pattern-Based Evolution of Software Architectures. | Isabelle Ct, Maritta Heisel, Ina Wentzlaff |
| 2007 | EuroPLop | A Systematic Account of Problem Frames. | Isabelle Ct, Denis Hatebur, Maritta Heisel, Holger Schmidt, Ina Wentzlaff |