Skip to Main content Skip to Navigation

hal-02917644v1  Conference papers
Graeme ZinckLaurie RickerHervé MarchandLoïc Hélouët. Enforcing Opacity in Modular Systems
IFAC 2020 - Ifac world Congress, Nov 2020, Virtual, Germany. pp.1-8
hal-02022654v1  Journal articles
Elena RossiJennifer KötzPaola GoatinSimone Göttlich. Well-posedness of a non-local model for material flow on conveyor belts
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2020, 54 (2), pp.679-704. ⟨10.1051/m2an/2019062⟩
hal-02864914v1  Journal articles
Stefan KölblElmar TischhauserPatrick DerbezAndrey Bogdanov. Troika: a ternary cryptographic hash function
Designs, Codes and Cryptography, Springer Verlag, 2020, 88 (1), pp.91-117. ⟨10.1007/s10623-019-00673-2⟩
hal-02283189v1  Conference papers
Josu DoncelNicolas GastMirco TribastoneMax TschaikowskiAndrea Vandin. UTOPIC: Under-Approximation Through Optimal Control
QEST 2019 - 16th International Conference on Quantitative Evaluation of SysTems, Sep 2019, Glasgow, United Kingdom. pp.277-291, ⟨10.1007/978-3-030-30281-8_16⟩
hal-01851462v1  Journal articles
Kathrin SmetanaOlivier ZahmAnthony T Patera. Randomized residual-based error estimators for parametrized equations
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2019, 41 (2), pp.A900-A926. ⟨10.1137/18M120364X⟩
hal-02423973v1  Journal articles
Moreno FalaschiMaurizio GabbrielliCarlos OlarteCatuscia Palamidessi. Dynamic slicing for Concurrent Constraint Languages
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, In press
hal-01627391v2  Journal articles
Anthony BonatoNancy ClarkeDanielle CoxStephen FinbowFionn Mc Inerney et al.  Hyperopic Cops and Robbers
Theoretical Computer Science, Elsevier, 2019, 794, pp.59-68
hal-02372730v1  Directions of work or proceedings
Eitan AltmanKonstantin AvrachenkovFrancesco de PellegriniRachid ElazouziHuijuan Wang. Multilevel Strategic Interaction Game Models for Complex Networks
Altman, Eitan; Avrachenkov, Konstantin E; De Pellegrini, Francesco; El-Azouzi, Rachid; Wang, Huijuan. Springer International Publishing, 2019, ⟨10.1007/978-3-030-24455-2⟩
hal-01912958v1  Conference papers
Maurizio GabbrielliSaverio GiallorenzoIvan LaneseStefano Zingaro. A Language-based Approach for Interoperability of IoT Platforms
Hawaii International Conference on System Science, Nov 2018, Waikoloa Village, United States
hal-01985374v2  Conference papers
Umberto BosiAllan P. Engsig-KarupClaes EskilssonMario RicchiutoElie Solai. A high-order spectral element unified boussinesq model for floating point absorbers
36th International Conference on Coastal Engineering, Jul 2018, Baltimore, United States. pp.57
hal-01872303v1  Conference papers
Ali MarandiTorsten BraunKavé SalamatianNikolaos Thomos. A Comparative Analysis of Bloom Filter-based Routing Protocols for Information-Centric Networks
IEEE Symposium on Computer Communications (ISCC'18)., Jun 2018, Natal, Brazil
hal-01879108v1  Conference papers
Shohreh AhvarJagruti SahooEhsan AhvarMouhamad DieyeRoch Glitho et al.  PCPV: Pattern-based Cost-efficient Proactive VNF placement and chaining for value-added services in content delivery networks
NETSOFT 2018: 4th IEEE Conference on Network Softwarization and Workshops, Jun 2018, Montreal, Canada. pp.313-317, ⟨10.1109/NETSOFT.2018.8459986⟩
hal-01886156v1  Conference papers
Loïc HélouëtHervé MarchandLaurie Ricker. Opacity with powerful attackers
WODES 2018 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Sorrento, Italy. pp.464 - 471, ⟨10.1016/j.ifacol.2018.06.341⟩
hal-01529154v2  Journal articles
David BremnerOlivier DevillersMarc GlisseSylvain LazardGiuseppe Liotta et al.  Monotone Simultaneous Paths Embeddings in $\mathbb{R}^d$
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2018, 20 (1), pp.1-11. ⟨10.23638/DMTCS-20-1-1⟩