Skip to Main content Skip to Navigation

hal-02075926v1  Journal articles
Régis BlacheAlain CouvreurEmmanuel HallouinDavid MadoreJade Nardi et al.  Anticanonical codes from del Pezzo surfaces with Picard rank one
Transactions of the American Mathematical Society, American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩
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-02287556v1  Journal articles
Liron SchiffStefan SchmidPetr Kuznetsov. In-Band Synchronization for Distributed SDN Control Planes
Computer Communication Review, 2016, 46 (1), pp.37-43
hal-02287557v1  Book sections
Samuel KounevPeter LewisKirstie BellmanNelly BencomoJavier Camara et al.  The notion of self-aware computing
Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, pp.3-16, 2017
hal-02287559v1  Conference papers
Jeremy PittAda Diaconescu. Interactional Justice for Sustainable Management of Common-Pool Resources
XVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Jul 2017, Utrecht, Netherlands Antilles
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-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-02288014v1  Conference papers
Katarzyna KapustaGérard Memmi. Selective All-Or-Nothing Transform: Protecting Outsourced Data Against Key Exposure
CSS’18, 10th International Symposium on Cyberspace Safety and Security, Oct 2018, Amalfi, Italy
hal-02412326v1  Conference papers
Rayhana BaghliElie NajmBruno Traverson. Defining services and service orchestrators acting on shared sensors and actuators
6th International Conference on Model-Driven Engineering and Software Development (ModelsWard'18), Jan 2018, Funchal, Portugal
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-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-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-03022552v1  Conference papers
Benjamin BinderMihail AsavoaeFlorian BrandnerBelgacem Ben HediaMathieu Jan. Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture
International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria
tel-03583890v1  Theses
Antoine Durand. Consensus Byzantin et blockchain : Modèles unifiés et nouveaux protocoles
Data Structures and Algorithms [cs.DS]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT025⟩
hal-02449500v1  Journal articles
Ada Diaconescu. Efficiency Versus Creativity as Organizing Principles of Socio-Technical Systems: Why Do We Build (Intelligent) Systems? [Commentary]
IEEE Technology and Society Magazine, Institute of Electrical and Electronics Engineers, 2019, 38 (1), pp.13-22. ⟨10.1109/MTS.2019.2894455⟩
hal-02449688v1  Journal articles
Elie RichaEtienne BordeLaurent Pautet. Translation of ATL to AGT and application to a code generator for Simulink
Software and Systems Modeling, Springer Verlag, 2019, 18 (1), pp.321-344. ⟨10.1007/s10270-017-0607-8⟩
hal-02449657v1  Conference papers
Ada DiaconescuLouisa Jane Di FelicePatricia Mellodge. Multi-Scale Feedbacks for Large-Scale Coordination in Self-Systems
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2019, Umea, France. pp.137-142, ⟨10.1109/SASO.2019.00025⟩
hal-02447339v1  Conference papers
Farouk HebbacheFlorian BrandnerMathieu JanLaurent Pautet. Arbitration-Induced Preemption Delays
31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
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-03023217v1  Journal articles
Julian GarbisoAda DiaconescuMarceau CoupechouxBertrand Leroy. Fair Self-Adaptive Clustering for HybridCellular-Vehicular Networks
IEEE Transactions on Intelligent Transportation Systems, IEEE, 2020