Maximiliano Cristiá

J. Autom. Reason., December, 2024

A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., January, 2024

Verification of Quantitative Temporal Properties in RealTime-DEVS.

[BibT_eX]

[DOI]

Ariel Gonzalez

Carlos Daniel Luna

CoRR, 2024

Reusability and Modifiability in Robotics Software (Extended Version).

[BibT_eX]

[DOI]

Laura Pomponio

Estanislao Ruiz Sorazábal

Maximiliano García

CoRR, 2024

From B Specifications to log Forgrams.

[BibT_eX]

[DOI]

CoRR, 2024

Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

An Automatically Verified Prototype of a Landing Gear System.

[BibT_eX]

[DOI]

Proceedings of the From Computational Logic to Computational Biology, 2024

2023

An Automatically Verified Prototype of the Android Permissions System.

[BibT_eX]

[DOI]

Guido De Luca

Carlos Luna

J. Autom. Reason., June, 2023

Integrating Cardinality Constraints into Constraint Logic Programming with Sets.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., March, 2023

Declarative Programming with Intensional Sets in Java Using JSetL.

[BibT_eX]

[DOI]

Andrea Fois

Comput. J., March, 2023

Comparing EventB, log and Why3 Models of Sparse Sets.

[BibT_eX]

[DOI]

Catherine Dubois

CoRR, 2023

2022

A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers.

[BibT_eX]

[DOI]

CoRR, 2022

A Typechecker for a Set-Based Constraint Logic Programming Language.

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

Ricardo D. Katz

Comput. J., 2022

An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol.

[BibT_eX]

[DOI]

Proceedings of the XLVIII Latin American Computer Conference, 2022

2021

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol.

[BibT_eX]

[DOI]

Sensors, 2021

An Automatically Verified Prototype of the Tokeneer ID Station Specification.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

Automated Reasoning with Restricted Intensional Sets.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

Automated Proof of Bell-LaPadula Security Properties.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

log: Set Formulas as Programs.

[BibT_eX]

[DOI]

CoRR, 2021

$\{log\}$: Applications to Software Specification, Prototyping and Verification.

[BibT_eX]

[DOI]

CoRR, 2021

Set-Based Models for Cryptocurrency Software.

[BibT_eX]

[DOI]

CLEI Electron. J., 2021

Error Finding in Real-Time Systems using Mutants of Temporal Properties.

[BibT_eX]

[DOI]

Ariel Gonzalez

Carlos Luna

Proceedings of the 40th International Conference of the Chilean Computer Science Society, 2021

2020

Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations.

[BibT_eX]

[DOI]

J. Autom. Reason., 2020

Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security Workshops, 2020

2019

A multi-target compiler for CML-DEVS.

[BibT_eX]

[DOI]

Simul., 2019

Mutants for Metric Temporal Logic Formulas.

[BibT_eX]

Ariel Gonzalez

Carlos Luna

Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

2018

A formal approach for the verification of the permission-based security model of Android.

[BibT_eX]

[DOI]

CLEI Electron. J., 2018

Programming in Java with Restricted Intensional Sets.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Towards formal model-based analysis and testing of Android's security mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

A Decision Procedure for Restricted Intensional Sets.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 26, 2017

2016

A Decision Procedure for Sets, Binary Relations and Partial Functions.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Adding partial functions to Constraint Logic Programming with sets.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

CML-DEVS: A specification language for DEVS conceptual models.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2015

Coverage Criteria for Set-Based Specifications.

[BibT_eX]

[DOI]

Joaquín Cuenca

RITA, 2015

Formal and semi-formal verification of a web voting system.

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2015

Helping Programmers to Adopt Set-Based Specifications.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015

2014

Tool support for the Test Template Framework.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2014

A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2014

A Functional Verification of a Web Voting System.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Joaquín Mesuro

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

{log} as a Test Case Generator for the Test Template Framework.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

2012

Applying SMT Solvers to the Test Template Framework

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Adapting model-based testing techniques to DEVS models validation.

[BibT_eX]

[DOI]

Proceedings of the 2012 Spring Simulation Multiconference, 2012

Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Applying the Test Template Framework to Aerospace Software.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

A Language for Test Case Refinement in the Test Template Framework.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions.

[BibT_eX]

[DOI]

Pablo Albertengo

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

On Comparing and Complementing two MBT approaches.

[BibT_eX]

[DOI]

Valdivino Alexandre de Santiago Jr.

Nandamudi L. Vijaykumar

Proceedings of the 11th Latin American Test Workshop, 2010

Generating Natural Language Descriptions of Z Test Cases.

[BibT_eX]

[DOI]

Brian Plüss

Proceedings of the INLG 2010, 2010

2009

First Approximation to DHD Design and Implementation.

[BibT_eX]

[DOI]

Alejandro Sartorio

CLEI Electron. J., 2009

Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing.

[BibT_eX]

[DOI]