Maximiliano Cristiá

According to our database1, Maximiliano Cristiá authored at least 36 papers between 2009 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.



In proceedings 
PhD thesis 


Online presence:



Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra.
CoRR, 2021

Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations.
J. Autom. Reason., 2020

An Automatically Verified Prototype of the Tokeneer ID Station Specification.
CoRR, 2020

Declarative Programming with Intensional Sets in Java Using JSetL.
CoRR, 2020

Automated Proof of Bell-LaPadula Security Properties.
CoRR, 2020

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.
Proceedings of the Applied Cryptography and Network Security Workshops, 2020

A multi-target compiler for CML-DEVS.
Simul., 2019

Automated Reasoning with Restricted Intensional Sets.
CoRR, 2019

Set-Based Models for Cryptocurrency Software.
CoRR, 2019

Mutants for Metric Temporal Logic Formulas.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

A formal approach for the verification of the permission-based security model of Android.
CLEI Electron. J., 2018

Programming in Java with Restricted Intensional Sets.
Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, 2018

A Set Solver for Finite Set Relation Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

Towards formal model-based analysis and testing of Android's security mechanisms.
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

A Decision Procedure for Restricted Intensional Sets.
Proceedings of the Automated Deduction - CADE 26, 2017

A Decision Procedure for Sets, Binary Relations and Partial Functions.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Adding partial functions to Constraint Logic Programming with sets.
Theory Pract. Log. Program., 2015

CML-DEVS: A specification language for DEVS conceptual models.
Simul. Model. Pract. Theory, 2015

Coverage Criteria for Set-Based Specifications.
RITA, 2015

Formal and semi-formal verification of a web voting system.
Int. J. Web Inf. Syst., 2015

Helping Programmers to Adopt Set-Based Specifications.
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

Why, how and what should be taught about Formal Methods?
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

Tool support for the Test Template Framework.
Softw. Test. Verification Reliab., 2014

A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically.
Simul. Model. Pract. Theory, 2014

A Functional Verification of a Web Voting System.
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Integration Testing in the Test Template Framework.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

{log} as a Test Case Generator for the Test Template Framework.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Applying SMT Solvers to the Test Template Framework
Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Adapting model-based testing techniques to DEVS models validation.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Applying the Test Template Framework to Aerospace Software.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

A Language for Test Case Refinement in the Test Template Framework.
Proceedings of the Formal Methods and Software Engineering, 2011

Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Generating Natural Language Descriptions of Z Test Cases.
Proceedings of the INLG 2010, 2010

First Approximation to DHD Design and Implementation.
CLEI Electron. J., 2009

Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing.
Proceedings of the Formal Methods and Software Engineering, 2009