Publications

ARTICLES IN JOURNALS

  • Oscar Carrillo, Samir Chouali, and Hassan Mountassir. Formalizing and verifying compatibility and consistency of SysML blocks. In ACM SIGSOFT Software Engineering Notes (UML-FM 2012), volume 37, pages 1–8, Paris, France, 2012. ACM.

CONFERENCES

International

  • Samir Chouali, Oscar Carrillo, and Hassan Mountassir. Specifying System Architecture from SysML Requirements and Component Interfaces. In Software Architecture (ECSA 2013), pages 348–352, Montpellier, France, 2013.
  • Oscar Carrillo, Samir Chouali, and Hassan Mountassir. Incremental Modeling of System Architecture Satisfying SysML Functional Requirements. In José Luiz Fiadeiro, Zhiming Liu, and Jinyun Xue, editors, Formal Aspects of Component Software (FACS 2013), Lecture Notes in Computer Science, pages 79–99. Springer International Publishing, Nanchang, China, 2014.
  • Annie Ressouche, JY Tigli, and Oscar Carrillo. Towards Validated Composition in Component-Based Adaptive Middleware. In Software Composition, pages 165–180, Switzerland, 2011. Springer-Verlag Berlin Heidelberg.

French

  • Oscar Carrillo, Samir Chouali, and Hassan Mountassir. Vérification de la consistence et de la compatibilité entre blocs SysML. In Conférence en Architectures Logicielles (CAL 2012), Montpellier, France, 2012.
  • Oscar Carrillo, Samir Chouali, and Hassan Mountassir. Modélisation Incrémentale d’une Architecture de Système Satisfaisant des Exigences Fonctionnelles SysML. In Conférence en Architectures Logicielles (CAL 2014), Paris, France, 2014.
  • Oscar Carrillo, Nicolas Stouls, Raphael Laurent, Nikolai Plokhoi, Qifan Zhou, Julien Ponge, and Frédéric Le Mouël. Hardened Golo : pour augmenter le niveau de confiance en un code Golo. In AFADL 2017, Montpellier, France, 2017.

Talks

  • Oscar Carrillo. Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes hétérogènes. Journée des Doctorants, May 2012.
  • Oscar Carrillo. Formalizing and Verifying Compatibility and Consistency of SysML Blocks. Universidad Industrial de Santander, April 2013.
  • Oscar Carrillo. Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes hétérogènes. Entretien de suivi - 2ème année doctorat, May 2013.
  • Oscar Carrillo. Incremental modeling of system architecture satisfying SysML functional requirements. Universidad Industrial de Santander, February 2014.
  • Oscar Carrillo. Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes hétérogènes. Laboratoire LAMA de l’Université de Savoie, October 2015.

OTHER PUBLICATIONS

PhD thesis

  • Oscar Alberto Carrillo Rozo. Formal and Incremental Verification of SysML Specifications for the Design of Component-Based Systems. PhD thesis, Université de Franche-Comté, 2015. (pdf version, slides).

Research reports

  • Annie Ressouche, Jean-Yves Tigli, and Oscar Carrillo. Composition and Formal Validation in Reactive Adaptive Middleware. Technical Report RR-7541, INRIA, Sophia-Antipolis, 2011.