Sébastien Gérard
78
Documents
Presentation
**Sébastien GERARD**
Né le 19 aout 1971, France.
Coordonnées professionnelles:
Coordonnées personnelles:
CEA Saclay Nano-INNOV
Institut CARNOT CEA LIST / DILS
Point Courrier n°174
91191 Gif-sur-Yvette CEDEX
Email : <sebastien.gerard@cea.fr>
Tél. : 06 88 20 00 47
24, rue des Genêts
91190 Gif-sur-Yvette
Tél.: 01 6907 79 93
**RG Score : 21.66**
**H-index : 25**
[https://www.researchgate.net/profile/Sebastien\_Gerard](https://www.researchgate.net/profile/Sebastien_Gerard)
**Diplômes & titres**
Depuis 2014
**Directeur de recherche du CEA** : Domaine :Mathématiques, informatique, technologies logicielles et systèmes Spécialité:théorie des langages Expertise:normalisation des langages & systèmes temps réel.
Du 01/07/2009 au 17/12/2014
**Expert senior domaine** : Mathématiques, informatique, technologies logicielles et systèmes spécialité : informatique embarquée expertise : UML, ingénierie dirigée par le modèles, systèmes temps-réel, système
Décembre 2013
**Habilitation à Diriger des Recherches**, spécialité en informatique, « Au sujet de la maîtrise de la complexité de développement des systèmes et des logiciels. ».
Octobre 2000
**Doctorat en Sciences de l’informatique** de l'université de Evry,
« Modélisation UML exécutable pour les systèmes embarqués de l'automobile ».
Juin 1995
**Diplôme national d’ingénieur de l'Ecole Nationale Supérieure de Mécanique et d’Aérotechnique**, option génie informatique pour l’aéronautique (Poitiers).
Publications
|
|
A Survey-driven Feature Model for Software Traceability Approaches25th International Conference on Fundamental Approaches to Software Engineering, Apr 2022, Munich, Germany
Conference papers
hal-03267077v2
|
|
|
An NLP-based architecture for the autocompletion of partial domain models33rd International Conference on Advanced Information Systems Engineering (CAiSE'21), Jun 2021, Melbourne, Australia
Conference papers
hal-03010872v1
|
Papyrus for gamers, let's play modelingMODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Virtual Event Canada, Canada. pp.1-5, ⟨10.1145/3417990.3422002⟩
Conference papers
hal-03081980v1
|
|
Belief Uncertainty in Software Models2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE), May 2019, Montreal, Canada. pp.19-26, ⟨10.1109/MiSE.2019.00011⟩
Conference papers
cea-02572731v1
|
|
On the Need for Intellectual Property Protection in Model-Driven Co-Engineering ProcessesInternational Conference on Evaluation and Modeling Methods for Systems Analysis and Development, Jun 2019, Rome, Italy. pp.169-177, ⟨10.1007/978-3-030-20618-5_12⟩
Conference papers
cea-02572729v1
|
|
A Model Driven Tool for Requirements and Hardware Engineering2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.769-773, ⟨10.1109/MODELS-C.2019.00120⟩
Conference papers
cea-02572673v1
|
|
Polygraph Tool Suite: Configuration and Conformity Validation for Data Flow Based Real-Time Systems40th RealTime Systems Symposium, Dec 2019, Hong Kong, China
Conference papers
cea-04486461v1
|
|
Clustering of Software Requirements for Automated Software Architectures8ème Conférence en Ingénierie du Logiciel, Jun 2019, Toulouse, France. pp.1-6
Conference papers
cea-04486464v1
|
|
Preface to MDE Intelligence 2019: 1st Workshop on Artificial Intelligence and Model-Driven Engineering2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.168-169, ⟨10.1109/MODELS-C.2019.00028⟩
Conference papers
cea-02572659v1
|
|
An LSTM-Based Neural Network Architecture for Model Transformations2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2019, Munich, Germany. pp.294-299, ⟨10.1109/MODELS.2019.00013⟩
Conference papers
cea-02572669v1
|
|
Unifying safe hardware system design and implementation through UML-based architecture description languagesERTS 2018, 2018, Toulouse, France
Conference papers
hal-01811825v1
|
|
|
|
VisUML: a live UML visualization to help developers in their programming taskHCI International, Jul 2018, Las Vegas, United States. pp.3-22, ⟨10.1007/978-3-319-92043-6_1⟩
Conference papers
hal-01744513v1
|
|
|
Robust Hashing for Models21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2018, Copenhagen, Denmark. pp.312-322, ⟨10.1145/3239372.3239405⟩
Conference papers
hal-02388808v1
|
The visual variables in UML: how are they used by women?ECSA '18, the 12th European Conference on Software Architecture, Track on Women in Software Architecture, Sep 2018, Madrid, Spain. pp.1-5
Conference papers
hal-02020833v1
|
|
|
|
Automatic Generation of Security Compliant (Virtual) Model ViewsInternational Conference on Conceptual Modeling - ER 2018, Oct 2018, Xi'an, China. pp.109-117, ⟨10.1007/978-3-030-00847-5_10⟩
Conference papers
hal-02863658v1
|
Semantic framework for Internet of Things-aware business process developmentWETICE 2017 : 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.214 - 219, ⟨10.1109/WETICE.2017.54⟩
Conference papers
hal-01698458v1
|
|
|
|
VisUML: Live & Interactive Diagrams29ème conférence francophone sur l'Interaction Homme-Machine, AFIHM, Aug 2017, Poitiers, France. 2 p
Conference papers
hal-01577689v1
|
|
|
Visual Variables in UML: a First Empirical AssessmentHuman Factors in Modeling , 2017, Austin, Texas, USA, United States
Conference papers
hal-01693537v1
|
|
|
Towards industry 4.0: gap analysis between current automotive MES and industry standards using model-based requirement engineeringICSAW 2017 - IEEE International Conference on Software Architecture Workshops, Apr 2017, Göthenburg, Sweden. pp.29-35, ⟨10.1109/ICSAW.2017.53⟩
Conference papers
hal-01795171v1
|
|
|
Model-based development of modular complex systems for accomplishing system integration for industry 4.05th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Institute for Systems and Technologies of Information, Control and Communication (INSTICC), Feb 2017, Porto, Portugal. pp.487-495, ⟨10.5220/0006210504870495⟩
Conference papers
hal-01474906v1
|
|
|
Empirical Activity: Assessing the Perceptual Properties of the Size Visual Variation in UML Sequence DiagramHuFaMo workshop, 2016, Saint malo, France
Conference papers
hal-01693508v1
|
From Document-Based to Model-Based System and Software EngineeringOSS4MDE 2016 - Open Source Software for Model-Driven Engineering , Oct 2016, Saint Malo, France. pp.27--36
Conference papers
hal-01811826v1
|
|
Model-Driven Consistency Verification for Service-Oriented Applications2015 IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA), Oct 2015, Rome, France. ⟨10.1109/SOCA.2015.26⟩
Conference papers
hal-01812129v1
|
|
Enhancing the Communication Value of UML Models with Graphical LayersModels 15, Sep 2015, Ottawa, On, Canada. pp.64-69
Conference papers
hal-01216512v1
|
|
|
|
Timed symbolic testing framework for executable models using high-level scenariosConference on Complex Systems Design & Management, Nov 2014, Paris, France
Conference papers
cea-01810844v1
|
|
|
MID: A MetaCASE Tool For A Better Reuse Of Visual Notations8th System Analysis and Modelling conference (SAM 2014), Sep 2014, Valencia, Spain. pp.16-31, ⟨10.1007/978-3-319-11743-0_2⟩
Conference papers
hal-01011899v1
|
|
|
Assigning time budgets to component functions in the design of time-critical automotive systemsProceedings of the 29th ACM/IEEE international conference on Automated software engineering , Sep 2014, Vasteras, France. ⟨10.1145/2642937.2643015⟩
Conference papers
cea-01810022v1
|
|
|
An Optimization Approach for the Synthesis of AUTOSAR Architectures Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on, Sep 2013, Cagliari, Italy
Conference papers
cea-01810019v1
|
|
|
Capturing variability in Model Based Systems EngineeringComplex Systems Design & Management (CSD&M) Conference, Dec 2013, Paris, France. pp.100-115
Conference papers
hal-01071304v1
|
|
|
Split of Composite Components for Distributed ApplicationsForum on Specification & Design Languages (FDL 2013), Sep 2013, Paris, France. pp. 1-6
Conference papers
hal-01225771v1
|
|
|
A Model-Based Approach for Real-Time Systems Architecture ExplorationIST-115 Symposium on Architecture Definition & Evaluation (The NATO Science and Technology Organization), May 2013, Paris, France
Conference papers
cea-01810005v1
|
|
|
Specifez vos éditeurs de diagrammes à l'aide de composants réutilisables2ème Conférence en Ingénierie Logiciele (CIEL'13), Université de Lorraine - LORIA, Apr 2013, Nancy, France
Conference papers
hal-00801235v1
|
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systemsSIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, Jun 2013, Seattle, United States. pp.121-132, ⟨10.1145/2465554.2465572⟩
Conference papers
hal-00903753v1
|
|
|
|
A Component-Based Approach for Specifying Reusable Visual Languages2013 IEEE Symposium on Visual Languages and Human-Centric Computing, Allen Cypher, Sep 2013, San José, CA, United States. pp.135-138, ⟨10.1109/VLHCC.2013.6645257⟩
Conference papers
hal-00860909v1
|
|
|
A Component-Based Approach for Specifying DSML's Concrete Syntax2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩
Conference papers
hal-00829173v1
|
|
|
SCADE System, a comprehensive toolset for smooth transition from Model-Based System Engineering to certified embedded control and display softwareEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02192066v1
|
|
|
chronVAL/chronSIM: A Tool Suite for Timing Verification of Auto-motive ApplicationsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Conference papers
hal-02191852v1
|
|
|
An Entirely Model-Based Framework for Hardware Design and Simulation 7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC), Sep 2011, Brisbane, Australia. pp.31-42, ⟨10.1007/978-3-642-15234-4_5⟩
Conference papers
hal-00526737v1
|
|
|
Control Architecture Concepts and Properties of an Ontology Devoted to Exchanges in Mobile Robotics6th National Conference on Control Architectures of Robots, INRIA Grenoble Rhône-Alpes, May 2011, Grenoble, France. 24 p
Conference papers
inria-00599694v1
|
|
|
Extending the standard execution model of UML for real-time systems7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.43-54, ⟨10.1007/978-3-642-15234-4_6⟩
Conference papers
hal-01054487v1
|
|
|
Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applicationsEmbedded Real Time Software & Systems (ERTS² 2010), May 2010, Toulouse, France
Conference papers
hal-02264387v1
|
Extending the Standard Execution Model of UML for Real-Time Systems7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International conference, BICC 2010 Held as Part of WCC 2010, Sep 2010, Brisbane, Australia. pp.43-54
Conference papers
hal-00534388v1
|
|
|
|
An Automated Process for Implementing Multilevel Domain ModelsSoftware Language Engineering, Oct 2009, Denver, Colorado, United States. pp.314-333, ⟨10.1007/978-3-642-12107-4_22⟩
Conference papers
inria-00464880v1
|
Papyrus: A UML2 Tool for Domain-Specific Language Modeling.International Dagstuhl Workshop, Nov 2007, Dagstuhl, Germany
Conference papers
hal-00943546v1
|
|
Papyrus: A UML2 Tool for Domain-Specific Language Modeling Model-Based Engineering of Embedded Real-Time SystemsMBEERTS 2007 - International Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems, Nov 2007, Dagstuhl Castle, Germany. pp.361-368, ⟨10.1007/978-3-642-16277-0_19⟩
Conference papers
hal-00943540v1
|
|
|
|
Model-driven analysis and synthesis of concrete syntaxProceedings of the MoDELS/UML 2006, Oct 2006, Genova, Italy
Conference papers
hal-00795597v1
|
MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded SystemsDAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States
Conference papers
hal-02466757v1
|
|
Marte: A new profile rfp for the modeling and analysis of real-time embedded systemsDac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States
Conference papers
hal-01071285v1
|
|
MDA components: Challenges and OpportunitiesWorkshop on Metamodelling for MDA, 2003, York, England, United Kingdom. pp.23-41
Conference papers
hal-00448057v1
|
Systèmes temps réel embarqués : Conception et implémentationDunod, 2014, Technique et ingénierie, 978-2-10-071331-8
Books
hal-03368884v1
|
|
ACES-MB '12: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems2012
Books
hal-02943093v1
|
|
Model Driven Engineering for Distributed Real-Time Embedded SystemsHermes Science Publishing, pp.Non renseigné, 2005
Books
hal-00541441v1
|
|
Embedded Model Driven EngineeringNon renseigne, pp.Non renseigne, 2003
Books
hal-00517477v1
|
|
Actes de l'école d'été MDA for Embedded System developpementActes de l'école d'été MDA for Embedded System developpement, pp.1-200, 2002
Books
hal-00632337v1
|
|
Editeurs des actes de l'école d'été MDA for Embedded System developpementNon renseigne, pp.Non renseigne, 2002
Books
hal-00517478v1
|
Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling ToolsModel-Driven Engineering and Software Development. MODELSWARD 2018, Communications in Computer and Information Science, pp.236-258, 2019, ⟨10.1007/978-3-030-11030-7_11⟩
Book sections
cea-02572737v1
|
|
The Case for Integrated Model Centric EngineeringProceedings of the 10thModel-Based Enterprise Summit(MBE 2019), 2019
Book sections
cea-02572694v1
|
|
Cognifying Model-Driven Software EngineeringSoftware Technologies: Applications and Foundations, pp.154-160, 2018, ⟨10.1007/978-3-319-74730-9_13⟩
Book sections
cea-02572650v1
|
|
|
|
Split of Composite Components for Distributed ApplicationsLanguages, Design Methods, and Tools for Electronic System Design. Lecture Notes in Electrical Engineering, 311, pp.265-280, 2014, Lecture Notes in Electrical Engineering
Book sections
cea-01807027v1
|
|
|
Schedulability Analysis at Early Design Stages with MARTESangiovanni-Vincentelli A.; ZengH.; Di Natale, M. Embedded Systems Development: From Functional Models to Implementations, Springer, 101-119 (Chap. 6) 2014, 978-1-4614-3879-3
Book sections
cea-01810224v1
|
Consolidated Product Line Variability ModelingTimo Käköla and Juan Duenas. Software Product Lines, Springer Verlag, 2006, 978-3-540-33252-7. ⟨10.1007/978-3-540-33253-4_6⟩
Book sections
inria-00511382v1
|
|
|
|
Le génie logiciel et l'IDM : une approche unificatrice par les modèlesJ. Estublier. L'ingénierie dirigée par les modèles, Lavoisier, Hermes-science, 2006
Book sections
inria-00512541v1
|
|
|
Flexible Product Line Derivation applied to a Model Based Systems Engineering process2012
Preprints, Working Papers, ...
hal-00707270v1
|
|
|
Evaluation of Modeling Tools Adaptation2012
Reports
hal-00706701v2
|
|
|
Have Multiple Views with one Single Diagram! A Layer Based Approach of UML Diagrams[Research Report] RR-7432, INRIA. 2010, pp.9
Reports
inria-00527850v1
|
|
|
An Automated Process for Designing UML Profiles[Research Report] RR-6599, INRIA. 2008
Reports
inria-00308386v1
|
|
|
Multilevel Modeling Paradigm in Profile Definition[Research Report] RR-6525, INRIA. 2008, pp.17
Reports
inria-00276653v3
|