Pawel Pietrzak

Organisation: Luleå tekniska universitet
Enhet:

Research interest

  • Formal analysis and verification of software systems
  • Static analysis and verification of programs
  • The Timber programming language
  • Declarative (logic, functional, constraint) programming
  • Applications of logic and constraint programming

PhD students

  • Martin Kero (assistant supervision) - graduated 2010
  • Simon Aittamaa

Teaching

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

Previously at

Publikationer

Konferensbidrag
Lindgren, P et al.

A SOA approach to delay and jitter tolerant distributed real-time complex event processing

2013
Ingår i 2013 IEEE International Symposium on Industrial Electronics (ISIE 2013)
Dokument
Konferensbidrag
Lindgren, P et al.

Real-time complex event processing using concurrent reactive objects

2013
Ingår i Proceedings of the IEEE International Conference on Industrial Technology
Konferensbidrag
Pietrzak, P et al.

Towards a lightweight CEP engine for embedded systems

2012
Ingår i IECON 2012
Konferensbidrag
Pietrzak, P et al.

Roadmap for SOA event processing and service execution in real-time using Timber

2011
Ingår i 2011 IEEE International Symposium on Industrial Electronics (ISIE 2011)
Hitta fler i publikationsportalen

Publicerad: 29 september 2008

Uppdaterad: 7 december 2010

 

Luleå tekniska universitet är i stark tillväxt med världsledande kompetens inom flera forskningsområden. Vår forskning bedrivs i nära samarbete med företag som Bosch, Ericsson, Scania, LKAB, SKF och ledande internationella universitet. Luleå tekniska universitet omsätter totalt 1,6 miljarder kronor per år. Vi är idag 1 700 anställda och 15 000 studenter.

 

Luleå tekniska universitet • 971 87 Luleå • Organisationsnummer: 202100-2841 • Telefon: 0920 49 10 00 • Fax: 0920 49 13 99 • Studenttorget: 0920-49 20 00
E-post allmänna ärendenFrågor om studier • Om webbplatsen  • © Luleå tekniska universitet 2017