{ "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\">&#x27E8;10.1016/j.sysarc.2024.103086&#x27E9;</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\">&#x27E8;10.1016/j.sysarc.2024.103086&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04433439v2\">&#x27E8;hal-04433439v2&#x27E9;</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\">&#x27E8;hal-04197411&#x27E9;</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\">&#x27E8;tel-04148643&#x27E9;</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\">&#x27E8;10.1145/3575757.3593655&#x27E9;</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\">&#x27E8;10.1145/3575757.3593655&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04118213v1\">&#x27E8;hal-04118213&#x27E9;</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\">&#x27E8;10.1007/s10703-022-00399-3&#x27E9;</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\">&#x27E8;10.1007/s10703-022-00399-3&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03794951v1\">&#x27E8;hal-03794951&#x27E9;</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\">&#x27E8;10.1145/3477314.3507271&#x27E9;</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\">&#x27E8;10.1145/3477314.3507271&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03817684v2\">&#x27E8;hal-03817684v2&#x27E9;</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\">&#x27E8;hal-03428961&#x27E9;</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\">&#x27E8;hal-02295835&#x27E9;</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\">&#x27E8;10.1007/978-3-030-11245-5_6&#x27E9;</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\">&#x27E8;10.1007/978-3-030-11245-5_6&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01939659v1\">&#x27E8;hal-01939659&#x27E9;</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\">&#x27E8;hal-02014418&#x27E9;</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\">&#x27E8;hal-01888728&#x27E9;</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\">&#x27E8;hal-02301845&#x27E9;</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\">&#x27E8;10.1145/3147413&#x27E9;</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\">&#x27E8;10.1145/3147413&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01665076v1\">&#x27E8;hal-01665076&#x27E9;</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\">&#x27E8;hal-01620403&#x27E9;</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\">&#x27E8;hal-03193898&#x27E9;</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\">&#x27E8;hal-03690252&#x27E9;</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\">&#x27E8;10.4230/OASIcs.WCET.2015.55&#x27E9;</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\">&#x27E8;10.4230/OASIcs.WCET.2015.55&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01239158v1\">&#x27E8;hal-01239158&#x27E9;</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\">&#x27E8;hal-01248163&#x27E9;</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\">&#x27E8;10.3166/tsi.34.601-626&#x27E9;</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\">&#x27E8;10.3166/tsi.34.601-626&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01288224v1\">&#x27E8;hal-01288224&#x27E9;</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\">&#x27E8;10.1145/2659787.2659820&#x27E9;</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\">&#x27E8;10.1145/2659787.2659820&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01073565v1\">&#x27E8;hal-01073565&#x27E9;</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\">&#x27E8;10.1145/2554850.2554958&#x27E9;</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\">&#x27E8;10.1145/2554850.2554958&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01016182v1\">&#x27E8;hal-01016182&#x27E9;</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\">&#x27E8;hal-00874979&#x27E9;</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\">&#x27E8;hal-00827798v2&#x27E9;</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\">&#x27E8;hal-00863174&#x27E9;</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\">&#x27E8;hal-00830675&#x27E9;</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\">&#x27E8;hal-00800975&#x27E9;</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\">&#x27E8;inria-00618587&#x27E9;</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\">&#x27E8;10.1109/ETFA.2011.6059015&#x27E9;</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\">&#x27E8;10.1109/ETFA.2011.6059015&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00638941v1\">&#x27E8;inria-00638941&#x27E9;</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\">&#x27E8;inria-00563798&#x27E9;</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\">&#x27E8;10.1007/s10626-011-0107-x&#x27E9;</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\">&#x27E8;10.1007/s10626-011-0107-x&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00638936v1\">&#x27E8;inria-00638936&#x27E9;</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\">&#x27E8;hal-00800980&#x27E9;</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\">&#x27E8;hal-00688490&#x27E9;</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/\">&#x27E8;NNT : &#x27E9;</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/\">&#x27E8;NNT : &#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/tel-01942421v1\">&#x27E8;tel-01942421&#x27E9;</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\">&#x27E8;hal-00830672&#x27E9;</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\">&#x27E8;hal-00800990&#x27E9;</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\">&#x27E8;hal-00802695&#x27E9;</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\">&#x27E8;hal-02466757&#x27E9;</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\">&#x27E8;hal-01071285&#x27E9;</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 }] } }