Dr. rer. nat. Jacob Palczynski


| | Research Assistant
jacob[dot]palczynski[at]embedded[dot]rwth-aachen[dot]de

Phone: +49 241 80 21161
Fax: +49 241 80 22150

Address: Ahornstr. 55, 52074 Aachen Office: room 2319 (building H)

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
[Pal14]
Palczynski, J., "Time continuous behaviour comparison based on abstract models", PhD Thesis, Aachen, 2014.

Time continuous behaviour comparison based on abstract models

Bibtex entry :

@phdthesis {  Pal14,
	author = { Palczynski, Jacob },
	othercontributors = { Kowalewski, Stefan },
	title = { Time continuous behaviour comparison based on abstract
		models },
	publisher = { Fachgruppe Informatik, RWTH Aachen University },
	pages = { II-XI, 126 S. },
	series = { Aachener Informatik-Berichte },
	year = { 2014 },
	address = { Aachen },
	typ = { PUB:(DE-HGF)11 },
	reportid = { RWTH-CONV-144280 },
	cin = { 120000 / 122810 },
	url = { http://publications.rwth-aachen.de/record/229310/files/4941.pdf },
}
[PWK+11]
Palczynski, J., Weise, C., Kowalewski, S., and Ulmer, D., "Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check", in Proc. 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation workshops (ICSTW 2011) : Berlin, Germany, 21 - 25 March 2011 ; [proceedings] / [sponsored by IEEE Computer Society], Piscataway, NJ, 2011, IEEE, pp. 590-595.

Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check

Bibtex entry :

@inproceedings {  PWK+11,
	author = { Palczynski, Jacob and Weise, Carsten and Kowalewski, Stefan
		and Ulmer, Daniel },
	title = { Estimation of Clock Drift in HiL Testing by Property-Based
		Conformance Check },
	booktitle = { 2011 IEEE Fourth International Conference on Software
		Testing, Verification and Validation workshops (ICSTW 2011)
		: Berlin, Germany, 21 - 25 March 2011 ; [proceedings] /
		[sponsored by IEEE Computer Society] },
	publisher = { IEEE },
	pages = { 590-595 },
	year = { 2011 },
	address = { Piscataway, NJ },
	doi = { 10.1109/ICSTW.2011.101 },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-196810 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/126479 },
}
[PWM+11]
Palczynski, J., Weise, C., Moj, S., and Kowalewski, S., "Comparing Continuous Behaviour in Model-based Development of Embedded Software", in Proc. Tagungsband / Dagstuhl-Workshop MBEES (MBEES 2011): Modellbasierte Entwicklung eingebetteter Systeme VII : model-based development of embedded systems ; 16.02.2011 - 18.02.2011 / Holger Giese ..., München, 2011, fortiss, pp. 61-70.

Comparing Continuous Behaviour in Model-based Development of Embedded Software

Bibtex entry :

@inproceedings {  PWM+11,
	author = { Palczynski, Jacob and Weise, Carsten and Moj, Sebastian and
		Kowalewski, Stefan },
	title = { Comparing Continuous Behaviour in Model-based Development of
		Embedded Software },
	booktitle = { Tagungsband / Dagstuhl-Workshop MBEES (MBEES 2011):
		Modellbasierte Entwicklung eingebetteter Systeme VII :
		model-based development of embedded systems ; 16.02.2011 -
		18.02.2011 / Holger Giese ... },
	publisher = { fortiss },
	pages = { 61-70 },
	year = { 2011 },
	address = { M{\"u}nchen },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-196792 },
	cin = { 122810 / 120000 },
	url = { http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES2011_Gesamt_final_web.pdf },
}
[PWK10]
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 ; October, 2010 / Eds.: Alexandre Petrenko ..., Montreal, 2010 in CRIM : Documentation/Communications, CRIM, pp. 31-36.

Testing Continuous Systems Conformance Using Cross Correlation

Bibtex entry :

@inproceedings {  PWK10,
	author = { Palczynski, Jacob and Weise, Carsten and Kowalewski, Stefan },
	title = { Testing Continuous Systems Conformance Using Cross
		Correlation },
	booktitle = { Proceedings of the 22nd IFIP International Conference on
		Testing Software and Systems: Short Papers ; October, 2010 /
		Eds.: Alexandre Petrenko ... },
	publisher = { CRIM },
	pages = { 31-36 },
	series = { CRIM : Documentation/Communications },
	year = { 2010 },
	address = { Montreal },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-196796 },
	cin = { 122810 / 120000 },
	url = { http://www.crim.ca/Publications/2010/documents/plein_texte/ASD_PetA_al_201010_ICTSS_sp.pdf },
}
[PK09]
Palczynski, J. and Kowalewski, S., "Early Behaviour Modelling for Control Systems", in Proc. 2009 Third UKSim European Symposium on Computer Modeling and Simulation : EMS 2009 ; Athens, Greece, 25 - 27 November 2009 / [technical sponsors: IEEE United Kingdom and Republic of Island [i.e. Ireland] Section ...]. Ed.: David Al-Dabass ..., Piscataway, NJ, 2009, IEEE, pp. 148-153.

Early Behaviour Modelling for Control Systems

Bibtex entry :

@inproceedings {  PK09,
	author = { Palczynski, Jacob and Kowalewski, Stefan },
	title = { Early Behaviour Modelling for Control Systems },
	booktitle = { 2009 Third UKSim European Symposium on Computer Modeling and
		Simulation : EMS 2009 ; Athens, Greece, 25 - 27 November
		2009 / [technical sponsors: IEEE United Kingdom and Republic
		of Island [i.e. Ireland] Section ...]. Ed.: David Al-Dabass
		... },
	publisher = { IEEE },
	pages = { 148-153 },
	year = { 2009 },
	address = { Piscataway, NJ },
	doi = { 10.1109/EMS.2009.69 },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-171883 },
	cin = { 122810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/98844 },
}
[SZR+09]
Schmitz, D., Zhang, M., Rose, T., Jarke, M., Polzer, A., Palczynski, J., Kowalewski, S., and Reke, M., "Mapping Requirement Models to Mathematical Models in Control System Development", in Proc. Model driven architecture - foundations and applications : 5th European conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23 - 26, 2009 ; proceedings / Richard F. Paige; Alan Hartman; Arend Rensink (eds.), Berlin [u.a.], 2009 in Lecture notes in computer science, Springer.

Mapping Requirement Models to Mathematical Models in Control System Development

Bibtex entry :

@inproceedings {  SZR+09,
	author = { Schmitz, Dominik and Zhang, Ming and Rose, Thomas and Jarke,
		Matthias and Polzer, Andreas and Palczynski, Jacob and
		Kowalewski, Stefan and Reke, Michael },
	title = { Mapping Requirement Models to Mathematical Models in Control
		System Development },
	booktitle = { Model driven architecture - foundations and applications :
		5th European conference, ECMDA-FA 2009, Enschede, The
		Netherlands, June 23 - 26, 2009 ; proceedings / Richard F.
		Paige; Alan Hartman; Arend Rensink (eds.) },
	publisher = { Springer },
	series = { Lecture notes in computer science },
	year = { 2009 },
	address = { Berlin [u.a.] },
	doi = { 10.1007/978-3-642-02674-4_18 },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-172397 },
	cin = { 122810 / 121810 / 120000 },
	url = { http://publications.rwth-aachen.de/record/99431 },
}
[SDH+08]
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 : Fachtagung des GI-Fachbereichs Softwaretechnik, 18. - 22.02.2008 in München / Gesellschaft für Informatik (GI). Korbinian Herrmann; Bernd Bruegge (Hrsg.), Bonn, 2008 in GI-Edition : Proceedings, Ges. für Informatik, pp. 257-271.

Modellbasierte Anforderungserfassung für softwarebasierte Regelungen

Bibtex entry :

@inproceedings {  SDH+08,
	author = { Schmitz, Dominik and Drews, Peter and He{\ss}eler,
		Frank-Josef and Jarke, Matthias and Kowalewski, Stefan and
		Palczynski, Jacob and Polzer, Andreas and Reke, Michael and
		Rose, Thomas },
	title = { Modellbasierte Anforderungserfassung f{\"u}r
		softwarebasierte Regelungen },
	booktitle = { Software Engineering 2008 : Fachtagung des GI-Fachbereichs
		Softwaretechnik, 18. - 22.02.2008 in M{\"u}nchen /
		Gesellschaft f{\"u}r Informatik (GI). Korbinian Herrmann;
		Bernd Bruegge (Hrsg.) },
	publisher = { Ges. f{\"u}r Informatik },
	pages = { 257-271 },
	series = { GI-Edition : Proceedings },
	year = { 2008 },
	address = { Bonn },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-170551 },
	cin = { 120000 / 122810 / 121810 / 416610 },
	url = { http://publications.rwth-aachen.de/record/97321 },
}
[PSK06]
Palczynski, J., Schlich, B., and Kowalewski, S., "Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern", in Proc. Informatik 2006 : Informatik für Menschen ; Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI) ; 2. bis 6. Oktober 2006 in Dresden / Christian Hochberger ... (Hrsg.). - T. 1. - 1, Bonn, 2006 in GI-Edition : Proceedings, Ges. für Informatik, 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 },
	title = { Eine Evaluationssuite zur schnellen Bewertung von
		Matlab/Simulink-Modelcheckern },
	booktitle = { Informatik 2006 : Informatik f{\"u}r Menschen ; Beitr{\"a}ge
		der 36. Jahrestagung der Gesellschaft f{\"u}r Informatik
		e.V. (GI) ; 2. bis 6. Oktober 2006 in Dresden / Christian
		Hochberger ... (Hrsg.). - T. 1. - 1 },
	publisher = { Ges. f{\"u}r Informatik },
	pages = { 751-755 },
	series = { GI-Edition : Proceedings },
	year = { 2006 },
	address = { Bonn },
	typ = { PUB:(DE-HGF)8 },
	reportid = { RWTH-CONV-183701 },
	cin = { 120000 / 122810 },
	url = { http://publications.rwth-aachen.de/record/111754 },
}

Teaching

| Term | Title | Type
| Summer Semester 09 | Modelling Technical and Physical Systems | PT
| Winter Semester 08/09 | Driving Assistance Systems and Model-Based Automotive Development | ST
| Summer Semester 08 | Modelling Technical and Physical Systems | PT
| Winter Semester 07/08 | Dynamic Systems for Computer Scientists | VÜ
| Summer Semester 07 | Automotive Software Engineering | PST
| Winter Semester 06/07 | Dynamic Systems for Computer Scientists | VÜ
| Summer Semester 06 | Formale Methods for Embedded Systems | VÜ


RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany