Publications 2005

Academic Journals

1. Dimitru Potop-Butucaru, Robert De Simone, Jean-Pierre Talpin. The synchronous hypothesis and synchronous languages. Embedded Systems Handbook, 2005.
2. Jean-Pierre Talpin, Paul Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods in System Design, Special Issue on formal methods for GALS design, 2005.
3. Jean-Pierre Talpin, Paul Le Guernic, Sandeep Shukla, Rajesh Gupta. Compositional behavioral modeling of embedded systems and conformance checking. International Journal on Parallel processing, special issue on testing of embedded systems, 2005.
4. Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla. XFM :An Incremental Methodology for Developing Formal Models. ACM Transactions on Design Automation of Electronic Systems (TODAES) Special Issue on Validation of Large Systems, October 2005.

International Conferences

1. Jean-Pierre Talpin, Sandeep Shukla. Automated clock inference for stream function-based system level specifications. In High-level design, validation and test workshop (HLDVT), IEEE Press, 2005.
2. Jean-Pierre Talpin, Dimitru Potop-Butucaru, Julien Ouy, Benoit Caillaud. From multi-clocked synchronous specifications to latency-insensitive systems. In Embedded Software Conference (EMSOFT), ACM Press, 2005.
3. David Berner, Hiren Patel, Deepak Mathaikutty, Sandeep Shukla. Automated Extraction of Structural Information from SystemC-based IP for Validation. In Proc. of 6th International Workshop on Microprocessor Test and Verification (MTV'05), Austin Texas, USA, November 2005.
4. Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla. Validating Families of Latency Insensitive Protocols. In To be published in Proceedings of the IEEE International High Level Design Validation and Test Workshop (HLDVT), Napa Valley, California, USA, November 2005.
5. Jean Bézivin, Christian Brunette, Régis Chevrel, Frédéric Jouault, Ivan Kurtev. Bridging the \textscGeneric \textscModeling \textscEnvironment and the \textscEclipse \textscModeling \textscFramework. In Proc. of the 4th workshop in Best Practices for Model Driven Software Development, OOPSLA, October 2005.
6. David Berner, Hiren Patel, Deepak Mathaikutty, Jean-Pierre Talpin, Sandeep Shukla. SystemCXML: An Extensible SystemC Front End Using XML. In Proceedings of the Forum on specification and design languages (FDL), Lausanne, Switzerland, September 2005.
7. Frederic Doucet, Massimiliano Menarini, Ingolf Kruger, Jean-Pierre Talpin, Rajesh Gupta. A verification approach for GALS integration of synchronous components. In Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS), Verona, Italy, July 2005.
8. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Dealing with Real-Time Issues within the Polychronous Framework. In Proceedings of the 17th Euromicro Conference on Real Time Systems (ECRTS'05), Work-in-Progress Session, Palma de Mallorca, Balearic Islands - Spain, July 2005.
9. Julien Ouy. A survey of desynchronization in a polychronous model of computation. In Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS), Verona, Italy, July 2005.
10. Syed Suhaib, David Berner, Deepak Mathaikutty, Jean-Pierre Talpin, Sandeep Shukla. A Functional Programming Framework for Latency Insensitive Protocol Validation. In Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS), Verona, Italy, July 2005.
11. Laurent Rioux, Thierry Saunier, Sebastien Gérard, A Radermacher, Robert De Simone, Thierry Gautier, Yves Sorel, J Forget, Jean-Luc Dekeyser, A Cuccuru, C Dumoulin, Charles André. MARTE: A New OMG Profile RFP for the Modeling and Analysis of Real-Time Embedded Systems. In DAC 2005 Workshop UML for SoC Design, UML-SoC'05, Anaheim CA, USA, June 2005.
12. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Conception Synchrone d'Applications Avioniques par Raffinement de Modèles. In Proc. of the 13th International Conference on Real-time Systems (RTS'2005), Paris - France, April 2005.

Research Reports

1. Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A Modeling Paradigm for Integrated Modular Avionic Design. Research Report INRIA, No 5715, October 2005.
2. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Systems. Research Report INRIA, No 5509, March 2005.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Last update Thu Mar 1 13:58:00 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.