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

Teaching

  • Computer System Security and Management - D0004E
  • Real-time systems (labs) D0003E
  • Intelligent Systems and HCI D7023E

Previously at

Publikationer (14)

  1. 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

  2. Scheduling of CRO systems under SPR-DM

    Lindgren, P. , Eriksson, J. , Aittamaa, S. , Pietrzak, P.&Wiklander, J.2011

    Publikation : Forskning - peer-review Konferensbidrag

  3. 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

  4. 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

Mera...

Luleå tekniska universitet