Durica Nikolic

According to our database, Durica Nikolic authored at least 9 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

An Incremental Hint System For Automated Programming Assignments.

Paolo Antonucci, H.-Christian Estler, Durica Nikolic, Marco Piccioni, Bertrand Meyer

Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015

ℓ: An Imperative DSL to Stochastically Simulate Biological Systems.

Roberto Zunino, Durica Nikolic, Corrado Priami, Ozan Kahramanogullari, Tommaso Schiavinotto

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2013

Reachability analysis of program variables.

Durica Nikolic, Fausto Spoto

ACM Trans. Program. Lang. Syst., 2013

Inferring complete initialization of arrays.

Durica Nikolic, Fausto Spoto

Theor. Comput. Sci., 2013

2012

Strong Preservation by Model Deformation.

Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Rule-Based and Imperative Language for Biochemical Modeling and Simulation.

Durica Nikolic, Corrado Priami, Roberto Zunino

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Automaton-Based Array Initialization Analysis.

Durica Nikolic, Fausto Spoto

Proceedings of the Language and Automata Theory and Applications, 2012

Definite Expression Aliasing Analysis for Java Bytecode.

Durica Nikolic, Fausto Spoto

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2010

Abstract Program Slicing: From Theory towards an Implementation.

Isabella Mastroeni, Durica Nikolic

Proceedings of the Formal Methods and Software Engineering, 2010