Homepage

• 
  Renan Leroux-Beaudout. Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l'ingénierie système dirigée par les modèles. Système d'exploitation [cs.OS]. Université Paul Sabatier - Toulouse III, 2020. Français. ⟨NNT : 2020TOU30089⟩. ⟨tel-03098563⟩
• 
  Ronan Baduel, Iulian Ober, Jean-Michel Bruel. Modeling and verification method for an early evaluation of Systems of Systems interactions. 35th Annual ACM Symposium on Applied Computing (SAC 2020), Mar 2020, Brno, Czech Republic. pp.1798-1805, ⟨10.1145/3341105.3373944⟩. ⟨hal-02891673⟩
• 
  Ronan Baduel. An integrated model-based early validation approach for railway systems. Other [cs.OH]. Université Toulouse le Mirail - Toulouse II, 2019. English. ⟨NNT : 2019TOU20083⟩. ⟨tel-03012187v2⟩
• 
  Amani Makhlouf, Christian Percebois, Hanh Nhi Tran. Two-level reasoning about graph transformation programs. 12th International Conference on Graph Transformation (ICGT 2019), Jul 2019, Eindhoven, Netherlands. pp.111-127. ⟨hal-02451016⟩
• 
  Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah. Using Patterns to parameterize the execution of Collaborative Tasks. 28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), Jun 2019, Capri, Italy. pp.106-111, ⟨10.1109/WETICE.2019.00031⟩. ⟨hal-02456742⟩
• 
  Mamadou Lakhassane Cisse, Hanh Nhi Tran, Samba Diaw, Bernard Coulette, Alassane Bah. A Pattern-based Process Management System to flexibly execute Collaborative Tasks. 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019), May 2019, Heraklion, Crète, Greece. pp.273-280. ⟨hal-02486110⟩
• 
  Amal Rochd, Maria Zrikem, Thierry Millan, Christian Percebois, Claude Baron, et al.. SynchroState: A SPEM-based Solution for Synchronizing Activities and Products through State Transitions. International Arab Journal of Information Technology, Colleges of Computing and Information Society (CCIS), 2018, 15 (6), pp.951-961. ⟨hal-02382302⟩
• 
  Renan Leroux-Beaudout, Marc Pantel, Ileana Ober, Jean-Michel Bruel. Model-Based Systems Engineering for Systems Simulation. Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Oct 2018, Limassol, Cyprus. pp.429-448. ⟨hal-02124418⟩
• 
  Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formalizing Reusable Communication Models for Distributed Systems Architecture. 8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.198-216. ⟨hal-02467551⟩
• 
  Iulian Ober. Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP. 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS 2018), Sep 2018, Maynoooth, Ireland. pp.269-283. ⟨hal-02279416⟩

24