Loading...
Derniers dépôts
-
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, Yves Bossu, et al.. An Experience Report on the Optimization of the Product Configuration System of Renault *. 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.197-206, ⟨10.1109/ICECCS59891.2023.00032⟩. ⟨hal-04518663⟩
-
Pedro Videira Rubinstein, Fernando Dias de Mello Silva, Mohammad Imran Syed, Anne Fladenmuller, Marcelo Dias de Amorim, et al.. Estimativa de Distância em Redes Wi-Fi usando Super-sniffers. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, May 2024, Niterói, Rio de Janeiro, Brazil. ⟨hal-04510570⟩
-
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Gustavo Petri, Carla Ferreira, et al.. Models for Storage in Database Backends: A Rigorous Approach for Formally-Correct Designs. Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys (ACM), Apr 2024, Athènes, Greece. ⟨10.1145/3642976.3653036⟩. ⟨hal-04507674v2⟩
-
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg. Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag. 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Jun 2011, Newcastle, United Kingdom. pp.338-347, ⟨10.1007/978-3-642-21834-7_20⟩. ⟨hal-01282493⟩