Publications HAL du labo/EPI Lab-STICC

2024

Journal articles

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
Accès au bibtex
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
https://hal.science/hal-04308465/file/s10270-023-01131-3.pdf 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
BibTex
titre
A decision aid for the port placement problem in robot-assisted hysterectomy
auteur
Mohammad R Maddah, Jean-Marc Classe, Isabelle Jaffre, Keith A Watson, Katherine S Lin, Damien Chablat, Cédric Dumas, Caroline G.L. Cao
article
Laparoscopic, Endoscopic and Robotic Surgery, In press, ⟨10.1016/j.lers.2023.05.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04113365/file/1-s2.0-S2468900923000233-main.pdf BibTex

Conference papers

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
Accès au texte intégral et bibtex
https://hal.science/hal-04254748/file/TowardsEvolvingSecuredMulti-ModelSystemswithModelFederation.pdf 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
https://hal.science/hal-04240673/file/MLE_2023_AssociationPatterns.pdf 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
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
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
Accès au texte intégral et bibtex
https://hal.science/hal-04373771/file/RSP_2023.pdf BibTex
titre
A software engineering perspective on digital twin: many candidates, none elected
auteur
Antoine Beugnard
article
DigitalTwin 2023, IEEE Smart World Congress, Aug 2023, Portsmouth, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-04183036/file/DT_whitepaper-4.pdf 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
https://hal.science/hal-04089351/file/CDIO%202023-VUCA-resilience.pdf 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
https://hal.science/hal-04083449/file/main.pdf 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
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
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
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
https://hal.science/hal-04105054/file/A_Taxonomy_of_Requirements_Specification_Templates%20%287%29.pdf BibTex
titre
A dual perspective of organizational resilience (OR) and information technology systems resilience (ITSR): an analysis of interdependencies and tensions
auteur
Joanne Gardner Legars, Jacques Simonin, Roger Waldeck, John Puentes
article
CABMR 2023: Resilience and Cybersecurity, Mar 2023, Paris, France. ⟨10.3897/aca.6.e107704⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04134344/file/ACA_article_107704.pdf 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
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
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
https://hal.science/tel-04066483/file/HDR_Teodorov.pdf BibTex

2022

Journal articles

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
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
BibTex

Conference papers

titre
Security Analysis
auteur
Drouot Bastien, Valery Monthe, Sylvain Guérin, Joël Champeau
article
17th International Conference on Risks and Security of Internet and Systems, CRiSIS 2022, Dec 2022, Sousse, Tunisia. pp.133-152, ⟨10.1007/978-3-031-31108-6_11⟩
Accès au bibtex
BibTex
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
https://hal.science/hal-03801086/file/crisis2022-camera_ready.pdf BibTex
titre
Security Analysis: From model to system analysis
auteur
Drouot Bastien, Valery Monthe, Sylvain Guérin, Joël Champeau
article
CRiSiS 2022 : International Conference on Risks and Security of Internet and Systems, Dec 2022, Sousse, Tunisia
Accès au texte intégral et bibtex
https://hal.science/hal-03866297/file/Property_verification_on_embedded_systems-1.pdf 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
https://imt-mines-ales.hal.science/hal-03862279/file/Deploiement%20dirig%C3%A9%20par%20les%20mod%C3%A8les%20de%20JN%20%282%29.pdf 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
https://hal.science/hal-03801001/file/MAPD_article-Camera_ready_version%20%281%29.pdf 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
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
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
https://imt-mines-ales.hal.science/hal-03832378/file/a-software-engineering-point-of-view.pdf 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
https://imt-atlantique.hal.science/hal-03683564/file/FPCinEngineering.pdf 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
https://imt-atlantique.hal.science/hal-03683550/file/RCFworkshop-V10.pdf 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
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
https://hal.science/hal-03685799/file/main.pdf 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
https://imt-atlantique.hal.science/hal-03683586/file/AIPU2022.pdf 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
https://hal.science/hal-03637271/file/ICECCS_22___FinalVersion%282%29.pdf 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
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
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
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 bibtex
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
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
https://hal.science/hal-03701748/file/PosterHUT_GDRGPL_22.pdf 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
https://hal.science/hal-03727580/file/Industry-engagement-and-competence-integration-1%281%29.pdf 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
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
https://hal.science/hal-03217126/file/PAMELA_SoftwarePublication-accepted_authors_version.pdf 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
BibTex

Conference papers

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
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
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
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
https://hal.science/hal-03242570/file/CTE_STEM_submission.pdf 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
https://hal.science/hal-03208393/file/CSEDU%202021.pdf 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
https://ensta-bretagne.hal.science/hal-03188864/file/103882.pdf BibTex

2020

Journal articles

titre
Information System Services Generation of Business Services Specification and Based on a System-of-Services Logical Architecture Pattern
auteur
Jacques Simonin, Pierre-Yves Pillain, Didier Gueriot, Johanne Vincent
article
International Journal of Cooperative Information Systems, 2020, 29 (03), pp.2050002. ⟨10.1142/S0218843020500021⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02953309/file/ArchitectureFonctionnelle-49-Pattern.pdf BibTex
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
https://hal.science/hal-02959674/file/Work%20based%20learning%20models%20in%20engineering%20curricula%20insight%20from%20the%20French%20experience%281%29.pdf 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
https://imt-atlantique.hal.science/hal-02498433/file/PlagiarismDectectionForMDE-Accepted.pdf 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
https://hal.science/hal-02959152/file/Decision-Skills-Rouvrais.pdf 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
https://hal.science/hal-02959143/file/Final-WEEF2020-Eastem.pdf 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
https://hal.univ-brest.fr/hal-02911766/file/Scaling%20up%20a%20project-based%20SQL%20course.pdf BibTex
titre
Enhancement of a Business Model with a Business Contextual Risk Model
auteur
Zakariya Kamagaté, Jacques Simonin, Yvon Kermarrec
article
International Conference on Risks and Security of Internet and Systems, Nov 2020, Paris, France. pp.325-334, ⟨10.1007/978-3-030-68887-5_20⟩
Accès au texte intégral et bibtex
https://imt-atlantique.hal.science/hal-03141542/file/CRISIS2020-018_v1Enhancement%20of%20a%20business%20model%20with%20a%20Business%20Contextual%20Risk%20Model.pdf 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
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
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
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
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
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
https://hal.science/hal-02959184/file/Co-orientation-V4.pdf 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
https://hal.science/hal-02959196/file/IntegratedCapsules4CDM-V14.pdf 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
https://hal.science/hal-02959169/file/CDIO2020-EASTEM-V11.pdf 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
https://hal.univ-brest.fr/hal-02911755/file/LCLC%20Brest%20et%20LFQ%203.pdf 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
https://hal.univ-brest.fr/hal-02911760/file/SoumissionHumanistica2020.pdf 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
https://hal.univ-brest.fr/hal-02911731/file/LesFillesQui%26LCLC-ConstitutionBienCommun.pdf 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
https://hal.univ-brest.fr/hal-02911720/file/R%C3%A9sum%C3%A9-Forum%20national%20_Activons%20les%20sciences%20en%20classe_.pdf 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
https://hal.science/hal-02502387/file/2020_A%20Domain-specific%20Modeling%20Framework%20for%20Attack%20Surface%20Modeling_ICISSP.pdf 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
https://hal.science/hal-02482472/file/6leconsDeRobotiqueAvecScratch.pdf 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
https://hal.univ-brest.fr/hal-02911662/file/PartenairesInformatiquesPourLaClasse.pdf 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
https://hal.science/hal-02441878/file/20200129_paper.pdf 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
https://hal.univ-brest.fr/hal-02912821/file/Poster1-Agir-AvecNom.pdf 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] IMT Atlantique; Lab-STICC; IMT Atlantique. 2020
Accès au texte intégral et bibtex
https://hal.science/hal-03727542/file/O3-Year3.pdf 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
https://hal.science/hal-03727557/file/Dahoy-brochure-V9.pdf 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
https://hal.univ-brest.fr/hal-02912889/file/Position%20paper%20for%20Software%20Engineering%20Workshop.pdf BibTex

2019

Journal articles

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
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
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
https://hal.science/hal-02354761/file/Statistical_measurement_of_production_environment_influence_on_code_reuse_availability.pdf BibTex
titre
Maritime Cyber Situational Awareness Elaboration for Unmanned Vehicles
auteur
Olivier Jacq, Pedro Merino Laso, David Brosset, Jacques Simonin, Yvon Kermarrec, Marie-Annick Giraud
article
Maritime Situational Awareness Workshop, Oct 2019, Lerici, Italy
Accès au bibtex
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
https://hal.science/hal-02434620/file/LeRoux2019.pdf 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
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
https://hal.science/hal-02169755/file/Plaud%20et%20ribaud%20Bordeaux%202019.pdf 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
https://hal.science/hal-02221338/file/FINAL2-CAREER%20DECISION%20MAKING%20IN%20STEM.pdf 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
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
https://hal.univ-brest.fr/hal-02332743/file/EnseignerInformatiqueEnAmatrice.pdf 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
https://ensta-bretagne.hal.science/hal-02149584/file/Golra2019.pdf BibTex
titre
Cyber attacks real time detection: towards a Cyber Situational Awareness for naval systems
auteur
Olivier Jacq, David Brosset, Yvon Kermarrec, Jacques Simonin
article
Cyber SA 2019 : International Conference on Cyber Situational Awareness, Data Analytics And Assessment, Jun 2019, Oxford, United Kingdom. ⟨10.1109/CyberSA.2019.8899351⟩
Accès au bibtex
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
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
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
https://hal.univ-brest.fr/hal-02332734/file/hicss52a-sub3306-cam-i8.pdf 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
https://hal.science/hal-02433749/file/besnard2019.pdf 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
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
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
https://hal.science/hal-02263142/file/Rouvrais-Rochebrune2019-Chapitre1.pdf 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
https://hal.science/hal-02257816/file/Rouvrais-Rochebrune2019-Chapitre2.pdf 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
https://hal.science/hal-02299214/file/LogicielEtIndustrieDuFutur_VersionAuteurs.pdf BibTex

Poster communications

titre
Use of Suricata, ElasticStack, Neo4j and Linkurious for network defence
auteur
Olivier Jacq, David Brosset, Jacques Simonin, Yvon Kermarrec
article
SuriCon, Oct 2019, Amsterdam, Netherlands
Accès au bibtex
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] IMT ATLANTIQUE; Lab-STICC. 2019
Accès au texte intégral et bibtex
https://hal.science/hal-03727540/file/DAhoy-O2-Year2-final.pdf BibTex

2018

Journal articles

titre
Automatized integration of a contextual model into a process with data variability
auteur
Jacques Simonin, John Puentes
article
Computer Languages, Systems and Structures, 2018, 54, pp.156 - 182. ⟨10.1016/j.cl.2018.06.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01836388/file/Model_Mapping_v10_5-Elsevier.pdf BibTex
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
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
https://hal.science/hal-01867673/file/DAS_2017.pdf BibTex
titre
Distributed algorithm to fight the state explosion problem
auteur
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov
article
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
Accès au bibtex
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
https://hal.univ-brest.fr/hal-01701593/file/Cavarl%C3%A9-2018-A%20feature-oriented%20model-driven%20engineering%20approach%20for%20the%20early%20validation%20of%20feat%20%282%29.pdf 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
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
https://hal.science/hal-01933792/file/detect_2018.pdf 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
https://hal.science/hal-01933794/file/medi_2018.pdf BibTex
titre
Detecting and Hunting Cyberthreats in a Maritime Environment: Specification and Experimentation of a Maritime Cybersecurity Operations Centre
auteur
Olivier Jacq, Xavier Boudvin, David Brosset, Yvon Kermarrec, Jacques Simonin
article
CSNet 2018: 2nd Cyber Security In Networking Conference, Oct 2018, Paris, France. ⟨10.1109/CSNET.2018.8602669⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01911640/file/Jacq2018.pdf 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
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
https://hal.science/hal-01841830/file/Plaud-Ribaud-GenderEqualityHigherEducation%202018.pdf 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
https://hal.univ-brest.fr/hal-01839091/file/Ingenierie%20des%20Savanturiers%20de%20l%27ingenierie.pdf 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
https://hal.science/hal-02959211/file/Vfinal-CDIO2018-IMTA-EN-COGC-VFINAL.pdf 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
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
https://hal.univ-brest.fr/hal-01826018/file/Quand%20des%20%C3%A9tudiantes%20deviennent%20des%20ambassadrices%20du%20num%C3%A9rique-final.pdf 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
https://hal.univ-brest.fr/hal-01829227/file/bounceur_icfnds_2018.pdf 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
https://hal.univ-brest.fr/hal-01756178/file/ApprentissageParProjetsEcolePrimaireAvecLesFillesQui.pdf 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
https://hal.univ-brest.fr/hal-01756177/file/ArticleCourt-Eduquer.pdf 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
https://ensta-bretagne.hal.science/hal-01804280/file/dominating.pdf 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
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
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
https://hal.univ-brest.fr/hal-02912577/file/Poster2-R%C3%A9fl%C3%A9chir-AvecNom.pdf 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
https://hal.science/hal-03727536/file/DAhoy-Output1-Year1.pdf 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
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
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
https://hal.univ-brest.fr/hal-01756186/file/PID5031297.pdf 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
https://hal.univ-brest.fr/hal-01756185/file/PID5031269.pdf 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
https://hal.univ-brest.fr/hal-01713312/file/ICCD2017_preprint.pdf 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
BibTex
titre
A System Organic Architecture based on Dynamic Functional Architecture Modeling
auteur
Jacques Simonin, Pierre-Yves Pillain
article
SoEA4EE 2017 : 9th Workshop on Service oriented Enterprise Architecture for Enterprise Engineering, Oct 2017, Québec City, Canada. pp.15 - 22, ⟨10.1109/EDOCW.2017.12⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01629976/file/hal-01629976v1.pdf 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
https://ensta-bretagne.hal.science/hal-01698582/file/Relating%20Student%2C%20Teacher%20and%20External%20Assessments%20in%20a%20Bachelor%20Capstone%20Project.pdf 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
https://hal.science/hal-01661642/file/Morvan2017.pdf 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
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
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
https://hal.science/hal-01559688/file/SEFM_2017_paper_73.pdf 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
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
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
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
BibTex
titre
Architecture logicielle et détection d'anomalies
auteur
Zakariya Kamagate, Yvon Kermarrec, Jacques Simonin
article
INFORSID 2017 : 35eme congrès de l'INFormatique des ORganisations et Systèmes d’Information et de Décision, May 2017, Toulouse, France
Accès au bibtex
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
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
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
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
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
BibTex

Conference papers

titre
A Contextual Data Selection Tool for an Enhanced Business Process Analysis
auteur
Pierre-Aymeric Masse, Nassim Laga, Jacques Simonin
article
ICEBE 2016 : 13th IEEE International Conference on e-Business Engineering, Nov 2016, Macau, China. pp.1 - 8, ⟨10.1109/ICEBE.2016.013⟩
Accès au bibtex
BibTex
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
https://hal.science/hal-02864664/file/sle2016.pdf BibTex
titre
An approach for discovering data impacting the execution of a business process
auteur
Pierre-Aymeric Masse, Nassim Laga, Mohammed Oussama Kherbourche, Jacques Simonin
article
CiSt 2016 : IEEE International Colloquium on Information Science and Technology, Oct 2016, Tanger, Morocco. pp.216 - 221, ⟨10.1109/CIST.2016.7805045⟩
Accès au bibtex
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
https://hal.univ-brest.fr/hal-01472718/file/An%20Organizing%20System%20to%20Perform%20and%20Enable%20Verification%20and%20Diagnosis%20Activities.pdf 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
https://hal.science/hal-01406604/file/PAME_2016_paper_1.pdf 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
https://hal.science/hal-01494159/file/Adam2016.pdf 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
https://hal.univ-brest.fr/hal-01448784/file/IWST_2016_paper_26.pdf BibTex
titre
Modeling of the Multicriteria Decision Aiding process : methodology and practice
auteur
Tatyana Mironova, Patrick Meyer, Jacques Simonin
article
EURO 2016 : 28th European Conference on Operational Research, Jul 2016, Poznan, Poland
Accès au bibtex
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
https://hal.science/hal-01431543/file/CIEL2016_SULTAN_DAGNAT_FONTAINE.pdf 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
https://hal.science/hal-01289454/file/paper_9.pdf 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
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
BibTex
titre
Activity Monitoring Process based on Model-Driven Engineering - Application to Ambient Assisted Living
auteur
Jacques Simonin, Julie Soulas, Philippe Lenca
article
Journal of intelligent systems, 2015, 24 (3), pp.371 - 382. ⟨10.1515/jisys-2014-0143⟩
Accès au bibtex
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
https://hal.univ-brest.fr/hal-01450744/file/Ribaud_BlendingProcessAssessmentAndEmployeesCompetenciesAssessmentInVerySmallEntities.pdf 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
https://hal.univ-brest.fr/hal-01197473/file/SpringerFinal_371133_1_En_24_Chapter_Author.pdf 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
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
https://hal.science/hal-01203662/file/RelationalAndGraphQueriesOverATransitionSystem.pdf 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
https://hal.science/hal-01203649/file/KriQL_%20a%20query%20language%20for%20labelled%20transition%20systems.pdf 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
https://hal.science/hal-01162734/file/paper-botnet-case-study-TB-publishable.pdf 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
https://hal.science/hal-01185711/file/SEFI2015_VFinale.pdf 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
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
https://hal.univ-brest.fr/hal-01167366/file/Un-exemple-de-dispositif-constructiviste-en-Licence-2-Informatique-Lily-Blanleuil.pdf 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
https://hal.univ-brest.fr/hal-01167361/file/paper4.pdf 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
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
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
https://inria.hal.science/hal-01152528/file/SEC2015.pdf 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
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
https://inria.hal.science/hal-01087442/file/date2015_moccml.pdf 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
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
https://hal.univ-brest.fr/hal-01179474/file/compas2015.pdf 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
https://hal.science/hal-00783546/file/CollaborativeEMv12.pdf 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
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
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
BibTex
titre
Méthode automatisée de conception de scénarios d'évolution organisationnelle fondée sur les processus et les buts
auteur
Jacques Simonin, Selmin Nurcan, Judith Barrios
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2014, 19 (2), pp.9 - 33. ⟨10.3166/isi.19.2.9-33⟩
Accès au bibtex
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
https://hal.science/hal-01119571/file/Techniques%20and%20Challenges%20for%20Trace%20Processing%20from%20a%20Model-checking%20Perspective.pdf 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
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
https://hal.science/hal-01170285/file/SEFI2014_Vfinale.pdf 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
https://hal.science/hal-01118923/file/MASCOTS2014.pdf 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
https://hal.science/hal-01072238/file/ICSoft-EA2014.pdf 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
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
https://hal.univ-brest.fr/hal-01078437/file/iwst2014_Towards%20agile%20cross-platform%20application%20development%20with%20Smalltalk%20and%20Model%20Driven%20Engineering.pdf 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
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
https://inria.hal.science/hal-01060601/file/RR-8584.pdf BibTex

2013

Journal articles

titre
Une démarche de développement conciliant agilité et urbanisation du système d’information
auteur
Jacques Simonin, Philippe Tanguy, Julie Gourmelen
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2013, 18 (6), pp.9 - 32. ⟨10.3166/ISI.6.9-32⟩
Accès au bibtex
BibTex
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
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 and Security, 2013, 39 (11), pp.64-85
Accès au bibtex
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
https://inria.hal.science/hal-00646876/file/main.pdf 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
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
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
https://hal.science/hal-00914377/file/_creff_champeau_PLiMoSaDSMLtoReifySemantics_SIMF_submission.pdf 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
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
https://hal.science/hal-00914367/file/Model_Federation_for_toolchains_Champeau-18-07-13.pdf 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
https://hal.science/hal-00939474/file/FP82_V2.pdf 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
https://hal.science/hal-00859979/file/978-3-642-40552-5_22_Chapter.pdf 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
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
https://hal.science/hal-00869553/file/SimulTech2013.pdf 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
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
https://hal.science/hal-00869538/file/SPECTS-2013.pdf 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
https://hal.univ-brest.fr/hal-01078439/file/Apprentissage%20situ%C3%A9%20de%20l%27ing%C3%A9nierie%20des%20syst%C3%A8mes%20d%27information%20-%20la%20m%C3%A9thode%20du%20saumon.pdf BibTex
titre
Evolution organisationnelle fondée sur la cohérence des relations entre acteurs avec les buts métiers
auteur
Jacques Simonin, Selmin Nurcan, Judith Barrios
article
31e congrès Informatique des organisations et systèmes d'information et de décision (INFORSID 2013), May 2013, Paris, France. pp.225-240
Accès au texte intégral et bibtex
https://hal.science/hal-00831621/file/Simonin2013.pdf BibTex
titre
Business Alignment-Based Data Warehousing Physical Design Driven by Models
auteur
Jacques Simonin, Sébastien Bigaret
article
RCIS 2013 : the 7th IEEE International Conference on Research Challenges in Information Science, May 2013, Paris, France. pp.167 - 178, ⟨10.1109/RCIS.2013.6577688⟩
Accès au bibtex
BibTex
titre
PLASTICO : une illustration de démarche de développement conciliant agilité et urbanisation du système d'information
auteur
Jacques Simonin, Philippe Tanguy, Julie Gourmelen
article
INFORSID 2013 : 31e congrès Informatique des organisations et systèmes d'information et de décision, May 2013, Paris, France. pp.453 - 468
Accès au bibtex
BibTex
titre
PLASTICO : une illustration de démarche de dévealoppement conciliant agilité et urbanisation du système d'information
auteur
Jacques Simonin, Philippe Tanguy, Julie Gourmelen
article
INFORSID 2013 : 31e congrès Informatique des organisations et systèmes d'information et de décision, May 2013, Paris, France. pp.453-468
Accès au bibtex
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
https://hal.univ-brest.fr/hal-01078435/file/The%20cost%20of%20problem-based%20learning.pdf 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
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
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
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
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
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
https://hal.science/hal-00701142/file/IJQAETE%20Rouvrais-Final.pdf 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
https://hal.univ-brest.fr/hal-00769847/file/ProblemBasedLearning.pdf 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
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
https://hal.univ-brest.fr/hal-00769832/file/PathsAndShortcuts.pdf 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
https://ensta-bretagne.hal.science/hal-00771758/file/RITF2012-140.pdf 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
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
https://hal.univ-brest.fr/hal-00769842/file/CulturalImmersion.pdf 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
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
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
https://hal.science/hal-00739604/file/978-3-642-32808-4_10_Chapter.pdf BibTex
titre
Weighted Alignment Measures of Enterprise Architecture Viewpoints
auteur
Jacques Simonin, Selmin Nurcan, Julie Gourmelen
article
Workshop on BUSiness/IT Alignment and Interoperability (BUSITAL'2012), Jun 2012, Gdansk, Poland. pp.592-599, ⟨10.1007/978-3-642-31069-0_49⟩
Accès au bibtex
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
BibTex
titre
Une gouvernance d'un système d'information par l'apprentissage et la collaboration fondés sur la stratégie d'entreprise
auteur
Jacques Simonin, Emmanuel Bertin
article
AIM 2012 : colloque de l'Association information et management, May 2012, Bordeaux, France
Accès au bibtex
BibTex
titre
A Data Warehouse Logical Design Method Based on the Alignment with Business Processes
auteur
Jacques Simonin, Sébastien Bigaret, Julie Gourmelen
article
RCIS 2012 : IEEE 6th International Conference on Research Challenges in Information Science, May 2012, Valencia, Spain
Accès au bibtex
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
https://hal.univ-brest.fr/hal-00769821/file/SoftwareEngineerEmployability.pdf BibTex
titre
On the Formalization and Executability of the Decision Aid Process with Service Oriented Architecture
auteur
Sébastien Bigaret, Vanea Chiprianov, Patrick Meyer, Jacques Simonin
article
75th Meeting of the EWG MCDA, Apr 2012, Tarragona, Spain
Accès au bibtex
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
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
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
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
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
https://hal.univ-brest.fr/hal-00630359/file/Experience_Management.pdf 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
https://hal.univ-brest.fr/hal-00630358/file/Assistant_memoire.pdf BibTex
titre
Analysis and improvement of the alignment between business and information system for telecom services
auteur
Jacques Simonin, Emmanuel Bertin, Yves Le Traon, Jean-Marc Jézéquel, Noel Crespi
article
International Journal On Advances in Software, 2011, 4 (1 & 2), pp.117-128
Accès au bibtex
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
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
https://hal.univ-brest.fr/hal-00664435/file/smalltalk-final-2011.pdf 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
https://hal.science/hal-00725543/file/On%20the%20Extensibility%20of%20Plug-ins-ICSEA.pdf 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
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
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
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
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
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
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
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
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
https://hal.science/hal-00623182/file/idm2011_submission.pdf 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
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
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
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
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
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
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
https://hal.science/hal-00609302/file/MopasCameraReady.pdf 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
https://hal.science/tel-02515931/file/manuscript-teodorov_FINAL.pdf 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
https://hal.univ-brest.fr/hal-00630577/file/Equipping-software.pdf BibTex
titre
Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et Système d'Information
auteur
Jacques Simonin, Philippe Picouet, Jean-Marc Jézéquel
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2010, pp.37-61
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00477524/file/Demarche_de_conception_fonctionnelle_SOE.pdf 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
https://hal.univ-brest.fr/hal-00630580/file/End_user.pdf 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
https://hal.univ-brest.fr/hal-00630578/file/Wiki_documentation_management.pdf 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
https://hal.univ-brest.fr/hal-00630579/file/Wiki_CIDOC.pdf BibTex
titre
Context adaptation for content delivery based on architectural patterns in telecommunication networks
auteur
Vincent Feru, Jacques Simonin, Gaël Fromentoux
article
VFfP 2010 : 2nd International Workshop on Visual Formalisms for Patterns, Sep 2010, Madrid, Spain
Accès au bibtex
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
https://hal.univ-brest.fr/hal-00504444/file/Support_Activities.pdf BibTex
titre
MDA tool for automating telecom service functional design
auteur
Ankit Ahuja, Jacques Simonin, Rémi Nedelec
article
ECSA 2010 : 4th European Conference on Software Architecture, Aug 2010, Copenhague, Denmark. pp.519 - 522, ⟨10.1007/978-3-642-15114-9⟩
Accès au bibtex
BibTex
titre
Business and information system alignment: a formal solution for telecom services
auteur
Jacques Simonin, Emmanuel Bertin, Yves Le Traon, Jean-Marc Jézéquel, Noel Crespi
article
ICSEA 2010 : The Fifth International Conference on Software Engineering Advances, Aug 2010, Nice, France. pp.278 - 283, ⟨10.1109/ICSEA.2010.49⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00523087/file/Simonin10b.pdf BibTex
titre
A model-driven tool for telecom service development process
auteur
Ankit Ahuja, Jacques Simonin, Rémi Nedelec
article
MASCOTS 2010 : the 18th Annual Meeting of the IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Aug 2010, Miami, United States. pp.427 - 429, ⟨10.1109/MASCOTS.2010.58⟩
Accès au bibtex
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
https://hal.univ-brest.fr/hal-00504445/file/ExperienceManagement.pdf 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
https://hal.univ-brest.fr/hal-00504446/file/ProcessAssessment.pdf 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
https://hal.univ-brest.fr/hal-00504338/file/ISOrequirements.pdf 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
https://hal.science/hal-00498418/file/5a.pdf 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
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
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
https://hal.univ-brest.fr/hal-00504339/file/Bootstrapping.pdf 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
https://hal.univ-brest.fr/hal-00504321/file/Wiki-to-SMW-UsingNER-02072009.pdf 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
https://hal.univ-brest.fr/hal-00504449/file/Ribaud_Saliou_Building_An_Observatory_of_Software_Engineering_Activities.pdf 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
https://hal.univ-brest.fr/hal-00504450/file/Revealing.pdf 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
https://hal.univ-brest.fr/hal-00504448/file/Towards_a_Model_II.pdf 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
https://hal.univ-brest.fr/hal-00502064/file/An_infrastructure_for_planning_monitoring_and_reusing_capstone_projects_with_the_help_of_semantic_wikis.pdf 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
https://inria.hal.science/inria-00468650/file/Aulagnier09a.pdf 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
https://hal.univ-brest.fr/hal-02912811/file/Visio-PosterBuildingASemanticVirtualMuseumFromWikiToSemanticWikiUsingNamedEntityRecognition.pdf 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
https://hal.univ-brest.fr/hal-00504454/file/EvolutionOfAnICTASC.pdf 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
https://hal.univ-brest.fr/hal-00504455/file/Resourcesannotation.pdf 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
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
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
https://hal.univ-brest.fr/hal-00504453/file/AProjectBased.pdf 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
https://hal.univ-brest.fr/hal-00504451/file/AFewElements.pdf 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
https://centralesupelec.hal.science/hal-00354356/file/Koudri08a.pdf 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
https://hal.science/hal-01575355/file/Measuring-models-in-Model-Driven-Software-Development-Integrating-Quality-Assurance.pdf 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
BibTex