Skip to Main content Skip to Navigation

hal-02749045v1  Conference papers
Dimitrios SourailidisRemous-Aris KoutsiamanisGeorgios PapadopoulosDominique BarthelNicolas Montavont. RFC 6550: On Minimizing the Control Plane Traffic of RPL-based Industrial Networks
2020 IEEE 21st International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM), Aug 2020, Cork, Ireland. pp.439-444, ⟨10.1109/WoWMoM49955.2020.00080⟩
hal-02987638v1  Conference papers
Remous-Aris KoutsiamanisGeorgios PapadopoulosBruno QuoitinNicolas Montavont. A Centralized Controller for Reliable and Available Wireless Schedules in Industrial Networks
MSN 2020 - 16th International Conference on Mobility, Sensing and Networking, Dec 2020, Virtual, Japan. pp.1-9
hal-02289699v1  Book sections
Damien ChablatGuillaume MorozFabrice RouillierPhilippe Wenger. Using Maple to analyse parallel robots
Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics Education and Research, Springer, Cham, pp.50-64, 2020, Maple in Mathematics Education and Research, 978-3-030-41257-9. ⟨10.1007/978-3-030-41258-6_4⟩
hal-01942097v1  Conference papers
Ye XiaXavier EtcheversLoic LetondeurAdrien LebreThierry Coupaye et al.  Combining Heuristics to Optimize and Scale the Placement of IoT Applications in the Fog
UCC 2018 : 11th IEEE/ACM Conference on Utility and Cloud Computing, Dec 2018, Zurich, Switzerland. pp.1-11, ⟨10.1109/UCC.2018.00024⟩
hal-01766530v1  Conference papers
Loïg JezequelThomas ChatainMaurice ComlanDavid DelfieuOlivier Roux. Pomsets and Unfolding of Reset Petri Nets
LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, Apr 2018, Ramat Gan, Israel
hal-01735406v1  Conference papers
Loïg JezequelAgnes MadalinskiStefan Schwoon. Distributed computation of vector clocks in Petri nets unfolding for test selection
Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy
hal-01926434v1  Poster communications
Bruno DutaillySylvie EusèbeValentin GrimaudNicolas LefèvreMathieu Quantin et al.  Life cycle of 3d data for cultural heritage
Visual Heritage 2018, Nov 2018, Vienne, Austria
hal-01575603v1  Book sections
Damien EveillardAnne SiegelPhilippe Vandenkoornhuyse. L'écologie des systèmes
Mokrane Bouzeghoub et Rémy Mosseri. Les Big Data à Découvert, CNRS éditions, 2017, 978-2-271-11464-8
hal-03119901v1  Journal articles
David Espinel SarmientoAdrien LebreLucas NussbaumAbdelhadi Chari. Decentralized SDN Control Plane for a Distributed Cloud-Edge Infrastructure: A Survey
Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2021, IEEE Communications Surveys & Tutorials, 23 (1), pp.256-281. ⟨10.1109/COMST.2021.3050297⟩
hal-02108806v1  Conference papers
Farah Ait SalahtFrédéric DesprezAdrien LebreCharles Prud'HommeMohamed Abderrahim. Service Placement in Fog Computing Using Constraint Programming
SCC 2019 : IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.19-27, ⟨10.1109/SCC.2019.00017⟩
hal-02313711v2  Reports
Farah Ait SalahtFrédéric DesprezAdrien Lebre. An overview of service placement problem in Fog and Edge Computing
[Research Report] RR-9295, Univ Lyon, EnsL, UCBL, CNRS, Inria, LIP, LYON, France. 2019, pp.1-43
hal-02596419v1  Journal articles
Farah Ait SalahtFrédéric DesprezAdrien Lebre. An overview of service placement problem in Fog and Edge Computing
ACM Computing Surveys, Association for Computing Machinery, 2020, 53 (3), Article 65, 35 p. ⟨10.1145/3391196⟩
hal-02922930v1  Conference papers
Sirine SayadiEstelle GeffardMario SüdholtNicolas VincePierre-Antoine Gourraud. Distributed Contextualization of Biomedical Data: a case study in precision medicine
AICCSA 2020 - 17th IEEE/ACS International Conference on Computer Systems and Applications, Nov 2020, Antalya, Turkey. pp.1-6
hal-01826564v1  Conference papers
Tony RibeiroMaxime FolschetteMagnin MorganOlivier RouxKatsumi Inoue. Learning Dynamics with Synchronous, Asynchronous and General Semantics
28th International Conference on Inductive Logic Programming, Fabrizio Riguzzi; Elena Bellodi; Riccardo Zese, Sep 2018, Ferrara, Italy. ⟨10.1007/978-3-319-99960-9_8⟩
hal-02061643v1  Journal articles
Sébastien BriotPaolo Robuffo Giordano. Physical Interpretation of Rigidity for Bearing Formations: Application to Mobility and Singularity Analyses
Journal of Mechanisms and Robotics, American Society of Mechanical Engineers, 2019, 11 (3), pp.031006-1--031006-10. ⟨10.1115/1.4043050⟩
hal-01963668v1  Journal articles
Robin TournemenneJean-François PetiotBastien TalgornJoel GilbertMichael Kokkolaras. Sound simulation-based design optimization of brass wind instruments
Journal of the Acoustical Society of America, Acoustical Society of America, 2019, 145 (6), pp.3795-3804. ⟨10.1121/1.5111346⟩
hal-02466551v1  Conference papers
Jean-François PetiotRobin TournemenneJoel Gilbert. Physical modeling sound simulations for the study of the quality of wind instruments
ICSV2019 - 26th International Congress on Sound and Vibration, Jul 2019, Montréal, Canada
tel-03107626v2  Habilitation à diriger des recherches
Assia Mahboubi. Machine-checked computer-aided mathematics
Logic in Computer Science [cs.LO]. Université de Nantes (UN), Nantes, FRA., 2021
hal-03120580v1  Journal articles
Nicolas TabareauÉric TanterMatthieu Sozeau. The Marriage of Univalence and Parametricity
Journal of the ACM (JACM), Association for Computing Machinery, 2021, 68 (1), pp.1-44. ⟨10.1145/3429979⟩