Julien Forget
Maître de conférences des universités-HDR
CNU : SECTION 27 - Informatique
Laboratoire / équipe
Publications
{
"response":{
"numFound":38,
"start":0,
"numFoundExact":true,
"docs":[{
"citationRef_s":"<i>Journal of Systems Architecture</i>, 2024, 148, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.sysarc.2024.103086\">⟨10.1016/j.sysarc.2024.103086⟩</a>",
"citationFull_s":"Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari. Parametric WCET as a function of procedure arguments: analysis and applications. <i>Journal of Systems Architecture</i>, 2024, 148, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.sysarc.2024.103086\">⟨10.1016/j.sysarc.2024.103086⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04433439v2\">⟨hal-04433439v2⟩</a>",
"title_s":["Parametric WCET as a function of procedure arguments: analysis and applications"],
"authFullName_s":["Sandro Grebant","Clément Ballabriga","Julien Forget","Giuseppe Lipari"],
"halId_s":"hal-04433439",
"docType_s":"ART",
"producedDateY_i":2024
},{
"citationRef_s":"<i>RTSOPS 2023 - 12th International Real-Time Scheduling Open Problems Seminar</i>, Jul 2023, Vienne, Austria",
"citationFull_s":"Clément Ballabriga, Julien Forget, Sandro Grebant, Giuseppe Lipari. New challenges in adaptive real-time systems with parametric WCET. <i>RTSOPS 2023 - 12th International Real-Time Scheduling Open Problems Seminar</i>, Jul 2023, Vienne, Austria. <a target=\"_blank\" href=\"https://hal.science/hal-04197411v1\">⟨hal-04197411⟩</a>",
"title_s":["New challenges in adaptive real-time systems with parametric WCET"],
"authFullName_s":["Clément Ballabriga","Julien Forget","Sandro Grebant","Giuseppe Lipari"],
"halId_s":"hal-04197411",
"docType_s":"COMM",
"producedDateY_i":2023
},{
"citationRef_s":"Embedded Systems. Université de Lille, 2023",
"citationFull_s":"Julien Forget. Programming and analysis of critical real-time systems. Embedded Systems. Université de Lille, 2023. <a target=\"_blank\" href=\"https://theses.hal.science/tel-04148643v1\">⟨tel-04148643⟩</a>",
"title_s":["Programming and analysis of critical real-time systems","Programmation et analyse de systèmes temps réel critiques"],
"authFullName_s":["Julien Forget"],
"halId_s":"tel-04148643",
"docType_s":"HDR",
"producedDateY_i":2023
},{
"citationRef_s":"<i>RTNS 2023: The 31st International Conference on Real-Time Networks and Systems</i>, Jun 2023, Dortmund, Germany. pp.11-22, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3575757.3593655\">⟨10.1145/3575757.3593655⟩</a>",
"citationFull_s":"Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari. WCET analysis with procedure arguments as parameters. <i>RTNS 2023: The 31st International Conference on Real-Time Networks and Systems</i>, Jun 2023, Dortmund, Germany. pp.11-22, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3575757.3593655\">⟨10.1145/3575757.3593655⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04118213v1\">⟨hal-04118213⟩</a>",
"title_s":["WCET analysis with procedure arguments as parameters"],
"authFullName_s":["Sandro Grebant","Clément Ballabriga","Julien Forget","Giuseppe Lipari"],
"halId_s":"hal-04118213",
"docType_s":"COMM",
"producedDateY_i":2023
},{
"citationRef_s":"<i>Formal Methods in System Design</i>, 2022, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s10703-022-00399-3\">⟨10.1007/s10703-022-00399-3⟩</a>",
"citationFull_s":"Clément Ballabriga, Julien Forget, Jordy Ruiz. Relational abstract interpretation of arrays in assembly code. <i>Formal Methods in System Design</i>, 2022, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s10703-022-00399-3\">⟨10.1007/s10703-022-00399-3⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03794951v1\">⟨hal-03794951⟩</a>",
"title_s":["Relational abstract interpretation of arrays in assembly code"],
"authFullName_s":["Clément Ballabriga","Julien Forget","Jordy Ruiz"],
"halId_s":"hal-03794951",
"docType_s":"ART",
"producedDateY_i":2022
},{
"citationRef_s":"<i>SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing</i>, Apr 2022, Virtual Event, France. pp.1248-1257, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3477314.3507271\">⟨10.1145/3477314.3507271⟩</a>",
"citationFull_s":"Frédéric Fort, Julien Forget. Synchronous semantics of multi-mode multi-periodic systems. <i>SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing</i>, Apr 2022, Virtual Event, France. pp.1248-1257, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3477314.3507271\">⟨10.1145/3477314.3507271⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03817684v2\">⟨hal-03817684v2⟩</a>",
"title_s":["Synchronous semantics of multi-mode multi-periodic systems"],
"authFullName_s":["Frédéric Fort","Julien Forget"],
"halId_s":"hal-03817684",
"docType_s":"COMM",
"producedDateY_i":2022
},{
"citationRef_s":"<i>Compas'21 :Conférence francophone d'informatique en Parallélisme, Architecture et Système</i>, Jul 2021, Lyon, France",
"citationFull_s":"Sandro Grebant, Clément Ballabriga, Julien Forget. Efficient tree-based symbolic WCET computation. <i>Compas'21 :Conférence francophone d'informatique en Parallélisme, Architecture et Système</i>, Jul 2021, Lyon, France. <a target=\"_blank\" href=\"https://hal.science/hal-03428961v1\">⟨hal-03428961⟩</a>",
"title_s":["Efficient tree-based symbolic WCET computation"],
"authFullName_s":["Sandro Grebant","Clément Ballabriga","Julien Forget"],
"halId_s":"hal-03428961",
"docType_s":"COMM",
"producedDateY_i":2021
},{
"citationRef_s":"<i>2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)</i>, Aug 2019, Hangzhou, China",
"citationFull_s":"Frédéric Fort, Julien Forget. Code generation for multi-phase tasks on a multi-core distributed memory platform. <i>2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)</i>, Aug 2019, Hangzhou, China. <a target=\"_blank\" href=\"https://hal.science/hal-02295835v1\">⟨hal-02295835⟩</a>",
"title_s":["Code generation for multi-phase tasks on a multi-core distributed memory platform"],
"authFullName_s":["Frédéric Fort","Julien Forget"],
"halId_s":"hal-02295835",
"docType_s":"COMM",
"producedDateY_i":2019
},{
"citationRef_s":"<i>VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation</i>, Jan 2019, Cascais, Portugal. pp.114-135, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-11245-5_6\">⟨10.1007/978-3-030-11245-5_6⟩</a>",
"citationFull_s":"Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz. Static Analysis Of Binary Code With Memory Indirections Using Polyhedra. <i>VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation</i>, Jan 2019, Cascais, Portugal. pp.114-135, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-11245-5_6\">⟨10.1007/978-3-030-11245-5_6⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01939659v1\">⟨hal-01939659⟩</a>",
"title_s":["Static Analysis Of Binary Code With Memory Indirections Using Polyhedra"],
"authFullName_s":["Clément Ballabriga","Julien Forget","Laure Gonnord","Giuseppe Lipari","Jordy Ruiz"],
"halId_s":"hal-01939659",
"docType_s":"COMM",
"producedDateY_i":2019
},{
"citationRef_s":"<i>Junior Researcher Workshop on Real-Time Computing</i>, Oct 2018, Poitiers, France",
"citationFull_s":"Frédéric Fort, Julien Forget. Code generation for multi-phase tasks on multicore with distributed memory. <i>Junior Researcher Workshop on Real-Time Computing</i>, Oct 2018, Poitiers, France. <a target=\"_blank\" href=\"https://hal.science/hal-02014418v1\">⟨hal-02014418⟩</a>",
"title_s":["Code generation for multi-phase tasks on multicore with distributed memory"],
"authFullName_s":["Frédéric Fort","Julien Forget"],
"halId_s":"hal-02014418",
"docType_s":"COMM",
"producedDateY_i":2018
},{
"citationRef_s":"<i>RTNS 2018</i>, Oct 2018, Poitiers, France",
"citationFull_s":"Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, Arno Luppold. Automated generation of time-predictable executables on multi-core. <i>RTNS 2018</i>, Oct 2018, Poitiers, France. <a target=\"_blank\" href=\"https://hal.science/hal-01888728v1\">⟨hal-01888728⟩</a>",
"title_s":["Automated generation of time-predictable executables on multi-core"],
"authFullName_s":["Claire Pagetti","Julien Forget","Heiko Falk","Dominic Oehlert","Arno Luppold"],
"halId_s":"hal-01888728",
"docType_s":"COMM",
"producedDateY_i":2018
},{
"citationRef_s":"<i>2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)</i>, Mar 2018, Dresde, Germany",
"citationFull_s":"Thanh Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Julien Forget, Claire Pagetti, et al.. Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications. <i>2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)</i>, Mar 2018, Dresde, Germany. <a target=\"_blank\" href=\"https://hal.science/hal-02301845v1\">⟨hal-02301845⟩</a>",
"title_s":["Design and analysis of semaphore precedence constraints: A model-based approach for deterministic communications"],
"authFullName_s":["Thanh Dat Nguyen","Yassine Ouhammou","Emmanuel Grolleau","Julien Forget","Claire Pagetti","Pascal Richard"],
"halId_s":"hal-02301845",
"docType_s":"COMM",
"producedDateY_i":2018
},{
"citationRef_s":"<i>ACM Transactions on Embedded Computing Systems (TECS)</i>, 2017, 17 (2), pp.1 - 26. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3147413\">⟨10.1145/3147413⟩</a>",
"citationFull_s":"Clément Ballabriga, Julien Forget, Giuseppe Lipari. Symbolic WCET Computation. <i>ACM Transactions on Embedded Computing Systems (TECS)</i>, 2017, 17 (2), pp.1 - 26. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3147413\">⟨10.1145/3147413⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01665076v1\">⟨hal-01665076⟩</a>",
"title_s":["Symbolic WCET Computation"],
"authFullName_s":["Clément Ballabriga","Julien Forget","Giuseppe Lipari"],
"halId_s":"hal-01665076",
"docType_s":"ART",
"producedDateY_i":2017
},{
"citationRef_s":"<i> ETFA2017 - 22nd IEEE International Conference on Emerging Technologies And Factory Automation</i>, Sep 2017, Limassol, Cyprus",
"citationFull_s":"Julien Forget, Frédéric Boniol, Claire Pagetti. Verifying end-to-end real-time constraints on multi-periodic models. <i> ETFA2017 - 22nd IEEE International Conference on Emerging Technologies And Factory Automation</i>, Sep 2017, Limassol, Cyprus. <a target=\"_blank\" href=\"https://hal.science/hal-01620403v1\">⟨hal-01620403⟩</a>",
"title_s":["Verifying end-to-end real-time constraints on multi-periodic models"],
"authFullName_s":["Julien Forget","Frédéric Boniol","Claire Pagetti"],
"halId_s":"hal-01620403",
"docType_s":"COMM",
"producedDateY_i":2017
},{
"citationRef_s":"Doctoral. France. 2017",
"citationFull_s":"Julien Forget. Ecole Temps Réel 2017 - Uniprocessor real-time scheduling. Doctoral. France. 2017. <a target=\"_blank\" href=\"https://hal.science/hal-03193898v1\">⟨hal-03193898⟩</a>",
"title_s":["Ecole Temps Réel 2017 - Uniprocessor real-time scheduling"],
"authFullName_s":["Julien Forget"],
"halId_s":"hal-03193898",
"docType_s":"LECTURE",
"producedDateY_i":2017
},{
"citationRef_s":"<i>8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2017)</i>, Jun 2017, Dubrovnik, Croatia",
"citationFull_s":"Frédéric Boniol, Julien Forget, Claire Pagetti. WATERS Industrial Challenge 2017 with Prelude. <i>8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2017)</i>, Jun 2017, Dubrovnik, Croatia. <a target=\"_blank\" href=\"https://hal.science/hal-03690252v1\">⟨hal-03690252⟩</a>",
"title_s":["WATERS Industrial Challenge 2017 with Prelude"],
"authFullName_s":["Frédéric Boniol","Julien Forget","Claire Pagetti"],
"halId_s":"hal-03690252",
"docType_s":"COMM",
"producedDateY_i":2017
},{
"citationRef_s":"<i>15th International Workshop on Worst-Case Execution Time Analysis</i>, Dec 2015, Lund Sweden. <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/OASIcs.WCET.2015.55\">⟨10.4230/OASIcs.WCET.2015.55⟩</a>",
"citationFull_s":"Clément Ballabriga, Julien Forget, Giuseppe Lipari. Context-sensitive Parametric WCET Analysis. <i>15th International Workshop on Worst-Case Execution Time Analysis</i>, Dec 2015, Lund Sweden. <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/OASIcs.WCET.2015.55\">⟨10.4230/OASIcs.WCET.2015.55⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01239158v1\">⟨hal-01239158⟩</a>",
"title_s":["Context-sensitive Parametric WCET Analysis"],
"authFullName_s":["Clément Ballabriga","Julien Forget","Giuseppe Lipari"],
"halId_s":"hal-01239158",
"docType_s":"COMM",
"producedDateY_i":2015
},{
"citationRef_s":"[Research Report] RR-8835, INRIA Lille Nord Europe. 2015, pp.18",
"citationFull_s":"Julien Forget, Frédéric Guyomarch, Vlad Rusu. Programming with hardware/software functions. [Research Report] RR-8835, INRIA Lille Nord Europe. 2015, pp.18. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01248163v1\">⟨hal-01248163⟩</a>",
"title_s":["Programming with hardware/software functions","Programmer avec des fonctions hardware et software"],
"authFullName_s":["Julien Forget","Frédéric Guyomarch","Vlad Rusu"],
"halId_s":"hal-01248163",
"docType_s":"REPORT",
"producedDateY_i":2015
},{
"citationRef_s":"<i>Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques</i>, 2015, 34 (5), pp. 601-626. <a target=\"_blank\" href=\"https://dx.doi.org/10.3166/tsi.34.601-626\">⟨10.3166/tsi.34.601-626⟩</a>",
"citationFull_s":"Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique. <i>Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques</i>, 2015, 34 (5), pp. 601-626. <a target=\"_blank\" href=\"https://dx.doi.org/10.3166/tsi.34.601-626\">⟨10.3166/tsi.34.601-626⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01288224v1\">⟨hal-01288224⟩</a>",
"title_s":["Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique"],
"authFullName_s":["Rémy Wyss","Frédéric Boniol","Julien Forget","Claire Pagetti"],
"halId_s":"hal-01288224",
"docType_s":"ART",
"producedDateY_i":2015
},{
"citationRef_s":"<i>Proceedings of the 22nd International Conference on Real-Time Networks and Systems</i>, Oct 2014, Versailles, France. pp.23-31, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/2659787.2659820\">⟨10.1145/2659787.2659820⟩</a>",
"citationFull_s":"Antoine Bertout, Julien Forget, Richard Olejnik. Minimizing a real-time task set through Task Clustering. <i>Proceedings of the 22nd International Conference on Real-Time Networks and Systems</i>, Oct 2014, Versailles, France. pp.23-31, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/2659787.2659820\">⟨10.1145/2659787.2659820⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01073565v1\">⟨hal-01073565⟩</a>",
"title_s":["Minimizing a real-time task set through Task Clustering"],
"authFullName_s":["Antoine Bertout","Julien Forget","Richard Olejnik"],
"halId_s":"hal-01073565",
"docType_s":"COMM",
"producedDateY_i":2014
},{
"citationRef_s":"<i>Proceedings of the 29th Annual ACM Symposium on Applied Computing (SAC 2014)</i>, Apr 2014, Gyeongju, South Korea. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/2554850.2554958\">⟨10.1145/2554850.2554958⟩</a>",
"citationFull_s":"Antoine Bertout, Julien Forget, Richard Olejnik. A heuristic to minimize the cardinality of a real-time task set by automated task clustering. <i>Proceedings of the 29th Annual ACM Symposium on Applied Computing (SAC 2014)</i>, Apr 2014, Gyeongju, South Korea. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/2554850.2554958\">⟨10.1145/2554850.2554958⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01016182v1\">⟨hal-01016182⟩</a>",
"title_s":["A heuristic to minimize the cardinality of a real-time task set by automated task clustering"],
"authFullName_s":["Antoine Bertout","Julien Forget","Richard Olejnik"],
"halId_s":"hal-01016182",
"docType_s":"COMM",
"producedDateY_i":2014
},{
"citationRef_s":"<i>Proceedings of the 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013)</i>, Oct 2013, Sophia Antipolis, France. pp.9-12",
"citationFull_s":"Antoine Bertout, Julien Forget, Richard Olejnik. Minimizing the cardinality of a real-time task set by automated task clustering. <i>Proceedings of the 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013)</i>, Oct 2013, Sophia Antipolis, France. pp.9-12. <a target=\"_blank\" href=\"https://inria.hal.science/hal-00874979v1\">⟨hal-00874979⟩</a>",
"title_s":["Minimizing the cardinality of a real-time task set by automated task clustering"],
"authFullName_s":["Antoine Bertout","Julien Forget","Richard Olejnik"],
"halId_s":"hal-00874979",
"docType_s":"COMM",
"producedDateY_i":2013
},{
"citationRef_s":"2013",
"citationFull_s":"Antoine Bertout, Julien Forget, Richard Olejnik. Automated runnable to task mapping. 2013. <a target=\"_blank\" href=\"https://hal.science/hal-00827798v2\">⟨hal-00827798v2⟩</a>",
"title_s":["Automated runnable to task mapping"],
"authFullName_s":["Antoine Bertout","Julien Forget","Richard Olejnik"],
"halId_s":"hal-00827798",
"docType_s":"REPORT",
"producedDateY_i":2013
},{
"citationRef_s":"<i>28th Symposium On Applied Computing (SAC'13)</i>, Apr 2013, Coimbra, Portugal. pp.1682--1687",
"citationFull_s":"Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget. End-to-end latency computation in a multi-periodic design. <i>28th Symposium On Applied Computing (SAC'13)</i>, Apr 2013, Coimbra, Portugal. pp.1682--1687. <a target=\"_blank\" href=\"https://hal.science/hal-00863174v1\">⟨hal-00863174⟩</a>",
"title_s":["End-to-end latency computation in a multi-periodic design"],
"authFullName_s":["Rémy Wyss","Frédéric Boniol","Claire Pagetti","Julien Forget"],
"halId_s":"hal-00863174",
"docType_s":"COMM",
"producedDateY_i":2013
},{
"citationRef_s":"<i>Approches Formelles dans l'Assistance au Développement de Logiciels</i>, Apr 2013, Nancy, France",
"citationFull_s":"Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique. <i>Approches Formelles dans l'Assistance au Développement de Logiciels</i>, Apr 2013, Nancy, France. <a target=\"_blank\" href=\"https://hal.science/hal-00830675v1\">⟨hal-00830675⟩</a>",
"title_s":["Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique"],
"authFullName_s":["Rémy Wyss","Frédéric Boniol","Julien Forget","Claire Pagetti"],
"halId_s":"hal-00830675",
"docType_s":"COMM",
"producedDateY_i":2013
},{
"citationRef_s":"<i>10th Asian Symposium on Programming Languages and Systems</i>, Dec 2012, Kyoto, Japan. pp.223-238",
"citationFull_s":"Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. A synchronous language with partial delay specification for real-time systems programming. <i>10th Asian Symposium on Programming Languages and Systems</i>, Dec 2012, Kyoto, Japan. pp.223-238. <a target=\"_blank\" href=\"https://hal.science/hal-00800975v1\">⟨hal-00800975⟩</a>",
"title_s":["A synchronous language with partial delay specification for real-time systems programming"],
"authFullName_s":["Rémy Wyss","Frédéric Boniol","Julien Forget","Claire Pagetti"],
"halId_s":"hal-00800975",
"docType_s":"COMM",
"producedDateY_i":2012
},{
"citationRef_s":"<i>19th International Conference on Real-Time and Network Systems</i>, Irccyn, Sep 2011, Nantes, France",
"citationFull_s":"Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti. Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset. <i>19th International Conference on Real-Time and Network Systems</i>, Irccyn, Sep 2011, Nantes, France. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00618587v1\">⟨inria-00618587⟩</a>",
"title_s":["Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset"],
"authFullName_s":["Mikel Cordovilla","Frédéric Boniol","Julien Forget","Eric Noulard","Claire Pagetti"],
"halId_s":"inria-00618587",
"docType_s":"COMM",
"producedDateY_i":2011
},{
"citationRef_s":"<i>IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA)</i>, Sep 2011, Toulouse, France. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ETFA.2011.6059015\">⟨10.1109/ETFA.2011.6059015⟩</a>",
"citationFull_s":"Julien Forget, Emmanuel Grolleau, Claire Pagetti, Pascal Richard. Dynamic Priority Scheduling of Periodic Tasks with Extended Precedences. <i>IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA)</i>, Sep 2011, Toulouse, France. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ETFA.2011.6059015\">⟨10.1109/ETFA.2011.6059015⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00638941v1\">⟨inria-00638941⟩</a>",
"title_s":["Dynamic Priority Scheduling of Periodic Tasks with Extended Precedences"],
"authFullName_s":["Julien Forget","Emmanuel Grolleau","Claire Pagetti","Pascal Richard"],
"halId_s":"inria-00638941",
"docType_s":"COMM",
"producedDateY_i":2011
},{
"citationRef_s":"<i>ROADEF 2011</i>, École Nationale Supérieure des Mines de Saint-Étienne, Mar 2011, Saint-Etienne, France",
"citationFull_s":"Julien Forget, Emmanuel Grolleau, Claire Pagetti. Ordonnancement de tâches périodiques avec précédences étendues sans sémaphores. <i>ROADEF 2011</i>, École Nationale Supérieure des Mines de Saint-Étienne, Mar 2011, Saint-Etienne, France. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00563798v1\">⟨inria-00563798⟩</a>",
"title_s":["Ordonnancement de tâches périodiques avec précédences étendues sans sémaphores"],
"authFullName_s":["Julien Forget","Emmanuel Grolleau","Claire Pagetti"],
"halId_s":"inria-00563798",
"docType_s":"COMM",
"producedDateY_i":2011
},{
"citationRef_s":"<i>Discrete Event Dynamic Systems</i>, 2011, 21 (3), pp.307-338. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s10626-011-0107-x\">⟨10.1007/s10626-011-0107-x⟩</a>",
"citationFull_s":"Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens. Multi-task implementation of multi-periodic synchronous programs. <i>Discrete Event Dynamic Systems</i>, 2011, 21 (3), pp.307-338. <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s10626-011-0107-x\">⟨10.1007/s10626-011-0107-x⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00638936v1\">⟨inria-00638936⟩</a>",
"title_s":["Multi-task implementation of multi-periodic synchronous programs"],
"authFullName_s":["Claire Pagetti","Julien Forget","Frédéric Boniol","Mikel Cordovilla","David Lesens"],
"halId_s":"inria-00638936",
"docType_s":"ART",
"producedDateY_i":2011
},{
"citationRef_s":"<i>16th IEEE Real-Time and Embedded Technology and Applications Symposium</i>, Apr 2010, Stockholm, Sweden. pp.301--310",
"citationFull_s":"Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti. Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms. <i>16th IEEE Real-Time and Embedded Technology and Applications Symposium</i>, Apr 2010, Stockholm, Sweden. pp.301--310. <a target=\"_blank\" href=\"https://hal.science/hal-00800980v1\">⟨hal-00800980⟩</a>",
"title_s":["Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms"],
"authFullName_s":["Julien Forget","Frédéric Boniol","Emmanuel Grolleau","David Lesens","Claire Pagetti"],
"halId_s":"hal-00800980",
"docType_s":"COMM",
"producedDateY_i":2010
},{
"citationRef_s":"<i>25th ACM Symposium On Applied Computing</i>, Mar 2010, Sierre, Switzerland. pp.527--534",
"citationFull_s":"Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. A Real-Time Architecture Design Language for Multi-Rate Embedded Control Systems. <i>25th ACM Symposium On Applied Computing</i>, Mar 2010, Sierre, Switzerland. pp.527--534. <a target=\"_blank\" href=\"https://hal.science/hal-00688490v1\">⟨hal-00688490⟩</a>",
"title_s":["A Real-Time Architecture Design Language for Multi-Rate Embedded Control Systems"],
"authFullName_s":["Julien Forget","Frédéric Boniol","David Lesens","Claire Pagetti"],
"halId_s":"hal-00688490",
"docType_s":"COMM",
"producedDateY_i":2010
},{
"citationRef_s":"Embedded Systems. Institut Supérieur de l’Aéronautique et de l’Espace, 2009. English. <a target=\"_blank\" href=\"https://www.theses.fr/\">⟨NNT : ⟩</a>",
"citationFull_s":"Julien Forget. A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. Embedded Systems. Institut Supérieur de l’Aéronautique et de l’Espace, 2009. English. <a target=\"_blank\" href=\"https://www.theses.fr/\">⟨NNT : ⟩</a>. <a target=\"_blank\" href=\"https://hal.science/tel-01942421v1\">⟨tel-01942421⟩</a>",
"title_s":["A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints","Un Langage Synchrone pour les Systèmes Embarqués Critiques Soumis à des Contraintes Temps Réel Multiples"],
"authFullName_s":["Julien Forget"],
"halId_s":"tel-01942421",
"docType_s":"THESE",
"producedDateY_i":2009
},{
"citationRef_s":"<i>7ième colloque francophone sur la Modélisation des Systèmes Réactifs</i>, Nov 2009, Nantes, France. pp.741-755",
"citationFull_s":"Frédéric Boniol, Mikel Cordovilla, Julien Forget, David Lesens, Claire Pagetti. Implantation multitâche de programmes synchrones multipériodiques. <i>7ième colloque francophone sur la Modélisation des Systèmes Réactifs</i>, Nov 2009, Nantes, France. pp.741-755. <a target=\"_blank\" href=\"https://hal.science/hal-00830672v1\">⟨hal-00830672⟩</a>",
"title_s":["Implantation multitâche de programmes synchrones multipériodiques"],
"authFullName_s":["Frédéric Boniol","Mikel Cordovilla","Julien Forget","David Lesens","Claire Pagetti"],
"halId_s":"hal-00830672",
"docType_s":"COMM",
"producedDateY_i":2009
},{
"citationRef_s":"<i>FM-09 Workshop on Formal Methods for Aerospace</i>, Nov 2009, Eindhoven, Netherlands. pp.34-48",
"citationFull_s":"Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. Implementing Multi-Periodic Critical Systems: from Design to Code Generation. <i>FM-09 Workshop on Formal Methods for Aerospace</i>, Nov 2009, Eindhoven, Netherlands. pp.34-48. <a target=\"_blank\" href=\"https://hal.science/hal-00800990v1\">⟨hal-00800990⟩</a>",
"title_s":["Implementing Multi-Periodic Critical Systems: from Design to Code Generation"],
"authFullName_s":["Julien Forget","Frédéric Boniol","David Lesens","Claire Pagetti"],
"halId_s":"hal-00800990",
"docType_s":"COMM",
"producedDateY_i":2009
},{
"citationRef_s":"<i>11th IEEE High Assurance Systems Engineering Symposium</i>, Dec 2008, Nanjing, China. pp.251-260",
"citationFull_s":"Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. A Multi-Periodic Synchronous Data-Flow Language. <i>11th IEEE High Assurance Systems Engineering Symposium</i>, Dec 2008, Nanjing, China. pp.251-260. <a target=\"_blank\" href=\"https://hal.science/hal-00802695v1\">⟨hal-00802695⟩</a>",
"title_s":["A Multi-Periodic Synchronous Data-Flow Language"],
"authFullName_s":["Julien Forget","Frédéric Boniol","David Lesens","Claire Pagetti"],
"halId_s":"hal-00802695",
"docType_s":"COMM",
"producedDateY_i":2008
},{
"citationRef_s":"<i>DAC 2005 Workshop - UML for SoC Design</i>, Jun 2005, Anaheim California, United States",
"citationFull_s":"Charles André, Arnaud Cuccuru, Jean-Luc Dekeyser, Robert de Simone, Cédric Dumoulin, et al.. MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems. <i>DAC 2005 Workshop - UML for SoC Design</i>, Jun 2005, Anaheim California, United States. <a target=\"_blank\" href=\"https://hal.science/hal-02466757v1\">⟨hal-02466757⟩</a>",
"title_s":["MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems"],
"authFullName_s":["Charles André","Arnaud Cuccuru","Jean-Luc Dekeyser","Robert de Simone","Cédric Dumoulin","Julien Forget","Thierry Gautier","Sébastien Gérard","Frédéric Mallet","Ansgar Radermacher","Laurent Rioux","Thierry Saunier","Yves Sorel"],
"halId_s":"hal-02466757",
"docType_s":"COMM",
"producedDateY_i":2005
},{
"citationRef_s":"<i>Dac Workshop - UML-SoC05</i>, Jun 2005, Anaheim CA, United States",
"citationFull_s":"Cedric Dumoulin, Laurent Rioux, Thierry Saunier, Sébastien Gérard, Ansgar Radermacher, et al.. Marte: A new profile rfp for the modeling and analysis of real-time embedded systems. <i>Dac Workshop - UML-SoC05</i>, Jun 2005, Anaheim CA, United States. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01071285v1\">⟨hal-01071285⟩</a>",
"title_s":["Marte: A new profile rfp for the modeling and analysis of real-time embedded systems"],
"authFullName_s":["Cedric Dumoulin","Laurent Rioux","Thierry Saunier","Sébastien Gérard","Ansgar Radermacher","Robert de Simone","Thierry Gautier","Yves Sorel","Julien Forget","Jean-Luc Dekeyser","Arnaud Cuccuru","Charles André"],
"halId_s":"hal-01071285",
"docType_s":"COMM",
"producedDateY_i":2005
}]
}
}