Nombre de documents

36

CV de Claire Pagetti


Communication dans un congrès26 documents

  • Quentin Perret, Pascal Maurère, Eric Noulard, Claire Pagetti, Pascal Sainrat, et al.. Temporal isolation of hard real-time applications on many-core processors. RTAS : Real-Time Embedded Technology & Applications Symposium, Apr 2016, VIENNE, Austria. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016 IEEE, <10.1109/RTAS.2016.7461363>. <hal-01393382>
  • Quentin Perret, Pascal Maurère, Éric Noulard, Claire Pagetti, Pascal Sainrat, et al.. Predictable composition of memory accesses on many-core processors. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. <http://www.erts2016.org/>. <hal-01256000>
  • Guy Durrieu, Gerhard Fohler, Gautam Gala, Sylvain Girbal, Daniel Gracia Pérez, et al.. DREAMS about reconfiguration and adaptation in avionics. ERTS 2016, Jan 2016, Toulouse, France. <hal-01258701>
  • Guy Durrieu, Madeleine Faugère, Sylvain Girbal, Daniel Gracia Pérez, Claire Pagetti, et al.. Predictable Flight Management System Implementation on a Multicore Processor. Embedded Real Time Software (ERTS'14), Feb 2014, TOULOUSE, France. <hal-01121700>
  • Angeliki Kritikakou, Claire Pagetti, Matthieu Roy, Christine Rochange, Madeleine Faugère, et al.. Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems. 22nd International Conference on Real-Time Networks and Systems, Oct 2014, Versailles, France. <10.1145/2659787.2659799>. <hal-01096102>
  • Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy. Run-time Control to Increase Task Parallelism in Mixed-Critical Systems. 26th Euromicro Conference on Real-Time Systems (ECRTS14), Jul 2014, Madrid, Spain. 11p, 2014. <hal-01015476>
  • Luca Santinelli, Frédéric Boniol, Eric Noulard, Claire Pagetti, W. Puffitsch. Integrated Development Framework for Safety-Critical Embedded Systems.. 19th International Symposium on Formal Methods (FM 2014), May 2014, SINGAPOUR, Indonesia. <hal-01070546>
  • Luca Santinelli, W. Puffitsch, Arnaud Dumerat, Frédéric Boniol, Claire Pagetti, et al.. A Grouping Approach to Task Scheduling with Functional and Non-Functional Requirements. Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France. <hal-01070537>
  • Rémy Wyss, Frédéric Boniol, Claire Pagetti, Julien Forget. End-to-end latency computation in a multi-periodic design. 28th Symposium On Applied Computing (SAC'13), Apr 2013, Coimbra, Portugal. pp.1682--1687, 2013. <hal-00863174>
  • 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. Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France. 2013. <hal-00830675>
  • Angeliki Kritikakou, Olivier Baldellon, Claire Pagetti, Christine Rochange, Matthieu Roy, et al.. Monitoring On-line Timing Information to Support Mixed-Critical Workloads. IEEE Real-Time Systems Symposium 2013, Dec 2013, Vancouver, Canada. pp.9-10, 2013. <hal-01015455>
  • Frédéric Boniol, Michaël Lauer, Claire Pagetti, Jérôme Ermont. Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems. 5th International Symposium on NASA Formal Methods (NFM 2013), May 2013, Moffett Field, CA, United States. 7871, pp. 93-107, 2013. <hal-01228710>
  • Guillaume Brau, Claire Pagetti. TTEthernet-based architecture simulation with Ptolemy II. 6th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2012), Nov 2012, Pont-à-Mousson, France. p29-32, 2012. <hal-00909115>
  • Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. A synchronous language with partial delay specification for real-time systems programming. 10th Asian Symposium on Programming Languages and Systems, Dec 2012, Kyoto, Japan. pp.223-238, 2012. <hal-00800975>
  • Julien Forget, Emmanuel Grolleau, Claire Pagetti. Ordonnancement de tâches périodiques avec précédences étendues sans sémaphores. ROADEF 2011, Mar 2011, SAINT ETIENNE, France. 2011. <inria-00563798>
  • Julien Forget, Emmanuel Grolleau, Claire Pagetti, Pascal Richard. Dynamic Priority Scheduling of Periodic Tasks with Extended Precedences. IEEE 16th Conference on Emerging Technologies Factory Automation (ETFA), Sep 2011, Toulouse, France. 2011, <10.1109/ETFA.2011.6059015>. <inria-00638941>
  • Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti. Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset. 19th International Conference on Real-Time and Network Systems, Sep 2011, Nantes, France. 2011. <inria-00618587>
  • Julien Forget, Frédéric Boniol, Emmanuel Grolleau, David Lesens, Claire Pagetti. Scheduling Dependent Periodic Tasks Without Synchronization Mechanisms. 16th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2010, Stockholm, Sweden. pp.301--310, 2010. <hal-00800980>
  • Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. A Real-Time Architecture Design Language for Multi-Rate Embedded Control Systems. 25th ACM Symposium On Applied Computing, Mar 2010, Sierre, Switzerland. pp.527--534, 2010. <hal-00688490>
  • Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. Implementing Multi-Periodic Critical Systems: from Design to Code Generation. FM-09 Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.34-48, 2009. <hal-00800990>
  • Frédéric Boniol, Mikel Cordovilla, Julien Forget, David Lesens, Claire Pagetti. Implantation multitâche de programmes synchrones multipériodiques. 7ième colloque francophone sur la Modélisation des Systèmes Réactifs, Nov 2009, Nantes, France. 43 (7-9), pp.741-755, 2009. <hal-00830672>
  • Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti. A Multi-Periodic Synchronous Data-Flow Language. 11th IEEE High Assurance Systems Engineering Symposium, Dec 2008, Nanjing, China. pp.251-260, 2008. <hal-00802695>
  • Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy. Vers la génération de modèles de sûreté de fonctionnement. conférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne, 2008. <hal-00517274>
  • Frédéric Boniol, Philippe Dhaussy, Claire Pagetti. Points de vue et sémantiques ad hoc. Atelier SéMo'07, 2007, France. pp.Non renseigne, 2007. <hal-00517285>
  • Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, et al.. N-Synchronous Kahn Networks. 33þ # popl # (POPL), 2006, Charleston, South Carolina, Unknown or Invalid Region. pp.180--193, 2006. <hal-01257286>
  • Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, et al.. Synchronization of Periodic Clocks. ACM Conference on Embedded Software (EMSOFT), 2005, Jersey City, New York, Unknown or Invalid Region. 339--342 (short paper), 2005. <hal-01257295>

Article dans une revue7 documents

  • 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. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (5), pp. 601-626. <hal-01288224>
  • Michaël Lauer, Frédéric Boniol, Claire Pagetti, Jérôme Ermont. End-to-end latency and temporal consistency analysis in networked real-time systems. International Journal of Critical Computer-Based Systems, 2014, vol. 5 (n° 3/4), pp. 172-196. <10.1504/IJCCBS.2014.064667>. <hal-01154189>
  • Gilles Lasnier, Janette Cardoso, Claire Pagetti, Pierre Siron. Environnement de coopération de simulation pour la conception de systèmes cyber-physiques. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2013, vol. 47, pp. 13-27. <10.3166/jesa.47.13-27>. <hal-00926971>
  • Pierre Bieber, Frédéric Boniol, Marc Boyer, Eric Noulard, Claire Pagetti. New Challenges for Future Avionic Architectures.. AerospaceLab, 2012, p. 1-10. <hal-01184101>
  • Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens. Multi-task implementation of multi-periodic synchronous programs. Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.307-338. <inria-00638936>
  • Theurer Wolfgang, Frédéric Boniol, Philippe Dhaussy, Claire Pagetti. Un cadre conceptuel pour la modélisation multi points de vue de systèmes embarqués. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13, pp.79-110. <10.3166/obj.13.2-3.79-110>. <hal-00517281>
  • Franck Cassez, Claire Pagetti, Olivier Roux. A timed extension for AltaRica. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2004, 62 (3--4), pp.291--332. <inria-00363026>

Thèse1 document

  • Claire Pagetti. Extension temps réel d'AltaRica. Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN) (ECN) (ECN) (ECN); Université de Nantes, 2004. Français. <tel-00006316>

HDR1 document

  • Claire Pagetti. Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs. Langage de programmation [cs.PL]. INPT, 2015. <tel-01247922>

Rapport1 document

  • Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, et al.. Synchronizing Periodic Clocks in Kahn Networks. [Research Report] RR-5603, INRIA. 2005, pp.38. <inria-00070404>