151 results  save search


...
cea-02321547v1  Reports
Petr KuznetsovThibault RieutordSara Tucci-Piergiovanni. Reconfigurable Lattice Agreement and Applications
[Research Report] Institut Polytechnique Paris; CEA List. 2019
hal-02450312v1  Conference papers
Han QiuQinkai ZhengMeikang QiuGérard Memmi. DC Coefficients Recovery from AC Coefficients in the JPEG Compression Scenario
Smart Computing and Communication, Oct 2019, Birmingham, United Kingdom. pp.266-276, ⟨10.1007/978-3-030-34139-8_26⟩
hal-02428017v1  Conference papers
Simon van MierloEugene SyrianiDominique BlouinMoussa AmraniJulien Deantoni et al.  Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
hal-02449644v1  Conference papers
Arles RodríguezNathaly BotinaJonatan GómezMarius PolJean-Louis Dessalles et al.  Explanatory AI for Pertinent Communication in Autonomic Systems
Intelligent Systems and Applications, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩
hal-02447655v1  Conference papers
Farouk HebbacheFlorian BrandnerMathieu JanLaurent Pautet. Arbitration-Induced Preemption Delays
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
...
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-02448995v1  Book sections
Alessandro FantechiElie NajmJean-Bernard Stefani. From Behavioural Contracts to Session Types
Models, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩
hal-02450309v1  Conference papers
Katarzyna KapustaHan QiuGérard Memmi. Secure Data Sharing with Fast Access Revocation through Untrusted Clouds
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, France. pp.1-5, ⟨10.1109/NTMS.2019.8763850⟩
hal-02450307v1  Conference papers
Katarzyna KapustaHan QiuGérard Memmi. Reinforcing Protection Against Chosen-Plaintext Attack Using Ciphertext Fragmentation in Multi-cloud Environments
2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), Jun 2019, Paris, France. pp.7-9, ⟨10.1109/CSCloud/EdgeCom.2019.00011⟩
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-02449649v1  Conference papers
Philippe LalandaAda Diaconescu. Integration of Pervasive Platforms with iCasa
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.49-51, ⟨10.1109/FAS-W.2019.00025⟩
hal-02449653v1  Conference papers
Chloe BarnesKirstie BellmanJean BotevAda DiaconescuLukas Esterle et al.  CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.52-55, ⟨10.1109/FAS-W.2019.00026⟩
hal-02450308v1  Conference papers
Katarzyna KapustaHan QiuGérard Memmi. Poster Abstract: Secure Data Sharing by Means of Fragmentation, Encryption, and Dispersion
IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Apr 2019, Paris, France. pp.1051-1052, ⟨10.1109/INFCOMW.2019.8845243⟩
...
hal-02147191v1  Conference papers
Maryline LaurentJean LeneutreSophie ChabridonImane Laaouane. Authenticated and Privacy-Preserving Consent Management in the Internet of Things
ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩
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-02009646v1  Journal articles
Christophe KiennertIsmail ZiadHervé DebarJean Leneutre. A survey on game-theoretic approaches for intrusion detection and response optimization
ACM Computing Surveys, Association for Computing Machinery, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩
hal-01994629v1  Conference papers
Farouk HebbacheMathieu JanFlorian BrandnerLaurent Pautet. Shedding the Shackles of Time-Division Multiplexing
RTSS 2018 - IEEE Real-Time Systems Symposium, Dec 2018, Nashville, France. pp.456-468, ⟨10.1109/RTSS.2018.00059⟩
hal-01996468v1  Conference papers
Jonathan GomezArles RodriguezNathaly BotinaAda Diaconescu. Improving data collection in complex networks with failure-prone agents via local marking
6th International Symposium of Language and Knowledge Engineering (LKE 2018), Oct 2018, Puebla, Mexico