Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Advancing Rigorous Software and System Engineering
Homepage
Presentation
Submit
Browse
Browse by year
Browse by ARGOS author
Browse by doctype
Homepage
Latest publications
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⟩
Search
Documents
24
Distribution per document type