Publications 2004

Books

1. C. Heitmeyere, J.P. Talpin (eds.). Proceedings of the 2nd. ACM-IEEE conference on methods and models for codesign. IEEE Press, 2004. download
2. R. Gupta, P. Le Guernic, S. Shukla, J.P. Talpin (eds.). Formal Methods and Models for System Design. Kluwer Academic Publishers, 2004.

Academic Journals

1. M. Kerboeuf, J.P. Talpin. Encapsulation and behavioural inheritance in a synchronous model of computation for embedded system services adaptation. Journal of Logics and Algebraic Programming, 2004.
2. J.P. Talpin, P. Le Guernic, S. K. Shukla, R. Gupta, F. Doucet. Formal refinement checking in a system-level design methodology. Fundamenta Informaticae, 2004.

Book Chapters

1. D. Berner, S. Suhaib, S. Shukla, J.P. Talpin. Capturing formal specifications into abstract models, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004.
2. J.P. Talpin, P. Le Guernic. Algebraic theory for behavioral type inference, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004.
3. J.P. Talpin, D. Berner, S. Shukla, P. Le Guernic, A. Gamatié, R. Gupta. Behavioral type inference for compositional system design, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004.

International Conferences

1. D. Berner, J.P. Talpin, P. Le Guernic, S. K Shukla. Modular design through component abstraction. In International conference on compilers, architectures and synthesis for embedded systems, 2004.
2. M. Mousavi, P. Le Guernic, J.P. Talpin, S. Shukla, T. Basten. Modeling and validation of asynchronous systems in synchronous frameworks. In Design Analysis and Test Europe, 2004.
3. J.P. Talpin, D. Berner, S. K. Shukla, A. Gamatié, P. Le Guernic, R. Gupta. A behavioral type inference system for compositional system-on-chip design. In Application of Concurrency to System Design, 2004.
4. Syed Suhaib, Deepak Mathaikutty, David Berner, Sandeep Shukla. Extreme Formal Modeling (XFM) for Hardware Models. In 5th International Workshop on Microprocessor Test and Verification, September 2004.
5. A. Gamatié, T. Gautier, P. Le Guernic. An Example of Synchronous Design of Embedded Real-Time Systems based on IMA. In Proceedings of the 10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA'2004), Gothenburg, Sweden, August 2004.

Misc

1. . UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (RT/E-ML. October 2004.
2. L. Besnard, T. Gautier, P. Le Guernic. SIGNAL V4-INRIA version: Reference Manual. March 2004.

PhD Thesis

1. A. Gamatié. Modélisation polychrone et évaluation de systèmes temps réel. PhD Thesis, May 2004.

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.