Durica Nikolic

Abstract Program Slicing: From Theory towards an Implementation

Isabella Mastroeni, Durica Nikolic, Isabella Mastroeni, 2010, ICFEM.

Definite Expression Aliasing Analysis for Java Bytecode

Fausto Spoto, Durica Nikolic, F. Spoto, 2012, ICTAC.

ℓ: An Imperative DSL to Stochastically Simulate Biological Systems

Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto, 2015, Programming Languages with Applications to Biology and Security.

A General Framework for Constraint-Based Static Analyses of Java Bytecode Programs

Durica Nikolic, Durica Nikolic, 2013 .

Strong Preservation by Model Deformation

Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic, 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

An Incremental Hint System For Automated Programming Assignments

Bertrand Meyer, Marco Piccioni, H.-Christian Estler, 2015, ITiCSE.