Publications de Jean-Pierre Talpin

Load the BibTeX file

Livres

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

Articles de journaux

1. Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin. From concurrent multi-clock programs to concurrent multi-threaded implementations. Fundamenta Informaticae, 2011.
2. Yue Ma, Thierry Gautier, Jean-Pierre Talpin, Paul Le Guernic, Huafeng Yu. Modélisation compositionnelle d'architectures GALS dans un modèle de calcul polychrone. Journal Européen des Systèmes Automatisés, Novembre 2011.
3. Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loic Besnard, Paul Le Guernic. Compositional design of isochronous systems. Science of Computer Programming, 2010.
4. D. Potop-Butucaru, R. De Simone, J.-P. Talpin. The synchronous hypothesis and polychronous languages. 2009.
5. B. Jose, B. Xue, S. Shukla, J.-P. Talpin. 2009.
6. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Applications. ACM Transactions on Software Engineering and Methodology (TOSEM), 2007.
7. Jean-Pierre Talpin, Paul Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design. Formal Methods in System Design, 2006.
8. 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.
9. 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.
10. Dimitru Potop-Butucaru, Robert De Simone, Jean-Pierre Talpin. The synchronous hypothesis and synchronous languages. Embedded Systems Handbook, 2005.
11. 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.
12. 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.
13. Paul Le Guernic, Jean-Pierre Talpin, J.-C. Le Lann. Polychrony for system design. Journal of Circuits, Systems and Computers. Special Issue on Application Specific Hardware Design, 2002.
14. M. Tofte, J.P. Talpin. Region-based memory management. Information and Computation, 132(2):109-176, 1997.

Chapitres de livres

1. Loic Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Compilation of Polychronous Data Flow Equations. In Synthesis of Embedded Software, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Springer, 2010.
2. Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. A Module Language for Typing Signal Programs by Contracts. In Synthesis of Embedded Software, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Springer, 2010.
3. A. Cortier, L. Besnard, J.-P. Bodeveix, J. Buisson, F. Dagnat, M. Filali, G. Garcia, J. Ouy, M. Pantel, A. Rugina, M. Strecker, J.-P. Talpin. Synoptic : a domain-specific modeling language for space on-board application software. In Synthesis of Embedded Software, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Springer, 2010.
4. 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.
5. 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.
6. 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.

Conférences internationales

1. Huafeng Yu, Y. Ma, Y. Glouche, J.-P. Talpin, L. Besnard and T. Gautier, P. Le Guernic, A. Toom, O. Laurent. System-level Co-simulation of Integrated Avionics Using Polychrony. In Proceedings of the 26th ACM Symposium On Applied Computing (SAC'11), 2011.
2. Zhibin Yang, Jean-Paul Bodeveix, Lei Pi, D. Ma, Jean-Pierre Talpin. Two formal semantics for a subset of the AADL. In UML&AADL workshop at the IEEE International Conference on Engineering of Complex Computer Systems, 2011.
3. Jens Brandt, Michael Gemunde, Klaus Schneider, Sandeep Shukla, Jean-Pierre Talpin. Integrating System Descriptions by Clocked Guarded Actions. In Forum on Design Languages, Septembre 2011.
4. Huafeng Yu, Jean-Pierre Talpin, Lo\"\ic Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic. Polychronous Controller Synthesis from MARTE CCSL Timing Specifications. In ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Cambridge, United Kingdom, Juillet 2011. download
5. Virginia Papailiopoulou, Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin. From concurrent multi-clock programs to concurrent multi-threaded implementations. In Electronic System Level Synthesis Conference, San Diego, California, United States, Juin 2011. download
6. Yue Ma, Huafeng Yu, Thierry Gautier, Jean-Pierre and Besnard, Lo\"\ic Talpin, Paul Le Guernic. System Synthesis from AADL using Polychrony. In Electronic System Level Synthesis Conference, Juin 2011.
7. Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loic Besnard, Thierry Gautier, Paul Le Guernic, Andreas Toom, Odile Laurent. System-level Co-simulation of Integrated Avionics Using Polychrony. In ACM Symposium On Applied Computing, TaiChung, Taiwan, Province Of China, Mars 2011. download
8. Huafeng Yu, Jean-Pierre Talpin, Lo@c Besnard, Thierry Gautier, Frederic Mallet, Charles Andre, Robert De Simone. Polychronous Analysis of Timing Constraints in UML MARTE. In IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, Espagne Parador of Carmona, 2010.
9. Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loic Besnard, Alexandre Cortier. Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. In Proceedings of the 2010 10th International Conference on Application of Concurrency to System Design, ACSD '10, Pages 137-146, 2010.
10. Yue Ma, Jean-Pierre Talpin, Thierry Gautier. Interpretation of AADL Behavior Annex into Synchronous Formalism using SSA. In Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology, Pages 2361-2366, 2010.
11. Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. In Proceedings of the 2010 10th International Workshop on Automated Verification of Critical Systems, AVOCS '10, Pages 168-183, 2010.
12. E. Vecchie, J.-P. Talpin, S. Boisgerault. A higher-order extension for imperative synchronous languages. In Software and Compilers for Embedded Systems, SCOPES'10, Pages 168-183, 2010.
13. D. Potop-Butucaru, R. De Simone, Y. Sorel, J.-P Talpin. Clock-driven distributed real-time implementation of endochronous synchronous programs. In Embedded Software Conference (EMSOFT'09), 2009.
14. L. Besnard, T. Gautier, M. Moy, J.-P. Talpin, K. Johnson, F. Maraninchi. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. In Ninth International Workshop on Automated Verification of Cirtical Systems (AVOCS'09), à paraître in Electronic Communications of the EASST, 2009.
15. D. Potop-Butucaru, R. De Simone, Y. Sorel, J.-P. Talpin. From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations. In Application of Concurrency to System Design (ACSD'09), 2009.
16. Y. Ma, J.-P. Talpin, S. Shukla, T. Gautier. Distributed simulation of AADL specifications in a polychronous model of computation. In International Conference on Embedded Software and Systems (ICESS'09), 2009.
17. Y. Glouche, P. Le Guernic, J.-P Talpin, T. Gautier. A Boolean algebra of contracts for logical assume-guarantee reasoning. In 6th International Workshop on Formal Aspects of Component Software (FACS 2009), à paraître in ENTCS (Electronic Notes in Theoretical Computer Science), Novembre 2009.
18. Y. Glouche, J.-P. Talpin, P. Le Guernic, T. Gautier. A module language for typing by contracts. In Proceedings of the First NASA Formal Methods Symposium (NFM'09), E. Denney, D. Giannakopoulou, C. S. P\uas\uareanu (eds.), Pages 86-95, Avril 2009.
19. E. Vecchie, J.-P. Talpin, K. Schneider. Separate compilation and execution of imperative synchronous modules. In Design Analysis and Test in Europe (DATE'09), Avril 2009.
20. B. Jose, S. Shukla, H. Patel, J.P. Talpin. On the automatic inference of synchronization logic for multi-threaded software synthesis from polychronous specifications. In ACM-IEEE Conference on Methods and Models for Codesign, 2008.
21. Y. Ma, J.P. Talpin, T. Gautier. Virtual prototyping AADL architectures in a polychronous model of computation. In ACM-IEEE Conference on Methods and Models for Codesign, 2008.
22. Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic. Analysis of periodic clock relations in polychronous systems. In IFIP, Distributed Embedded Systems: Design, Middleware and Ressources (DIPES'08), Volume 271, Milano, Septembre 2008.
23. Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic. Separate compilation of polychronous specifications. In Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007.
24. Sandeep Shukla, Sihed Suhaib, Deepak Mathaikutty, Jean-Pierre Talpin. On the polychronous approach to embedded software design. In Next generation design and verification methodologies for distributed embedded systems, 2007.
25. S Suhaib, D Mathiakutty, Sandeep Shukla, Jean-Pierre Talpin. Polychronous methodology for system design, a true concurrency approach. In High-level design, validation and test workshop, IEEE Press, Novembre 2006.
26. Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié. Polychronous mode automata. In Embedded Software Conference, ACM Press, Septembre 2006.
27. Christian Brunette, R Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A modeling paradigm for integrated modular avionics design. In Software Engineering and Advanced Application, IEEE Press, Septembre 2006.
28. François Vernadat, Christian Percebois, Patrick Farail, R Vingerhoes, Alain Rossignol, Jean-Pierre Talpin, David Chemouil. The Topcased project - a toolkit in open-source for critical application and system development. In International Space System Engineering Conference, Eurospace, Mai 2006.
29. Christian Brunette, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier. Modeling multi-clocked data-flow programs using the Generic Modeling Environment. In Synchronous Languages, Applications, and Programming, Elsevier, Mars 2006.
30. Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard. Automated translation of C/C++ programs into a synchronous formalism. In Engineering of Computer Based Systems, IEEE Press, Mars 2006.
31. 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.
32. 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.
33. 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, Septembre 2005.
34. 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, Juillet 2005.
35. 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, Juillet 2005.
36. 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, Juillet 2005.
37. 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.
38. 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.
39. 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.
40. Jean-Pierre Talpin, Paul Le Guernic, S. K. Shukla, R. Gupta, F. Doucet. A polychronous model for high-level component-based system design. In Digital Automation and Test Europe, Mars 2003.
41. A. Benveniste, P. Caspi, Le Guernic Guernic P, H. Marchand, Jean-Pierre Talpin, S. Tripakis. A Protocol for Loosely Time-Triggered Architectures. In Proc. of 2002 Conference on Embedded Software (EMSOFT'02), J. Sifakis, A. Sangiovanni-Vincentelli (eds.), LNCS, Volume 2491, Octobre 2002.
42. M. Kerboeuf, D. Nowak, J. P. Talpin. The steam-boiler problem in SIGNAL-COQ. In International Conference on Theorem Proving in Higher-Order Logics, Lecture Notes in Computer Science, Août 2000.
43. Y. Wang, J. P. Talpin, A. Benveniste, P. Le Guernic. Compilation and distribution of state machines using Spots. In 16th IFIP World Computer Congress (WCC'2000), Août 2000.
44. M. Kerboeuf, D. Nowak, J. P. Talpin. The steam-boiler problem in SIGNAL-COQ. In International Conference on Theorem Proving in Higher-Order Logics, Lecture Notes in Computer Science, Août 2000.
45. Y. Wang, J. P. Talpin, A. Benveniste, P. Le Guernic. A semantics of UML state-machines using synchronous pre-order transition systems. In International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2000), Mars 2000.
46. F. Besson, T. Jensen, J.-P. Talpin. Timed polyhedra analysis for synchronous languages. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), LNCS volume 1664, Août 1999.
47. D. Nowak, J.P. Talpin, P. Le Guernic. Synchronous Structures. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), Volume 1664 of LNCS, Août 1999.
48. J.P. Talpin, D. Nowak. A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. In International Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS'98), Décembre 1998.
49. D. Nowak, J.R. Beauvais, J.P. Talpin. Co-Inductive Axiomatization of a Synchronous Language. In Theorem Proving in Higher Order Logics (TPHOLs'98), Pages 387-399, Septembre 1998.
50. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon. BDL, a language of distributed reactive objects. In International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98), Avril 1998.
51. D. Nowak, J.P. Talpin, T. Gautier, P. Le Guernic. An ML-like module system for the synchronous language Signal. In European Conference on Parallel Processing (Euro-Par'97), Pages 1244-1253, Août 1997.
52. J.P. Talpin. Reactive types. In International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'97), Avril 1997.
53. Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Real-Time Applications with SIGNAL. In ARTIST Survey of Programming Languages, Alan Burns (ed.), 0.

Rapports de recherche

1. Virginia Papailiopoulou, Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, Jean-Pierre Talpin. From concurrent multi-clock programs to concurrent multi-threaded implementations. Research Report INRIA, No 0, Mars 2011. download
2. Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. Rapport de recherche INRIA, Juin 2010.
3. Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier. A boolean algebra of contracts for logical assume-guarantee. Rapport de recherche INRIA, 2008.
4. Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic. Compositional design of isochronous systems. 2007. download
5. Christian Brunette, Romain Delamare, Abdoulaye Gamatié, Thierry Gautier, Jean-Pierre Talpin. A Modeling Paradigm for Integrated Modular Avionic Design. Rapport de recherche INRIA, No 5715, Octobre 2005.
6. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Systems. Rapport de recherche INRIA, No 5509, Mars 2005.
7. Jean-Pierre Talpin. A simplified account of region inference. rr Inria, No 4104, Septembre 2001.
8. B. Caillaud, J. P. Talpin, J.M. Jezequel, A. Benveniste, C. Jard. BDL: a semantics backbone for UML dynamic diagrams. Rapport de recherche Inria, No 4003, Septembre 2000.
9. B. Caillaud, J.P. Talpin, J.M. Jezequel, A. Benveniste, C. Jard. BDL: a semantics backbone for UML dynamic diagrams. rr Inria, No 4003, Septembre 2000.
10. Y. Wang, J. P. Talpin, A. Benveniste, P. Le Guernic. Pre-order semantics of UML state machines. Rapport de recherche Irisa, No 1336, Juin 2000.
11. J.P Talpin. Rapport de recherche Irisa, No 1305, Mars 2000.
12. J. P. Talpin. Synchronous modeling and asynchronous deployment of mobile processes. rr Inria, No 3893, Mars 2000.
13. J.-P. Talpin, A. Benveniste, B. Caillaud, P. Le Guernic. Hierarchic Normal Forms for desynchronization. Rapport de recherche Irisa, No 1288, Décembre 1999.
14. M. Kerboeuf, D. Nowak, J.-P. Talpin. The steam-boiler problem in SIGNAL-COQ. Rapport de recherche Irisa / Inria-Rennes, No 3773, Octobre 1999.
15. J.-P. Talpin, A. Benveniste, P. Le Guernic. Asynchronous deployment of synchronous transition systems. Rapport de recherche Irisa, No 1269, Octobre 1999.
16. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon. BDL, a language of distributed reactive objects. Rapport de recherche Irisa / Inria-Rennes, No 3353, Février 1998.
17. D. Nowak, J.P. Talpin, T. Gautier. Un système de modules avancé pour Signal. Rapport de recherche Irisa / Inria-Rennes, No 3176, Juin 1997.

Divers

1. F. Dupont, L. Besnard, J.-P Talpin. Outillage du langage de modélisation Synoptic en vue de la simulation. Deliverable SPa4, Projet ANR Spacify, 2009.
2. J. Ouy, J.-P Talpin. Transformation de modèles Synoptic vers Signal/SME. Deliverable SPa4b, Projet ANR Spacify, 2009.
3. L. Besnard, T. Gautier, J.-P Talpin. Code generation strategies for Synoptic using the Polychrony platform. Deliverable SPa5b, Projet ANR Spacify, 2009.
4. L. Besnard, M. Moy, F. Maraninchi, J.-P. Talpin. 0. download

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Dernières modifications Thu Mar 1 13:57:55 2012

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