| 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 | 7 | 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 | 4 | 2020 |
| 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 |
| 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 | 2 | 2022 |
| 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 |
| 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 | 1 | 2021 |
| 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 |
| PIS: IoT & Industry 4.0 Challenges FL Mouël, O Carrillo The Evolution of Pervasive Information Systems, 123-155, 2023 | | 2023 |
| Scalable Architectures to Support Sustainable Advanced Information Technologies O Carrillo, CJB Hernández, F Le Mouël, HEC Barrera, Y Denneulin, ... 2022 IEEE International Conference on Cluster Computing (CLUSTER), 512-515, 2022 | | 2022 |
| Recognition of Emotional influence of a character. Experimental Design and Preliminary Results JSV Molano, N Casanova, O Carrillo, WJ Sarmiento 2020 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and …, 2020 | | 2020 |
| Decentralized, Robust and Efficient Services for an Autonomous and Real-time Urban Crisis Management FL Mouël, CB Hernández, O Carrillo, G Pedraza arXiv preprint arXiv:1703.04519, 2017 | | 2017 |
| Decentralized, Robust and Efficient Services for an Autonomous and Real-time Urban Crisis Management F Le Mouël, C Barrios Hernández, O Carrillo, G Pedraza arXiv e-prints, arXiv: 1703.04519, 2017 | | 2017 |
Frédéric Le MouëlFull Professor, University of Lyon / INSA Lyon, CITI Lab (INSA/Inria)Adresse e-mail validée de insa-lyon.fr
