Home Page of Marc Galceran Oms

Marc Galceran Oms

PhD Student
Departament de Llenguatges i Sistemes Informàtics
Universitat Politècnica de Catalunya

Campus Nord, Edifici Omega - S108
c/ Jordi Girona Salgado 1-3
08034 Barcelona

E-mail : mgalceran _at_ lsi.upc.edu

What I am doing now :

Master's Thesis :

Marc Galceran. Elastic Esterel. Master's Thesis. Universitat Politècnica de Catalunya, 2007. [pdf]

Publications :

T. Kam, M. Kishinevsky, J. Cortadella, and M. Galceran-Oms.
Correct-by-construction microarchitectural pipelining.
In Proc. International Conf. Computer-Aided Design (ICCAD), November 2008. [bib]
P. Manolios, M. Galceran-Oms, and S. Oliva Valls.
Checking Pedigree Consistency with SAT.
In Proc. International Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). March 2007. [pdf|bib]

Where every search usually starts ...