ODE Analysis of Biological Systems. - Diana-Elena Gratie; Bogdan Iancu; Ion Petre (SFM, 2013)

On the Implementation of Quantitative Model Refinement. - Bogdan Iancu; Diana-Elena Gratie; Sepinoud Azimi; Ion Petre (AlCoB, 2014)

Full structural model refinement as type refinement of colored Petri nets. - Diana-Elena Gratie; Ion Petre (BioPPN@Petri Nets, 2015)

An Excursion Through Quantitative Model Refinement. - Sepinoud Azimi; Eugen Czeizler; Cristian Gratie; Diana-Elena Gratie; Bogdan Iancu; Nebiat Ibssa; Ion Petre; Vladimir Rogojin; Tolou Shadbahr; Fatemeh Shokri (Int. Conf. on Membrane Computing, 2015)

Composition Colored Petri Nets for the Refinement of Reaction-based Models. - Diana-Elena Gratie; Cristian Gratie (SASB, 2015)

Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. - Diana-Elena Gratie; Bogdan Iancu; Sepinoud Azimi; Ion Petre (From Action Systems to Distributed Systems, 2016)

Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study. - Stefan Ciobaca; Diana-Elena Gratie (IFM, 2024)