Maximiliano Cristiá

76 papers A 2B 4C 7Journal 49Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Do AI Assistants Help Students Write Formal Specifications? A Study with ChatGPT and the B-Method. CSEE&T Alfredo Capozucca, Daniil Yampolskyi, Alexander Goldberg, Maximiliano Cristiá
2025	J	`jnl`	Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method. CoRR Alfredo Capozucca, Daniil Yampolskyi, Alexander Goldberg, Maximiliano Cristiá
2025	J	`jnl`	Encoding and Reasoning About Arrays in Set Theory. CoRR Maximiliano Cristiá, Gianfranco Rossi
2025	J	`jnl`	From a Constraint Logic Programming Language to a Formal Verification Tool. CoRR Maximiliano Cristiá, Alfredo Capozucca, Gianfranco Rossi
2025	J	`jnl`	Verification of quantitative temporal properties in RealTime-DEVS. Simul. Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna
2024	J	`jnl`	A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. ACM Trans. Comput. Log. Maximiliano Cristiá, Gianfranco Rossi
2024	J	`jnl`	A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. J. Autom. Reason. Maximiliano Cristiá, Gianfranco Rossi
2024	—	`conf`	An Automatically Verified Prototype of a Landing Gear System. From Computational Logic to Computational Biology Maximiliano Cristiá, Gianfranco Rossi
2024	A	`conf`	Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. CSF Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
2024	J	`jnl`	Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation. CoRR Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz
2024	J	`jnl`	Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification. Theory Pract. Log. Program. Maximiliano Cristiá, Gianfranco Rossi
2024	J	`jnl`	From B Specifications to log Forgrams. CoRR Maximiliano Cristiá
2024	J	`jnl`	Reusability and Modifiability in Robotics Software (Extended Version). CoRR Laura Pomponio, Maximiliano Cristiá, Estanislao Ruiz Sorazábal, Maximiliano García
2024	J	`jnl`	Verification of Quantitative Temporal Properties in RealTime-DEVS. CoRR Ariel Gonzalez, Maximiliano Cristiá, Carlos Daniel Luna
2023	J	`jnl`	An Automatically Verified Prototype of the Android Permissions System. J. Autom. Reason. Maximiliano Cristiá, Guido De Luca, Carlos Luna
2023	J	`jnl`	Comparing EventB, log and Why3 Models of Sparse Sets. CoRR Maximiliano Cristiá, Catherine Dubois
2023	J	`jnl`	Declarative Programming with Intensional Sets in Java Using JSetL. Comput. J. Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi
2023	J	`jnl`	Integrating Cardinality Constraints into Constraint Logic Programming with Sets. Theory Pract. Log. Program. Maximiliano Cristiá, Gianfranco Rossi
2022	J	`jnl`	A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. CoRR Maximiliano Cristiá, Gianfranco Rossi
2022	J	`jnl`	A Typechecker for a Set-Based Constraint Logic Programming Language. CoRR Maximiliano Cristiá, Gianfranco Rossi
2022	J	`jnl`	An Automatically Verified Prototype of the Android Permissions System. CoRR Maximiliano Cristiá, Guido De Luca, Carlos Daniel Luna
2022	C	`conf`	An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. CLEI Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
2022	J	`jnl`	Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. Comput. J. Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
2021	J	`jnl`	$\{log\}$: Applications to Software Specification, Prototyping and Verification. CoRR Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. CoRR Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	A Formal Analysis of the MimbleWimble Cryptocurrency Protocol. CoRR Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna
2021	J	`jnl`	A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. Sensors Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Luna
2021	J	`jnl`	An Automatically Verified Prototype of a Landing Gear System. CoRR Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	An Automatically Verified Prototype of the Tokeneer ID Station Specification. J. Autom. Reason. Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	Automated Proof of Bell-LaPadula Security Properties. J. Autom. Reason. Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	Automated Reasoning with Restricted Intensional Sets. J. Autom. Reason. Maximiliano Cristiá, Gianfranco Rossi
2021	—	`conf`	Error Finding in Real-Time Systems using Mutants of Temporal Properties. SCCC Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna
2021	J	`jnl`	Integrating Cardinality Constraints into Constraint Logic Programming with Sets. CoRR Maximiliano Cristiá, Gianfranco Rossi
2021	J	`jnl`	Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. CoRR Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
2021	J	`jnl`	Set-Based Models for Cryptocurrency Software. CLEI Electron. J. Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
2021	J	`jnl`	log: Set Formulas as Programs. CoRR Maximiliano Cristiá, Gianfranco Rossi
2020	J	`jnl`	An Automatically Verified Prototype of the Tokeneer ID Station Specification. CoRR Maximiliano Cristiá, Gianfranco Rossi
2020	J	`jnl`	Automated Proof of Bell-LaPadula Security Properties. CoRR Maximiliano Cristiá, Gianfranco Rossi
2020	J	`jnl`	Declarative Programming with Intensional Sets in Java Using JSetL. CoRR Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi
2020	J	`jnl`	Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations. J. Autom. Reason. Maximiliano Cristiá, Gianfranco Rossi
2020	—	`conf`	Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. ACNS Workshops Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna, Adrián Silveira, Dante Zanarini
2019	J	`jnl`	A multi-target compiler for CML-DEVS. Simul. Maximiliano Cristiá, Diego A. Hollmann, Claudia S. Frydman
2019	J	`jnl`	Automated Reasoning with Restricted Intensional Sets. CoRR Maximiliano Cristiá, Gianfranco Rossi
2019	—	`conf`	Mutants for Metric Temporal Logic Formulas. CIbSE Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna
2019	J	`jnl`	Set-Based Models for Cryptocurrency Software. CoRR Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
2019	J	`jnl`	Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol. CoRR Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini
2018	C	`conf`	A Set Solver for Finite Set Relation Algebra. RAMiCS Maximiliano Cristiá, Gianfranco Rossi
2018	J	`jnl`	A formal approach for the verification of the permission-based security model of Android. CLEI Electron. J. Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá, Felipe Gorostiaga
2018	—	`ed.`	Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018. SETS@ABZ Maximiliano Cristiá, David Delahaye, Catherine Dubois
2018	—	`conf`	Programming in Java with Restricted Intensional Sets. SETS@ABZ Maximiliano Cristiá, Gianfranco Rossi
2017	A	`conf`	A Decision Procedure for Restricted Intensional Sets. CADE Maximiliano Cristiá, Gianfranco Rossi
2017	C	`conf`	Towards formal model-based analysis and testing of Android's security mechanisms. CLEI Gustavo Betarte, Juan Diego Campo, Maximiliano Cristiá, Felipe Gorostiaga, Carlos Luna, Camila Sanz
2016	—	`conf`	A Decision Procedure for Sets, Binary Relations and Partial Functions. CAV (1) Maximiliano Cristiá, Gianfranco Rossi
2015	J	`jnl`	Adding Partial Functions to Constraint Logic Programming with Sets. CoRR Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
2015	J	`jnl`	Adding partial functions to Constraint Logic Programming with sets. Theory Pract. Log. Program. Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
2015	J	`jnl`	CML-DEVS: A specification language for DEVS conceptual models. Simul. Model. Pract. Theory Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
2015	J	`jnl`	Coverage Criteria for Set-Based Specifications. RITA Maximiliano Cristiá, Joaquín Cuenca, Claudia S. Frydman
2015	J	`jnl`	Formal and semi-formal verification of a web voting system. Int. J. Web Inf. Syst. Maximiliano Cristiá, Claudia S. Frydman
2015	—	`conf`	Helping Programmers to Adopt Set-Based Specifications. FMSEE&T@FM Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
2015	—	`conf`	Why, how and what should be taught about Formal Methods? FMSEE&T@FM Maximiliano Cristiá
2014	J	`jnl`	A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically. CoRR Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
2014	—	`conf`	A Functional Verification of a Web Voting System. ICCSA (1) Maximiliano Cristiá, Claudia S. Frydman
2014	J	`jnl`	A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically. Simul. Model. Pract. Theory Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
2014	B	`conf`	Integration Testing in the Test Template Framework. FASE Maximiliano Cristiá, Joaquín Mesuro, Claudia S. Frydman
2014	J	`jnl`	Tool support for the Test Template Framework. Softw. Test. Verification Reliab. Maximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti
2013	B	`conf`	{log} as a Test Case Generator for the Test Template Framework. SEFM Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
2012	—	`conf`	Adapting model-based testing techniques to DEVS models validation. SpringSim (TMS-DEVS) Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman
2012	—	`conf`	Applying SMT Solvers to the Test Template Framework MBT Maximiliano Cristiá, Claudia S. Frydman
2012	C	`conf`	Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. ABZ Maximiliano Cristiá, Claudia S. Frydman
2011	C	`conf`	A Language for Test Case Refinement in the Test Template Framework. ICFEM Maximiliano Cristiá, Diego A. Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodríguez Monetti
2011	C	`conf`	Applying the Test Template Framework to Aerospace Software. SEW Maximiliano Cristiá, Pablo Albertengo, Claudia S. Frydman, Brian Plüss, Pablo Rodríguez Monetti
2010	B	`conf`	Generating Natural Language Descriptions of Z Test Cases. INLG Maximiliano Cristiá, Brian Plüss
2010	—	`conf`	On Comparing and Complementing two MBT approaches. LATW Maximiliano Cristiá, Valdivino Alexandre de Santiago Jr., Nandamudi L. Vijaykumar
2010	B	`conf`	Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. SEFM Maximiliano Cristiá, Pablo Albertengo, Pablo Rodríguez Monetti
2009	J	`jnl`	First Approximation to DHD Design and Implementation. CLEI Electron. J. Alejandro Sartorio, Maximiliano Cristiá
2009	C	`conf`	Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing. ICFEM Maximiliano Cristiá, Pablo Rodríguez Monetti