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 | 8 | 2012 |
Incremental modeling of system architecture satisfying SysML functional requirements O Carrillo, S Chouali, H Mountassir International Workshop on Formal Aspects of Component Software, 79-99, 2013 | 3 | 2013 |
Toward validated composition in component-based adaptive middleware A Ressouche, JY Tigli, O Carrillo International Conference on Software Composition, 165-180, 2011 | 2 | 2011 |
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 | 1 | 2019 |
Modleamiento y predicción de lluvias usando Edge Computing para el entorno colombiano I Delgado, O Carrillo, F Le Mouël 2nd Workshop CATAÏ-SmartData for Citizen Wellness, 2019 | 1 | 2019 |
Pedestrian Behaviour Modeling and Simulation from Real Time Data Information M Puentes, D Novoa, JD Nivia, CB Hernndez, 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 | 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 | 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, CB Hernández, O Carrillo, G Pedraza | 1 | 2017 |
Composition and Formal Validation in Reactive Adaptive Middleware A Ressouche, JY Tigli, C Oscar | 1 | 2011 |
Towards Smart-City Implementation for Crisis Management in Fast-Growing and Unplanned Cities: the Colombian Scenario M Puentes, IA Delgado, O Carrillo, F Le Mouel Ingeniería y Ciencia 16 (32), 151-169, 2020 | | 2020 |
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 |
Specifying system architecture from SysML requirements and component interfaces S Chouali, O Carrillo, H Mountassir European Conference on Software Architecture, 348-352, 2013 | | 2013 |
Modélisation Incrémentale d’une Architecture de Système Satisfaisant des Exigences Fonctionnelles SysML O Carrillo, S Chouali, H Mountassir | | |