Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing. - Maximiliano Cristiá; Pablo Rodríguez Monetti (ICFEM, 2009)

First Approximation to DHD Design and Implementation. - Alejandro Sartorio; Maximiliano Cristiá (CLEI Electron. J., 2009)

Generating Natural Language Descriptions of Z Test Cases. - Maximiliano Cristiá; Brian Plüss (INLG, 2010)

On Comparing and Complementing two MBT approaches. - Maximiliano Cristiá; Valdivino Alexandre de Santiago Jr.; Nandamudi L. Vijaykumar (LATW, 2010)

Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. - Maximiliano Cristiá; Pablo Albertengo; Pablo Rodríguez Monetti (SEFM, 2010)

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 (ICFEM, 2011)

Applying the Test Template Framework to Aerospace Software. - Maximiliano Cristiá; Pablo Albertengo; Claudia S. Frydman; Brian Plüss; Pablo Rodríguez Monetti (SEW, 2011)

Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. - Maximiliano Cristiá; Claudia S. Frydman (ABZ, 2012)

Adapting model-based testing techniques to DEVS models validation. - Diego A. Hollmann; Maximiliano Cristiá; Claudia S. Frydman (SpringSim (TMS-DEVS), 2012)

Applying SMT Solvers to the Test Template Framework - Maximiliano Cristiá; Claudia S. Frydman (MBT, 2012)

{log} as a Test Case Generator for the Test Template Framework. - Maximiliano Cristiá; Gianfranco Rossi; Claudia S. Frydman (SEFM, 2013)

Integration Testing in the Test Template Framework. - Maximiliano Cristiá; Joaquín Mesuro; Claudia S. Frydman (FASE, 2014)

A Functional Verification of a Web Voting System. - Maximiliano Cristiá; Claudia S. Frydman (ICCSA (1), 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)

Tool support for the Test Template Framework. - Maximiliano Cristiá; Pablo Albertengo; Claudia S. Frydman; Brian Plüss; Pablo Rodríguez Monetti (Softw. Test. Verification Reliab., 2014)

Why, how and what should be taught about Formal Methods? - Maximiliano Cristiá (FMSEE&T@FM, 2015)

Helping Programmers to Adopt Set-Based Specifications. - Maximiliano Cristiá; Gianfranco Rossi; Claudia S. Frydman (FMSEE&T@FM, 2015)

Formal and semi-formal verification of a web voting system. - Maximiliano Cristiá; Claudia S. Frydman (Int. J. Web Inf. Syst., 2015)

Coverage Criteria for Set-Based Specifications. - Maximiliano Cristiá; Joaquín Cuenca; Claudia S. Frydman (RITA, 2015)

CML-DEVS: A specification language for DEVS conceptual models. - Diego A. Hollmann; Maximiliano Cristiá; Claudia S. Frydman (Simul. Model. Pract. Theory, 2015)

Adding partial functions to Constraint Logic Programming with sets. - Maximiliano Cristiá; Gianfranco Rossi; Claudia S. Frydman (Theory Pract. Log. Program., 2015)

A Decision Procedure for Sets, Binary Relations and Partial Functions. - Maximiliano Cristiá; Gianfranco Rossi (CAV (1), 2016)

A Decision Procedure for Restricted Intensional Sets. - Maximiliano Cristiá; Gianfranco Rossi (CADE, 2017)

Towards formal model-based analysis and testing of Android's security mechanisms. - Gustavo Betarte; Juan Diego Campo; Maximiliano Cristiá; Felipe Gorostiaga; Carlos Luna 001; Camila Sanz (CLEI, 2017)

A Set Solver for Finite Set Relation Algebra. - Maximiliano Cristiá; Gianfranco Rossi (RAMiCS, 2018)

Programming in Java with Restricted Intensional Sets. - Maximiliano Cristiá; Gianfranco Rossi (SETS@ABZ, 2018)

A formal approach for the verification of the permission-based security model of Android. - Carlos Luna 001; Gustavo Betarte; Juan Diego Campo; Camila Sanz; Maximiliano Cristiá; Felipe Gorostiaga (CLEI Electron. J., 2018)

Mutants for Metric Temporal Logic Formulas. - Ariel Gonzalez; Maximiliano Cristiá; Carlos Luna 001 (CIbSE, 2019)

A multi-target compiler for CML-DEVS. - Maximiliano Cristiá; Diego A. Hollmann; Claudia S. Frydman (Simul., 2019)

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. - Gustavo Betarte; Maximiliano Cristiá; Carlos Daniel Luna; Adrián Silveira; Dante Zanarini (ACNS Workshops, 2020)

Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations. - Maximiliano Cristiá; Gianfranco Rossi (J. Autom. Reason., 2020)

Error Finding in Real-Time Systems using Mutants of Temporal Properties. - Ariel Gonzalez; Maximiliano Cristiá; Carlos Luna 001 (SCCC, 2021)

Set-Based Models for Cryptocurrency Software. - Gustavo Betarte; Maximiliano Cristiá; Carlos Luna 001; Adrián Silveira; Dante Zanarini (CLEI Electron. J., 2021)

$ {log }$: Applications to Software Specification, Prototyping and Verification. - Maximiliano Cristiá; Gianfranco Rossi (CoRR, 2021)

log: Set Formulas as Programs. - Maximiliano Cristiá; Gianfranco Rossi (CoRR, 2021)

Automated Proof of Bell-LaPadula Security Properties. - Maximiliano Cristiá; Gianfranco Rossi (J. Autom. Reason., 2021)

Automated Reasoning with Restricted Intensional Sets. - Maximiliano Cristiá; Gianfranco Rossi (J. Autom. Reason., 2021)

An Automatically Verified Prototype of the Tokeneer ID Station Specification. - Maximiliano Cristiá; Gianfranco Rossi (J. Autom. Reason., 2021)

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. - Adrián Silveira; Gustavo Betarte; Maximiliano Cristiá; Carlos Luna 001 (Sensors, 2021)

An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. - Adrián Silveira; Gustavo Betarte; Maximiliano Cristiá; Carlos Luna 001 (CLEI, 2022)

Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. - Maximiliano Cristiá; Ricardo D. Katz; Gianfranco Rossi (Comput. J., 2022)

A Typechecker for a Set-Based Constraint Logic Programming Language. - Maximiliano Cristiá; Gianfranco Rossi (CoRR, 2022)

A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. - Maximiliano Cristiá; Gianfranco Rossi (CoRR, 2022)

Comparing EventB, log and Why3 Models of Sparse Sets. - Maximiliano Cristiá; Catherine Dubois (CoRR, 2023)

Declarative Programming with Intensional Sets in Java Using JSetL. - Maximiliano Cristiá; Andrea Fois; Gianfranco Rossi (Comput. J., 2023)

Integrating Cardinality Constraints into Constraint Logic Programming with Sets. - Maximiliano Cristiá; Gianfranco Rossi (Theory Pract. Log. Program., 2023)

An Automatically Verified Prototype of the Android Permissions System. - Maximiliano Cristiá; Guido De Luca; Carlos Luna 001 (J. Autom. Reason., 2023)

An Automatically Verified Prototype of a Landing Gear System. - Maximiliano Cristiá; Gianfranco Rossi (From Computational Logic to Computational Biology, 2024)

Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. - Alfredo Capozucca; Maximiliano Cristiá; Ross Horne; Ricardo Katz (CSF, 2024)

From B Specifications to log Forgrams. - Maximiliano Cristiá (CoRR, 2024)

Reusability and Modifiability in Robotics Software (Extended Version). - Laura Pomponio; Maximiliano Cristiá; Estanislao Ruiz Sorazábal; Maximiliano García (CoRR, 2024)

Verification of Quantitative Temporal Properties in RealTime-DEVS. - Ariel Gonzalez; Maximiliano Cristiá; Carlos Daniel Luna (CoRR, 2024)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification. - Maximiliano Cristiá; Gianfranco Rossi (Theory Pract. Log. Program., 2024)

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. - Maximiliano Cristiá; Gianfranco Rossi (ACM Trans. Comput. Log., 2024)

A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. - Maximiliano Cristiá; Gianfranco Rossi (J. Autom. Reason., 2024)

Do AI Assistants Help Students Write Formal Specifications? A Study with ChatGPT and the B-Method. - Alfredo Capozucca; Daniil Yampolskyi; Alexander Goldberg; Maximiliano Cristiá (CSEE&T, 2025)

From a Constraint Logic Programming Language to a Formal Verification Tool. - Maximiliano Cristiá; Alfredo Capozucca; Gianfranco Rossi (CoRR, 2025)

Encoding and Reasoning About Arrays in Set Theory. - Maximiliano Cristiá; Gianfranco Rossi (CoRR, 2025)