Diego A. Hollmann

According to our database, Diego A. Hollmann authored at least 5 papers between 2011 and 2019.

Collaborative distances:

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

2019

A multi-target compiler for CML-DEVS.

Maximiliano Cristiá, Diego A. Hollmann, Claudia S. Frydman

Simul., 2019

2015

CML-DEVS: A specification language for DEVS conceptual models.

Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman

Simul. Model. Pract. Theory, 2015

2014

A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically.

Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman

Simul. Model. Pract. Theory, 2014

2012

Adapting model-based testing techniques to DEVS models validation.

Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman

Proceedings of the 2012 Spring Simulation Multiconference, 2012

2011

A Language for Test Case Refinement in the Test Template Framework.

Maximiliano Cristiá, Diego A. Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodríguez Monetti

Proceedings of the Formal Methods and Software Engineering, 2011