
Sébastien Gérard
79
Documents
Présentation
Publications
Publications
|
A Survey-driven Feature Model for Software Traceability Approaches25th International Conference on Fundamental Approaches to Software Engineering, Apr 2022, Munich, Germany
Communication dans un congrès
hal-03267077
v2
|
|
An NLP-based architecture for the autocompletion of partial domain models33rd International Conference on Advanced Information Systems Engineering (CAiSE'21), Jun 2021, Melbourne, Australia
Communication dans un congrès
hal-03010872
v1
|
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⟩
Communication dans un congrès
hal-03081980
v1
|
|
Clustering of Software Requirements for Automated Software Architectures8ème Conférence en Ingénierie du Logiciel, Jun 2019, Toulouse, France. pp.1-6
Communication dans un congrès
cea-04486464
v1
|
|
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⟩
Communication dans un congrès
cea-02572659
v1
|
|
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⟩
Communication dans un congrès
cea-02572731
v1
|
|
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⟩
Communication dans un congrès
cea-02572673
v1
|
|
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⟩
Communication dans un congrès
cea-02572669
v1
|
|
Polygraph Tool Suite: Configuration and Conformity Validation for Data Flow Based Real-Time Systems40th RealTime Systems Symposium, Dec 2019, Hong Kong, China
Communication dans un congrès
cea-04486461
v1
|
|
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⟩
Communication dans un congrès
cea-02572729
v1
|
|
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
Communication dans un congrès
hal-02020833
v1
|
|
|
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⟩
Communication dans un congrès
hal-02863658
v1
|
|
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⟩
Communication dans un congrès
hal-02388808
v1
|
|
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⟩
Communication dans un congrès
hal-01744513
v1
|
Unifying safe hardware system design and implementation through UML-based architecture description languagesERTS 2018, 2018, Toulouse, France
Communication dans un congrès
hal-01811825
v1
|
|
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⟩
Communication dans un congrès
hal-01698458
v1
|
|
|
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⟩
Communication dans un congrès
hal-01474906
v1
|
|
VisUML: Live & Interactive Diagrams29ème conférence francophone sur l'Interaction Homme-Machine, AFIHM, Aug 2017, Poitiers, France. 2 p
Communication dans un congrès
hal-01577689
v1
|
|
Visual Variables in UML: a First Empirical AssessmentHuman Factors in Modeling , 2017, Austin, Texas, USA, United States
Communication dans un congrès
hal-01693537
v1
|
|
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⟩
Communication dans un congrès
hal-01795171
v1
|
|
Empirical Activity: Assessing the Perceptual Properties of the Size Visual Variation in UML Sequence DiagramHuFaMo workshop, 2016, Saint malo, France
Communication dans un congrès
hal-01693508
v1
|
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
Communication dans un congrès
hal-01811826
v1
|
|
Enhancing the Communication Value of UML Models with Graphical LayersModels 15, Sep 2015, Ottawa, On, Canada. pp.64-69
Communication dans un congrès
hal-01216512
v1
|
|
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⟩
Communication dans un congrès
hal-01812129
v1
|
|
|
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⟩
Communication dans un congrès
hal-01011899
v1
|
|
Timed symbolic testing framework for executable models using high-level scenariosConference on Complex Systems Design & Management, Nov 2014, Paris, France
Communication dans un congrès
cea-01810844
v1
|
|
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⟩
Communication dans un congrès
cea-01810022
v1
|
|
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
Communication dans un congrès
hal-00801235
v1
|
|
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⟩
Communication dans un congrès
hal-00829173
v1
|
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⟩
Communication dans un congrès
hal-00903753
v1
|
|
|
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⟩
Communication dans un congrès
hal-00860909
v1
|
|
Split of Composite Components for Distributed ApplicationsForum on Specification & Design Languages (FDL 2013), Sep 2013, Paris, France. pp. 1-6
Communication dans un congrès
hal-01225771
v1
|
|
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
Communication dans un congrès
cea-01810005
v1
|
|
An Optimization Approach for the Synthesis of AUTOSAR Architectures Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on, Sep 2013, Cagliari, Italy
Communication dans un congrès
cea-01810019
v1
|
|
Capturing variability in Model Based Systems EngineeringComplex Systems Design & Management (CSD&M) Conference, Dec 2013, Paris, France. pp.100-115
Communication dans un congrès
hal-01071304
v1
|
|
chronVAL/chronSIM: A Tool Suite for Timing Verification of Auto-motive ApplicationsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès
hal-02191852
v1
|
|
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
Communication dans un congrès
hal-02192066
v1
|
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⟩
Communication dans un congrès
istex
hal-00943540
v1
|
|
|
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
Communication dans un congrès
inria-00599694
v1
|
|
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⟩
Communication dans un congrès
hal-00526737
v1
|
|
Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applicationsEmbedded Real Time Software & Systems (ERTS² 2010), May 2010, Toulouse, France
Communication dans un congrès
hal-02264387
v1
|
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
Communication dans un congrès
hal-00534388
v1
|
|
|
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⟩
Communication dans un congrès
hal-01054487
v1
|
|
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⟩
Communication dans un congrès
inria-00464880
v1
|
Papyrus: A UML2 Tool for Domain-Specific Language Modeling.International Dagstuhl Workshop, Nov 2007, Dagstuhl, Germany
Communication dans un congrès
hal-00943546
v1
|
|
|
Model-driven analysis and synthesis of concrete syntaxProceedings of the MoDELS/UML 2006, Oct 2006, Genova, Italy
Communication dans un congrès
hal-00795597
v1
|
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
Communication dans un congrès
hal-02466757
v1
|
|
Marte: A new profile rfp for the modeling and analysis of real-time embedded systemsDac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States
Communication dans un congrès
hal-01071285
v1
|
|
MDA components: Challenges and OpportunitiesWorkshop on Metamodelling for MDA, 2003, York, England, United Kingdom. pp.23-41
Communication dans un congrès
hal-00448057
v1
|
Systèmes temps réel embarqués : Conception et implémentationDunod, 2014, Technique et ingénierie, 978-2-10-071331-8
Ouvrages
hal-03368884
v1
|
|
ACES-MB '12: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems2012
Ouvrages
hal-02943093
v1
|
|
Model Driven Engineering for Distributed Real-Time Embedded SystemsHermes Science Publishing, pp.Non renseigné, 2005
Ouvrages
hal-00541441
v1
|
|
Embedded Model Driven EngineeringNon renseigne, pp.Non renseigne, 2003
Ouvrages
hal-00517477
v1
|
|
Editeurs des actes de l'école d'été MDA for Embedded System developpementNon renseigne, pp.Non renseigne, 2002
Ouvrages
hal-00517478
v1
|
|
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
Ouvrages
hal-00632337
v1
|
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⟩
Chapitre d'ouvrage
cea-02572737
v1
|
|
The Case for Integrated Model Centric EngineeringProceedings of the 10thModel-Based Enterprise Summit(MBE 2019), 2019
Chapitre d'ouvrage
cea-02572694
v1
|
|
Cognifying Model-Driven Software EngineeringSoftware Technologies: Applications and Foundations, pp.154-160, 2018, ⟨10.1007/978-3-319-74730-9_13⟩
Chapitre d'ouvrage
cea-02572650
v1
|
|
|
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
Chapitre d'ouvrage
cea-01810224
v1
|
|
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
Chapitre d'ouvrage
cea-01807027
v1
|
|
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
Chapitre d'ouvrage
inria-00512541
v1
|
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⟩
Chapitre d'ouvrage
inria-00511382
v1
|
|
Flexible Product Line Derivation applied to a Model Based Systems Engineering process2012
Pré-publication, Document de travail
hal-00707270
v1
|
|
Production et valorisation des logiciels issus de la recherche publique françaiseComité pour la science ouverte. 2024
Rapport
hal-04844037
v1
|
|
Evaluation of Modeling Tools Adaptation2012
Rapport
hal-00706701
v2
|
|
Have Multiple Views with one Single Diagram! A Layer Based Approach of UML Diagrams[Research Report] RR-7432, INRIA. 2010, pp.9
Rapport
(rapport de recherche)
inria-00527850
v1
|
|
Multilevel Modeling Paradigm in Profile Definition[Research Report] RR-6525, INRIA. 2008, pp.17
Rapport
(rapport de recherche)
inria-00276653
v3
|
|
An Automated Process for Designing UML Profiles[Research Report] RR-6599, INRIA. 2008
Rapport
(rapport de recherche)
inria-00308386
v1
|
Chargement...
Chargement...