Skip to Main content Skip to Navigation
New interface


...
hal-03168834v1  Reports
Ankica BarisicDušan SavićRima Al-AliIvan RuchkinDominique Blouin et al.  Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems
[Technical Report] COST European Cooperation in Science and Technology. 2019
...
hal-03168831v1  Reports
Rima Al-AliMoussa AmraniSoumyadip BandyopadhyayAnkica BarisicFernando Barros et al.  Framework to Relate / Combine Modeling Languages and Techniques
[Technical Report] COST European Cooperation in Science and Technology. 2019
hal-03035791v1  Conference papers
Ashref AlouiMounira MsahliTalel AbdessalemSihem MesnagerStéphane Bressan. Privacy as a Service: Anonymisation of NetFlow Traces
16th International Conference on e-Business Engineerin,(ICEBE 2019), Oct 2019, Shanghai, China
hal-03023532v1  Journal articles
Ada Diaconescu. Efficiency vs Creativity as Organising Principles of Socio-Technical Systems
IEEE Technology and Society Magazine, Institute of Electrical and Electronics Engineers, 2019
hal-03023230v1  Book sections
Susan StepneyAda DiaconescuRené DoursatJean-Louis GiavittoJulian Miller et al.  Evolving, Growing, and Gardening Cyber-physical Systems
Experimental Architecture - Designing the Unknown, 2019
hal-03022707v1  Conference papers
Moussa AmraniDominique BlouinRobert HeinrichArend RensinkHans Vangheluwe et al.  Towards a Formal Specification of Multi-paradigm Modelling
First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
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-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-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-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-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-02449653v1  Conference papers
Chloe BarnesKirstie BellmanJean F 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-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-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-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-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-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