Multi-task implementation of multi-periodic synchronous programs C Pagetti, J Forget, F Boniol, M Cordovilla, D Lesens Discrete event dynamic systems 21, 307-338, 2011 | 119 | 2011 |
Scheduling dependent periodic tasks without synchronization mechanisms J Forget, F Boniol, E Grolleau, D Lesens, C Pagetti 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2010 | 105 | 2010 |
A multi-periodic synchronous data-flow language J Forget, F Boniol, D Lesens, C Pagetti 2008 11th IEEE High Assurance Systems Engineering Symposium, 251-260, 2008 | 59 | 2008 |
A synchronous language for critical embedded systems with multiple real-time constraints J Forget Institut Supérieur de l’Aéronautique et de l’Espace, 2009 | 57* | 2009 |
Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset M Cordovilla, F Boniol, J Forget, E Noulard, C Pagetti 19th International Conference on Real-Time and Network Systems, 2011 | 40 | 2011 |
MARTE: A new profile RFP for the modeling and analysis of real-time embedded systems L Rioux, T Saunier, S Gerard, A Radermacher, R De Simone, T Gautier, ... Workshop UML for SoC Design (DAC 2005), 2005 | 39* | 2005 |
A real-time architecture design language for multi-rate embedded control systems J Forget, F Boniol, D Lesens, C Pagetti Proceedings of the 2010 ACM Symposium on Applied Computing, 527-534, 2010 | 38 | 2010 |
Dynamic priority scheduling of periodic tasks with extended precedences M Forget, E Grolleau, C Pagetti, P Richard ETFA2011, 1-8, 2011 | 32 | 2011 |
Automated generation of time-predictable executables on multicore C Pagetti, J Forget, H Falk, D Oehlert, A Luppold Proceedings of the 26th International Conference on Real-Time Networks and …, 2018 | 29 | 2018 |
Verifying end-to-end real-time constraints on multi-periodic models J Forget, F Boniol, C Pagetti 2017 22nd IEEE International Conference on Emerging Technologies and Factory …, 2017 | 24 | 2017 |
Minimizing a real-time task set through task clustering A Bertout, J Forget, R Olejnik Proceedings of the 22nd International Conference on Real-Time Networks and …, 2014 | 21 | 2014 |
End-to-end latency computation in a multi-periodic design R Wyss, F Boniol, C Pagetti, J Forget Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1682-1687, 2013 | 21 | 2013 |
Symbolic WCET computation C Ballabriga, J Forget, G Lipari ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 1-26, 2017 | 16 | 2017 |
A heuristic to minimize the cardinality of a real-time task set by automated task clustering A Bertout, J Forget, R Olejnik Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1431-1436, 2014 | 10 | 2014 |
Static analysis of binary code with memory indirections using polyhedra C Ballabriga, J Forget, L Gonnord, G Lipari, J Ruiz Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 8 | 2019 |
Programming languages for hard real-time embedded systems J Forget, F Boniol, D Lesens, C Pagetti, M Pouzet 4th International Congress ERTS 2008, 2008 | 8 | 2008 |
Waters industrial challenge 2017 with prelude F Boniol, J Forget, C Pagetti 8th International Workshop on Analysis Tools and Methodologies for Embedded …, 2017 | 7 | 2017 |
A synchronous language with partial delay specification for real-time systems programming R Wyss, F Boniol, J Forget, C Pagetti Asian Symposium on Programming Languages and Systems, 223-238, 2012 | 7 | 2012 |
Implementing multi-periodic critical systems: from design to code generation J Forget, F Boniol, D Lesens, C Pagetti arXiv preprint arXiv:1003.2871, 2010 | 6 | 2010 |
SynDEx v6–User Manual J Forget, C Lavarenne, Y Sorel INRIA, December, 2003 | 5 | 2003 |