Diego A. Hollmann

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 1

Top Topics

Specification Language

Subject Specific

Semi Automatically

Top Venues

Simul. Model. Pract. Theory

SpringSim (TMS-DEVS)

Publications

Maximiliano Cristiá, Diego A. Hollmann, Claudia S. Frydman
A multi-target compiler for CML-DEVS. Simul. 95 (1) (2019)
Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
CML-DEVS: A specification language for DEVS conceptual models. Simul. Model. Pract. Theory 57 (2015)
Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically. Simul. Model. Pract. Theory 49 (2014)
Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically. CoRR (2014)
Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
Adapting model-based testing techniques to DEVS models validation. SpringSim (TMS-DEVS) (2012)
Maximiliano Cristiá, Diego A. Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodríguez Monetti
A Language for Test Case Refinement in the Test Template Framework. ICFEM (2011)