| Contact
Universidad Carlos III de Madrid Av. Universidad 30 28911 Leganés (Madrid) España email: mcristina WHERE arcos DOM inf DOM uc3m DOM es email: mariacristina DOM marinescu WHERE gmail DOM com email: mariacristina WHERE csail DOM mit DOM edu phone: (+34) 91 624 9143
Research Interests
|
Publications
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
From Statecharts to ESP*: Programming with Events, States, and Predicates for Embedded Systems
A
Formal Framework for Modular Synchronous System Design
Synthesis of Synchronous Pipelined
Circuits from High-Level Modular Specifications
High-level
Automatic Pipelining for Sequential Circuits
High-level
Synthesis of Pipelined Circuits from Modular Queue-Based Specifications
High-level
Specification and Efficient Implementation of Pipelined Circuits
A
Synthesis Algorithm for Modular Design of Pipelined Circuits
John Field, Maria-Cristina Marinescu, and Christian Stefansen, in review for Theory of Computer Science, 2008.
John Field, Maria-Cristina Marinescu, and Christian Stefansen, Coordination 2007, Paphos, Cyprus, June 2007.
Vugranam Sreedhar and Maria-Cristina Marinescu, EMSOFT 2005, Jersey City, USA, Sept. 2005.
Maria-Cristina Marinescu and Martin Rinard,
Formal Methods Europe 2003, Pisa, Italy, Sept. 2003
Maria-Cristina Marinescu, PhD Thesis,
April 2002
Maria-Cristina Marinescu and Martin Rinard,
Proceedings of the 14th International Symposium on System Synthesis, ISSS
2001, Montreal, Canada, Sept.-Oct. 2001
Maria-Cristina Marinescu and Martin Rinard,
IEICE Transactions, Special Issue on VLSI Design and CAD Algorithms, 2001
Maria-Cristina Marinescu and Martin Rinard,
Proceedings of ASP-DAC Asia and South Pacific Design Automation Conference
2001, Yokohama, Japan, Jan.-Feb. 2001
Maria-Cristina Marinescu and Martin Rinard,
Proceedings of the X IFIP International Conference on VLSI, Lisbon, Portugal,
Dec. 1999