Loading...
The Architecture, Systems, Networks department covers research topics linked with the design of networks (satellite, wireless and embedded), distributed systems and real-time systems. Central to these researches is the optimized management of resources in order to enforce the quality of service required by applications, in domains as varied as health-care, smart city, transport, e-learning or security.
For more information, consult the Architecture, Systems, Networks department presentation on the IRIT website.
Latest full text publications
-
Samir Medjiah, Thierry Monteil, Marie-Agnès Peraldi-Frati, Luigi Liquori. Multi-layered Model for Performance Evaluation of oneM2M-based IoT Solution. 7th IFIP international internet of things (IoT) conference - IFIP-IoT Conference 2024, Université Côte d'Azur; IFIP, Nov 2024, Nice-Sophia Antipolis, France. ⟨hal-04749511⟩
-
Alban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange. Modelling and proving the monotonicity of processor pipelines in Coq. 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, Oct 2024, Raleigh, United States. pp.12-21, ⟨10.1109/MEMOCODE63347.2024.00007⟩. ⟨hal-04729453⟩
Documents
1 083
Distribution per document type