Skip to Main content Skip to Navigation


hal-03023079v1  Journal articles
Mounira MsahliHan QiuQinkai ZhengGerard MemmiMeikang Qiu et al.  Topological Graph Convolutional Network-Based Urban Traffic Flow and Density Prediction
IEEE Transactions on Intelligent Transportation Systems, 2020
hal-03024246v1  Conference papers
Jean LeneutreSameh KhalfaouiArthur VillardXingjuan Ma. COOB: Hybrid secure device pairing scheme in a hostile environment
16th EAI International Conference on Security and Privacy in Communication Networks, Oct 2020, Washington DC, United States
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
hal-03023108v1  Conference papers
Marius PolAda Diaconescu. A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic Systems
SISSY workshop, IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Aug 2020, Washington DC (virtual), France
hal-03023157v1  Conference papers
Payam ZahadaAda Diaconescu. Reactive or Stable: A Plant-inspired Approach for Business Organisation Morphogenesis
International Conference on Artificial Life (ALife), Jul 2020, Montreal (virtual), Canada
hal-02910407v1  Conference papers
Nathanaël DenisPierre ChaffardonDenis ConanMaryline LaurentSophie Chabridon et al.  Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting
SECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
hal-02894150v1  Conference papers
Florian BrandnerCamille Noûs. Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.44-55, ⟨10.1145/3394810.3394811⟩
hal-03022808v1  Book sections
Dominique BlouinEtienne Borde. AADL: A Language to Specify the Architecture of Cyber-Physical Systems
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
...
hal-02421005v1  Journal articles
Julian GarbisoAda DiaconescuMarceau CoupechouxBertrand Leroy. Fair Self-Adaptive Clustering for Hybrid Cellular-Vehicular Networks
IEEE Transactions on Intelligent Transportation Systems, IEEE, In press
...
hal-02454258v1  Conference papers
Paolo CrisafulliDominique BlouinFrançoise CaronCristian Maxim. Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
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-03023542v1  Conference papers
Mounira MsahliAshref AlouiTalel AbdessalemSihem MesnagerStéphane Bressan. Privacy as a Service: Anonymisation of NetFlow Traces
16th International Conference on e-Business Engineering, ICEBE 2019, Nov 2019, Shanghai, China
...
cea-02321547v1  Reports
Petr KuznetsovThibault RieutordSara Tucci-Piergiovanni. Reconfigurable Lattice Agreement and Applications
[Research Report] Institut Polytechnique Paris; CEA List. 2019
hal-02354692v1  Conference papers
Mounira MsahliAchref AlouiSihem MesnagerTalel AbdessalemStéphane Bressan. Privacy as a Service: Anonymisation of NetFlow Traces
The International Conference on e-Business Engineering (ICEBE), Oct 2019, shanghai, China
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-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