Nora Szasz

Math. Struct. Comput. Sci., 2021

2020

Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda.

[BibT_eX]

[DOI]

Sebastián Urciuoli

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

2018

Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.

[BibT_eX]

[DOI]

Martín Copes

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2018

Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2018

2017

Formal metatheory of the Lambda calculus using Stoughton's substitution.

[BibT_eX]

[DOI]

Alvaro Tasistro

Theor. Comput. Sci., 2017

Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

2016

Heterogeneous verification in the context of model driven engineering.

[BibT_eX]

[DOI]

Till Mossakowski

Sci. Comput. Program., 2016

2015

Institution-based foundations for verification in the context of model-driven engineering.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.

[BibT_eX]

[DOI]

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Dependent Types for Nominal Terms with Atom Substitutions.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2014

Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus.

[BibT_eX]

[DOI]

Alvaro Tasistro

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

Model-Driven Engineering in the Heterogeneous Tool Set.

[BibT_eX]

[DOI]

Till Mossakowski

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2013

Institution-Based Semantics for MOF and QVT-Relations.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software.

[BibT_eX]

Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013

Bridging Technological Spaces for the Verification of Model Transformations.

[BibT_eX]

Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013

2012

Verification of Model Transformations: A Survey of the State-of-the-Art.

[BibT_eX]

[DOI]

Proceedings of the XXXVIII Latin American Computer Conference - Selected Papers, 2012

2011

Institutionalising UML 2.0 state machines.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2011

2010

A Type-Theoretic Framework for Certified Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications, 2010

2008

Statecharts and Variabilities.

[BibT_eX]

[DOI]

Pedro Vilanova

Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

UML 2.0 Interactions with OCL/RT Constraints.

[BibT_eX]

[DOI]

María Victoria Cengarle

Proceedings of the Forum on specification and Design Languages, 2008

2003

Reduction Strategies for Program Extraction.

[BibT_eX]

[DOI]

CLEI Electron. J., 2003

2001

Studies of a Theory of Specifications with Built-in Program Extraction.

[BibT_eX]

[DOI]

Paula Severi

J. Autom. Reason., 2001

1999

Specification of a Smart Card Operating System.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, 1999

1997

A Theory of Specifications Programs and Proofs.

[BibT_eX]

[DOI]