Browse by search - Equipe Autonomic and Critical Embedded Systems

Autonomous Critical Embedded Systems team

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	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-03559623v1 Conference papers Petr Kuznetsov, Andrei Tonkikh, Yan Zhang. Revisiting Optimal Resilience of Fast Byzantine Consensus PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.343-353, ⟨10.1145/3465084.3467924⟩
	hal-01113223v1 Conference papers Ziad Ismail, Jean Leneutre, David Bateman, Lin Chen. A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, FL, United States. ⟨10.1109/HASE.2015.24⟩
	hal-03559711v1 Conference papers Dongmin Son, Sawsan Al Zahr, Gerard Memmi. Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain 2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney, France. pp.1-3, ⟨10.1109/ICBC51069.2021.9461115⟩
	hal-03559899v1 Conference papers Florian Brandner, Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Mathieu Jan. Is This Still Normal? Putting Definitions of Timing Anomalies to the Test 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2021, Houston, France. pp.139-148, ⟨10.1109/RTCSA52859.2021.00024⟩
	hal-02274532v1 Conference papers Eric Cousin, Gérald Ouvradou, C. Bac, O. Berger, P. Lalevee et al. Développer une nouvelle approche pédagogique ", questionnement autour du cas de PicoLibre Questions de pédagogies dans l'enseignement supérieur : réflexions, projets et pratiques : actes du 2e colloque, Brest, 25-27 juin 2003, organisé par l'ENSIETA et l'ENST Bretagne, Jun 2003, Brest, France. pp.109 - 114
	hal-01121244v1 Conference papers Fabien Cadoret, Robert Thomas, Etienne Borde, Laurent Pautet, Frank Singhoff. Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
	hal-03157038v1 Reports Dongmin Son, Sawsan Al Zahr, Gerard Memmi. Energy trading marketplace using Ethereum private network [Technical Report] Telecom Paris. 2020
	hal-03560232v1 Conference papers Petr Kuznetsov, Vitaly Aksenov, Vincent Gramoli, Srivatsan Ravi. Optimal Concurrency for List-Based Sets Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
	hal-02450299v1 Journal articles Han Qiu, Meikang Qiu, Zhihui Lu, Gérard Memmi. An efficient key distribution system for data fusion in V2X heterogeneous networks Information Fusion, Elsevier, 2019, 50, pp.212-220. ⟨10.1016/j.inffus.2019.02.002⟩
	hal-03104867v1 Journal articles Ayyoub Lamssaggad, Nabil Benamar, Abdelhakim Senhaji Hafid, Mounira Msahli. A Survey on the Current Security Landscape of Intelligent Transportation Systems IEEE Access, IEEE, 2021, pp.1-1. ⟨10.1109/ACCESS.2021.3050038⟩
	hal-02288556v1 Conference papers Katarzyna Kapusta, Gérard Memmi. A Fast and Scalable Fragmentation Algorithm For Data Protection For Multi-Storage Over Independent Locations Esorics’18, STM workshop, Sep 2018, Barcelona, Spain
	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-02288493v1 Conference papers Florian Brandner, Naji Amine. Worst-Case Execution Time Analysis of Predicated Architectures Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
	hal-01887733v1 Conference papers Vitalii Aksenov, Dan Alistarh, Petr Kuznetsov. Brief Announcement: Performance Prediction for Coarse-Grained Locking PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
	hal-02292455v1 Journal articles Smail Rahmoun, Asma Mehiaoui-Hamitou, Etienne Borde, Laurent Pautet, Elie Soubiran. Multi-objective exploration of architectural designs by composition of model transformations Software and Systems Modeling, Springer Verlag, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
	hal-03042230v1 Conference papers Mounira Msahli, Rached Abdeljaoued, Ahmed Serhrouchni. Access control in probative value cloud 8th International Conference for Internet Technology and Secured Transactions (ICITST 2013), Dec 2013, London, France. pp.607-611, ⟨10.1109/ICITST.2013.6750274⟩
	hal-01246343v1 Conference papers Amine Naji, Florian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses 9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
	hal-01625409v2 Conference papers Kameswar Rao Vaddina, Florian Brandner, Gérard Memmi, Pierre Jouvelot. Experimental Energy Profiling of Energy-Critical Embedded Applications 25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
	hal-01995010v1 Conference papers Roberto Medina, Etienne Borde, Laurent Pautet. Directed Acyclic Graph Scheduling for Mixed-Criticality Systems Reliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
	hal-02343631v1 Conference papers Mounira Msahli, Ahmed Serhrouchni, Mohamad Badra. Extending TLS with KMIP Protocol for Cloud Computing 2016 8th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Nov 2016, Larnaca, France. pp.1-6, ⟨10.1109/NTMS.2016.7792452⟩
	hal-02286400v1 Conference papers Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet. Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models ICECCS 2012, Jul 2012, Paris, France
	hal-00479569v1 Conference papers Samuel Tardieu, Alexis Polti. Complementing Ada with other programming languages ACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
	hal-02287767v1 Journal articles Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani. On the uncontended complexity of anonymous agreement Distributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩
	hal-02287768v1 Journal articles Petr Kuznetsov, Sathya Peri. Non-interference and local correctness in transactional memory Theor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩
	hal-02287276v1 Conference papers Naji Amine, Florian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses 9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
	hal-02287748v1 Conference papers Katarzyna Kapusta, Gérard Memmi, Hassan Noura. Secure and Resilient Scheme for Data Protection in Unattanded Wireless Sensor Networks 1st IEEE-IFIP CSNet, Oct 2017, Rio de Janero, Brazil
	hal-02288008v1 Journal articles Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. AT2: Asynchronous Trustworthy Transfers CoRR, 2018, abs/1812.10844
	hal-03023085v1 Journal articles Arles Rodriguez, Jonatan Gomez, Ada Diaconescu. Self-healing Networks via Self-organising Mobile Agents Journal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
	hal-03023217v1 Journal articles Julian Garbiso, Ada Diaconescu, Marceau Coupechoux, Bertrand Leroy. Fair Self-Adaptive Clustering for HybridCellular-Vehicular Networks IEEE Transactions on Intelligent Transportation Systems, IEEE, 2020
	hal-03024707v1 Conference papers Katarzyna Kapusta, Gerard Memmi, Matthieu Rambaud. Revisiting Shared Data Protection Against Key Exposure AsiaCCS, Sep 2020, taipei, Taiwan. ⟨10.1145/3320269.3372198⟩
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	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