Maximiliano Cristiá

Publications

101

Citations

H-Index

2010

Active since

Affiliations

Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas(Current)

Centre National de la Recherche Scientifique

National University of Rosario

Université de Toulon

The Open University

Maximiliano Cristiá is an author at Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas specializing in engineering, computer science, and software engineering.

ORCID

Top concepts

EngineeringComputer ScienceSoftware AnalysisSoftware EngineeringFormal MethodsProgram AnalysisSoftware TestingSystems EngineeringSoftware DesignSystem Software

Publications per year

2010–2019

Publications

Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations

Maximiliano Cristiá, Gianfranco Rossi · Journal of Automated Reasoning · 2019 · 25 citations

Mathematical Programming, Constraint Solving, Quantifier-free First-order Constraints +11

CML-DEVS: A specification language for DEVS conceptual models

Diego A. Hollmann, Maximiliano Cristiá, Claudia Frydman · Simulation Modelling Practice and Theory · 2015 · 16 citations · Full text

Software Maintenance, Specification Language, Engineering +9

Tool support for the Test Template Framework

Maximiliano Cristiá, Pablo Albertengo, Claudia Frydman et al. · Software Testing Verification and Reliability · 2012 · 14 citations

Software Maintenance, Engineering, Tool Support +23

A multi-target compiler for CML-DEVS

Maximiliano Cristiá, Diego A. Hollmann, Claudia Frydman · SIMULATION · 2018 · 13 citations

Engineering, Compiler Technology, Computer Architecture +24

Generating Natural Language Descriptions of Z Test Cases

Maximiliano Cristiá, Brian Plüss · Open Research Online (The Open University) · 2010 · 12 citations

Rows per page

1–5 of 7