Formalizing and verifying compatibility and consistency of SysML blocks O Carrillo, S Chouali, H Mountassir ACM SIGSOFT Software Engineering Notes 37 (4), 1-8, 2012 | 11 | 2012 |
Incremental modeling of system architecture satisfying SysML functional requirements O Carrillo, S Chouali, H Mountassir Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014 | 9 | 2014 |
Towards smart-city implementation for crisis management in fast-growing and unplanned cities: the colombian scenario M Puentes, IA Delgado, O Carrillo, CJ Barrios, F Le Mouël Ingeniería y Ciencia 16 (32), 151-169, 2020 | 7 | 2020 |
Datacentric analysis to reduce pedestrians accidents: A case study in Colombia M Puentes, D Novoa, JMD Nivia, CJB Hernández, O Carrillo, FL Mouël Sustainable Smart Cities and Territories, 163-174, 2022 | 4 | 2022 |
Sistema colaborativo de medición de parámetros ambientales basado en IoT M Parra, E Guillen, F Le Mouël, O Carrillo 2nd Workshop CATAÏ-SmartData for Citizen Wellness, 2019 | 3 | 2019 |
Pedestrian behaviour modeling and simulation from real time data information M Puentes, D Novoa, JMD Nivia, CJB Hernndez, O Carrillo, F Le Mouël 2nd Workshop CATAÏ-SmartData for Citizen Wellness, 2019 | 3 | 2019 |
Machine Learning Models for Seizure Detection: Deployment Insights for e-Health IoT Platform G Puerta, F Le Mouël, O Carrillo IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI …, 2021 | 2 | 2021 |
Toward validated composition in component-based adaptive middleware A Ressouche, JY Tigli, O Carrillo Software Composition: 10th International Conference, SC 2011, Zurich …, 2011 | 2 | 2011 |
Modleamiento y predicción de lluvias usando Edge Computing para el entorno colombiano IA Delgado, O Carrillo, F Le Mouël 2nd Workshop CATAÏ-SmartData for Citizen Wellness, 2019 | 1 | 2019 |
HardenedGolo: pour augmenter le niveau de confiance en un code Golo O Carrillo, N Stouls, R Laurent, N Plokhoi, Q Zhou, J Ponge, F Le Mouël 16èmes journées sur les Approches Formelles dans l'Assistance au …, 2017 | 1 | 2017 |
Apprentissage augmenté: le numérique comme outil d'aide à l'apprentissage N Stouls, O Carrillo, J Ponge, F Le Mouël, A Claude 5è colloque «Pédagogie et Formation» Inter INSA, 2017 | 1 | 2017 |
Services décentralisés, robustes et efficaces pour une gestion autonome et temp-réel de situations d'urgences urbaines F Le Mouël, CJB Hernández, O Carrillo, G Pedraza Colloque international interdisciplinaire Colombie–France «La Ville-Région …, 2017 | 1 | 2017 |
Modélisation Incrémentale d’une Architecture de Système Satisfaisant des Exigences Fonctionnelles SysML O Carrillo, S Chouali, H Mountassir | 1* | 2014 |
Specifying system architecture from SysML requirements and component interfaces S Chouali, O Carrillo, H Mountassir Software Architecture: 7th European Conference, ECSA 2013, Montpellier …, 2013 | 1 | 2013 |
Composition and Formal Validation in Reactive Adaptive Middleware A Ressouche, JY Tigli, C Oscar INRIA, 2011 | 1 | 2011 |
Système d'exploitation pour équipements réseaux: quelle place dans le continuum IoT-Edge-Fog-Cloud? F Le Mouël, O Carrillo, J Caposiena Conférence francophone d'informatique en Parallélisme, Architecture et …, 2024 | | 2024 |
Performance and Cost of Machine Learning Models for Seizure Detection in an Adaptive e-Health IoT platform over Edge and Fog nodes G Puerta, O Carrillo, F Le Mouël 4th CATAÏ Workshop-Circular Architectures for Advanced Computing@ CARLA, 2023 | | 2023 |
Deployment Performance In Post-Moore-Based HPC Sustainable Platforms PJR Yepes, CJ Barrios-Hernandez, O Carrillo, F Le Mouël 4th CATAÏ Workshop-Circular Architectures for Advanced Computing@ CARLA, 2023 | | 2023 |
Preliminary Study of Fenicia District Renewable Energy Production for the Design of a Green Micro Datacenter F Le Mouël, F Jiménez, O Carrillo, CJ Barrios-Hernandez 4th CATAÏ Workshop-Circular Architectures for Advanced Computing@ CARLA, 2023 | | 2023 |
PIS: IoT & Industry 4.0 Challenges FL Mouël, O Carrillo The Evolution of Pervasive Information Systems, 123-155, 2022 | | 2022 |