Maximiliano Cristiá

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 49

Top Topics

Constraint Logic Programming

Top Venues

J. Autom. Reason.

CLEI Electron. J.

Publications

Maximiliano Cristiá, Gianfranco Rossi
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. ACM Trans. Comput. Log. 25 (1) (2024)
Maximiliano Cristiá, Gianfranco Rossi
An Automatically Verified Prototype of a Landing Gear System. From Computational Logic to Computational Biology (2024)
Maximiliano Cristiá
From B Specifications to log Forgrams. CoRR (2024)
Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation. CoRR (2024)
Maximiliano Cristiá, Catherine Dubois
Comparing EventB, log and Why3 Models of Sparse Sets. CoRR (2023)
Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi
Declarative Programming with Intensional Sets in Java Using JSetL. Comput. J. 66 (3) (2023)
Maximiliano Cristiá, Gianfranco Rossi
Integrating Cardinality Constraints into Constraint Logic Programming with Sets. Theory Pract. Log. Program. 23 (2) (2023)
Maximiliano Cristiá, Guido De Luca, Carlos Luna
An Automatically Verified Prototype of the Android Permissions System. J. Autom. Reason. 67 (2) (2023)
Maximiliano Cristiá, Guido De Luca, Carlos Daniel Luna
An Automatically Verified Prototype of the Android Permissions System. CoRR (2022)
Maximiliano Cristiá, Gianfranco Rossi
A Typechecker for a Set-Based Constraint Logic Programming Language. CoRR (2022)
Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. Comput. J. 65 (7) (2022)
Maximiliano Cristiá, Gianfranco Rossi
A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. CoRR (2022)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. CLEI (2022)
Maximiliano Cristiá, Gianfranco Rossi
$\{log\}$: Applications to Software Specification, Prototyping and Verification. CoRR (2021)
Maximiliano Cristiá, Gianfranco Rossi
Automated Proof of Bell-LaPadula Security Properties. J. Autom. Reason. 65 (4) (2021)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Set-Based Models for Cryptocurrency Software. CLEI Electron. J. 24 (3) (2021)
Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna
Error Finding in Real-Time Systems using Mutants of Temporal Properties. SCCC (2021)
Maximiliano Cristiá, Gianfranco Rossi
An Automatically Verified Prototype of the Tokeneer ID Station Specification. J. Autom. Reason. 65 (8) (2021)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. Sensors 21 (17) (2021)
Maximiliano Cristiá, Gianfranco Rossi
Automated Reasoning with Restricted Intensional Sets. J. Autom. Reason. 65 (6) (2021)
Maximiliano Cristiá, Gianfranco Rossi
log: Set Formulas as Programs. CoRR (2021)
Maximiliano Cristiá, Gianfranco Rossi
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. CoRR (2021)
Maximiliano Cristiá, Gianfranco Rossi
An Automatically Verified Prototype of a Landing Gear System. CoRR (2021)
Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. CoRR (2021)
Maximiliano Cristiá, Gianfranco Rossi
Integrating Cardinality Constraints into Constraint Logic Programming with Sets. CoRR (2021)
Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol. CoRR (2021)
Maximiliano Cristiá, Gianfranco Rossi
Automated Proof of Bell-LaPadula Security Properties. CoRR (2020)
Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi
Declarative Programming with Intensional Sets in Java Using JSetL. CoRR (2020)
Maximiliano Cristiá, Gianfranco Rossi
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations. J. Autom. Reason. 64 (2) (2020)
Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. ACNS Workshops (2020)
Maximiliano Cristiá, Gianfranco Rossi
An Automatically Verified Prototype of the Tokeneer ID Station Specification. CoRR (2020)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Set-Based Models for Cryptocurrency Software. CoRR (2019)
Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol. CoRR (2019)
Maximiliano Cristiá, Diego A. Hollmann, Claudia S. Frydman
A multi-target compiler for CML-DEVS. Simul. 95 (1) (2019)
Maximiliano Cristiá, Gianfranco Rossi
Automated Reasoning with Restricted Intensional Sets. CoRR (2019)
Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna
Mutants for Metric Temporal Logic Formulas. CIbSE (2019)
Maximiliano Cristiá, Gianfranco Rossi
Programming in Java with Restricted Intensional Sets. SETS@ABZ (2018)
Maximiliano Cristiá, Gianfranco Rossi
A Set Solver for Finite Set Relation Algebra. RAMiCS (2018)
Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga
A formal approach for the verification of the permission-based security model of Android. CLEI Electron. J. 21 (2) (2018)
Maximiliano Cristiá, Gianfranco Rossi
A Decision Procedure for Restricted Intensional Sets. CADE (2017)
Gustavo Betarte, Juan Diego Campo, Maximiliano Cristiá, Felipe Gorostiaga, Carlos Luna, Camila Sanz
Towards formal model-based analysis and testing of Android's security mechanisms. CLEI (2017)
Maximiliano Cristiá, Gianfranco Rossi
A Decision Procedure for Sets, Binary Relations and Partial Functions. CAV (1) (2016)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
Adding partial functions to Constraint Logic Programming with sets. Theory Pract. Log. Program. 15 (4-5) (2015)
Maximiliano Cristiá, Joaquín Cuenca, Claudia S. Frydman
Coverage Criteria for Set-Based Specifications. RITA 22 (2) (2015)
Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
CML-DEVS: A specification language for DEVS conceptual models. Simul. Model. Pract. Theory 57 (2015)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
Adding Partial Functions to Constraint Logic Programming with Sets. CoRR (2015)
Maximiliano Cristiá
Why, how and what should be taught about Formal Methods? FMSEE&T@FM (2015)
Maximiliano Cristiá, Claudia S. Frydman
Formal and semi-formal verification of a web voting system. Int. J. Web Inf. Syst. 11 (2) (2015)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
Helping Programmers to Adopt Set-Based Specifications. FMSEE&T@FM (2015)
Maximiliano Cristiá, Joaquín Mesuro, Claudia S. Frydman
Integration Testing in the Test Template Framework. FASE (2014)
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)
Maximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti
Tool support for the Test Template Framework. Softw. Test. Verification Reliab. 24 (1) (2014)
Maximiliano Cristiá, Claudia S. Frydman
A Functional Verification of a Web Voting System. ICCSA (1) (2014)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
{log} as a Test Case Generator for the Test Template Framework. SEFM (2013)
Maximiliano Cristiá, Claudia S. Frydman
Applying SMT Solvers to the Test Template Framework MBT (2012)
Maximiliano Cristiá, Claudia S. Frydman
Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. ABZ (2012)
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)
Maximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti
Applying the Test Template Framework to Aerospace Software. SEW (2011)
Maximiliano Cristiá, Brian Plüss
Generating Natural Language Descriptions of Z Test Cases. INLG (2010)
Maximiliano Cristiá, Pablo Albertengo, Pablo Rodríguez Monetti
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. SEFM (2010)
Maximiliano Cristiá, Valdivino Alexandre de Santiago Jr., Nandamudi L. Vijaykumar
On Comparing and Complementing two MBT approaches. LATW (2010)
Alejandro Sartorio, Maximiliano Cristiá
First Approximation to DHD Design and Implementation. CLEI Electron. J. 12 (3) (2009)
Maximiliano Cristiá, Pablo Rodríguez Monetti
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing. ICFEM (2009)