Durica Nikolic

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Programming Assignments

Biological Systems

Reachability Analysis

Top Venues

Publications

Paolo Antonucci, H.-Christian Estler, Durica Nikolic, Marco Piccioni, Bertrand Meyer
An Incremental Hint System For Automated Programming Assignments. ITiCSE (2015)
Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto
ℓ: An Imperative DSL to Stochastically Simulate Biological Systems. Programming Languages with Applications to Biology and Security (2015)
Durica Nikolic, Fausto Spoto
Inferring complete initialization of arrays. Theor. Comput. Sci. 484 (2013)
Durica Nikolic, Fausto Spoto
Reachability analysis of program variables. ACM Trans. Program. Lang. Syst. 35 (4) (2013)
Durica Nikolic, Fausto Spoto
Reachability Analysis of Program Variables. IJCAR (2012)
Durica Nikolic, Fausto Spoto
Definite Expression Aliasing Analysis for Java Bytecode. ICTAC (2012)
Durica Nikolic, Corrado Priami, Roberto Zunino
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. SEFM (2012)
Durica Nikolic, Fausto Spoto
Automaton-Based Array Initialization Analysis. LATA (2012)
Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic
Strong Preservation by Model Deformation. TASE (2012)
Isabella Mastroeni, Durica Nikolic
Abstract Program Slicing: From Theory towards an Implementation. ICFEM (2010)