Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Besnard, Loïc, Gautier, Thierry, Ouy, Julien, Talpin, Jean-Pierre, Bodeveix, Jean-Paul, Cortier, Alexandre, Pantel, Marc, Strecker, Martin, Garcia, Gérald, Rugina, Ana-Elena, Buisson, Jérémy, Dagnat, Fabien
Published in Electronic proceedings in theoretical computer science (28.03.2010)
Published in Electronic proceedings in theoretical computer science (28.03.2010)
Get full text
Journal Article
From design-time concurrency to effective implementation parallelism: The multi-clock reactive case
Papailiopoulou, V., Potop-Butucaru, D., Sorel, Y., de Simone, R., Besnard, L., Talpin, J.
Published in 2011 Electronic System Level Synthesis Conference (ESLsyn) (01.06.2011)
Published in 2011 Electronic System Level Synthesis Conference (ESLsyn) (01.06.2011)
Get full text
Conference Proceeding
A Verification Approach for GALS Integration of Synchronous Components
Doucet, F., Menarini, M., Krüger, I.H., Gupta, R., Talpin, J.-P.
Published in Electronic notes in theoretical computer science (26.01.2006)
Published in Electronic notes in theoretical computer science (26.01.2006)
Get full text
Journal Article
Embedding Polychrony into Synchrony
Brandt, J., Gemunde, M., Schneider, K., Shukla, S. K., Talpin, J-P
Published in IEEE transactions on software engineering (01.07.2013)
Published in IEEE transactions on software engineering (01.07.2013)
Get full text
Journal Article
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications
Bouakaz, A., Talpin, J., Vitek, J.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Polychrony for formal refinement-checking in a system-level design methodology
Talpin, J.-P., Le Guernic, P., Sandeep Kumar Shukla, Rajesh Gupta, Doucet, F.
Published in Third International Conference on Application of Concurrency to System Design, 2003. Proceedings (2003)
Published in Third International Conference on Application of Concurrency to System Design, 2003. Proceedings (2003)
Get full text
Conference Proceeding
A semantics of UML state-machines using synchronous pre-order transition systems
Yunming Wang, Talpin, J.-P., Benveniste, A., Le Guernic, P.
Published in Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) (2000)
Published in Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607) (2000)
Get full text
Conference Proceeding
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Besnard, L, Gautier, T, Ouy, J, J -P Talpin, J -P Bodeveix, Cortier, A, Pantel, M, Strecker, M, Garcia, G, Rugina, A, Buisson, J, Dagnat, F
Published in arXiv.org (02.03.2010)
Published in arXiv.org (02.03.2010)
Get full text
Paper
Journal Article
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
Talpin, J, Ouy, J, Gautier, T, Besnard, L, Cortier, A
Published in 2010 10th International Conference on Application of Concurrency to System Design (01.06.2010)
Published in 2010 10th International Conference on Application of Concurrency to System Design (01.06.2010)
Get full text
Conference Proceeding
Separate compilation and execution of imperative synchronous modules
Vecchie, E., Talpin, J.-P., Schneider, K.
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Get full text
Conference Proceeding
The type and effect discipline
Talpin, J.-P., Jouvelot, P.
Published in Logic in Computer Science, 7th Conference (LICS '92) (01.01.1992)
Published in Logic in Computer Science, 7th Conference (LICS '92) (01.01.1992)
Get full text
Conference Proceeding
Journal Article
A behavioural type inference system for compositional system-on-chip design
Talpin, J.-P., Berner, D., Le Guernic, P., Gamatie, A., Kumar Shukla, S., Gupta, R.
Published in Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004 (2004)
Published in Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004 (2004)
Get full text
Conference Proceeding
Polychronous Methodology For System Design: A True Concurrency Approach
Suhaib, S., Mathaikutty, D., Shukla, S., Talpin, J.-P.
Published in 2006 IEEE International High Level Design Validation and Test Workshop (01.11.2006)
Published in 2006 IEEE International High Level Design Validation and Test Workshop (01.11.2006)
Get full text
Conference Proceeding