Dipl.-Inform. Jacob Palczynski
|
|
Research Assistant |
Research Activities
- Validating automatically generated code
- BMBF-founded project ZAMOMO
- In the context of my diploma thesis Anforderungen an einen Modelchecker für Matlab/Simulink (Requirements for a model checker for Matlab/Simulink) I developed an evaluation suite for model checkers for Matlab/Simulink.
Publications
Publikations-Export
-
[PWKU11] PDF BIB -
Palczynski, J., Weise, C., Kowalewski, S., and Ulmer, D., "Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check", in Proc. Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW, TAIC PART) 2011, 2011, IEEE Computer Society, pp. 590-595.
Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check
Bibtex entry :
@inproceedings { PWKU11, author = { Jacob Palczynski and Carsten Weise and Stefan Kowalewski and Daniel Ulmer }, title = { Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check }, booktitle = { Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW, TAIC PART) 2011 }, pages = { 590 -- 595 }, publisher = { IEEE Computer Society }, isbn = { 978-1-4577-0019-4 }, year = { 2011 }, i11key = { conference }, publishedas = { Druck Online }, language = { eng }, timestamp = { 2011.02.02 }, for_reporting_period = { 2011 }, } -
[PWMK11] PDF BIB -
Palczynski, J., Weise, C., Moj, S., and Kowalewski, S., "Comparing Continuous Behaviour in Model-based Development of Embedded Software", in Proc. Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII (MBEES 2011), 2011, fortiss GmbH, pp. 61-70.
Comparing Continuous Behaviour in Model-based Development of Embedded Software
Bibtex entry :
@inproceedings { PWMK11, author = { Jacob Palczynski and Carsten Weise and Sebastian Moj and Stefan Kowalewski }, title = { Comparing Continuous Behaviour in Model-based Development of Embedded Software }, booktitle = { Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII (MBEES 2011) }, year = { 2011 }, pages = { 61 -- 70 }, publisher = { fortiss GmbH }, publishedas = { Online }, language = { eng }, owner = { palczynski }, timestamp = { 2011.01.28 }, i11key = { conference }, for_reporting_period = { 2011 }, } -
[PWK10] PDF BIB -
Palczynski, J., Weise, C., and Kowalewski, S., "Testing Continuous Systems Conformance Using Cross Correlation", in Proc. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers, Montréal, 2010, CRIM, pp. 31-36.
Testing Continuous Systems Conformance Using Cross Correlation
Bibtex entry :
@inproceedings { PWK10, author = { Jacob Palczynski and Carsten Weise and Stefan Kowalewski }, title = { Testing Continuous Systems Conformance Using Cross Correlation }, booktitle = { Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers }, year = { 2010 }, pages = { 31--36 }, address = { Montr{\'e}al }, publisher = { CRIM }, i11key = { conference }, isbn = { 978-2-89522-136-4 }, timestamp = { 2010.09.19 }, for_reporting_period = { 2010 }, } -
[PK09] PDF BIB -
Palczynski, J. and Kowalewski, S., "Early Behaviour Modelling for Control Systems", in Proc. UKSIM European Symposium on Computer Modeling and Simulation, Los Alamitos, CA, USA, 2009, IEEE Computer Society, pp. 148-153.
Early Behaviour Modelling for Control Systems
Bibtex entry :
@inproceedings { PK09, author = { Jacob Palczynski and Stefan Kowalewski }, title = { Early Behaviour Modelling for Control Systems }, booktitle = { UKSIM European Symposium on Computer Modeling and Simulation }, year = { 2009 }, volume = { 0 }, pages = { 148-153 }, address = { Los Alamitos, CA, USA }, publisher = { IEEE Computer Society }, doi = { http://doi.ieeecomputersociety.org/10.1109/EMS.2009.69 }, isbn = { 978-0-7695-3886-0 }, i11key = { conference }, for_reporting_period = { 2010 }, } -
[SZR+09] PDF BIB -
Schmitz, D., Zhang, M., Rose, T., Jarke, M., Polzer, A., Palczynski, J., Kowalewski, S., and Reke, M., "Mapping Requirements Models to Mathematical Models in Control Systems Development", in Proc. Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, 2009, vol. 5562 in Lecture Notes in Computer Science, Springer, pp. 253-264.
Mapping Requirements Models to Mathematical Models in Control Systems Development
Bibtex entry :
@inproceedings { SZR+09, author = { Schmitz, Dominik and Zhang, M. and Rose, Thomas and Jarke, Matthias and Polzer, Andreas and Palczynski, Jacob and Kowalewski, Stefan and Reke, Michael }, title = { Mapping Requirements Models to Mathematical Models in Control Systems Development }, booktitle = { Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009 }, year = { 2009 }, volume = { 5562 }, series = { Lecture Notes in Computer Science }, pages = { 253-264 }, address = { Enschede, The Netherlands }, publisher = { Springer }, doi = { http://dx.doi.org/10.1007/978-3-642-02674-4_18 }, optmonth = { June }, owner = { polzer }, timestamp = { 2009.12.15 }, i11key = { conference }, for_reporting_period = { 2010 }, } -
[SDH+08b] PDF BIB -
Schmitz, D., Drews, P., Heßeler, F., Jarke, M., Kowalewski, S., Palczynski, J., Polzer, A., Reke, M., and Rose, T., "Modellbasierte Anforderungserfassung für softwarebasierte Regelungen", in Proc. Software Engineering, 2008, vol. 121 in LNI, GI, pp. 257-271.
{M}odellbasierte {A}nforderungserfassung f{\"u}r softwarebasierte {R}egelungen
Bibtex entry :
@inproceedings { SDH+08b, author = { Schmitz, Dominik and Drews, Peter and He{\ss}eler, Frank and Jarke, Matthias and Kowalewski, Stefan and Palczynski, Jacob and Polzer, Andreas and Reke, Michael and Rose, Thomas }, title = { {M}odellbasierte {A}nforderungserfassung f{\"u}r softwarebasierte {R}egelungen }, booktitle = { Software Engineering }, year = { 2008 }, pages = { 257--271 }, crossref = { DBLP:conf/se/2008 }, publisher = { GI }, series = { LNI }, volume = { 121 }, isbn = { 978-3-88579-215-4 }, i11key = { conference }, for_reporting_period = { Old }, } -
[PSK06] PDF BIB -
Palczynski, J., Schlich, B., and Kowalewski, S., "Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern", in Proc. Informatik 2006: Informatik für Menschen (INFORMATIK 2006), Dresden, Germany, 2006, vol. 1 in Lecture Notes in Informatics, Gesellschaft für Informatik e.V., pp. 751-755.
{Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern}
Bibtex entry :
@inproceedings { PSK06, author = { Palczynski, Jacob and Schlich, Bastian and Kowalewski, Stefan }, booktitle = { Informatik 2006: Informatik f{\"u}r Menschen (INFORMATIK 2006), Dresden, Germany }, isbn = { 978-3-88579-187-4 }, issn = { 1617-5468 }, number = { P-93 }, pages = { 751--755 }, publisher = { Gesellschaft f{\"u}r Informatik e.V. }, series = { Lecture Notes in Informatics }, title = { {Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern} }, volume = { 1 }, year = { 2006 }, i11key = { conference }, for_reporting_period = { Old }, }
Teaching
|
Term |
Title |
Type |
|
Summer Semester 09 |
PT |
|
|
Winter Semester 08/09 |
Driving Assistance Systems and Model-Based Automotive Development |
ST |
|
Summer Semester 08 |
PT |
|
|
Winter Semester 07/08 |
VÜ |
|
|
Summer Semester 07 |
PST |
|
|
Winter Semester 06/07 |
VÜ |
|
|
Summer Semester 06 |
VÜ |
RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany