|
I was born in Rosario, Argentina and got my Bachelor's degree
in computer science at FCIEA, UNR
I've been living in Nijmegen since 2007.
Contact Information
- Email: tamalet at cs.ru.nl
- Phone: +31 24 3652672
- Mail: Faculty of Science, University of Nijmegen
Postbus 9010, 6525 AJ, Nijmegen, The Netherlands
- Visiting Address: Heyendaalseweg 135, Nijmegen,
The Netherlands, Room 02.066 (second floor)
Research Interests
- Static analysis of programs, in particular
memory consumption
- Type systems and program logics
- Theorem proving and model checking
Publications
Submitted
-
Erik Schierboom, Alejandro Tamalet,
Hendrik Tews,
Marko van Eekelen and
Sjaak Smetsers
Preemption Abstraction. A Lightweight Approach to Modelling Concurrency
Submitted to the 14th International Workshop on Formal Methods
for Industrial Critical Systems (FMICS 2009).
UPDATE: The paper has been accepted for publication. I am working on
the final version.
The zip file contains the PVS (v4.0) formalisation.
Conferences
-
Olha Shkaravska,
Marko van Eekelen and
Alejandro Tamalet
Collected Size Semantics for Functional Programs
To appear in the proceedings of the 20th International Symposium on
the Implementation and Application of Functional Languages (IFL 2008).
-
Marieke Huisman
and Alejandro Tamalet
A Formal Connection between Security Automata and JML Annotations
Fundamental Approaches to Software Engineering, 12th International
Conference, FASE 2009, Held as Part of the Joint European
Conferences on Theory and Practice of Software, ETAPS 2009,
York, UK, March 22-29, 2009 Pages 340-354.
The zip file contains the PVS (v4.2) formalisation
-
Alejandro Tamalet, Olha Shkaravska
and Marko van Eekelen
Size Analysis of Algebraic Data Types
Peter Achten, Pieter Koopman and Marco T. Morazán editors,
Trends in Functional Programming Volume 9 (TFP'08).1
Pages 33-48, Intellect Publishers, 2009.
Technical Reports
Others
-
Alejandro Tamalet
Yet Another Semantics for Proving Class Correctness
Master thesis supervised by professor Javier Blanco, April 2006.
|
