Publications
- "Polychronous analysis of timing constraints in UML MARTE" Yue, H., Talpin, J.-P.,Besnard, L., Gautier, T., Mallet, F., André, C., de Simone, R. International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design (MOBE-RTES'10). IEEE Press, 2010.
- "The synchronous hypothesis and polychronous languages" Potop-Butucaru D., De Simone, R., Talpin, J.-P. Chapter in Networked Embedded Systems. CRC Press, 2009.
- "Programming models for multi-core embedded systems" Jose, B., Xue, B., Shukla, S., Talpin, J.-P. Chapter in Multi-core Embedded Systems. Taylor and Francis, 2009.
- "Clock-driven distributed real-time implementation of endochronous synchronous programs" Potop-Butucaru D., De Simone, R., Sorel, Y., Talpin, J.-P.Embedded Software Conference (EMSOFT'09). ACM Press, 2009.
- "A Boolean algebra of contracts for assume-guarantee reasoning" Glouche, Y., Le Guernic, P., Talpin, J.-P., Gautier, T. Formal Aspects of Component Software (FACS'09). Elsevier, 2009.
- "Model-Driven Engineering and Formal Validation of High-Performance Embedded Systems", Gamatié A., Rutten E., Yu H., Boulet P., Dekeyser J.-L. Scalable Computing: Practice and Experience, SCPE, vol. 10, n. 2, June 2009.
- "A module language for typing by contracts" Glouche, Y., Talpin, J.-P., Le Guernic, P., Gautier, T. NASA Formal Methods Symposium (NFM'09). Springer, 2009.
- "From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations" Potop-Butucaru D., De Simone, R., Sorel, Y., Talpin, J.-P. Application of Concurrency to System Design (ACSD'09). IEEE Press, 2009.
- "Separate compilation and execution of imperative synchronous modules" Vecchie, E., Talpin, J.-P., Schneider, K. Design Analysis and Test in Europe (DATE'09). IEEE, April 2009.
- "On the automatic inference of synchronization logic for multi-threaded software synthesis from polychronous specifications" Jose, B., Shukla, S., Patel, H., Talpin, J.-P. ACM-IEEE Conference on Methods and Models for Codesign (MEMOCODE'08). IEEE, June 2008.
- "Analysis of periodic clock relations in polychronous systems" Talpin, J.-P., Métivier, H., Gautier, T., Le Guernic, P. IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES'08). Springer, September 2008.