Pawel Pietrzak
| Namn: | Pawel Pietrzak |
| Titel: | Forskarassistent |
| Enhet: |
Institutionen för system- och rymdteknik |
| Avdelning: |
EISLAB |
| Email: | pawel.pietrzak@ltu.se |
| Telefon: | 0920-492946 |
| Rum | A2304 |
Research interest
- Formal analysis and verification of real-time, embedded systems
- Static analysis and verification of programs
- The Timber programming language
- Declarative (logic, functional, constraint) programming
- Embedded programming
PhD students
- Martin Kero (assistant supervision) - graduated 2010
Teaching
Previously at
- Jeppesen (R&D software engineer - crew scheduling and optimization)
- CLIP, Technical University of Madrid
- IDA, Linköping University
- ICS, Poznan University of Technology
Publikationer (14)
-
Roadmap for SOA event processing and service execution in real-time using Timber
Pietrzak, P. , Kyusakov, R. , Eliasson, J.&Lindgren, P.20112011 IEEE International Symposium on Industrial Electronics (ISIE 2011) . Piscataway, NJ : IEEEs. 1727-1732 .6 s.Publikation : Forskning - peer-review ›Artikel i konferenspublikation/proceedings
-
Scheduling of CRO systems under SPR-DM
Lindgren, P. , Eriksson, J. , Aittamaa, S. , Pietrzak, P.&Wiklander, J.2011Publikation : Forskning - peer-review ›Konferensbidrag
-
SRP-DM scheduling of component-based embedded real-time software
Eriksson, J. , Aittamaa, S. , Wiklander, J. , Pietrzak, P.&Lindgren, P.jun 2011Publikation : Forskning - peer-review ›Konferensbidrag
-
Live heap space bounds for real-time systems
Kero, M. , Pietrzak, P.&Nordlander, J.28 nov 2010Programming languages and systems . Berlin : Springers. 287-303.17 s. (Lecture Notes in Computer Science).Publikation : Forskning - peer-review ›Artikel i konferenspublikation/proceedings
-
A practical type analysis for verification of modular Prolog programs
Pietrzak, P. , Correas, J., Puebla, G. & Hermenegildo, M. 2008Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation . ACMs. 61-70.10 s.Publikation : Forskning - peer-review ›Artikel i konferenspublikation/proceedings
