Nora Szasz

26 papers C 1Journal 8Unranked 16
YearRankTypeTitle / Venue / Authors
2025 — conf
Dependently Sorted Nominal Signatures.
LFMTP@FSCD
Maribel Fernández, Miguel Pagano, Nora Szasz, Álvaro Tasistro
2025 J jnl
Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny.
CoRR
Juan Pablo Carbonell, José E. Solsona, Nora Szasz, Álvaro Tasistro
2021 J jnl
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention.
Math. Struct. Comput. Sci.
Ernesto Copello, Nora Szasz, Álvaro Tasistro
2020 — conf
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda.
LSFA
Sebastián Urciuoli, Álvaro Tasistro, Nora Szasz
2018 — conf
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders.
LFMTP@FSCD
Ernesto Copello, Nora Szasz, Álvaro Tasistro
2018 — conf
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.
LFMTP@FSCD
Martín Copes, Nora Szasz, Álvaro Tasistro
2017 J jnl
Formal metatheory of the Lambda calculus using Stoughton's substitution.
Theor. Comput. Sci.
Ernesto Copello, Nora Szasz, Alvaro Tasistro
2017 — conf
Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory.
LSFA
Ernesto Copello, Nora Szasz, Álvaro Tasistro
2016 J jnl
Heterogeneous verification in the context of model driven engineering.
Sci. Comput. Program.
Daniel Calegari, Till Mossakowski, Nora Szasz
2015 — conf
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.
LSFA
Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández
2015 — conf
Dependent Types for Nominal Terms with Atom Substitutions.
TLCA
Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro
2015 J jnl
Institution-based foundations for verification in the context of model-driven engineering.
Sci. Comput. Program.
Daniel Calegari, Nora Szasz
2014 — conf
Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus.
LSFA
Alvaro Tasistro, Ernesto Copello, Nora Szasz
2014 — conf
Model-Driven Engineering in the Heterogeneous Tool Set.
SBMF
Daniel Calegari, Till Mossakowski, Nora Szasz
2013 — conf
Automatizacion del Proceso de Instanciacion del Comportamiento de Productos de una Linea de Productos de Software.
CIbSE
Ariel Gonzalez, Fabio Zorzan, Carlos Luna, Nora Szasz
2013 — conf
Bridging Technological Spaces for the Verification of Model Transformations.
CIbSE
Daniel Calegari, Nora Szasz
2013 — conf
Institution-Based Semantics for MOF and QVT-Relations.
SBMF
Daniel Calegari, Nora Szasz
2012 — conf
Verification of Model Transformations: A Survey of the State-of-the-Art.
CLEI Selected Papers
Daniel Calegari, Nora Szasz
2011 J jnl
Institutionalising UML 2.0 state machines.
Innov. Syst. Softw. Eng.
Daniel Calegari, Nora Szasz
2010 — conf
A Type-Theoretic Framework for Certified Model Transformations.
SBMF
Daniel Calegari, Carlos Luna, Nora Szasz, Alvaro Tasistro
2008 — conf
Statecharts and Variabilities.
VaMoS
Nora Szasz, Pedro Vilanova
2008 C conf
UML 2.0 Interactions with OCL/RT Constraints.
FDL
Daniel Calegari, María Victoria Cengarle, Nora Szasz
2003 J jnl
Reduction Strategies for Program Extraction.
CLEI Electron. J.
Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz
2001 J jnl
Studies of a Theory of Specifications with Built-in Program Extraction.
J. Autom. Reason.
Paula Severi, Nora Szasz
1999 — conf
Specification of a Smart Card Operating System.
TYPES
Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro
1997 — —
A Theory of Specifications Programs and Proofs.
Nora Szasz