<commit_before>---
permalink: /publis/
layout: single
author_profile: true
title: "Publications"
---

ARTICLES IN JOURNALS
====================
* <NAME>, <NAME>, and <NAME>. 
  _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
===========
Internationals
--------------
* <NAME>, <NAME>, and <NAME>. 
  _Specifying System Architecture from SysML Requirements and Component Interfaces_. 
  In Software Architecture (ECSA 2013), pages 348–352, Montpellier, France, 2013.
* <NAME>, <NAME>, and <NAME>. 
  _Incremental Modeling of System Architecture Satisfying SysML Functional Requirements_. 
  In <NAME>, <NAME>, and <NAME>, editors, Formal Aspects of Component Software (FACS 2013), Lecture Notes in Computer Science, pages 79–99. Springer International Publishing, Nanchang, China, 2014.
* <NAME>, <NAME>, and <NAME>. 
  _Towards Validated Composition in Component-Based Adaptive Middleware_. 
  In Software Composition, pages 165–180, Switzerland, 2011. Springer-Verlag Berlin Heidelberg.

French
------
* <NAME>, <NAME>, and <NAME>. 
  _Vérification de la consistence et de la compatibilité entre blocs SysML_. 
  In Conférence en Architectures Logicielles (CAL 2012), Montpellier, France, 2012.
* <NAME>, <NAME>, and <NAME>. 
  _Modélisation Incrémentale d’une Architecture de Système Satisfaisant des Exigences Fonctionnelles SysML_. 
  In Conférence en Architectures Logicielles (CAL 2014), Paris, France, 2014.

Talks
=====
* <NAME>. 
  _Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes hétérogènes_. 
  Journée des Doctorants, May 2012.
* <NAME>. 
  _Formalizing and Verifying Compatibility and Consistency of SysML Blocks_.
  Universidad Industrial de Santander, April 2013.
* <NAME>. 
  _Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes hétérogènes_. 
  Entretien de suivi - 2ème année doctorat, May 2013.
* <NAME>. 
  _Incremental modeling of system architecture satisfying SysML functional requirements_. 
  Universidad Industrial de Santander, February 2014.
* <NAME>. 
  _Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes hétérogènes_. 
  Laboratoire LAMA de l’Université de Savoie, October 2015.

OTHER PUBLICATIONS
==================

PhD thesis
----------
* <NAME>.
  [/assets/publis/thesis.pdf]{_Formal and Incremental Verification of SysML Specifications for the Design of Component-Based Systems_}. 
  PhD thesis, Université de Franche-Comté, 2015.
Research reports 
----------------
* <NAME>, <NAME>, and <NAME>.
  _Composition and Formal Validation in Reactive Adaptive Middleware_. 
  Technical Report RR-7541, INRIA, Sophia-Antipolis, 2011.<commit_msg>modif publis<commit_after>---
permalink: /publis/
layout: single
author_profile: true
title: "Publications"
---

ARTICLES IN JOURNALS
====================
* <NAME>, <NAME>, and <NAME>. 
  _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
-------------
* <NAME>, <NAME>, and <NAME>. 
  _Specifying System Architecture from SysML Requirements and Component Interfaces_. 
  In Software Architecture (ECSA 2013), pages 348–352, Montpellier, France, 2013.
* <NAME>, <NAME>, and <NAME>. 
  _Incremental Modeling of System Architecture Satisfying SysML Functional Requirements_. 
  In <NAME>, <NAME>, and <NAME>, editors, Formal Aspects of Component Software (FACS 2013), Lecture Notes in Computer Science, pages 79–99. Springer International Publishing, Nanchang, China, 2014.
* <NAME>, <NAME>, and <NAME>. 
  _Towards Validated Composition in Component-Based Adaptive Middleware_. 
  In Software Composition, pages 165–180, Switzerland, 2011. Springer-Verlag Berlin Heidelberg.

French
------
* <NAME>, <NAME>, and <NAME>. 
  _Vérification de la consistence et de la compatibilité entre blocs SysML_. 
  In Conférence en Architectures Logicielles (CAL 2012), Montpellier, France, 2012.
* <NAME>, <NAME>, and <NAME>. 
  _Modélisation Incrémentale d’une Architecture de Système Satisfaisant des Exigences Fonctionnelles SysML_. 
  In Conférence en Architectures Logicielles (CAL 2014), Paris, France, 2014.

Talks
=====

* <NAME>. 
  _Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes hétérogènes_. 
  Journée des Doctorants, May 2012.
* <NAME>. 
  _Formalizing and Verifying Compatibility and Consistency of SysML Blocks_.
  Universidad Industrial de Santander, April 2013.
* <NAME>. 
  _Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes hétérogènes_. 
  Entretien de suivi - 2ème année doctorat, May 2013.
* <NAME>. 
  _Incremental modeling of system architecture satisfying SysML functional requirements_. 
  Universidad Industrial de Santander, February 2014.
* <NAME>. 
  _Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes hétérogènes_. 
  Laboratoire LAMA de l’Université de Savoie, October 2015.

OTHER PUBLICATIONS
==================

PhD thesis
----------
* <NAME>.
  {/assets/publis/thesis.pdf}[_Formal and Incremental Verification of SysML Specifications for the Design of Component-Based Systems_]. 
  PhD thesis, Université de Franche-Comté, 2015.
Research reports 
----------------
* <NAME>, <NAME>, and <NAME>.
  _Composition and Formal Validation in Reactive Adaptive Middleware_. 
  Technical Report RR-7541, INRIA, Sophia-Antipolis, 2011.
{'fraction_non_alphanumeric': 0.1206508568461139, 'fraction_numerical': 0.03358144365587675, 'mean_word_length': 4.415182755388941, 'pattern_counts': {'":': 0, '<': 63, '<?xml version=': 0, '>': 63, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1406267', 'n_tokens_mistral': 2043, 'n_tokens_neox': 1643, 'n_words': 634}