Abstract Analysis of Numerical and Container Variables (pdf)
Supervisor
Prof. Andrzej Tarlecki
Publications
2012
Jędrzej Fulara, Generic Abstraction of Dictionaries and Arrays Proceedings of NSAD 2012, ENTCS, to appear
2010
Jędrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk and Aleksy Schubert, Relational Abstract Domain of Weighted Hexagons Proceedings of NSAD 2010, ENTCS, vol 267, Issue 1, pp 59-72, October 2010
Jędrzej Fulara and Krzysztof Jakubczyk, Practically Applicable Formal Methods Proceedings of SOFSEM 2010, Springer LNCS vol 5901, pp. 407-418, 2010
2008
Jędrzej Fulara, Krzysztof Jakubczyk and Aleksy Schubert, Supplementing Java Bytecode with Specifications Software Engineering Techniques in Progress, pp. 215-228, 2008 (pdf)
2006
Maciej Cielecki, Jędrzej Fulara, Krzysztof Jakubczyk and Łukasz Jancewicz, Propagation of JML non-null annotations in Java programs Proceedings of PPPJ'2006. ACM, 2006, pp. 135-140 (pdf)