Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. - Jacob Palczynski; Bastian Schlich; Stefan Kowalewski (GI Jahrestagung (1), 2006)

Modellbasierte Anforderungserfassung für softwarebasierte Regelungen. - Dominik Schmitz; Peter Drews; Frank Hesseier; Matthias Jarke; Stefan Kowalewski; Jacob Palczynski; Andreas Polzer; Michael Reke; Thomas Rose 001 (Software Engineering, 2008)

Mapping Requirement Models to Mathematical Models in Control System Development. - Dominik Schmitz; Ming Zhang; Thomas Rose 001; Matthias Jarke; Andreas Polzer; Jacob Palczynski; Stefan Kowalewski; Michael Reke (ECMDA-FA, 2009)

Early Behaviour Modelling for Control Systems. - Jacob Palczynski; Stefan Kowalewski (EMS, 2009)

Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check. - Jacob Palczynski; Carsten Weise; Stefan Kowalewski; Daniel Ulmer (ICST Workshops, 2011)

Comparing Continous Behavior in Model-based Development of Embedded Software. - Jacob Palczynski; Carsten Weise; Sebastian Moj; Stefan Kowalewski (MBEES, 2011)

Time-continuous behaviour comparison based on abstract models. - Jacob Palczynski (2014)