Browse by search - Equipe Autonomic and Critical Embedded Systems

Autonomous Critical Embedded Systems team

		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	hal-03559551v1 Conference papers Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci-Piergiovanni. Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement 35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
	cea-02321547v1 Reports Petr Kuznetsov, Thibault Rieutord, Sara Tucci-Piergiovanni. Reconfigurable Lattice Agreement and Applications [Research Report] Institut Polytechnique Paris; CEA List. 2019
	tel-02494421v1 Theses Farouk Hebbache. Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems Hardware Architecture [cs.AR]. Université Paris Saclay (COmUE), 2019. English. ⟨NNT : 2019SACLT044⟩
	hal-03022583v1 Conference papers Petr Kuznetsov, Thibault Rieutord. Brief Announcement: On Decidability of 2-Process Affine Models DISC, Oct 2020, VIRTUAL, France
	hal-01810601v2 Preprints, Working Papers, ... Petr Kuznetsov, Thibault Rieutord. Affine Tasks for k-Test-and-Set 2020
	inria-00628310v1 Journal articles Mathieu Jan, Christophe Jouvray, Fabrice Kordon, Antonio Kung, Jimmy Lalande et al. Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems Software: Practice and Experience, Wiley, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
	hal-02447339v1 Conference papers Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet. Arbitration-Induced Preemption Delays 31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
	hal-02287739v1 Conference papers Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet. Dynamic Arbitration of Memory Requests with TDM-like Guarantees Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
	hal-03702426v1 Journal articles Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan. Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture International Journal on Software Tools for Technology Transfer, Springer Verlag, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
	hal-03022570v1 Conference papers Petr Kuznetsov, Thibault Rieutord, Tucci-Piergiovanni Sara. Reconfigurable Lattice Agreement and Applications OPODIS, Dec 2019, Neuchatel, Switzerland
	hal-00922521v1 Conference papers Vincent Legout, Mathieu Jan, Laurent Pautet. Réduction de la consommation statique des systèmes temps-réel multiprocesseurs École d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
	cea-01844456v1 Journal articles M. Jan, L. Zaourar, V. Legout, Laurent Pautet. Handling criticality mode change in time-triggered systems through linear programming Ada User Journal, 2014, 35 (2), pp.133-137
	cea-01818894v1 Conference papers V. Legout, M. Jan, Laurent Pautet. A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems RTNS '13 Proceedings of the 21st International conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. pp.99-108, ⟨10.1145/2516821.2516839⟩
	hal-00922522v1 Conference papers Vincent Legout, Mathieu Jan, Laurent Pautet. Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
	cea-01846864v1 Journal articles V. Legout, M. Jan, Laurent Pautet. Scheduling algorithms to reduce the static energy consumption of real-time systems Experiments in Fluids, Springer Verlag (Germany), 2015, 56 (3), pp.153-191. ⟨10.1007/s11241-014-9207-7⟩
	hal-02447512v1 Journal articles Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet. Work-conserving dynamic time-division multiplexing for multi-criticality systems Real-Time Systems, Springer Verlag, 2019, ⟨10.1007/s11241-019-09336-w⟩
	hal-02447655v1 Conference papers Farouk Hebbache, Florian Brandner, Mathieu Jan, Laurent Pautet. Arbitration-Induced Preemption Delays 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
	hal-03702493v1 Conference papers Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner. A Coq Framework for More Trustworthy DRAM Controllers RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
	hal-03559548v1 Journal articles Petr Kuznetsov, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Thibault Rieutord. Perfect failure detection with very few bits Information and Computation, Elsevier, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
	hal-01246348v1 Conference papers Sahar Abbaspour, Florian Brandner, Amine Naji, Mathieu Jan. Efficient Context Switching for the Stack Cache Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩
	hal-00919169v1 Conference papers Vincent Legout, Mathieu Jan, Laurent Pautet. An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
		Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize