Oscar Carrillo
Oscar Carrillo
Univ Lyon, CPE Lyon, INSA Lyon, CITI, F-69621 Villeurbanne, France
Verified email at insa-lyon.fr - Homepage
Title
Cited by
Cited by
Year
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
82012
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
32013
Toward validated composition in component-based adaptive middleware
A Ressouche, JY Tigli, O Carrillo
International Conference on Software Composition, 165-180, 2011
22011
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
12017
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
12017
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
Colloque international interdisciplinaire Colombie–France «La Ville-Région …, 2017
12017
Composition and Formal Validation in Reactive Adaptive Middleware
A Ressouche, JY Tigli, C Oscar
INRIA, 2011
12011
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
The system can't perform the operation now. Try again later.
Articles 1–10