2024
Journal articles
- titre
- Operation-based versioning as a foundation for live executable models
- auteur
- Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe
- article
- Software and Systems Modeling, 2024, 23 (5), ⟨10.1007/s10270-024-01212-x⟩
- Accès au bibtex
-
- titre
- Variability Management in Self-Adaptive Systems through Deep Learning: A Dynamic Software Product Line Approach
- auteur
- Oscar Aguayo, Samuel Sepúlveda, Raúl Mazo
- article
- Electronics, 2024, 13.5 (905)
- Accès au texte intégral et bibtex
-
- titre
- E-SCORE: A web-based tool for security requirements engineering
- auteur
- Hiba Hnaini, Raul Mazo, Joël Champeau, Paola Vallejo, Jose Galindo
- article
- SoftwareX, 2024, 26, pp.101704. ⟨10.1016/j.softx.2024.101704⟩
- Accès au bibtex
-
- titre
- Robustness Assessment of AI-Based 2D Object Detection Systems: A Method and Lessons Learned from Two Industrial Cases
- auteur
- Anne-Laure Wozniak, Sergio Segura, Raul Mazo
- article
- Electronics, 2024, 13 (7), pp.1368. ⟨10.3390/electronics13071368⟩
- Accès au bibtex
-
- titre
- Modeling Fatigue in Manual and Robot-Assisted Work for Operator 5.0
- auteur
- Arnaud Allemang--Trivalle, Jérémie Donjat, Gaëlic Bechu, Gilles Coppin, Mathieu Chollet, Oliver W Klaproth, Andreas Mitschke, Arnd Schirrmann, Caroline G L Cao
- article
- IISE Transactions on Occupational Ergonomics and Human Factors, 2024, 12 (1-2), pp.135-147. ⟨10.1080/24725838.2024.2321460⟩
- Accès au texte intégral et bibtex
-
- titre
- Médiation dans le numérique, une pédagogie gagnante ?
- auteur
- Cécile Plaud, Vincent Ribaud
- article
- Spirale - Revue de Recherches en Éducation , 2024, 73, pp.23-39. ⟨10.3917/spir.073.0023⟩
- Accès au bibtex
-
Conference papers
- titre
- Higher education resilent curricula: lessons from a european project
- auteur
- Roger Waldeck, Joanne Gardner - Le Gars, Haraldur Audunsson, Arlinta Barus, Ingriani Liem, MacDonald Kanyangale, Cecile Gerwel Proches, Siegfried Rouvrais, Ann Kristin Winkens
- article
- ICERI2024: 17th annual International Conference of Education, Research and Innovation, Nov 2024, Sevilla, Spain. ⟨10.21125/iceri.2024.0915⟩
- Accès au bibtex
-
- titre
- Towards Re-Engineering Digital Twins : Preliminary Experiments on Three Use Cases
- auteur
- Gwendal Beaumont, Antoine Beugnard, Salvador Martínez, Christelle Urtado, Sylvain Vauttier
- article
- ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion '24), Sep 2024, Linz, Austria. pp.453-458, ⟨10.1145/3652620.3688259⟩
- Accès au texte intégral et bibtex
-
- titre
- A Survey of Federative Approaches for Model Management in MBSE
- auteur
- Moussa Amrani, Mittal Rakshit, Miguel Goulão, Vasco Amaral, Sylvain Guérin, Salvador Martínez, Dominique Blouin, Anish Bhobe, Yara Hallak
- article
- 1st International Workshop on Model Management (MoM) at MODELS 2024, Sep 2024, Linz (AUSTRIA), Austria. ⟨10.1145/3652620.3688221⟩
- Accès au texte intégral et bibtex
-
- titre
- Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning
- auteur
- Camilo Correa Restrepo, Jacques Robin, Raul Mazo
- article
- ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.126 - 137, ⟨10.1145/3640310.3674090⟩
- Accès au texte intégral et bibtex
-
- titre
- 10 years of Model Federation with Openflexo: Challenges and Lessons Learned
- auteur
- Jean-Christophe Bach, Antoine Beugnard, Joël Champeau, Fabien Dagnat, Sylvain Guérin, Salvador Martínez
- article
- MODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.12, ⟨10.1145/3640310.3674084⟩
- Accès au texte intégral et bibtex
-
- titre
- Maintaining Security Consistency During System Development with Security-Oriented Model Federation
- auteur
- Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez
- article
- International Conference on Software and Systems Processes (ICSSP ’24), Sep 2024, Munich, Germany. ⟨10.1145/3666015.3666016⟩
- Accès au texte intégral et bibtex
-
- titre
- Factors that may impact curriculum design in higher education in a vuca world
- auteur
- Haraldur Audunsson, Asrun Matthiasdottir, Arlinta Barus, Siegfried Rouvrais, Roger Waldeck, Cecile Gerwel Proches
- article
- 20th International CDIO Conference, Jun 2024, Tunis, Tunisia
- Accès au texte intégral et bibtex
-
- titre
- Making application build safer through static analysis of naming
- auteur
- Antoine Beugnard, Julien Mallet
- article
- International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2024, Angers (France), France. pp.442 -- 449
- Accès au bibtex
-
- titre
- An Architecture Framework for Higher Education
- auteur
- Siegfried Rouvrais, Sobah Abbas Petersen
- article
- ICEIS 2024: 26th International Conference on Enterprise Information Systems, Apr 2024, Angers, France. pp.739-747, ⟨10.5220/0012738900003690⟩
- Accès au texte intégral et bibtex
-
- titre
- Security Contracts a Property-Based Approach to Support Security Patterns
- auteur
- Sylvain Guérin, Joël Champeau, Salvador Martínez, Raul Mazo
- article
- 10th International Conference on Information Systems Security and Privacy, Feb 2024, Rome, France. pp.103-111, ⟨10.5220/0012305600003648⟩
- Accès au bibtex
-
- titre
- SECRET: A New SECurity REquirements SpecificaTion Template
- auteur
- Hiba Hnaini, Raul Mazo, Paola Vallejo, Andres Lopez, Joël Champeau, Jose Galindo
- article
- International Conference on Information Technology and Systems, ICITS 2024, Jan 2024, Temuco, Chile. pp.235-246, ⟨10.1007/978-3-031-54256-5_22⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Curriculum Components and Properties
- auteur
- Haraldur Audunsson, Asrun Matthiasdottir, Siegfried Rouvrais, Cecile Gerwel Proches, Arlinta Barus, Valentina Diagene, Inggriani Liem, Tahan Sihombing, Joanne Gardner - Le Gars, Elodie Huré, Sari Silalahi, Eka Stephani Sinambela, Angela James, Egle Jasute, Nathalie Chelin, Roger Waldeck, Gilles Jacovetti, Macdonald Kanyangale, Clara Lemke, Ann-Kristin Winkens, Carmen Leicht-Scholten, Vladimiras Dolgopolovas
- article
- Report R11, University of KwaZulu-Natal - Afrique du Sud; Institut teknologi Bandung; IMT Atlantique; Reykjavik University; Vilnius University; Rheinisch-Westfälischen Technischen Hochschule Aachen. 2024
- Accès au texte intégral et bibtex
-
- titre
- VUCA Scenarios Impacting Higher Education
- auteur
- Haraldur Audunsson, Asrun Matthiasdottir, Siegfried Rouvrais, Cecile Gerwel Proches, Arlinta Barus, Valentina Diagene, Roger Waldeck, Macdonald Kanyangale, Gilles Jacovetti, Inggriani Liem, Tahan Sihombing, Joanne Gardner - Le Gars, Sari Silalahi, Eka Stephani Sinambela, Angela James, Asta Meskauskiene, Egle Jasute, Nathalie Chelin, Clara Lemke, Ann-Kristin Winkens, Carmen Leicht-Scholten, Vladimiras Dolgopolovas, Elodie Huré
- article
- Report R12, University of KwaZulu-Natal - Afrique du Sud; Institut teknologi Bandung; IMT Atlantique; Reykjavik University; Vilnius University; Rheinisch-Westfälischen Technischen Hochschule Aachen. 2024
- Accès au texte intégral et bibtex
-
- titre
- Learning Material on Curriculum Design
- auteur
- Siegfried Rouvrais, Haraldur Audunsson, Asrun Matthiasdottir, Cecile Gerwel Proches, Arlinta Barus, Valentina Diagene, Inggriani Liem, Sari Silalahi, Eka Stephani Sinambela, Angela James, Asta Meskauskiene, Egle Jasute, Clara Lemke, Nathalie Chelin, Roger Waldeck, Gilles Jacovetti, Macdonald Kanyangale, Ann-Kristin Winkens, Vladimiras Dolgopolovas, Carmen Leicht-Scholten
- article
- Report R13, University of KwaZulu-Natal - Afrique du Sud; Institut teknologi Bandung; IMT Atlantique; Reykjavik University; Vilnius University; Rheinisch-Westfälischen Technischen Hochschule Aachen. 2024
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- Modeling and enforcing access control policies in conversational user interfaces
- auteur
- Elena Planas, Salvador Martínez, Marco Brambilla, Jordi Cabot
- article
- Software and Systems Modeling, 2023, ⟨10.1007/s10270-023-01131-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Colla-Config: A stakeholders preferences-based approach for product lines collaborative configuration
- auteur
- Sihem Ben Sassi, Sabrine Edded, Raul Mazo, Henda Ben Ghezala, Camille Salinesi
- article
- Journal of Systems and Software, 2023, 197, pp.111586. ⟨10.1016/j.jss.2022.111586⟩
- Accès au texte intégral et bibtex
-
- titre
- AnimUML: a Practical Tool for Partial Model Animation and Analysis
- auteur
- Frédéric Jouault, Valentin Besnard, Matthias Brun, Théo Le Calvar, Fabien Chhel, Mickaël Clavreul, Jérome Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov
- article
- Science of Computer Programming, 2023, pp.103050. ⟨10.1016/j.scico.2023.103050⟩
- Accès au bibtex
-
Conference papers
- titre
- Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver Agnostic Approach
- auteur
- Camilo Correa, Jacques Robin, Raùl MAZO
- article
- ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Oct 2023, Lisboa, Portugal. ⟨10.1145/3624007.3624060⟩
- Accès au texte intégral et bibtex
-
- titre
- Enhancing Surgical Team Collaboration and Situation Awareness through Multimodal Sensing
- auteur
- Arnaud Allemang--Trivalle
- article
- ICMI '23: INTERNATIONAL CONFERENCE ON MULTIMODAL INTERACTION, Oct 2023, Paris, France. pp.716-720, ⟨10.1145/3577190.3614233⟩
- Accès au bibtex
-
- titre
- Towards evolving secured multi-model systems with model federation
- auteur
- Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez
- article
- MODELS 2023: 26th International Conference on Model-Driven Engineering Languages and Systems - ME 2023: 16th Workshop on Models and Evolution, Oct 2023, Vasteras, Sweden. ⟨10.1109/MODELS-C59198.2023.00148⟩
- Accès au texte intégral et bibtex
-
- titre
- Monitoring Association Constraints in Model-Oriented Programming
- auteur
- Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez
- article
- MODELS-C 2023: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Vasteras, Sweden. ⟨10.1109/MODELS-C59198.2023.00068⟩
- Accès au texte intégral et bibtex
-
- titre
- Temporal Breakpoints for Multiverse Debugging
- auteur
- Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
- article
- Software Language Engineering 2023, Oct 2023, Lisbonne, Portugal
- Accès au bibtex
-
- titre
- Debugging Paxos in the UML Multiverse
- auteur
- Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
- article
- MODELS-C/MoDeVVa, Oct 2023, Västerås, Sweden
- Accès au bibtex
-
- titre
- Secured-by-design systems-on-chip: a MBSE Approach
- auteur
- Raphaële Milan, Loïc Lagadec, Théotime Bollengier, Lilian Bossuet, Ciprian Teodorov
- article
- Rapid System Prototyping, Sep 2023, Hambourg, Germany. ⟨10.1145/3625223.3649277⟩
- Accès au texte intégral et bibtex
-
- titre
- A software engineering perspective on digital twin: many candidates, none elected
- auteur
- Antoine Beugnard
- article
- SWC 2023: IEEE Smart World Congress, IEEE Smart World Congress, Aug 2023, Portsmouth, United Kingdom. ⟨10.1109/SWC57546.2023.10448955⟩
- Accès au texte intégral et bibtex
-
- titre
- Robustness Testing of an Industrial Road Object Detection System
- auteur
- Anne-Laure Wozniak, Ngoc Duong, Ian Benderitter, Sarah Leroy, Sergio Segura, Raul Mazo
- article
- 2023 IEEE International Conference On Artificial Intelligence Testing (AITest), Jul 2023, Athens, Greece. pp.82-89, ⟨10.1109/AITest58265.2023.00022⟩
- Accès au bibtex
-
- titre
- VUCA and resilience in engineering education - Lessons learned
- auteur
- Siegfried Rouvrais, Ann-Kristin Winkens, Carmen Leicht-Scholten, Haraldur Audunsson, Cecile Gerwel-Proches
- article
- 19th International CDIO Conference, NTNU, Jun 2023, Trondheim, Norway
- Accès au texte intégral et bibtex
-
- titre
- Modeling heterogeneous IT infrastructures: a collaborative component-oriented approach
- auteur
- Benjamin Somers, Fabien Dagnat, Jean-Christophe Bach
- article
- EMMSAD 2023: 28th International working conference on Evaluation and Modeling Methods for Systems Analysis and Development, BPMDS 2023: 24th International Conference on Business Process Modeling, Development and Support, Jun 2023, Saragosse, Spain. pp.227-242, ⟨10.1007/978-3-031-34241-7_16⟩
- Accès au texte intégral et bibtex
-
- titre
- Débogage Multivers de Modèles UML
- auteur
- Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Loïc Lagadec
- article
- AFADL, Jun 2023, Rennes, France
- Accès au bibtex
-
- titre
- Les filles qui, l codent l créent et équilibre : des dispositifs pour valoriser le numérique et les sciences au féminin du primaire au lycée
- auteur
- Cécile Plaud, Vincent Ribaud
- article
- Forum Recherche et Education #07, Région académique de Bretagne, May 2023, Morlaix, France
- Accès au bibtex
-
- titre
- Human Model For Industrial System And Product Design In Industry 5.0: A Case Study
- auteur
- Arnaud Allemang--Trivalle, Jérémie Donjat, Gaëlic Bechu, Gilles Coppin, Oliver W. Klaproth, Andreas Mitschke, Arnd Schirrmann, Mathieu Chollet, Caroline Gl Cao
- article
- IISE Annual Conference & Expo 2023, May 2023, New Orleans, United States
- Accès au bibtex
-
- titre
- Taxonomy of Requirements Specification Templates
- auteur
- Hiba Hnaini, Raúl Mazo, Paola Vallejo, Jose Galindo, Joël Champeau
- article
- SoftEng 23, Apr 2023, Venice, Italy
- Accès au texte intégral et bibtex
-
- titre
- A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability Models
- auteur
- Camilo Correa, Raul Mazo, Andres O. Lopez, Jacques Robin
- article
- SOFTENG 2023 - The 9th International Conference on Advances and Trends in Software Engineering, IARIA: International Academy, Research and Industry Association, Apr 2023, Venise, Italy
- Accès au texte intégral et bibtex
-
- titre
- A flexible and robust framework for the secure systems engineering of space missions
- auteur
- Tom Leclerc, Soumya Paul, Jussi Roberts, Fabien Dagnat, Florian Ledoux, Jean-Christophe Bach, Marcus Wallum, Nicky Mezzina, Daniel Fischer, Sylvain Guérin, Ihab Benamer, Pierre Jeanjean
- article
- 17th International Conference on Space Operations 2023, Mar 2023, Dubai, United Arab Emirates
- Accès au bibtex
-
- titre
- Génération de correctifs pour les modèles partiels d'AnimUML
- auteur
- Mickaël Clavreul, Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
- article
- IHM/GL-IHM, 2023, Troyes, France
- Accès au bibtex
-
Habilitation à diriger des recherches
- titre
- G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools
- auteur
- Ciprian Teodorov
- article
- Software Engineering [cs.SE]. Université de Bretagne Occidentale (UBO), Brest, 2023
- Accès au texte intégral et bibtex
-
Theses
- titre
- FML : a model federation language for semantic interoperability of heterogeneous information sources
- auteur
- Sylvain Guérin
- article
- Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2023. Français. ⟨NNT : 2023ENTA0009⟩
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- “Snapshot” of the State of Software Reuse in Colombia
- auteur
- Luisa-Fernanda Restrepo-Gutiérrez, Elizabeth Suescún-Monsalve, Raúl Mazo, Paola-Andrea Vallejo-Correa, Daniel Correa
- article
- Revista Científica de la Universidad Distrital., 2022, 44 (2), pp.242-256. ⟨10.14483/23448350.18389⟩
- Accès au bibtex
-
- titre
- A domain-specific language for the specification of UCON policies
- auteur
- Antonia Reina Quintero, Salvador Martínez, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Jordi Cabot
- article
- Journal of information security and applications, 2022, 64, pp.103006. ⟨10.1016/j.jisa.2021.103006⟩
- Accès au bibtex
-
- titre
- Cybersecurity for Industrial Internet of Things: Architecture, Models and Lessons Learned
- auteur
- George Bravos, Antonio J Cabrera, Camilo Correa, Dragan Danilovic, Nikolaos Evangeliou, Gilad Ezov, Zoran Gajica, Dusan Jakovetic, Leonidas Kallipolitis, Milan Lukic, Julien Mascolo, Davide Masera, Ivan Mezei, Andreas Miaoudakis, Nemanja Milosevic, William Oliff, Jacques Robin, Michail Smyrlis, Georgia Sakellari, Giorgos Stamatis, Dusan Stamenkovic, Srdan Skrbic, Carine Souveyet, Spyridon Vantolas, Giorgos Vasiliadis, Dejan Vukobratovic, Raul Mazo
- article
- IEEE Access, 2022, 10, pp.124747-124765. ⟨10.1109/ACCESS.2022.3225074⟩
- Accès au texte intégral et bibtex
-
- titre
- Multi-Level Modeling with Openflexo/FML
- auteur
- Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez
- article
- Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
- Accès au bibtex
-
Conference papers
- titre
- How IT Infrastructures Break: Better Modeling for Better Risk Management
- auteur
- Benjamin Somers, Fabien Dagnat, Jean-Christophe Bach
- article
- CRiSIS 2022: 17th International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia. pp.169-184, ⟨10.1007/978-3-031-31108-6_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Security Analysis: From model to system analysis
- auteur
- Drouot Bastien, Valery Monthe, Sylvain Guérin, Joël Champeau
- article
- CRiSiS 2022: 17th International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia. pp.133-152, ⟨10.1007/978-3-031-31108-6_11⟩
- Accès au texte intégral et bibtex
-
- titre
- Déploiement dirigé par les modèles de jumeaux numériques dans les environnements intelligents
- auteur
- Gaëlic Bechu, Antoine Beugnard, Caroline Gl Cao, Quentin Perez, Christelle Urtado, Sylvain Vauttier
- article
- HUT LaConf 2022 - L'interdisciplinarité au service des environnements intelligents, Nov 2022, Montpellier, France
- Accès au texte intégral et bibtex
-
- titre
- An analysis of software design understanding & motivation of engineering students
- auteur
- Jean-Christophe Bach, Antoine Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez, Maria-Teresa Segarra
- article
- MODELS 2022 Educators Symposium, Oct 2022, Montreal, Canada
- Accès au texte intégral et bibtex
-
- titre
- Practical multiverse debugging through user-defined reductions
- auteur
- Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
- article
- MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, Canada. pp.87-97, ⟨10.1145/3550355.3552447⟩
- Accès au bibtex
-
- titre
- From OCL-based model static analysis to quick fixes
- auteur
- Frédéric Jouault, Maxime Méré, Matthias Brun, Théo Le Calvar, Matthias Pasquier, Ciprian Teodorov
- article
- 21st International Workshop on OCL and Textual Modeling / MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal (Canada), Canada. pp.889-893, ⟨10.1145/3550356.3561562⟩
- Accès au bibtex
-
- titre
- A software engineering point of view on digital twin architecture
- auteur
- Gaëlic Bechu, Antoine Beugnard, Caroline Gl Cao, Quentin Perez, Christelle Urtado, Sylvain Vauttier
- article
- ETFA 2022 - IEEE 27th International Conference on Emerging Technologies and Factory Automation, Sep 2022, Stuttgart, Germany. ⟨10.1109/ETFA52439.2022.9921617⟩
- Accès au texte intégral et bibtex
-
- titre
- Does a master's program in engineering require a final project?
- auteur
- Haraldur Audunsson, Siegfried Rouvrais, Ralph Rudd, Ragnar Kristjánsson, Olivier Matthieu Moschetta
- article
- CDIO 2022: 18th CDIO International Conference, Jun 2022, Reykjavik, Iceland
- Accès au texte intégral et bibtex
-
- titre
- If you please, draw me a resilient curriculum!
- auteur
- Siegfried Rouvrais, Inggriani Liem, Haraldur Audunsson, Cecile Gerwel Proches
- article
- CDIO 2022: 18th CDIO International Conference, Jun 2022, Reykjavik, Iceland
- Accès au texte intégral et bibtex
-
- titre
- Using the architecture of Socio-Technical System to analyse its vulnerability
- auteur
- Paul Perrotin, Nicolas Belloir, Salah Sadou, David Hairion, Antoine Beugnard
- article
- SOSE 2022: 17th Annual System of Systems Engineering Conference, Jun 2022, Rochester, United States. pp.361-366, ⟨10.1109/SOSE55472.2022.9812648⟩
- Accès au bibtex
-
- titre
- Towards Access Control Models for Conversational User Interfaces
- auteur
- Elena Planas, Salvador Martínez, Marco Brambilla, Jordi Cabot
- article
- EMMSAD 2022, Jun 2022, Leuven, Belgium. pp.310-317, ⟨10.1007/978-3-031-07475-2_21⟩
- Accès au texte intégral et bibtex
-
- titre
- La dimension interpersonnelle en situations complexes et incertaines
- auteur
- Siegfried Rouvrais, Gilles Jacovetti, Roger Waldeck
- article
- 32ème Congrès de l’Association Internationale de Pédagogie Universitaire (AIPU), May 2022, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case
- auteur
- Anne-Laure Wozniak, Sergio Segura, Raúl Mazo, Sarah Leroy
- article
- 1st International Workshop on Software Engineering for Responsible Artificial Intelligence (SE4RAI), May 2022, Pittsburgh (virtual), United States. ⟨10.1145/3526073.3527592⟩
- Accès au texte intégral et bibtex
-
- titre
- HoS-ML: Socio-Technical System ADL Dedicated to Human Vulnerability Identification
- auteur
- Paul Perrotin, Nicolas Belloir, Salah Sadou, David Hairion, Antoine Beugnard
- article
- ICECCS 2022: 26th International Conference on Engineering of Complex Computer Systems, Mar 2022, Hiroshima, Japan. pp.11-16, ⟨10.1109/ICECCS54210.2022.00010⟩
- Accès au texte intégral et bibtex
-
- titre
- Dolmen: FPGA Swarm for Safety and Liveness Verification
- auteur
- Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
- article
- 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2022, Antwerp, Belgium. pp.1425-1430, ⟨10.23919/DATE54114.2022.9774528⟩
- Accès au bibtex
-
- titre
- Time Matters in Collective Decision Making
- auteur
- Siegfried Rouvrais, Roger Waldeck, Gilles Jacovetti
- article
- RocheBrune 2022 workshop, Jan 2022, Rochebrune, France
- Accès au bibtex
-
Patents
- titre
- Procédé de configuration d'un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédé
- auteur
- Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Théotime Bollengier
- article
- France, N° de brevet: FR3115134. 2022
- Accès au bibtex
-
Poster communications
- titre
- A Software Engineering Approach to Digital Twin Architecture : The HUman at home projecT and Twin Cooperation of roBot and human project case studies
- auteur
- Gaëlic Bechu, Antoine Beugnard, Caroline Gl Cao, Quentin Perez, Christelle Urtado, Sylvain Vauttier
- article
- ETFA 2022 - IEEE 27th International Conference on Emerging Technologies and Factory Automation, Sep 2022, Stuttgart, Germany. , 2022
- Accès au texte intégral et bibtex
-
- titre
- Smart Home Model Verification with AnimUML
- auteur
- Frédéric Jouault, Ciprian Teodorov, Matthias Brun
- article
- STAF/MeSS, Jul 2022, Nantes, France
- Accès au bibtex
-
- titre
- Model-driven deployment of Digital Twins for Smart Environments - The HUman at home projecT case study
- auteur
- Alireza Asvadi, Gaëlic Bechu, Antoine Beugnard, Caroline G. L. Cao, Christophe Lohr, Panagiotis Papadakis, Quentin Perez, Christelle Urtado, Sylvain Vauttier
- article
- Journées nationales du GDR GPL 2022, Jun 2022, Vannes, France. , 13, 2022, Actes des journées du GDR GPL 2022
- Accès au texte intégral et bibtex
-
Reports
- titre
- Euro-Asian Collaboration for Enhancing STEM Education
- auteur
- Siegfried Rouvrais, Gilles Jacovetti, Charlotte Langlais, Philippe Lenca, Doan Van Dien, Duong Van Hieu, Bui Van Hong, Le Tan Cuong, Tran The Van, Arlinta Barus, Inggriani Liem, Agus Muliantara, I Made Supartha Utama, Irwan Endrayanto, Muhammad Zuhri, Catur Candra, Somkid Amornsamankul, Tipaluck Krityakierne, Wasakorn Laesanklang, Jarutas Andritsch, Sirilak Bangchokdee, Yupawadee Somboonkul, Tanate Panrat, Panuwan Chantawannakul, Nuttee Suree, Vladimiras Dolgopolova, Miriam Tardell, Emilija Zilinskaite
- article
- [Research Report] IMT ATLANTIQUE; Lab-STICC. 2022
- Accès au texte intégral et bibtex
-
2021
Journal articles
- titre
- Unified verification and monitoring of executable UML specifications. A transformation-free approach
- auteur
- Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
- article
- Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩
- Accès au bibtex
-
- titre
- PAMELA: an annotation-based Java Modeling Framework
- auteur
- Sylvain Guérin, Guillaume Polet, Caine Silva, Joel Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard
- article
- Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient model similarity estimation with robust hashing
- auteur
- Salvador Martínez, Sébastien Gérard, Jordi Cabot
- article
- Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00915-9⟩
- Accès au bibtex
-
- titre
- Guidelines for the Specification of IoT Requirements: A Smart Cars Case
- auteur
- Asmaa Achtaich, Camille Salinesi, Nissrine Souissi, Ounsa Roudies, Raul Mazo
- article
- IoT Protocols and Applications for Improving Industry, Environment, and Society, 2021
- Accès au texte intégral et bibtex
-
- titre
- State-Constraint Transition: A Language for the Formal Specification of Dynamic Cyber-System Requirements
- auteur
- Camille Salinesi, Asmaa Achtaich, Nissrine Souissi, Raul Mazo, Ounsa Roudies, Angela Villota
- article
- Journal of Integrated Design and Process Science, 2021, 25 (2), pp.80-99. ⟨10.3233/JID210027⟩
- Accès au bibtex
-
Conference papers
- titre
- Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search
- auteur
- Camilo Correa, Jacques Robin, Raul Mazo, Salvador Abreu
- article
- 16th International Conference on Risks and Security of Internet and Systems, CRISIS 2021, Nov 2021, Virtual, Online, United States. pp.91-107, ⟨10.1007/978-3-031-02067-4_6⟩
- Accès au bibtex
-
- titre
- AnimUML as a UML Modeling and Verification Teaching Tool
- auteur
- Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour
- article
- MODELS 2021, Nov 2021, Fukuoka (virtual), Japan. pp.615-619
- Accès au bibtex
-
- titre
- Prototyping FPGA through overlays
- auteur
- Theotime Bollengier, Loïc Lagadec, Ciprian Teodorov
- article
- 2021 IEEE International Workshop on Rapid System Prototyping (RSP), Oct 2021, Paris, France. pp.15-21, ⟨10.1109/RSP53691.2021.9806222⟩
- Accès au bibtex
-
- titre
- A SysML-based Holistic Variability Modelling of Software and Systems Product Lines
- auteur
- Olfa Ferchichi, Raoudha Beltaifa, Raul Mazo, Lamia Labed Jilani
- article
- 34th International Conference on Computer Applications in Industry and Engineering, CAINE 2021, Oct 2021, Virtual online, United States. pp.99 - 112
- Accès au texte intégral et bibtex
-
- titre
- Carnac: Algorithm Variability for Fast Swarm Verification on FPGA
- auteur
- Emilien Fournier, Ciprian Teodorov, Loïc Lagadec
- article
- 2021 31st International Conference on Field-Programmable Logic and Applications (FPL), Aug 2021, Dresden, Germany. pp.185-189, ⟨10.1109/FPL53798.2021.00038⟩
- Accès au bibtex
-
- titre
- Euro-Asia Collaboration for Enhancing STEM Education
- auteur
- Anders Berglund, Valentina Dagiene, Vladimiras Dolgopolovas, Siegfried Rouvrais, Miriam Tardell
- article
- 5th APSCE International Conference on Computational Thinking and STEM Education 2021 (CTE-STEM 2021), National Institute of Education, Nanyang Technological University, Jun 2021, Hong Kong (virtual conference), China. pp.136-140
- Accès au texte intégral et bibtex
-
- titre
- Fouille de Processus de Configuration dans les Lignes de Produits
- auteur
- Camille Salinesi, Houssem Chemingui, Ines Gam, Raul Mazo, Henda Benghezala
- article
- INFORSID, Jun 2021, Dijon, France
- Accès au texte intégral et bibtex
-
- titre
- SDN Intent-based conformance checking: application to security policies
- auteur
- Nicolas Herbaut, Camilo Correa, Jacques Robin, Raul Mazo
- article
- 7th IEEE International Conference on Network Softwarization (IEEE NetSoft 2021), Jun 2021, Tokyo (virtual), Japan
- Accès au texte intégral et bibtex
-
- titre
- Analysing Student Engagement in an Online Course in the Context of Hybrid Learning Environment. An Empirical Study
- auteur
- Michael Wahiu, Fahima Djelil, Laurent Brisson, Jean-Marie Gilliot, Antoine Beugnard
- article
- CSEDU 2021 - 13th International Conference on Computer Supported Education, Apr 2021, On line, Czech Republic. ⟨10.5220/0010396901560162⟩
- Accès au texte intégral et bibtex
-
- titre
- Security property modeling
- auteur
- Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov
- article
- 7th International Conference on Information Systems Security and Privacy, ICISSP 2021, Feb 2021, Vienne - Virtual Online, Austria. pp.694-701, ⟨10.5220/0010388206940701⟩
- Accès au texte intégral et bibtex
-
2020
Journal articles
- titre
- Work-based learning models in engineering curricula: insight from the French experience
- auteur
- Siegfried Rouvrais, Bernard Remaud, Morgan Saveuse
- article
- European Journal of Engineering Education, 2020, 45 (1), pp.89-102. ⟨10.1080/03043797.2018.1450846⟩
- Accès au texte intégral et bibtex
-
- titre
- Comparing two active learning strategies for teaching Scrum in an introductory software engineering course
- auteur
- Silvia I. Lozano, Elizabeth Suescún, Paola Vallejo, Raúl Mazo, Daniel Correa
- article
- Ingeniare : Revista Chilena de Ingeniería, 2020, 28 (1), pp.83-94. ⟨10.4067/S0718-33052020000100083⟩
- Accès au bibtex
-
- titre
- Towards a new template for the specification of requirements in semi-structured natural language
- auteur
- Raul Mazo, Carlos Andrés Jaramillo, Paola Vallejo, Jhon Harvey Medina
- article
- Journal of Software Engineering Research and Development, 2020, 8, pp.3. ⟨10.5753/jserd.2020.473⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient plagiarism detection for software modeling assignments
- auteur
- Salvador Martínez, Manuel Wimmer, Jordi Cabot
- article
- Computer Science Education, 2020, 30 (2), pp.187-215. ⟨10.1080/08993408.2020.1711495⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Decision Skills in Engineering Programs -a Key for a VUCA Era
- auteur
- Siegfried Rouvrais, Audunsson Haraldur, Liliane Esnault, Víkingur Friðgeirsson Thordur
- article
- WEEF/GEDC 2020 : World Engineering Education Forum and the Global Engineering Deans Council, Nov 2020, Cape Town, South Africa. ⟨10.1109/WEEF-GEDC49885.2020.9293669⟩
- Accès au texte intégral et bibtex
-
- titre
- Preparing 5.0 engineering students for an unpredictable post-COVID world
- auteur
- Siegfried Rouvrais, Cecile Gerwel Proches, Haraldur Andunsson, Nathalie Chelin, Inggriani Liem, Luis Tudela Villalonga
- article
- WEEF/GEDC 2020 : World Engineering Education Forum and the Global Engineering Deans Council, Nov 2020, Cape Town, South Africa. ⟨10.1109/WEEF-GEDC49885.2020.9293661⟩
- Accès au texte intégral et bibtex
-
- titre
- Scaling up a project-based SQL course
- auteur
- Vincent Ribaud
- article
- 20120 IEEE 32th Conference on Software Engineering Education and Training (CSEE&T), Nov 2020, Munich, Germany
- Accès au texte intégral et bibtex
-
- titre
- Modular Deployment of UML Models for V&V Activities and Embedded Execution
- auteur
- Valentin Besnard, Frédéric Jouault, Matthias Brun, Ciprian Teodorov, Philippe Dhaussy
- article
- MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩
- Accès au bibtex
-
- titre
- Detecting human vulnerably in socio-technical systems: a naval case study
- auteur
- Paul Perrotin, Salah Sadou, David Hairion, Antoine Beugnard
- article
- MoDELS 2020: 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3420045⟩
- Accès au bibtex
-
- titre
- Designing, Animating, and Verifying Partial UML Models
- auteur
- Frédéric Jouault, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, J. Delatour
- article
- 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. pp.211-217, ⟨10.1145/3365438.3410967⟩
- Accès au bibtex
-
- titre
- Menhir: Generic High-Speed FPGA Model-Checker
- auteur
- Émilien Fournier, Ciprian Teodorov, Loïc Lagadec
- article
- 2020 23rd Euromicro Conference on Digital System Design (DSD), Aug 2020, Kranj, Slovenia. pp.65-72, ⟨10.1109/DSD51259.2020.00022⟩
- Accès au bibtex
-
- titre
- Contract-based design patterns: a design by contract approach to specify security patterns
- auteur
- Caine Silva, Sylvain Guérin, Raul Mazo, Joël Champeau
- article
- 15th International Conference on Availibitlity, Reliability ans Security, ARES 2020, Association for Computing Machinery (ACM), Aug 2020, Virtual Event, Ireland. pp.1-9, ⟨10.1145/3407023.3409185⟩
- Accès au bibtex
-
- titre
- Co-orientation©: a collaborative method to guide students' decision-making to a right first job
- auteur
- Nathalie Chelin, Siegfried Rouvrais
- article
- EDULEARN 2020 : 12th International Conference on Education and New Learning Technologies, Jul 2020, Palma, Spain. ⟨10.21125/edulearn.2020.0618⟩
- Accès au texte intégral et bibtex
-
- titre
- Career decision-making learning activities in stem: an integrated capsule model earmarked for higher and VET educations
- auteur
- Nathalie Chelin, Maria del Mar Socias Camacho, Siegfried Rouvrais, Gréta Matthíasdóttir
- article
- EDULEARN 2020 : 12th International Conference on Education and New Learning Technologies, Jul 2020, Palma, Spain. ⟨10.21125/edulearn.2020.2064⟩
- Accès au texte intégral et bibtex
-
- titre
- UNIVERSITY-INDUSTRY COLLABORATION THEMES IN STEM HIGHER EDUCATION: AN EURO-ASEAN PERSPECTIVE
- auteur
- Siegfried Rouvrais, Gilles Jacovetti, Panuwan Chantawannakul, Nuttee Suree, Sirilak Bangchokdee
- article
- 16 th International CDIO Conference, Jun 2020, Gothenburg (on line), Sweden. pp.91-102
- Accès au texte intégral et bibtex
-
- titre
- A Unified Vision of Configurable Software
- auteur
- Houssem Chemingui, Ines Gam, Raul Mazo, Henda Benghezala, Camille Salinesi
- article
- Inforsid, Jun 2020, Dijon, France. ⟨10.3166/RCMA.25.1-n⟩
- Accès au texte intégral et bibtex
-
- titre
- Des dispositifs pédagogiques pour œuvrer à l’égalité femmes hommes dans le numérique. Retours d’expériences des acteurs et actrices.
- auteur
- Pascale Gautron, Cécile Plaud, Vincent Ribaud
- article
- IMT4ET Innovative Methods and Tools for Educational Technology, May 2020, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Quand des étudiantes de licence deviennent enseignantes en informatique: leçons du dispositif «Les filles qui… »
- auteur
- Cécile Plaud, Vincent Ribaud
- article
- Humanistica 2020, May 2020, Bordeaux, France
- Accès au texte intégral et bibtex
-
- titre
- Les filles qui… et L Codent L Créent : constituer un bien commun de médiation en informatique
- auteur
- Pascale Gautron, Cécile Plaud, Maude Pupin, Vincent Ribaud, Yann Secq
- article
- Ludovia#CH - Université de printemps, Apr 2020, Yverdon-les-bains, Suisse
- Accès au texte intégral et bibtex
-
- titre
- 6 leçons de robotique et des robolympiades pour les sciences
- auteur
- Vincent Ribaud
- article
- Forum national "Activons les sciences en classe !, Apr 2020, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Preference-based Conflict Resolution for Collaborative Configuration of Product Lines
- auteur
- Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, Henda Ben Ghézala
- article
- International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2020, Prague, Czech Republic
- Accès au texte intégral et bibtex
-
- titre
- A Domain-specific Modeling Framework for Attack Surface Modeling
- auteur
- Tithnara Nicolas Sun, Bastien Drouot, Fahad R Golra, Joël Champeau, Sylvain Guerin, Luka Le Roux, Raul Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L ' Hostis
- article
- ICISSP 2020 : 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valetta, Malta. pp.341 - 348, ⟨10.5220/0008916203410348⟩
- Accès au texte intégral et bibtex
-
- titre
- 6 leçons de robotique pour les sciences
- auteur
- Ashwarya Arora, Boulc'H Julie, Caza Céline, Gourvil Magali, Karchaoui Ikhlass, Lemeunier Amandine, Cécile Plaud, Vincent Ribaud, Rolland Lisa, Schall Noémie, Segalen Elsa
- article
- DIDAPRO L'informatique objet d'enseignements, Feb 2020, Lille, France
- Accès au texte intégral et bibtex
-
- titre
- Partenaires informatiques pour la classe
- auteur
- Ashwarya Arora, Cassandra Balland, Salomé Brousseau, Morgane Coat, Laurie-May Constantin, Layla Corain, Tinaïg Daniel, Meryem El Bouti, Louise Hergoualc'H, Ikhlass Karchaoui, Gwendoline Kervot, Audrey Lidec, Alix Machard, Océane Pierry, Cécile Plaud, Vincent Ribaud, Constance Rio, Caroline Rogard, Anaëlle Seithers, Maëlle Sinilo
- article
- DIDAPRO 8 L'informatique objet d'enseignements, Feb 2020, Lille, France
- Accès au texte intégral et bibtex
-
- titre
- Automatic Verification of BPMN Models
- auteur
- Mihal Brumbulli, Emmanuel Gaudin, Ciprian Teodorov
- article
- 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Les filles qui …
- auteur
- Vincent Ribaud
- article
- DIDAPRO 8 L'informatique objet d'enseignements, Feb 2020, Lille, France
- Accès au texte intégral et bibtex
-
Reports
- titre
- A Decision Skills Framework for Higher and VET students, continuously integrative for educational programme addressing VUCA contexts
- auteur
- Siegfried Rouvrais, Katie Jordan, Matthew Stewart, Sophie Gaultier Lebris, Axel Joder, Maria Agredano, Maria del Mar Socias Camacho, Lluis Tudela, Antoine Beugnard, Nathalie Chelin, Sarah Ghaffari, Roger Waldeck, Liliane Esnault, Haraldur Auðunsson, Þórður Víki Gur Friðgeirsson, Grét Matthíasdóttir, Sheila Dunn
- article
- [Research Report] Output 3, IMT Atlantique; Lab-STICC; IMT Atlantique. 2020
- Accès au texte intégral et bibtex
-
- titre
- DAhoy: A Decision Skills Framework for Higher and VET Education to face VUCA situations
- auteur
- Siegfried Rouvrais, Nathalie Chelin, Sheila Dunn, Liliane Esnault, Þórður Víki Gur Friðgeirsson, Axel Joder, Katie Jordan, Sophie Gaultier Lebris, Lluis Tudela
- article
- [Research Report] IMT Atlantique; Lab-STICC. 2020
- Accès au texte intégral et bibtex
-
- titre
- Position paper: the use of retro-construction tools
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- [Research Report] Lab-STICC_UBO_CACS_MOCS. 2020
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Collaborative configuration approaches in software product lines engineering: a systematic mapping study
- auteur
- Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, Henda Ben Ghézala
- article
- Journal of Systems and Software, 2019, 158, ⟨10.1016/j.jss.2019.110422⟩
- Accès au texte intégral et bibtex
-
- titre
- Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems
- auteur
- Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepulveda Florez, Frank Singhoff, Jean-Philippe Diguet
- article
- ACM Journal on Emerging Technologies in Computing Systems, 2019, 15 (1), pp.2:1--2:37. ⟨10.1145/3264818⟩
- Accès au bibtex
-
Conference papers
- titre
- Data Management Mechanisms for Internet of Things: A position paper
- auteur
- Ousmane Diallo, Philippe Dhaussy, Ciprian Teodorov
- article
- CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
- Accès au bibtex
-
- titre
- Statistical Measurement of Production Environment Influence on Code Reuse Availability
- auteur
- Étienne Louboutin, Jean-Christophe Bach, Fabien Dagnat
- article
- SECURWARE 2019 : The Thirteenth International Conference on Emerging Security Information, Systems and Technologies, Oct 2019, Nice, France
- Accès au texte intégral et bibtex
-
- titre
- Product Line Configuration Meets Process Mining
- auteur
- Houssem Chemingui, Ines Gam, Raul Mazo, Camille Salinesi, Henda Ben Ghézala
- article
- CENTERIS, Oct 2019, Sousse, Tunisia. pp.199-210, ⟨10.1016/j.procs.2019.12.173⟩
- Accès au texte intégral et bibtex
-
- titre
- REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges
- auteur
- Andrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer, Jacques Robin, Raúl Mazo, Elena Gallego
- article
- International Conference on Objects, Components, Models and Patterns (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.406-417, ⟨10.1007/978-3-030-29852-4_34⟩
- Accès au texte intégral et bibtex
-
- titre
- Partially Bounded Context-Aware Verification
- auteur
- Luka Le Roux, Ciprian Teodorov
- article
- 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩
- Accès au texte intégral et bibtex
-
- titre
- A Model Checkable UML Soccer Player
- auteur
- Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
- article
- 3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
- Accès au bibtex
-
- titre
- La pédagogie par l'exemple : une stratégie pour lutter contre les stéréotypes de genre? Le cas de la filière informatique.
- auteur
- Vincent Ribaud, Cécile Plaud
- article
- AREF, Jul 2019, BORDEAUX, France
- Accès au texte intégral et bibtex
-
- titre
- To Embrace Career Decision Making in STEM Education
- auteur
- Nathalie Chelin, Greta Matthiasdottir, Yann Serreau, Luis Tudela, Siegfried Rouvrais, Katie Jordan
- article
- 11th International Conference on Education and New Learning Technologies, Jul 2019, Palma de Mallorca, Spain. pp.3058 - 3066, ⟨10.21125/edulearn.2019.0827⟩
- Accès au texte intégral et bibtex
-
- titre
- EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML
- auteur
- Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, Ciprian Teodorov
- article
- 18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104
- Accès au bibtex
-
- titre
- Enseigner la programmation Scratch en amatrice
- auteur
- Cassandra Balland, Salomé Brousseau, Morgane Coat, Laurie-May Constantin, Layla Corain, Tinaïg Daniel, Meryem El Bouti, Louise Hergoualc'H, Ikhlass Karchaoui, Gwendoline Kervot, Audrey Lidec, Alix Machard, Océane Pierry, Constance Rio, Caroline Rogard, Anaëlle Seithers, Maëlle Sinilo, Cécile Plaud, Vincent Ribaud
- article
- EIAH 2019 - Apprentissage de la pensée informatique de la maternelle à l’Université : retours d’expériences et passage à l’échelle, Jun 2019, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Early Validation Framework for Critical and Complex Process-Centric Systems
- auteur
- Fahad Rafique Golra, Joël Champeau, Ciprian Teodorov
- article
- 20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Model Federation based on Role Modeling
- auteur
- Bastien Drouot, Joël Champeau
- article
- MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development 2019, Feb 2019, Prague, Czech Republic. pp.74-85
- Accès au bibtex
-
- titre
- A Role Modeling Based Approach for Cyber Threat Analysis
- auteur
- Bastien Drouot, Fahad R. Golra, Joël Champeau
- article
- MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.76-100, ⟨10.1007/978-3-030-37873-8_4⟩
- Accès au bibtex
-
- titre
- Engineering projects "Savanturiers de l'ingénierie
- auteur
- Vincent Ribaud, Cyrielle Feron, Vincent Leilde, Ashwarya Arora, Sarah Le Bihan
- article
- HICSS-52 Invited Track: Software Engineering Education and Training, Jan 2019, Wailea (Hawaï), United States
- Accès au texte intégral et bibtex
-
- titre
- Hacia una nueva plantilla para la especificación de requisitos en lenguaje natural semi-estructurado
- auteur
- Raúl Mazo, Carlos Jaramillo
- article
- Requirements Engineering Track (RET) of CIbSE, 2019, Habana, Cuba
- Accès au texte intégral et bibtex
-
- titre
- The High-Level Variability Language: An Ontological Approach
- auteur
- Angela Villota, Raúl Mazo, Camille Salinesi
- article
- International Systems and Software Product Line Conference-Volume B, 2019, Paris, France. ⟨10.1145/3307630.3342401⟩
- Accès au texte intégral et bibtex
-
- titre
- Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
- auteur
- Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy
- article
- 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Interdisciplinarity and VUCA
- auteur
- Roger Waldeck, Sophie Gaultier Le Bris, Siegfried Rouvrais
- article
- Roger Waldeck. Methods and Interdisciplinarity, 1, ISTE / WILEY, pp.99-115, 2019, Modeling methodologies in social sciences set, 9781786304889. ⟨10.1002/9781119681519.ch5⟩
- Accès au bibtex
-
- titre
- Learning methodology for VUCA situations
- auteur
- Sophie Gaultier Le Bris, Siegfried Rouvrais, Roger Waldeck
- article
- Roger Waldeck. Methods and Interdisciplinarity, 1, ISTE / WILEY, pp.117-144, 2019, Modeling Methodologies in Social Sciences Set, 9781786304889. ⟨10.1002/9781119681519.ch6⟩
- Accès au bibtex
-
- titre
- Interdisciplinarité et VUCA
- auteur
- Roger Waldeck, Sophie Le Bris, Siegfried Rouvrais
- article
- Roger WALDECK. Méthodes et interdisciplinarité, 1, ISTE Editions, pp.91 - 105, 2019, Méthodologies de modélisation en sciences sociales, 9781784055813
- Accès au texte intégral et bibtex
-
- titre
- Méthodologie d'apprentissage en situation VUCA
- auteur
- Sophie Le Bris, Siegfried Rouvrais, Roger Waldeck
- article
- Méthodes et interdisciplinarité, 1, ISTE Editions, pp.107 - 133, 2019, Méthodologies de modélisation en sciences sociales, 9781784055813
- Accès au texte intégral et bibtex
-
Books
- titre
- Logiciel et Industrie du Futur
- auteur
- Jean-Christophe Bach, Antoine Beugnard, Hugo Bruneliere, Hélène Coullon, Fabien Lehuédé, Guillaume Massonnet, Jacques Noyé, Gilles Simonin
- article
- Hélène Coullon. Presse des Mines, pp.62, 2019, Mathématiques et Informatique, 9782356715760
- Accès au texte intégral et bibtex
-
Proceedings
- titre
- SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A
- auteur
- Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thum, Tewfik Ziadi
- article
- 2019
- Accès au bibtex
-
Reports
- titre
- Innovative D-Skills Training Models for Higher and Vocational Education & Training Students
- auteur
- Siegfried Rouvrais, Manhal Alnasser, Katie Jordan, Matthew Stewart, Sophie Gaultier Lebris, Axel Joder, Maria Agredano, Maria del Mar Socias Camacho, Lluis Tudela, Peggy Bardon, Nathalie Chelin, Anthony Diaz, François Gallée, Sarah Ghaffari, Gilles Jacovetti, Armelle Lannuzel, Nathalie Marschal, Hervé Retif, Stéphanie Serrec, Mathieu Simonnet, Stéphanie Tillement, Roger Waldeck, Liliane Esnault, Haraldur Auðunsson, Sven Breitenbuecher, Þórður Víki Gur Friðgeirsson, Helgi Thor Ingason, Bara Hlin Kristjansdottir, Grét Matthíasdóttir, Hildur Katrin Rafnsdottir, Sheila Dunn
- article
- [Research Report] Output 2, IMT ATLANTIQUE; Lab-STICC. 2019
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- ConfiLog: An approach to Guide Product Line Configuration Processes based on Configuration Traces
- auteur
- Houssem Chemingui, Ines Gam, Raul Mazo, Camille Salinesi, Henda Ben Ghézala
- article
- 2019
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.
- auteur
- José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache
- article
- Ada User Journal, 2018
- Accès au bibtex
-
- titre
- Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems
- auteur
- Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepulveda Florez, Frank Singhoff, Jean-Philippe Diguet
- article
- ACM Journal on Emerging Technologies in Computing Systems, 2018
- Accès au texte intégral et bibtex
-
- titre
- Verification of Scheduling Properties Based on Execution Traces
- auteur
- Valérie-Anne Nicolas, Mounir Lallali, Stéphane Rubini, Frank Singhoff
- article
- Ada User Journal, 2018
- Accès au bibtex
-
- titre
- Distributed algorithm to fight the state explosion problem
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
- Accès au bibtex
-
- titre
- A feature-oriented model-driven engineering approach for the early validation of feature-based applications
- auteur
- Glenn Cavarlé, Alain Plantec, Steven Costiou, Vincent Ribaud
- article
- Science of Computer Programming, 2018, 161, pp.18 - 33. ⟨10.1016/j.scico.2018.01.001⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Problem-Oriented Approach to Critical System Design and Diagnosis Support
- auteur
- Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
- article
- 1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
- Accès au texte intégral et bibtex
-
- titre
- Domain-oriented Verification Management
- auteur
- Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
- article
- 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
- Accès au texte intégral et bibtex
-
- titre
- Unified LTL Verification and Embedded Execution of UML Models
- auteur
- Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
- article
- 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
- Accès au bibtex
-
- titre
- When IT female students become teachers: lessons from a French project "Girls who code" as a learning by doing example
- auteur
- Cécile Plaud, Vincent Ribaud
- article
- 10th European Conference on Gender Equality in Higher Education, Aug 2018, Dublin, Ireland
- Accès au texte intégral et bibtex
-
- titre
- Ingénierie des projets Savanturiers de l'ingénierie
- auteur
- Vincent Ribaud, Chabha Hireche, Arwa Khannoussi, Vincent Leilde, Cécile Plaud, Cyrielle Feron, Liz Kouassi, Awatef Mraihi, Constance Rio
- article
- Colloque Education par la recherche, Jul 2018, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Embedded UML Model Execution to Bridge the Gap Between Design and Runtime
- auteur
- Valentin Besnard, Matthias Brun, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy
- article
- MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
- Accès au bibtex
-
- titre
- ENGINEERING STUDENTS READY FOR A VUCA WORLD? A DESIGN BASED RESEARCH ON DECISIONSHIP
- auteur
- Siegfried Rouvrais, Sophie Gaultier Lebris, Matthew Stewart
- article
- 14th International CDIO Conference,, Jun 2018, Kanazawa, Japan
- Accès au texte intégral et bibtex
-
- titre
- Quand des étudiantes deviennent des ambassadrices du numérique
- auteur
- Cécile Plaud, Vincent Ribaud
- article
- Valorisation des Initiatives Pédagogiques en Bretagne et Pays de Loire - VIP 2018, Jun 2018, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Detecting Gaps and Voids in WSNs and IoT Networks: the Minimum x-Coordinate based Method
- auteur
- Ahcène Bounceur, Madani Bezoui, Loïc Lagadec, Reinhardt Euler, Abdelkader Laouid, Mahamadou Traore, Mounir Lallali
- article
- International Conference on Future Networks and Distr buted Systems (ICFNDS), Jun 2018, Amman, Jordan. ⟨10.1145/3231053.3231090⟩
- Accès au texte intégral et bibtex
-
- titre
- Apprentissage par projets à l'école primaire avec les filles qui. . .
- auteur
- Cassandra Balland, Esther Bernard, Morgane Coat, Isabelle Fouqué, Louise Hergoualc 'H, Gwendoline Kervot, Liz Kouassi, Audrey Lidec, Alix Machard, Maela Mingant, Awatef Mraihi, Marine Nuzillat, Maëlla Perrot, Constance Rio, Caroline Rogard, Mélodie Saliou, Andréa Savi, Anaëlle Seithers, Maëlle Sinilo, Marie Traon, Maxime Vallemont, Virginie Abiven, Jessica Benedicto, Emilie Carosin, Catherine Dezan, Barbara Dussous, Cyrielle Feron, Chabha Hireche, Arwa Khannoussi, Vincent Leilde, Nicolas Moal, Cécile Plaud, Fabienne Ricard, Catherine Stefanelli, Carolyn Stein, Yann Ty-Coz, Vincent Ribaud
- article
- RJC-EIAH 2018 - Atelier "Organisation et suivi des activités d’apprentissage de l’informatique : outils, modèles et expériences", Apr 2018, Besançon, France
- Accès au texte intégral et bibtex
-
- titre
- Eduquer en montrant l'exemple : les filles qui ...
- auteur
- Vincent Ribaud, Malou Alleno, Cassandra Balland, Esther Bernard, Néné Satorou Cissé, Morgane Coat, Tinaig Daniel, Isabelle Fouqué, Louise Hergoualc 'H A, Gwendoline Kervot, Liz Kouassi, Éloïse Le Floch, Enora Le Scanf, Mégane Lesne, Audrey Lidec, Alix Machard, Maela Mingant, Maëlla Perrot, Océane Pierry, Lisa Ribaud-Le Cann, Constance Rio, Caroline Rogard, Anaëlle Seithers, Maëlle Sinilo, Sophie Tehet, Maxime Vallemont, Jessica Benedicto, Stéphanie Berthelot, Bénédicte Blineau, Emmanuelle Boguenet, Émilie Carosin, Pascale Cloastre, Françoise Conan, Valérie Dantec, Catherine Dezan, Barbara Dussous, Cyrielle Feron, Claire François, Carine Guillerm, Chabha Hireche, Arwa Khannoussi, Gaëlle Laizet, Catherine Lecru, Hémerance Le Forestier, Laurence Le Gouëz, Éric Loubeau, Éric Quemener, Muriel Vidal
- article
- Didapro 7 – DidaSTIC : De 0 à 1 ou l’heure de l’informatique à l’école, Feb 2018, Lausanne, Suisse
- Accès au texte intégral et bibtex
-
- titre
- A new dominating tree routing algorithm for efficient leader election in IoT networks
- auteur
- Ahcène Bounceur, Madani Bezoui, Massinissa Lounis, Reinhardt Euler, Ciprian Teodorov
- article
- 15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2018, Las Vegas, United States. ⟨10.1109/CCNC.2018.8319292⟩
- Accès au texte intégral et bibtex
-
- titre
- Are engineering students ready for a VUCA world? A Design-based Research
- auteur
- Sophie Gaultier Le Bris, Siegfried Rouvrais, Matheus Stewart
- article
- Proceedings of the 14th International CDIO Conference, KIT, Kanazawa, 2018, Kanazawa, Japan
- Accès au bibtex
-
Book sections
- titre
- Using Parallel and Distributed Reachability in Model Checking
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
- Accès au bibtex
-
Poster communications
- titre
- Eduquer en montrant l’exemple : les filles qui... - Poster Réfléchir
- auteur
- Vincent Ribaud
- article
- Didapro 7 – DidaSTIC : De 0 à 1 ou l’heure de l’informatique à l’école, Feb 2018, Lausanne, Suisse
- Accès au texte intégral et bibtex
-
Reports
- titre
- Towards Reinforcing Decision Making Skills of Higher and Vocational Education and Training Students
- auteur
- Siegfried Rouvrais, Alnasser Manhal, Cook Sandra, Flannagan Bryan, Jordan Katie, Stewart Matthew, Taylor Philipp, Wiseman Claire, Lebris Sophie Gaultier, Martin Stuart, Joder Axel, Agredano Maria, Bono Lluc, Morro Antoni, Tudela Lluis, Chelin Nathalie, Sarah Ghaffari, Sébastien Houcke, Yvon Kermarrec, Marschal Nathalie, Mathieu Simonnet, Stéphanie Tillement, Roger Waldeck, Esnault Liliane, Auðunsson Haraldur, Breitenbuecher Sven, Gur Friðgeirsson Þórður Víki, Jonasson Haukur Ingi, Matthíasdóttir Grét, Dunn Sheila, George Lydia, O'Reilly Anthony, Mcshane Kevin
- article
- [Research Report] Output 1, IMT Atlantique; Lab-STICC. 2018
- Accès au texte intégral et bibtex
-
2017
Journal articles
- titre
- Environment-driven reachability for timed systems
- auteur
- Ciprian Teodorov, Philippe Dhaussy, Luka Le Roux
- article
- International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
- Accès au bibtex
-
Conference papers
- titre
- A High Abstraction Level Constraint for Object Localization in Marine Observatories
- auteur
- Joël Champeau, Loïc Lagadec, Charbel Geryes Aoun, Jad Moussa, Elio Hanna
- article
- CSCI 2017, Dec 2017, Las Vegas, United States
- Accès au bibtex
-
- titre
- Does Process Assessment Drive Process Learning? The Case of a Bachelor Capstone Project
- auteur
- Vincent Leilde, Vincent Ribaud
- article
- 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.39⟩
- Accès au texte intégral et bibtex
-
- titre
- Girls Who . . . Do Scratch a First Round with the Essence Kernel
- auteur
- Cassandra Balland, Néné Satorou Cissé, Louise Hergoualc’h, Gwendoline Kervot, Audrey Lidec, Alix Machard, Lisa Ribaud-Le Cann, Constance Rio, Maelle Sinilo, Valérie Dantec, Catherine Dezan, Cyrielle Feron, Claire François, Chabha Hireche, Arwa Khannoussi, Vincent Ribaud
- article
- 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Nov 2017, Savannah, France. ⟨10.1109/CSEET.2017.48⟩
- Accès au texte intégral et bibtex
-
- titre
- DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems
- auteur
- Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepulveda Florez, Frank Singhoff, Jean-Philippe Diguet
- article
- 2017 IEEE 35th International Conference on Computer Design (ICCD), Nov 2017, Boston, United States. ⟨10.1109/ICCD.2017.42⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language
- auteur
- Mourad Dridi, Mounir Lallali, Stéphane Rubini, Frank Singhoff, Jean-Philippe Diguet
- article
- the 10th International Workshop on Network on Chip Architectures, Oct 2017, Boston, United States. ⟨10.1145/3139540.3139543⟩
- Accès au bibtex
-
- titre
- Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project
- auteur
- Vincent Ribaud, Vincent Leilde
- article
- International Conference on Software Process Improvement and Capability Determination, SPICE 2017, Oct 2017, Palma de Mallorca, Spain. pp.499-506
- Accès au texte intégral et bibtex
-
- titre
- How to apprehend leadership related skills in a project management experiment?
- auteur
- Michel Morvan, Bruno Vinouze, Marie-Pierre Adam, Matthieu Arzel, Didier Baux, Antoine Beugnard, Priscillia Creach, Jean-Philippe Coupez, Myriam Le Goff-Pronost, Camilla Kärnfelt
- article
- SEFI 2017: 45th Conference on Education Excellence For Sustainable Development, Sep 2017, Azores, Portugal. pp.536-543
- Accès au texte intégral et bibtex
-
- titre
- Towards one Model Interpreter for Both Design and Deployment
- auteur
- Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov
- article
- 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
- Accès au bibtex
-
- titre
- A Methodology to Assess Vulnerabilities and Countermeasures Impact on the Missions of a Naval System
- auteur
- Bastien Sultan, Fabien Dagnat, Caroline Fontaine
- article
- CyberICPS'2017 : International Workshop on the Security of Industrial Control Systems and Cyber-Physical Systems, Sep 2017, Oslo, Norway. pp.63 - 76, ⟨10.1007/978-3-319-72817-9_5⟩
- Accès au bibtex
-
- titre
- A Diagnosis Framework for Critical Systems Verification
- auteur
- Vincent Leilde, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy
- article
- 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
- Accès au texte intégral et bibtex
-
- titre
- Using Parallel and Distributed Reachability in Model Checking
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
- Accès au bibtex
-
- titre
- Asserting causal properties in High Level Synthesis
- auteur
- Erwan Fabiani, Loïc Lagadec, Mohamed Ben Hammouda, Ciprian Teodorov
- article
- 2017 IEEE 2nd International Verification and Security Workshop (IVSW), Jul 2017, Thessaloniki, Greece
- Accès au bibtex
-
- titre
- How web services can be tolerant to intruders through diversification
- auteur
- Georges Ouffoué, Fatiha Zaidi, Ana Rosa Cavalli, Mounir Lallali
- article
- ICWS 2017 : 24th IEEE International Conference on Web Services, Jun 2017, Honolulu, United States. pp.436 - 443, ⟨10.1109/ICWS.2017.50⟩
- Accès au bibtex
-
- titre
- An attack-tolerant framework for web services
- auteur
- Georges Ouffoué, Fatiha Zaidi, Ana Rosa Cavalli, Mounir Lallali
- article
- SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.503 - 506, ⟨10.1109/SCC.2017.75⟩
- Accès au bibtex
-
- titre
- Model-based attack tolerance
- auteur
- Georges Ouffoué, Fatiha Zaidi, Ana Rosa Cavalli, Mounir Lallali
- article
- FINA 2017 : 13th International Symposium on Frontiers of Information Systems and Network Applications, Mar 2017, Taipei, Taiwan. pp.68 - 73, ⟨10.1109/WAINA.2017.88⟩
- Accès au bibtex
-
Other publications
- titre
- NoC and Mixed-criticality Systems
- auteur
- Mourad Dridi, Stéphane Rubini, Mounir Lallali, Frank Singhoff, Jean-Philippe Diguet, Martha Johanna Sepulveda Florez
- article
- 2017
- Accès au bibtex
-
2016
Journal articles
- titre
- Sequential and Parallel Algorithms for the State Space Exploration
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩
- Accès au bibtex
-
- titre
- A Parallel Algorithm for the State Space Exploration
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- Scalable Computing : Practice and Experience, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
- Accès au bibtex
-
- titre
- Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis
- auteur
- Ciprian Teodorov, Luka Le Roux, Zoé Drey, Philippe Dhaussy
- article
- Journal of Software Testing, Verification and Reliability, 2016, ⟨10.1002/stvr.1611⟩
- Accès au bibtex
-
Conference papers
- titre
- Runtime support for rule-based access-control evaluation through model-transformation
- auteur
- Salvador Martínez, Jokin Garcia, Jordi Cabot
- article
- the 2016 ACM SIGPLAN International Conference, Oct 2016, Amsterdam, Netherlands. pp.57-69, ⟨10.1145/2997364.2997375⟩
- Accès au texte intégral et bibtex
-
- titre
- An Organizing System to Perform and Enable Verification and Diagnosis Activities
- auteur
- Vincent Leilde, Vincent Ribaud, Philippe Dhaussy
- article
- Intelligent Data Engineering and Automated Learning – IDEAL 2016, Oct 2016, Yangzou, China. pp.576-587
- Accès au texte intégral et bibtex
-
- titre
- Model-based Diagnosis Patterns for Model Checking
- auteur
- Vincent Leilde, Vincent Ribaud, Philippe Dhaussy
- article
- PAME 2016, Oct 2016, St Malo, France. pp.7-12
- Accès au texte intégral et bibtex
-
- titre
- Boosting advanced skills in project management thanks to complex human and technical situations
- auteur
- Marie-Pierre Adam, Matthieu Arzel, Didier Baux, Antoine Beugnard, Jean-Philippe Coupez, Myriam Le Goff-Pronost, Michel Morvan, Pierre Tremenbert, Bruno Vinouze
- article
- SEFI 2016: 44th European Society for Engineering Education annual conference, Sep 2016, Tampere, Finland. pp.1-11
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Round-Trip Engineering in the context of FOMDD
- auteur
- Glenn Cavarlé, Alain Plantec, Steven Costiou, Vincent Ribaud
- article
- 11th International Workshop on Smalltalk Technologies, Aug 2016, Prague, Czech Republic. pp.1 - 7, ⟨10.1145/2991041.2991056⟩
- Accès au texte intégral et bibtex
-
- titre
- Maîtrise des Correctifs de Sécurité pour les Systèmes Navals
- auteur
- Bastien Sultan, Fabien Dagnat, Caroline Fontaine
- article
- CIEL 2016 : 5ème Conférence en Ingénierie du Logiciel, Jun 2016, Besançon, France. pp.1 - 6
- Accès au texte intégral et bibtex
-
- titre
- Model Checking of SCADE Designed Systems
- auteur
- S Heim, Xavier Dumas, E Bonnafous, Philippe Dhaussy, C Teodorov, Lise Leroux
- article
- 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Proposed Algorithms to the State Explosion Problem
- auteur
- Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
- article
- Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩
- Accès au bibtex
-
2015
Journal articles
- titre
- A Modeling Approach for Marine Observatory
- auteur
- Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Joël Champeau, Oussama Kassem Zein
- article
- Sensors & Transducers., 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
- Accès au bibtex
-
Conference papers
- titre
- Blending Process Assessment and Employees Competencies Assessment in Very Small Entities
- auteur
- Vincent Ribaud, Rory V O 'Connor
- article
- 22nd European Conference on Systems, Software and Services Process Improvement (EuroSPI 2015), Sep 2015, Ankara, Turkey. pp.206 - 219, ⟨10.1007/978-3-319-24647-5_17⟩
- Accès au texte intégral et bibtex
-
- titre
- Relating ICT Competencies with Personality Types
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- EuroSPI 2015, Sep 2015, Ankara, Turkey. pp.1-8, ⟨10.1007/978-3-319-24647-5_24⟩
- Accès au texte intégral et bibtex
-
- titre
- Context-Aware Verification of a Cruise-Control System
- auteur
- Ciprian Teodorov, Luka Leroux, Philippe Dhaussy
- article
- MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩
- Accès au bibtex
-
- titre
- Relational and graph queries over a transition system
- auteur
- Siham Rim Boudaoud, Khaoula Es-Salhi, Vincent Ribaud, Ciprian Teodorov
- article
- International Conference on Computer as a Tool (EUROCON 2015), Sep 2015, Salamanque, Spain. pp.1-6, ⟨10.1109/EUROCON.2015.7313738⟩
- Accès au texte intégral et bibtex
-
- titre
- KriQL: a query language for the diagnosis of transition systems
- auteur
- Khaoula Es-Salhi, Siham Rim Boudaoud, Ciprian Teodorov, Zoé Drey, Vincent Ribaud
- article
- 15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
- Accès au texte intégral et bibtex
-
- titre
- Semantics based analysis of botnet activity from heterogeneous data sources
- auteur
- Santiago Ruano Rincon, Sandrine Vaton, Antoine Beugnard, Serge Garlatti
- article
- IWCMC 2015 : 11th International Wireless Communications & Mobile Computing Conference - TRAC Workshop : Traffic Analysis and Characterization, Aug 2015, Dubrovnik, Croatia
- Accès au texte intégral et bibtex
-
- titre
- Score distribution as a tool to reveal group dynamics in student projects?
- auteur
- Claire Lassudrie, Marie-Pierre Adam, Matthieu Arzel, Antoine Beugnard, Jean-Philippe Coupez, François Gallée, Sylvie Kerouedan, Myriam Le Goff-Pronost, Michel Morvan, Bruno Vinouze, Didier Baux
- article
- SEFI 2015 : Annual Conference of the European Society for Engineering Education, Jun 2015, Orléans, France. pp.111 - 111
- Accès au texte intégral et bibtex
-
- titre
- Analyse d'une formation à la conduite de projets selon une grille de maturité de processus
- auteur
- Marie-Pierre Adam, Matthieu Arzel, Antoine Beugnard, Jean-Philippe Coupez, François Gallée, Claire Lassudrie, Myriam Le Goff-Pronost, Michel Morvan, Bruno Vinouze, Didier Baux
- article
- QPES 2015 : Colloque Questions de pédagogies dans l'enseignement supérieur. Innover : pourquoi et comment ?, Jun 2015, Brest, France. pp.125-130
- Accès au bibtex
-
- titre
- Un exemple de dispositif constructiviste en Licence 2 Informatique
- auteur
- Lily Blanleuil, Amandine Grosjean, Pierre Laot, Jean-Baptiste Lauté, Jimmy Tournemaine, Vincent Ribaud
- article
- Questions de Pédagogie dans l’Enseignement Supérieur, Jun 2015, Brest, France. pp.802-808
- Accès au texte intégral et bibtex
-
- titre
- Process Assessment Issues in a Bachelor Capstone Project
- auteur
- Vincent Ribaud, Alexandre Bescond, Matthieu Gourvenec, Joël Gueguen, Victorien Lamour, Alexandre Levieux, Thomas Parvillers, Rory O'Connor
- article
- Software Process Education, Training and Professionalism, Jun 2015, Göteborg, Sweden. pp.25-33
- Accès au texte intégral et bibtex
-
- titre
- Role Framework to Support Collaborative Virtual Prototyping of System of Systems
- auteur
- Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn
- article
- WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus
- Accès au bibtex
-
- titre
- A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation
- auteur
- Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joel Champeau, Johnny Oberg
- article
- SIES 2015, University of Siegen, Jun 2015, Siegen, Germany
- Accès au bibtex
-
- titre
- Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems
- auteur
- Salvador Martínez, Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Bouhlahia, Jordi Cabot
- article
- 30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.218-233, ⟨10.1007/978-3-319-18467-8_15⟩
- Accès au texte intégral et bibtex
-
- titre
- A Role Language to Interpret Multi-Formalism System of Systems Models
- auteur
- Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loic Lagadec
- article
- Syscon 2015, IEEE, Apr 2015, Vancouver, Canada
- Accès au bibtex
-
- titre
- Towards a Meta-Language for the Concurrency Concern in DSLs
- auteur
- Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale
- article
- Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
- Accès au texte intégral et bibtex
-
- titre
- A Model Driven Approach for Telecommunication Service Creation Environments Relying on Enterprise Architecture
- auteur
- Iyas Alloush, Vanea Chiprianov, Jacques Simonin, Siegfried Rouvrais, Yvon Kermarrec
- article
- ICIN 2015 : 18th International Conference on Intelligence in Next Generation Networks, Feb 2015, Paris, France. pp.151 - 153, ⟨10.1109/ICIN.2015.7073824⟩
- Accès au bibtex
-
Preprints, Working Papers, ...
- titre
- Phadeo : un environnement pour FPGA virtuel
- auteur
- Sebastián Tleye, Ciprian Teodorov, Erwan Fabiani, Loic Lagadec
- article
- 2015
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Extending Enterprise Architecture Modeling Languages for Domain Specificity and Collaboration: Application to Telecommunications Service Design
- auteur
- Vanea Chiprianov, Yvon Kermarrec, Siegfried Rouvrais, Jacques Simonin
- article
- Software and Systems Modeling, 2014, 13 (3), pp.963 - 974. ⟨10.1007/s10270-012-0298-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS
- auteur
- Philippe Dhaussy, Luka Le Roux, Ciprian Teodorov
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
- Accès au bibtex
-
- titre
- Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD
- auteur
- Frédéric Jouault, Ciprian Teodorov, Jérôme Delatour, Luka Le Roux, Philippe Dhaussy
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
- Accès au bibtex
-
- titre
- Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging
- auteur
- Loic Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani
- article
- Science of Computer Programming, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩
- Accès au bibtex
-
Conference papers
- titre
- Techniques and Challenges for Trace Processing from a Model-Checking Perspective
- auteur
- Vincent Ribaud, Ciprian Teodorov, Zoé Drey, Luka Leroux, Philippe Dhaussy
- article
- International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
- Accès au texte intégral et bibtex
-
- titre
- Domain Specific Modeling Language for Object Localization in Marine Observatories
- auteur
- Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Oussama Kassem Zein, Joël Champeau
- article
- SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal
- Accès au bibtex
-
- titre
- Introducing complexity into project management through multi-stakeholder interactions
- auteur
- Myriam Le Goff-Pronost, Matthieu Arzel, Antoine Beugnard, Jean-Philippe Coupez, François Gallée, Claire Lassudrie, Michel Morvan, Bruno Vinouze, Richard Naël, Didier Baux
- article
- SEFI 2014 : 42th annual conference, Sep 2014, Birmingham, United Kingdom. pp.135 - 135
- Accès au texte intégral et bibtex
-
- titre
- A Domain-Specific Framework for Creating Early Trusted Underwater Systems Relying on Enterprise Architecture
- auteur
- Iyas Alloush, Charbel Geryes Aoun, Yvon Kermarrec, Siegfried Rouvrais
- article
- MASCOTS 2014 - IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, IEEE computer Society, Sep 2014, Paris, France. ⟨10.1109/MASCOTS.2014.23⟩
- Accès au texte intégral et bibtex
-
- titre
- Transforming Viewpoints of Distributed Designs to Support Simulation Scenarios
- auteur
- Iyas Alloush, Yvon Kermarrec, Siegfried Rouvrais
- article
- ICSOFT-EA 2014 : proceedings of the 9th International Conference on Software Engineering and Applications, Aug 2014, Vienna, Austria. pp.321 - 328, ⟨10.5220/0004997103210328⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards a Dynamic Infrastructure for Playing withSystems of Systems
- auteur
- Jean-Philippe Schneider, Ciprian Teodorov, Eric Senn, Joël Champeau
- article
- ECSA 2014, Aug 2014, Vienne, Austria
- Accès au bibtex
-
- titre
- Towards agile cross-platform application development with Smalltalk and Model Driven Engineering
- auteur
- Glenn Cavarlé, Alain Plantec, Vincent Ribaud, Christophe Touzé
- article
- International Workshop on Smalltalk Technologies - IWST 2014, ESUG, Aug 2014, Cambridge, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Context-aware Veri cation of a Landing Gear System
- auteur
- Philippe Dhaussy, Ciprian Teodorov
- article
- ABZ 2014, Jun 2014, Toulouse, France. pp.52-65
- Accès au bibtex
-
Reports
- titre
- Operational Semantics of the Model of Concurrency and Communication Language
- auteur
- Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov
- article
- [Research Report] RR-8584, INRIA. 2014, pp.23
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- Model-driven physical-design automation for FPGAs: fast prototyping and legacy reuse
- auteur
- Ciprian Teodorov, Loic Lagadec
- article
- Software: Practice and Experience, 2013, 44 (4), pp.455-482. ⟨10.1002/spe.2190⟩
- Accès au bibtex
-
- titre
- Management of stateful firewall misconfiguration
- auteur
- García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Salvador Martinez Perez, Jordi Cabot
- article
- Computers & Security, 2013, 39 (11), pp.64-85
- Accès au bibtex
-
- titre
- Automated Measurement of Models of Requirements
- auteur
- Martin Monperrus, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel
- article
- Software Quality Journal, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
- auteur
- Papa Issa Diallo, Joël Champeau, Loïc Lagadec
- article
- SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
- Accès au bibtex
-
- titre
- Model-Driven Extraction and Analysis of Network Security Policies
- auteur
- Salvador Martinez Perez, García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Jordi Cabot
- article
- Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Sep 2013, Miami, United States. pp.52-68
- Accès au bibtex
-
- titre
- PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines
- auteur
- Stephen Creff, Joël Champeau
- article
- MODELS 2013, Sep 2013, Miami, United States
- Accès au texte intégral et bibtex
-
- titre
- Enhance the reusability of Models and their Behavioral correctness
- auteur
- Papa Issa Diallo, Joël Champeau, Loïc Lagadec
- article
- MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States
- Accès au bibtex
-
- titre
- Model Federation in toolchains
- auteur
- Joël Champeau, Vincent Leilde, Papa Issa Diallo
- article
- MODELS 2013, Sep 2013, Miami, United States
- Accès au texte intégral et bibtex
-
- titre
- How to train engineering students to cope with complexity in project management ?
- auteur
- Bruno Vinouze, Antoine Beugnard, Jean-Philippe Coupez, François Gallée, Claire Lassudrie, Myriam Le Goff-Pronost, Michel Morvan, Jérome Bourges, Didier Baux
- article
- SEFI 2013 : 41th SEFI Conference, Sep 2013, Leuven, Belgium
- Accès au texte intégral et bibtex
-
- titre
- A transversal alignment between measurements and enterprise architecture for early verification of telecom service design
- auteur
- Iyas Alloush, Yvon Kermarrec, Siegfried Rouvrais
- article
- 19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.245-256, ⟨10.1007/978-3-642-40552-5_22⟩
- Accès au texte intégral et bibtex
-
- titre
- Reverse Engineering of Database Security Policies
- auteur
- Salvador Martínez, Martinez Cosentino, Jordi Cabot, Frédéric Cuppens
- article
- DEXA 2013 : 24th International Conference on Database and Expert Systems Applications, Aug 2013, Prague, Czech Republic. pp.442 - 449, ⟨10.1007/978-3-642-40173-2_37⟩
- Accès au bibtex
-
- titre
- A generalized model transformation approach to link design models to network simulators: NS-3 case study
- auteur
- Iyas Alloush, Yvon Kermarrec, Siegfried Rouvrais
- article
- SIMULTECH 2013 : the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Jul 2013, Rekjavik, Iceland. pp.337 - 344, ⟨10.5220/0004407503370344⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards an Access-Control Metamodel for Web Content Management Systems
- auteur
- Salvador Martinez Perez, García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Jordi Cabot
- article
- ICWE 2013: the International Conference on Web Engineering - MDWE 2013: Model-Driven Web Engineering, Jul 2013, Aalborg, Denmark. pp 148-155
- Accès au bibtex
-
- titre
- An Automated Tool Selection Method based on Model Transformation: OPNET and NS-3 Case Study
- auteur
- Iyas Alloush, Yvon Kermarrec, Siegfried Rouvrais
- article
- SPECTS 2013 : the 16th International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Jul 2013, Toronto, Canada. pp.10 - 17
- Accès au texte intégral et bibtex
-
- titre
- APPRENTISSAGE SITUE DE L'INGENIERIE DES SYSTEMES D'INFORMATION -LA METHODE DU SAUMON
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- Questions de Pédagogies dans l'Enseignement Supérieur, Jun 2013, Sherbrooke, Canada. pp.279-289
- Accès au texte intégral et bibtex
-
- titre
- The Cost of Problem-Based Learning: An Example in Information Systems Engineering
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- 2013 IEEE 26th Conference on Software Engineering Education and Training (CSEE&T), IEEE, May 2013, San Fransisco, United States. pp.259-263, ⟨10.1109/CSEET.2013.6595257⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling Dynamic Adaptations using Augmented Feature Models
- auteur
- Jean-Baptiste Lezoray, Maria-Teresa Segarra, Antoine Beugnard, Jean-Marie Gilliot
- article
- SAC 2013 : 28th Symposium On Applied Computing, Mar 2013, Coimbra, Portugal
- Accès au bibtex
-
Book sections
- titre
- Modélisation de l'étude de cas avec MARTE
- auteur
- Jérôme Delatour, Joël Champeau
- article
- Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
- Accès au bibtex
-
- titre
- Case Study Modeling Using MARTE
- auteur
- Jérôme Delatour, Joël Champeau
- article
- Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
- Accès au bibtex
-
2012
Journal articles
- titre
- Processus de développement de système fondé sur l'alignement de modèles
- auteur
- Jacques Simonin, Antoine Beugnard, Rémi Nedelec
- article
- Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2012, 17 (3), pp.119 - 142. ⟨10.3166/isi.17.3.119-142⟩
- Accès au bibtex
-
- titre
- Applying formal methods to PCEP: an industrial case study from modeling to test generation.
- auteur
- Hwang Iksoon, Mounir Lallali, Ana Rosa Cavalli, Dominique Verchere
- article
- Journal of Software Testing, Verification and Reliability, 2012, 22 (5), pp.343--361. ⟨10.1002/stvr.445⟩
- Accès au bibtex
-
- titre
- Architecting the CDIO Educational Framework Pursuant to Constructive Alignment Principles
- auteur
- Siegfried Rouvrais, Vanea Chiprianov
- article
- International Journal of Quality Assurance in Engineering and Technology Education (IJQAETE), 2012, 2 (2), pp.80 - 92. ⟨10.4018/ijqaete.2012040108⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Introducing Problem-Based Learning in a Joint Masters Degree: Offshoring Information Technologies
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- International Conference on Engineering Education, Instructional Technology, Assessment, and E-learning (EIAE 12), Dec 2012, Bridgeport, United States. pp.311-319, ⟨10.1007/978-3-319-06773-5_42⟩
- Accès au texte intégral et bibtex
-
- titre
- Relationships Formalization for Model-Based Product Lines
- auteur
- Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel
- article
- APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
- Accès au bibtex
-
- titre
- Paths and shortcuts in an event-oriented ontology
- auteur
- Mark Fichtner, Vincent Ribaud
- article
- 6th Metadata and Semantics Research Conference 2012, Nov 2012, Cadiz, Spain. pp.214-226, ⟨10.1007/978-3-642-35233-1_22⟩
- Accès au texte intégral et bibtex
-
- titre
- From system-level models to heterogeneous embedded systems
- auteur
- Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye
- article
- RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
- Accès au texte intégral et bibtex
-
- titre
- Relationships in Variability Modeling Approaches: A Survey and Classification
- auteur
- Stephen Creff, Joël Champeau
- article
- 5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
- Accès au bibtex
-
- titre
- Cultural immersion aimed at improving professional integration in the Moroccan offshore industry
- auteur
- Philippe Saliou, Vincent Ribaud
- article
- The 10th PASCAL International Observatory conference : The role of Higher Education in local and regional social and economic development, Oct 2012, Brest, France. http://www.univ-brest.fr/conferencepascal2012/
- Accès au texte intégral et bibtex
-
- titre
- A model-driven approach for the extraction of network access-control policies
- auteur
- Salvador Martínez, García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Jordi Cabot
- article
- Model-Driven Security Workshop, Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry, Oct 2012, Innsbruck, Austria
- Accès au bibtex
-
- titre
- Model-Based Product Line Evolution: an Incremental Growing by Extension
- auteur
- Stephen Creff, Joël Champeau, Jean-Marc Jézéquel
- article
- 16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
- Accès au bibtex
-
- titre
- Linking Telecom Service High-level Abstract Models to Simulators based on Model Transformations: The IMS Case Study
- auteur
- Iyas Alloush, Vanea Chiprianov, Yvon Kermarrec, Siegfried Rouvrais
- article
- 18th European Conference on Information and Communications Technologies (EUNICE), Aug 2012, Budapest, Hungary. pp.100-111, ⟨10.1007/978-3-642-32808-4_10⟩
- Accès au texte intégral et bibtex
-
- titre
- Une organisation des Lignes de Produits Logiciels autour d'un motif architectural
- auteur
- Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel
- article
- CAL 2012, May 2012, Montpellier, France
- Accès au bibtex
-
- titre
- An experience of young software engineers' employability in the Moroccan offshore industry
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- IEEE EDUCON2012 Collaborative Learning & New Pedagogic Approaches in Engineering Education, Apr 2012, Marrakech, Morocco. pp.1-7, ⟨10.1109/EDUCON.2012.6201187⟩
- Accès au texte intégral et bibtex
-
- titre
- Extending Enterprise Architecture Modeling Languages: Application to Telecommunications Service Creation
- auteur
- Vanea Chiprianov, Yvon Kermarrec, Siegfried Rouvrais
- article
- SAC 2012 - 27th Annual ACM Symposium on Applied Computing, Mar 2012, Trento, Italy. pp.810 - 816
- Accès au bibtex
-
- titre
- Towards Tool Integration through Artifacts and Roles
- auteur
- Weiqing Zhang, Vincent Leilde, Birger Moller-Pedersen, Christophe Guychard, Joël Champeau
- article
- Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45·⟩
- Accès au bibtex
-
Book sections
- titre
- Integrating DSLs into a Software Engineering Process: Application to Collaborative Construction of Telecom Services
- auteur
- Vanea Chiprianov, Yvon Kermarrec, Siegfried Rouvrais
- article
- Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, IGI Global, pp.415 - 442, 2012, 9781466620926
- Accès au bibtex
-
2011
Journal articles
- titre
- L'IDM, un levier pour l'intégration d'outils : l'approche iFEST
- auteur
- Vincent Leilde, Joël Champeau, Papa Issa Diallo, H. Uascar Espinoza
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.10-15
- Accès au bibtex
-
- titre
- Towards Experience Management for Very Small Entities
- auteur
- Vincent Ribaud, Philippe Saliou, Claude Laporte
- article
- International Journal On Advances in Software, 2011, 4 (1), pp.218-230
- Accès au texte intégral et bibtex
-
- titre
- Un assistant de mémoire pour les très petits projets d'ingénierie du logiciel
- auteur
- Vincent Ribaud, Philippe Saliou, Claude Laporte
- article
- Études de communication - Langages, information, médiations, 2011, 36, pp.67-86
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Organizational Configurations in Executable Enterprise Architecture Models
- auteur
- Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
- article
- poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France
- Accès au bibtex
-
- titre
- Forward engineering and early model validation with Smalltalk
- auteur
- Alain Plantec, Frank Singhoff, V Gaudel, Vincent Ribaud
- article
- 5th Argentine Smalltalk Conference., Nov 2011, Buenos Aires., Argentina
- Accès au texte intégral et bibtex
-
- titre
- On the extensibility of plug-ins
- auteur
- Vanea Chiprianov, Yvon Kermarrec, Siegfried Rouvrais
- article
- ICSEA: 6th International Conference on Software Engineering Advances, Oct 2011, Barcelona, Spain. pp.557 - 562
- Accès au texte intégral et bibtex
-
- titre
- Multiple Feature Models & Relationships in a Model-Based Product Line Process
- auteur
- Stephen Creff, Arnaud Monégier, Joël Champeau, Jean-Marc Jézéquel
- article
- Lignes de produits, Oct 2011, Paris, France
- Accès au bibtex
-
- titre
- Model Based Engineering for the support of Models of Computation: The Cometa Approach
- auteur
- Papa Issa Diallo, Joël Champeau, Vincent Leilde
- article
- International Workshop on Multi-Paradigm Modeling - MPM 2011, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
- Accès au bibtex
-
- titre
- MDE-based FPGA Physical Design Fast Model-Driven Prototyping with Smalltalk
- auteur
- Ciprian Teodorov, Loic Lagadec
- article
- IWST 2011, Aug 2011, Edinburgh, United Kingdom. pp.1-13
- Accès au bibtex
-
- titre
- Telecommunications service creation: towards extensions for enterprise architecture modeling languages
- auteur
- Vanea Chiprianov, Iyas Alloush, Yvon Kermarrec, Siegfried Rouvrais
- article
- ICSOFT 2011: 6th International Conference on Software and Data Technologies, Jul 2011, Seville, Spain. pp.23 - 29
- Accès au bibtex
-
- titre
- A Model based Methodology for SCA Waveform Design Enhancing Portability: Application to the FM3TR Waveform Application
- auteur
- Frédéric Le Roy, Joël Champeau, J.P. Delehaye
- article
- SDR'11 WInnComm Europe, Jun 2011, Washington, United States
- Accès au bibtex
-
- titre
- FPGA Physical-Design Automation using Model-Driven Engineering
- auteur
- Ciprian Teodorov, Damien Picard, Loic Lagadec
- article
- RECOSOC, Jun 2011, Montpellier, France. pp.1-6
- Accès au bibtex
-
- titre
- FPGA SDK for Nanoscale Architectures
- auteur
- Ciprian Teodorov, Loic Lagadec
- article
- RECOSOC, Jun 2011, Montpellier, France. pp.1-8
- Accès au bibtex
-
- titre
- Regular 2D Nasic-based Architecture and Design Space Exploration
- auteur
- Ciprian Teodorov, Pritish Narayanan, Loic Lagadec, Catherine Dezan
- article
- NANOARCH 2011, Jun 2011, San Diego, United States. pp.70-77
- Accès au bibtex
-
- titre
- Practical meta-model extension for modeling language profiles. An enterprise architecture modeling language extension for telecommunications service creation
- auteur
- Vanea Chiprianov, Yvon Kermarrec, Siegfried Rouvrais
- article
- 7th Days of Model Driven Engineering, Jun 2011, Lille, France. pp.85 - 91
- Accès au texte intégral et bibtex
-
- titre
- An approach for describing concurrency and communication of heterogeneous systems
- auteur
- Papa Issa Diallo, Joël Champeau, Vincent Leilde
- article
- BM-FA'11, Jun 2011, Birmingham, United Kingdom
- Accès au bibtex
-
- titre
- Framework for Integrating ESL Tools
- auteur
- Ali Koudri, Teodora Petrisor, Joël Champeau, Vincent Leilde
- article
- PMDE 2011, Jun 2011, United Kingdom
- Accès au bibtex
-
- titre
- Integrating Design and Runtime Variability Support into a System ADL
- auteur
- M. Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau
- article
- 7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. pp.270-281, ⟨10.1007/978-3-642-21470-7_19⟩
- Accès au bibtex
-
- titre
- Domain Specific Modelling Applied to Smart Sensors
- auteur
- Jean-Philippe Schneider, Joël Champeau, Dominique Kerjean, Oussama Kassem Zein, Yves Auffret, Laurent Dufrechou
- article
- Oceans 2011, Jun 2011, Santander, Spain
- Accès au bibtex
-
- titre
- Towards an Enactment Mechanism for MODAL Process Models
- auteur
- Pierre-Yves Pillain, Joël Champeau, Hanh Nhi Tran
- article
- ECMFA 2011, Jun 2011, United Kingdom
- Accès au bibtex
-
- titre
- Processus de développement de système contraint par l'urbanisation d'un système d'information
- auteur
- Jacques Simonin, Antoine Beugnard, Rémi Nedelec
- article
- INFORSID 2011 : 29e congrès Informatique des organisations et systèmes d'information et de décision, May 2011, Lille, France. pp.163 - 178
- Accès au bibtex
-
- titre
- Towards semantic interoperability of graphical domain specific modeling languages for telecommunications service design
- auteur
- Vanea Chiprianov, Yvon Kermarrec, Siegfried Rouvrais
- article
- 2nd International Conference on Models and Ontology-based Design of Protocols, Architectures and Services (MOPAS), Apr 2011, Budapest, Hungary. pp.21 - 24
- Accès au texte intégral et bibtex
-
Theses
- titre
- Model-Driven Physical-Design for Future Nanoscale Architectures
- auteur
- Ciprian Teodorov
- article
- Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Equipping Software Engineering Apprentices with a Repertoire of Practices
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- International Journal On Advances in Software, 2010, 3 (1), pp.201-212
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- End-user storytelling with a CIDOC CRM - based semantic wiki
- auteur
- Vincent Ribaud
- article
- 22th General Conference - International Council of Museums (CIDOC 2010), Nov 2010, Shanghai, China. pp.1 -22
- Accès au texte intégral et bibtex
-
- titre
- Using a Semantic Wiki for Documentation Management in Very Small Projects
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- Fourth Metadata and Semantics Conference (MTSR 2010), Oct 2010, Alcala de Henares, Espagne. pp.119-130
- Accès au texte intégral et bibtex
-
- titre
- Un wiki sémantique basé sur le CIDOC CRM
- auteur
- Vincent Ribaud, Patrick Le Boeuf
- article
- Sixième colloque Veille Stratégique Scientifique et Technologique (VSST 2010), Oct 2010, Toulouse, France. pp.1-12
- Accès au texte intégral et bibtex
-
- titre
- Software Engineering Support Activities for Very Small Entities
- auteur
- Vincent Ribaud, Philippe Saliou, Rory O'Connor, Claude Laporte
- article
- EuroSPI 2010, Sep 2010, Grenoble, France. pp.165-176
- Accès au texte intégral et bibtex
-
- titre
- Experience Management for Very Small Entities: Improving the Copy-paste Model
- auteur
- Vincent Ribaud, Philippe Saliou, Claude Laporte
- article
- ICSEA 2010, Aug 2010, France. pp.x-y
- Accès au texte intégral et bibtex
-
- titre
- Process Assessment Issues of the ISO/IEC 29110 emerging standard
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- PROFES 2010, Jun 2010, Ireland. pp.28-31
- Accès au texte intégral et bibtex
-
- titre
- ISO-Standardized Requirements Activities for Very Small Entities
- auteur
- Philippe Saliou, Vincent Ribaud
- article
- RESC 2010 - REFSQ 2010, Jun 2010, Germany. pp.16-28
- Accès au texte intégral et bibtex
-
- titre
- Meta-tools for software language engineering : a flexible collaborative modeling language for efficient telecommunications service design
- auteur
- Vanea Chiprianov, Yvon Kermarrec, Siegfried Rouvrais
- article
- FlexiTools'2010 : Workshop on Flexible Modeling Tools (in conjonction with the 32nd ACM/IEEE ICSE Intl. Conf. on Software Engineering), May 2010, Cape Town, South Africa
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Modeling and testing secure web applications
- auteur
- Wissam Mallouli, Mounir Lallali, Amel Mammar, Gerardo Morales, Ana Rosa Cavalli
- article
- Web-based information technologies and distributed systems, Atlantis Press, pp.207-255, 2010, Atlantis Ambient and Pervasive Intelligence, ⟨10.1007/978-94-91216-32-9_10⟩
- Accès au bibtex
-
2009
Journal articles
- titre
- Towards a Framework for Designing Applications onto hybrid nano/CMOS fabrics
- auteur
- Catherine Dezan, Ciprian Teodorov, Loïc Lagadec, Michael Leuchtenburg, Teng Wang, Pritish Narayanan, Csaba Andras Moritz
- article
- Microelectronics Journal, 2009, 40 (4-5), pp.656-664. ⟨10.1016/j.mejo.2008.07.072⟩
- Accès au bibtex
-
Conference papers
- titre
- Bootstrapping an empty repertoire of experience: the design case
- auteur
- Philippe Saliou, Vincent Ribaud
- article
- HAOSE 2009 - OOPSLA 2009, Oct 2009, United States. pp.x-y
- Accès au texte intégral et bibtex
-
- titre
- Building a Semantic Virtual Museum: from Wiki to Semantic Wiki using Named Entity Recognition
- auteur
- Alain Plantec, Vincent Ribaud
- article
- OOPSLA 2009, Oct 2009, United States. pp.769-770
- Accès au texte intégral et bibtex
-
- titre
- Building an Observatory of Course-of-Action in Software Engineering: towards a Link between ISO/IEC Software Engineering standards and a Reflective Practice
- auteur
- François-Xavier Bru, Gaëlle Frappin, Ludovic Legrand, Estéban Merrer, Sylvain Piteau, Guillaume Salou, Philippe Saliou, Vincent Ribaud
- article
- EuroSPI 2009, Sep 2009, Spain. pp.185-200
- Accès au texte intégral et bibtex
-
- titre
- Revealing Software Engineering Theory-in-Use through the Observation of Software Engineering Apprentices' Course-of-action
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- ICCGI 2009, Aug 2009, France. pp.202-210
- Accès au texte intégral et bibtex
-
- titre
- Towards a Model II Theory-in-use for young software engineers and small sofware teams
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- CISE 2009, Jun 2009, Bulgaria. pp.26.1-8
- Accès au texte intégral et bibtex
-
- titre
- An infrastructure for planning, monitoring and reusing capstone projects with the help of semantic wikis
- auteur
- Jean-Hugues Belpois, Vincent Ribaud, Philippe Saliou
- article
- Wikis4SE: Wiki4SE - ICSE 2009, May 2009, United States. pp.91-100
- Accès au texte intégral et bibtex
-
Book sections
- titre
- SoC/SoPC development using MDD and MARTE profile
- auteur
- Denis Aulagnier, Ali Koudri, Stéphane Lecomte, Philippe Soulard, Joël Champeau, Jorgiano Vidal, Gilles Perrouin, Pierre Leray
- article
- Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Building a Semantic Virtual Museum: from Wiki to Semantic Wiki using Named Entity Recognition
- auteur
- Alain Plantec, Vincent Ribaud, Vasudeva Varma
- article
- Symposium on wikis - Wikisym colocated with 24th ACM SIGPLAN Object oriented programming systems languages and applications 2009, Oct 2009, Orlando, United States
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- Evolution of an integrated course towards a sandwich course
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- IEEIII 2008, Dec 2008, Italy. pp.92-104
- Accès au texte intégral et bibtex
-
- titre
- Resources Annotation, Retrieval and Presentation: a semantic annotation management system
- auteur
- Marc Albert, Ceddrik Allery, Nicolas Freiss, Grégory L'Azou, Alban Moreau, Jonathan Piron, Vincent Ribaud, Philippe Saliou
- article
- CSTST 2008, Oct 2008, France. pp.303-309
- Accès au texte intégral et bibtex
-
- titre
- Process System Modeling for RSoC
- auteur
- Damien Picard, Bernard Pottier, Ciprian Teodorov
- article
- Reconfigurable Communication-centric Systems-on-Chip workshop., Jul 2008, Barcelone, Spain. Session 6: Mapping and Programming Models
- Accès au bibtex
-
- titre
- On the Way to Design Computing Architectures with Emerging Nanoscale Technologies
- auteur
- Ciprian Teodorov, Catherine Dezan, Loïc Lagadec
- article
- Colloque annuel GDR-SOC-Sip, Jun 2008, Paris, France
- Accès au bibtex
-
- titre
- A project-based immersion system
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- CSEET 2008 - Workshop, Apr 2008, United States. pp.25-28
- Accès au texte intégral et bibtex
-
- titre
- A few elements in software development engineering education
- auteur
- Vincent Ribaud, Philippe Saliou
- article
- Workshop on the Roles of Student Projects and Work Experience in Undergraduate and Taught Postgraduate Programmes - CSEET 2008, Apr 2008, United States. pp.18-21
- Accès au texte intégral et bibtex
-
- titre
- Using MARTE in a Co-Design Methodology
- auteur
- Ali Koudri, Denis Aulagnier, Didier Vojtisek, Philippe Soulard, Christophe Moy, Joël Champeau, Jorgiano Vidal, Jean-Christophe Le Lann
- article
- MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Measuring Models
- auteur
- Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener
- article
- Model-Driven Software Development: Integrating Quality Assurance, pp.147-169, 2008, 978-1-60566-006-6. ⟨10.4018/978-1-60566-006-6.ch007⟩
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Rapport et bilan pour le projet VALMADEO pour l'étape 3
- auteur
- Catherine Dezan, Thierry Goubier, Ciprian Teodorov, Samar Yazdani, Loïc Lagadec, Erwan Fabiani, Loïc Le Dréau, Loïc Gueguen, Christophe Jego, Bernard Pottier
- article
- 2008
- Accès au bibtex
-