Pawel Pietrzak
Pawel Pietrzak
Jeppesen Crew and Fleet
Verified email at jeppesen.com
Title
Cited by
Cited by
Year
Context-sensitive multivariant assertion checking in modular programs
P Pietrzak, J Correas, G Puebla, MV Hermenegildo
International Conference on Logic for Programming Artificial Intelligence …, 2006
142006
A practical type analysis for verification of modular prolog programs
PS Pietrzak, JC Fernández, G Puebla, MV Hermenegildo
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008
132008
Type analysis for CHIP
W Drabent, P Pietrzak
International Conference on Algebraic Methodology and Software Technology …, 1999
131999
Live heap space bounds for real-time systems
M Kero, P Pietrzak, J Nordlander
Asian Symposium on Programming Languages and Systems, 287-303, 2010
122010
Diagnosis of CHIP Programs Using Type Information.
M Comini, W Drabent, P Pietrzak
Appia-Gulp-Prode 99, 337-349, 1999
121999
Towards a lightweight CEP engine for embedded systems
P Pietrzak, P Lindgren, H Mäkitaavola
IECON 2012-38th Annual Conference on IEEE Industrial Electronics Society …, 2012
102012
Using parametric set constraints for locating errors in CLP programs
W Drabent, J Maluszynski, P Pietrzak
arXiv preprint cs/0202010, 2002
92002
Real-time complex event processing using concurrent reactive objects
P Lindgren, P Pietrzak, H Mäkitaavola
2013 IEEE international conference on industrial technology (ICIT), 1994-1999, 2013
72013
Inferring call and success types for CLP programs
W Drabent, P Pietrzak
71998
Roadmap for SOA event processing and service execution in real-time using Timber
P Pietrzak, R Kyusakov, J Eliasson, P Lindgren
2011 IEEE International Symposium on Industrial Electronics, 1727-1732, 2011
62011
A Type-based Diagnoser for CHIP
M Comini, W Drabent, J Małuszyński, P Pietrzak
ESPRIT DiSCiPl deliverable, 1998
51998
Srp-dm scheduling of component-based embedded real-time software
J Eriksson, S Aittamaa, J Wiklander, P Pietrzak, P Lindgren
International Workshop on Dependable and Secure Industrial and Embedded …, 2011
42011
Scheduling of CRO systems under SPR-DM
P Lindgren, J Eriksson, S Aittamaa, P Pietrzak, J Wiklander
Real-Time in Sweden: 13/06/2011-14/06/2011, 2011
32011
Locating type errors in untyped CLP programs
W Drabent, J Małuszyński, P Pietrzak
Analysis and Visualization Tools for Constraint Programming, 121-150, 2000
32000
Static incorrectness diagnosis of CLP (FD)
P Pietrzak
Linköping University Electronic Press, 1998
31998
A SOA approach to delay and jitter tolerant distributed real-time Complex Event Processing
P Lindgren, R Kyusakov, J Eliasson, H Mäkitaavola, P Pietrzak
2013 IEEE International Symposium on Industrial Electronics, 1-7, 2013
22013
Automatic binding-related error diagnosis in logic programs
P Pietrzak, MV Hermenegildo
International Conference on Logic Programming, 333-347, 2007
22007
Type-based diagnosis of CLP programs
W Drabent, J Maluszyński, P Pietrzak
Electronic Notes in Theoretical Computer Science 30 (4), 215-234, 2000
22000
A type-based framework for locating errors in constraint logic programs
P Pietrzak
Linköping University Electronic Press, 2002
12002
Type Inference for CLP (FD).
P Pietrzak
ILPS, 407, 1997
11997
The system can't perform the operation now. Try again later.
Articles 1–20