default search action
Maximiliano Cristiá
Person information
- affiliation: Universidad Nacional de Rosario, Argentina
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j21]Maximiliano Cristiá, Gianfranco Rossi:
A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. J. Autom. Reason. 68(4): 23 (2024) - [j20]Maximiliano Cristiá
, Gianfranco Rossi
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. ACM Trans. Comput. Log. 25(1): 3:1-3:34 (2024) - [c25]Maximiliano Cristiá
An Automatically Verified Prototype of a Landing Gear System. From Computational Logic to Computational Biology 2024: 56-81 - [c24]Alfredo Capozucca, Maximiliano Cristiá, Ross Horne, Ricardo Katz:
Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation. CSF 2024: 112-126 - [i23]Alfredo Capozucca
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation. CoRR abs/2405.12187 (2024) - [i22]Maximiliano Cristiá:
From B Specifications to log Forgrams. CoRR abs/2407.03283 (2024) - [i21]Laura Pomponio, Maximiliano Cristiá, Estanislao Ruiz Sorazábal, Maximiliano García:
Reusability and Modifiability in Robotics Software (Extended Version). CoRR abs/2409.07228 (2024) - [i20]Ariel Gonzalez, Maximiliano Cristiá, Carlos Daniel Luna:
Verification of Quantitative Temporal Properties in RealTime-DEVS. CoRR abs/2409.18732 (2024) - 2023
- [j19]Maximiliano Cristiá
Declarative Programming with Intensional Sets in Java Using JSetL. Comput. J. 66(3): 763-784 (2023) - [j18]Maximiliano Cristiá, Guido De Luca, Carlos Luna:
An Automatically Verified Prototype of the Android Permissions System. J. Autom. Reason. 67(2): 17 (2023) - [j17]Maximiliano Cristiá
Integrating Cardinality Constraints into Constraint Logic Programming with Sets. Theory Pract. Log. Program. 23(2): 468-502 (2023) - [i19]Maximiliano Cristiá, Catherine Dubois:
Comparing EventB, log and Why3 Models of Sparse Sets. CoRR abs/2307.03974 (2023) - 2022
- [j16]Maximiliano Cristiá
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. Comput. J. 65(7): 1891-1903 (2022) - [c23]Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá
An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol. CLEI 2022: 1-10 - [i18]Maximiliano Cristiá, Gianfranco Rossi:
A Typechecker for a Set-Based Constraint Logic Programming Language. CoRR abs/2205.01713 (2022) - [i17]Maximiliano Cristiá, Gianfranco Rossi:
A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. CoRR abs/2208.03518 (2022) - [i16]Maximiliano Cristiá, Guido De Luca, Carlos Daniel Luna:
An Automatically Verified Prototype of the Android Permissions System. CoRR abs/2209.10278 (2022) - 2021
- [j15]Gustavo Betarte, Maximiliano Cristiá
Set-Based Models for Cryptocurrency Software. CLEI Electron. J. 24(3) (2021) - [j14]Maximiliano Cristiá
Automated Proof of Bell-LaPadula Security Properties. J. Autom. Reason. 65(4): 463-478 (2021) - [j13]Maximiliano Cristiá
Automated Reasoning with Restricted Intensional Sets. J. Autom. Reason. 65(6): 809-890 (2021) - [j12]Maximiliano Cristiá
An Automatically Verified Prototype of the Tokeneer ID Station Specification. J. Autom. Reason. 65(8): 1125-1151 (2021) - [j11]Adrián Silveira
A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. Sensors 21(17): 5951 (2021) - [c22]Ariel Gonzalez, Maximiliano Cristiá
Error Finding in Real-Time Systems using Mutants of Temporal Properties. SCCC 2021: 1-8 - [i15]Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi:
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. CoRR abs/2101.07700 (2021) - [i14]Maximiliano Cristiá, Gianfranco Rossi:
Integrating Cardinality Constraints into Constraint Logic Programming with Sets. CoRR abs/2102.05422 (2021) - [i13]Maximiliano Cristiá, Gianfranco Rossi:
$\{log\}$: Applications to Software Specification, Prototyping and Verification. CoRR abs/2103.14933 (2021) - [i12]Adrián Silveira, Gustavo Betarte, Maximiliano Cristiá, Carlos Daniel Luna:
A Formal Analysis of the MimbleWimble Cryptocurrency Protocol. CoRR abs/2104.00822 (2021) - [i11]Maximiliano Cristiá, Gianfranco Rossi:
log: Set Formulas as Programs. CoRR abs/2104.08130 (2021) - [i10]Maximiliano Cristiá, Gianfranco Rossi:
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. CoRR abs/2105.03005 (2021) - [i9]Maximiliano Cristiá, Gianfranco Rossi:
An Automatically Verified Prototype of a Landing Gear System. CoRR abs/2112.15147 (2021) - 2020
- [j10]Maximiliano Cristiá
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations. J. Autom. Reason. 64(2): 295-330 (2020) - [c21]Gustavo Betarte, Maximiliano Cristiá
Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol. ACNS Workshops 2020: 3-23 - [i8]Maximiliano Cristiá, Gianfranco Rossi:
Automated Proof of Bell-LaPadula Security Properties. CoRR abs/2001.10512 (2020) - [i7]Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi:
Declarative Programming with Intensional Sets in Java Using JSetL. CoRR abs/2002.11562 (2020) - [i6]Maximiliano Cristiá, Gianfranco Rossi:
An Automatically Verified Prototype of the Tokeneer ID Station Specification. CoRR abs/2009.00999 (2020)
2010 – 2019
- 2019
- [j9]Maximiliano Cristiá
A multi-target compiler for CML-DEVS. Simul. 95(1) (2019) - [c20]Ariel Gonzalez, Maximiliano Cristiá, Carlos Luna:
Mutants for Metric Temporal Logic Formulas. CIbSE 2019: 349-362 - [i5]Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini:
Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol. CoRR abs/1907.01688 (2019) - [i4]Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini:
Set-Based Models for Cryptocurrency Software. CoRR abs/1908.00591 (2019) - [i3]Maximiliano Cristiá, Gianfranco Rossi:
Automated Reasoning with Restricted Intensional Sets. CoRR abs/1910.09118 (2019) - 2018
- [j8]Carlos Luna, Gustavo Betarte, Juan Diego Campo, Camila Sanz, Maximiliano Cristiá
A formal approach for the verification of the permission-based security model of Android. CLEI Electron. J. 21(2) (2018) - [c19]Maximiliano Cristiá
A Set Solver for Finite Set Relation Algebra. RAMiCS 2018: 333-349 - [c18]Maximiliano Cristiá, Gianfranco Rossi:
Programming in Java with Restricted Intensional Sets. SETS@ABZ 2018: 17-31 - [e1]Maximiliano Cristiá, David Delahaye, Catherine Dubois:
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. CEUR Workshop Proceedings 2199, CEUR-WS.org 2018 [contents] - 2017
- [c17]Maximiliano Cristiá
A Decision Procedure for Restricted Intensional Sets. CADE 2017: 185-201 - [c16]Gustavo Betarte, Juan Diego Campo, Maximiliano Cristiá
Towards formal model-based analysis and testing of Android's security mechanisms. CLEI 2017: 1-10 - 2016
- [c15]Maximiliano Cristiá
A Decision Procedure for Sets, Binary Relations and Partial Functions. CAV (1) 2016: 179-198 - 2015
- [j7]Maximiliano Cristiá
Formal and semi-formal verification of a web voting system. Int. J. Web Inf. Syst. 11(2): 183-204 (2015) - [j6]Maximiliano Cristiá, Joaquín Cuenca, Claudia S. Frydman:
Coverage Criteria for Set-Based Specifications. RITA 22(2): 316-335 (2015) - [j5]Diego A. Hollmann
CML-DEVS: A specification language for DEVS conceptual models. Simul. Model. Pract. Theory 57: 100-117 (2015) - [j4]Maximiliano Cristiá
Adding partial functions to Constraint Logic Programming with sets. Theory Pract. Log. Program. 15(4-5): 651-665 (2015) - [c14]Maximiliano Cristiá:
Why, how and what should be taught about Formal Methods? FMSEE&T@FM 2015: 1-2 - [c13]Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
Helping Programmers to Adopt Set-Based Specifications. FMSEE&T@FM 2015: 3-10 - [i2]Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman:
Adding Partial Functions to Constraint Logic Programming with Sets. CoRR abs/1507.06852 (2015) - 2014
- [j3]Diego A. Hollmann
A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically. Simul. Model. Pract. Theory 49: 1-26 (2014) - [j2]Maximiliano Cristiá
Tool support for the Test Template Framework. Softw. Test. Verification Reliab. 24(1): 3-37 (2014) - [c12]Maximiliano Cristiá
Integration Testing in the Test Template Framework. FASE 2014: 400-414 - [c11]Maximiliano Cristiá
A Functional Verification of a Web Voting System. ICCSA (1) 2014: 640-655 - [i1]Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman:
A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically. CoRR abs/1406.6937 (2014) - 2013
- [c10]Maximiliano Cristiá
{log} as a Test Case Generator for the Test Template Framework. SEFM 2013: 229-243 - 2012
- [c9]Maximiliano Cristiá
Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. ABZ 2012: 280-293 - [c8]Diego A. Hollmann, Maximiliano Cristiá, Claudia S. Frydman:
Adapting model-based testing techniques to DEVS models validation. SpringSim (TMS-DEVS) 2012: 6 - [c7]Maximiliano Cristiá
Applying SMT Solvers to the Test Template Framework. MBT 2012: 28-42 - 2011
- [c6]Maximiliano Cristiá
A Language for Test Case Refinement in the Test Template Framework. ICFEM 2011: 601-616 - [c5]Maximiliano Cristiá
Applying the Test Template Framework to Aerospace Software. SEW 2011: 128-137 - 2010
- [c4]Maximiliano Cristiá, Brian Plüss:
Generating Natural Language Descriptions of Z Test Cases. INLG 2010 - [c3]Maximiliano Cristiá
On Comparing and Complementing two MBT approaches. LATW 2010: 1-6 - [c2]Maximiliano Cristiá
Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions. SEFM 2010: 268-277
2000 – 2009
- 2009
- [j1]Alejandro Sartorio, Maximiliano Cristiá:
First Approximation to DHD Design and Implementation. CLEI Electron. J. 12(3) (2009) - [c1]Maximiliano Cristiá
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing. ICFEM 2009: 167-185
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-13 01:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: