Follow
Krzysztof Jakubczyk
Krzysztof Jakubczyk
PhD in Computer Science, University of Warsaw
Verified email at mimuw.edu.pl
Title
Cited by
Cited by
Year
Propagation of JML non-null annotations in Java programs
M Cielecki, J Fulara, K Jakubczyk, Ł Jancewicz
Proceedings of the 4th International Symposium on Principles and Practice of …, 2006
382006
Practically applicable formal methods
J Fulara, K Jakubczyk
SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on …, 2010
162010
Relational abstract domain of weighted hexagons
J Fulara, K Durnoga, K Jakubczyk, A Schubert
Electronic Notes in Theoretical Computer Science 267 (1), 59-72, 2010
152010
Sweeping in abstract interpretation
K Jakubczyk
Electronic Notes in Theoretical Computer Science 288, 25-36, 2012
32012
Source Code Analysis Techniques in Property Verification of Real Java Code
K Jakubczyk
2013
Techniki analizy kodu źródłowego w weryfikacji własności rzeczywistych programów w języku Java
K Jakubczyk
The system can't perform the operation now. Try again later.
Articles 1–6