Nora Szasz

ORCID

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 7

Top Venues

LSFA

LFMTP@FSCD

CIbSE

Sci. Comput. Program.

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

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

Nora Szasz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nora Szasz