Follow
Jędrzej Fulara
Jędrzej Fulara
PhD in computer science, University of Warsaw, founder of www.sparkbit.pl
Verified email at mimuw.edu.pl - Homepage
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
Generic abstraction of dictionaries and arrays
J Fulara
Electronic Notes in Theoretical Computer Science 287, 53-64, 2012
62012
Abstract Analysis of Numerical and Container Variables
J Fulara
32013
Analiza abstrakcyjna zmiennych numerycznych oraz struktur danych
J Fulara
The system can't perform the operation now. Try again later.
Articles 1–6