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-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-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-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-02423973v1  Journal articles
Moreno FalaschiMaurizio GabbrielliCarlos OlarteCatuscia Palamidessi. Dynamic slicing for Concurrent Constraint Languages
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, In press
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⟩
hal-01535513v2  Journal articles
Elise BarelliPeter BeelenMrinmoy DattaVincent NeigerJohan Rosenkilde. Two-Point Codes for the Generalized GK Curve
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TIT.2017.2763165⟩
hal-01860823v1  Journal articles
Myriam Djoukwe TapiLeïla Bagny BeilheSamuel BowongYves Dumont. Models for Miridae, a cocoa insect pest. Application in control strategies
Mathematical Methods in the Applied Sciences, Wiley, In press, 41 (18), pp.8673-8696. ⟨10.1002/mma.5063⟩
hal-01457979v2  Conference papers
Vincent NeigerThi Xuan Vu. Computing Canonical Bases of Modules of Univariate Relations
ISSAC '17 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8
hal-01590438v1  Conference papers
Laurie RickerT LidbetterHervé Marchand. Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems
20th World Congress The International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.6