Brief
I am a Phd Student at VERIMAG in the
DCS group.
Advisor: Saddek Bensalem
I am currently working on architectural constraints in BIP.
Publications:
- Ananda Basu, Saddek Bensalem, Paraskevas Bourgos, Marius Bozga and Joseph Sifakis. Integrating Architectural Constraints in Application Software by Using Model Transformations in BIP. IEEE International High-Level Design Validation and Test Workshop Collocated with DAC 2010., Anaheim, California, June 10-12, 2010
- P. Bourgos, A. Basu, S. Bensalem, K. Huang, J. Sifakis. Integrating Architectural Constraints in Application Software by Source-to-Source Transformation in BIP. Technical Report. Verimag 2011
- P. Bourgos, K. Huang, A. Basu, M. Bozga, S. Bensalem and J. Sifakis. Rigorous System Level Modeling and Analysis of Mixed HW/SW Systems. MEMOCODE 2011, Cambridge, UK
- Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos and Joseph Sifakis. Rigorous System Design: The BIP approach. MEMICS 2011, Lednice, Czech Republic
- Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem. From BIP System Model to Platform P2012: A Code Generation Flow. P2012 Developers Conference, Grenoble
- Christian Fabre, Iuliana Bacivarov, Lothar Thiele, Hoeseok Yang, Pratyush Kumar, Devesh Chokshi, Ahmed Jerraya, Julien Mottin, Jean-Pierre Krimm, Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Martino Ruggiero, Luca Benini, Andrea Marongiu, Eric Flamand and Diego Melpignano. PRO3D-Programming for Future 3D Manycore Architectures. INA-OCMC 2012, Paris, France
