Dies ist eine alte Version des Dokuments!
| | |
Wissenschaftlicher Mitarbeiter palczynski[at]embedded[dot]rwth-aachen[dot]de Tel. +49 241 80 21161 Fax +49 241 80 22150 Adresse: Ahornstr. 55, 52074 Aachen Büro: Raum 2319 (Gebäude H) |
@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 }, }
@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 }, organization = { IEEE Fourth International Conference on Software Testing, Verification and Validation workshops, Berlin (Germany), 2011-03-21 - 2011-03-25 }, 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 }, }
@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 }, organization = { Tagungsband / Dagstuhl-Workshop MBEES (MBEES 2011): Modellbasierte Entwicklung eingebetteter Systeme VII : model-based development of embedded systems, 2011-02-16 - 2011-02-18 }, 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 }, }
@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 }, organization = { 22. IFIP International Conference on Testing Software and Systems, 2010-10 - 2010-10 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-CONV-196796 }, cin = { 122810 / 120000 }, url = { http://www.crim.ca/Publications/2010/documents/plein_texte/ASD_PetA_al_201010_ICTSS_sp.pdf }, }
@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 }, organization = { 3. UKSim European Symposium on Computer Modeling and Simulation, Athen (Greece), 2009-11-25 - 2009-11-27 }, 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 }, }
@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.] }, organization = { Model driven architecture - foundations and applications : 5. European conference, Enschede (Netherlands), 2009-06-23 - 2009-06-26 }, doi = { 10.1007/978-3-642-02674-4_18 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-CONV-172397 }, cin = { 122810 / 121810 / 120000 }, url = { http://publications.rwth-aachen.de/record/99431 }, }
@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 }, organization = { Software Engineering 2008 : Fachtagung des GI-Fachbereichs Softwaretechnik, M{\"u}nchen (Germany), 2008-02-18 - 2008-02-22 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-170551 }, cin = { 120000 / 122810 / 121810 / 416610 }, url = { http://publications.rwth-aachen.de/record/97321 }, }
@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 }, organization = { 36. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V., Dresden (Germany), 2006-10-02 - 2006-10-06 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-183701 }, cin = { 120000 / 122810 }, url = { http://publications.rwth-aachen.de/record/111754 }, }
Aktuell gibt es (noch) keine formulierten Themen.
| Semester | | Titel | | Art |
| Sommersemester 09 | | Modellierung technischer und physikalischer Systeme | | PT |
| Wintersemester 08/09 | | Fahrerassistenzsysteme und Modellbasierte Softwareentwicklung im Automobilberiech | | ST |
| Sommersemester 08 | | Modellierung technischer und physikalischer Systeme | | PT |
| Wintersemester 07/08 | | Dynamische Systeme für Informatiker | | VÜ |
| Sommersemester 07 | | Automotive Software Engineering | | PST |
| Wintersemester 06/07 | | Dynamische Systeme für Informatiker | | VÜ |
| Sommersemester 06 | | Formale Methoden für eingebettete Systeme | | VÜ |
Nach Vereinbarung.