Skip to Main content Skip to Navigation


hal-03559623v1  Conference papers
Petr KuznetsovAndrei TonkikhYan 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-03559899v1  Conference papers
Florian BrandnerBenjamin BinderMihail AsavoaeBelgacem Ben HediaMathieu 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-03560232v1  Conference papers
Petr KuznetsovVitaly AksenovVincent GramoliSrivatsan Ravi. Optimal Concurrency for List-Based Sets
Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
hal-03559711v1  Conference papers
Dongmin SonSawsan Al ZahrGerard 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-01113223v1  Conference papers
Ziad IsmailJean LeneutreDavid BatemanLin 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-02274532v1  Conference papers
Eric CousinGérald OuvradouC. BacO. BergerP. 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-02287739v1  Conference papers
Farouk HebbacheMathieu JanFlorian BrandnerLaurent 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-01246343v1  Conference papers
Amine NajiFlorian 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-02343631v1  Conference papers
Mounira MsahliAhmed SerhrouchniMohamad 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-03042230v1  Conference papers
Mounira MsahliRached AbdeljaouedAhmed 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-01625409v2  Conference papers
Kameswar Rao VaddinaFlorian BrandnerGérard MemmiPierre 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-02287385v1  Conference papers
Jeremy PittAndrzej NowakAda Diaconescu. Value Sensitive Design for Self-Organising Digital Communities
Charting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark
hal-02287276v1  Conference papers
Naji AmineFlorian 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-02288493v1  Conference papers
Florian BrandnerNaji 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 AksenovDan AlistarhPetr 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-01888607v1  Conference papers
Vitalii AksenovPetr KuznetsovAnatoly Shalyto. On Helping and Stacks
The International Conference on Networked Systems, May 2018, Essaouira, Morocco
hal-03023085v1  Journal articles
Arles RodriguezJonatan GomezAda Diaconescu. Self-healing Networks via Self-organising Mobile Agents
Journal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2021
hal-03023217v1  Journal articles
Julian GarbisoAda DiaconescuMarceau CoupechouxBertrand Leroy. Fair Self-Adaptive Clustering for HybridCellular-Vehicular Networks
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2020
hal-02287084v1  Conference papers
Trung NguyenJean Leneutre. Formal Analysis of Secure Device Pairing Protocols
IEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States
hal-02286672v1  Conference papers
Laurent PautetIsabelle. Perseil. An Emerging Need for a New Software Engineering Method
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
hal-00479569v1  Conference papers
Samuel TardieuAlexis Polti. Complementing Ada with other programming languages
ACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114