Sébastien Gérard

79
Documents

Présentation

Publications

Publications

Efficient model similarity estimation with robust hashing

Salvador Martínez , Sébastien Gérard , Jordi Cabot
Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00915-9⟩
Article dans une revue hal-03316737 v1

Software engineering whispers: The effect of textual vs. graphical software design descriptions on software design communication

Rodi Jolak , Maxime Savary-Leblanc , Manuela Dalibor , Andreas Wortmann , Regina Hebig et al.
Empirical Software Engineering, 2020, ⟨10.1007/s10664-020-09835-6⟩
Article dans une revue hal-02936653 v1

The Future of Model Transformation Languages: An Open Community Discussion.

Sébastien Gérard , Loli Burgueño , Jordi Cabot , Sébastien Gerard
The Journal of Object Technology, 2019, 18 (3), pp.7:1. ⟨10.5381/jot.2019.18.3.a7⟩
Article dans une revue cea-02572743 v1

Semantic framework for energy-aware resource management of IoT in business processes

Kunal Suri , Walid Gaaloul , Arnaud Cuccuru , Sébastien Gerard
International journal of systems and service-oriented engineering (IJSSOE), 2018, 8 (1), pp.21 - 43. ⟨10.4018/IJSSOE.2018010102⟩
Article dans une revue cea-01810026 v1

On Watermarking for Collaborative Model-Driven Engineering

Salvador Martínez , Sébastien Gerard , Jordi Cabot
IEEE Access, 2018, 6, pp.29715-29728. ⟨10.1109/ACCESS.2018.2841020⟩
Article dans une revue hal-02863646 v1

An Integrated Approach for Modeling, Analysis and Optimization of Systems whose Design Follows the EAST-ADL2/AUTOSAR Methodology

Ernest Wozniak , Sara Tucci-Piergiovanni , Chokri Mraidha , Sébastien Gerard
SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 2013, 6, pp.276 - 286. ⟨10.4271/2013-01-1225⟩
Article dans une revue cea-01810015 v1

On the gap between schedulability tests and an automotive task model

Saoussen Anssi , Stefan Kuntz , François Terrier , Sébastien Gérard
Journal of Systems Architecture, 2013, 59, pp.341 - 350. ⟨10.1016/j.sysarc.2013.02.001⟩
Article dans une revue istex cea-01779313 v1

Etude comparative pour la modélisation de plates-formes d'exécution - Application au temps réel embarqué

Matthias Brun , Jérôme Delatour , Yvon Trinquet , Frédéric Thomas , Sébastien Gerard
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (4-5), pp.421-451
Article dans une revue hal-00537626 v1
Image document

Model Driven analysis and synthesis of textual concrete syntax

Pierre-Alain Muller , Frédéric Fondement , Franck Fleurey , Michel Hassenforder , Rémi Schnekenburger et al.
Software and Systems Modeling, 2008, 7 (4), pp.423--442. ⟨10.1007/s10270-008-0088-x⟩
Article dans une revue inria-00468231 v1
Image document

Marte, le nouveau standard UML pour les systèmes temps réel embarqués

Sébastien Demathieu , Sébastien Gérard , Frédéric Mallet
ElectroniqueS, 2008, 189, pp.2-6
Article dans une revue inria-00371386 v1
Image document

Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM

Frédéric Thomas , Jérôme Delatour , François Terrier , Matthias Brun , Sébastien Gérard
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13 (4), pp.9-31
Article dans une revue hal-01045009 v1
Image document

A Survey-driven Feature Model for Software Traceability Approaches

Edouard Romari Batot , Sébastien Gérard , Jordi Cabot
25th International Conference on Fundamental Approaches to Software Engineering, Apr 2022, Munich, Germany
Communication dans un congrès hal-03267077 v2
Image document

An NLP-based architecture for the autocompletion of partial domain models

Loli Burgueño , Robert Clarisó , Shuai Li , Sébastien Gérard , Jordi Cabot
33rd 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 modeling

Antonio Bucchiarone , Maxime Savary-Leblanc , Xavier Le Pallec , Jean-Michel Bruel , Antonio Cicchetti et al.
MODELS '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 Architectures

Takwa Kochbati , Shuai Li , Sébastien Gérard , Chokri Mraidha
8è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 Engineering

Sébastien Gérard , Loli Burgueño , Alexandru Burdusel , Sébastien Gerard , Manuel Wimmer
2019 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 Models

Sébastien Gérard , Loli Burgueño , Robert Clarisó , Jordi Cabot , Sébastien Gerard et al.
2019 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 Engineering

Sébastien Gérard , Asma Charfi , Shuai Li , Thomas Payret , Patrick Tessier et al.
2019 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 Transformations

Sébastien Gérard , Loli Burgueño , Jordi Cabot , Sébastien Gerard
2019 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 Systems

Shuai Li , Matteo Morelli , Ansgar Radermacher , Jérémie Tatibouët , Pauline Deville et al.
40th 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 Processes

Sébastien Gérard , Salvador Martínez , Sébastien Gerard
International 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?

Yosser El Ahmar , Xavier Le Pallec , Sébastien Gérard
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
Image document

Automatic Generation of Security Compliant (Virtual) Model Views

Salvador Martínez , Alexis Fouche , Sébastien Gerard , Jordi Cabot
International 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
Image document

Robust Hashing for Models

Salvador Martínez , Sébastien Gérard , Jordi Cabot
21th 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
Image document

VisUML: a live UML visualization to help developers in their programming task

Mickaël Duruisseau , J.C. Tarby , Xavier Le Pallec , Sébastien Gerard
HCI 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 languages

Shuai Li , Yupanqui Munoz Julho , Nataliya Yakymets , Asma Charfi , Sébastien Gérard et al.
ERTS 2018, 2018, Toulouse, France
Communication dans un congrès hal-01811825 v1

Semantic framework for Internet of Things-aware business process development

Kunal Suri , Walid Gaaloul , Arnaud Cuccuru , Sébastien Gérard
WETICE 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
Image document

Model-based development of modular complex systems for accomplishing system integration for industry 4.0

Kunal Suri , Arnaud Cuccuru , Juan Cadavid , Sébastien Gérard , Walid Gaaloul et al.
5th 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
Image document

VisUML: Live & Interactive Diagrams

Mickaël Duruisseau , Jean-Claude Tarby , Xavier Le Pallec , Sébastien Gérard
29ème conférence francophone sur l'Interaction Homme-Machine, AFIHM, Aug 2017, Poitiers, France. 2 p
Communication dans un congrès hal-01577689 v1
Image document

Visual Variables in UML: a First Empirical Assessment

Yosser El Ahmar , Xavier Le Pallec , Sébastien Gérard , Truong Ho-Quang
Human Factors in Modeling , 2017, Austin, Texas, USA, United States
Communication dans un congrès hal-01693537 v1
Image document

Towards industry 4.0: gap analysis between current automotive MES and industry standards using model-based requirement engineering

S. Manoj Kannan , Kunal Suri , Juan Cadavid , Ion Barosan , Mark van Den Brand et al.
ICSAW 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
Image document

Empirical Activity: Assessing the Perceptual Properties of the Size Visual Variation in UML Sequence Diagram

Yosser El Ahmar , Xavier Le Pallec , Sébastien Gerard
HuFaMo workshop, 2016, Saint malo, France
Communication dans un congrès hal-01693508 v1

From Document-Based to Model-Based System and Software Engineering

Morayo Adedjouma , Thibaud Thomas , Chokri Mraidha , Sebastien Gerard , Guillaume Zeller
OSS4MDE 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 Layers

Yosser El Ahmar , Sébastien Gérard , Cedric Dumoulin , Xavier Le Pallec
Models 15, Sep 2015, Ottawa, On, Canada. pp.64-69
Communication dans un congrès hal-01216512 v1

Model-Driven Consistency Verification for Service-Oriented Applications

Boutheïna Bannour , Fadwa Rekik , Boutheina Bannour , Saadia Dhouib , Sébastien Gerard
2015 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
Image document

MID: A MetaCASE Tool For A Better Reuse Of Visual Notations

Amine El Kouhen , Abdelouahed Gherbi , Cedric Dumoulin , Pierre Boulet , Sébastien Gerard
8th 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
Image document

Timed symbolic testing framework for executable models using high-level scenarios

Mathilde Arnaud , Boutheina Bannour , Arnaud Cuccuru , Christophe Gaston , Sébastien Gerard et al.
Conference on Complex Systems Design & Management, Nov 2014, Paris, France
Communication dans un congrès cea-01810844 v1
Image document

Assigning time budgets to component functions in the design of time-critical automotive systems

Ernest Wozniak , Marco Di Natale , Haibo Zeng , Chokri Mraidha , Sara Tucci-Piergiovanni et al.
Proceedings 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
Image document

Specifez vos éditeurs de diagrammes à l'aide de composants réutilisables

Amine El Kouhen , Cedric Dumoulin , Sébastien Gerard , Pierre Boulet
2è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
Image document

A Component-Based Approach for Specifying DSML's Concrete Syntax

Amine El Kouhen , Cedric Dumoulin , Sébastien Gerard , Pierre Boulet
2nd 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 systems

Asma Mehiaoui , Ernest Wozniak , Sara Tucci Piergiovanni , Chokri Mraidha , Marco Di Natale et al.
SIGPLAN/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
Image document

A Component-Based Approach for Specifying Reusable Visual Languages

Amine El Kouhen , Sébastien Gerard , Cedric Dumoulin , Pierre Boulet
2013 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
Image document

Split of Composite Components for Distributed Applications

Ansgar Radermacher , Arnaud Cuccuru , Sébastien Gérard , Brahim Hamid
Forum on Specification & Design Languages (FDL 2013), Sep 2013, Paris, France. pp. 1-6
Communication dans un congrès hal-01225771 v1
Image document

A Model-Based Approach for Real-Time Systems Architecture Exploration

Ernest Wozniak , Chokri Mraidha , Sara Tucci-Piergiovanni , Sébastien Gerard
IST-115 Symposium on Architecture Definition & Evaluation (The NATO Science and Technology Organization), May 2013, Paris, France
Communication dans un congrès cea-01810005 v1
Image document

An Optimization Approach for the Synthesis of AUTOSAR Architectures

Ernest Wozniak , Asma Mehiaoui , Chokri Mraidha , Sara Tucci-Piergiovanni , Sébastien Gerard
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on, Sep 2013, Cagliari, Italy
Communication dans un congrès cea-01810019 v1
Image document

Capturing variability in Model Based Systems Engineering

Cosmin Dumitrescu , Patrick Tessier , Camille Salinesi , Sébastien Gerard , Alain Dauron et al.
Complex Systems Design & Management (CSD&M) Conference, Dec 2013, Paris, France. pp.100-115
Communication dans un congrès hal-01071304 v1
Image document

chronVAL/chronSIM: A Tool Suite for Timing Verification of Auto-motive Applications

Saoussen Anssi , Karsten Albers , Matthias Dörfel , Sébastien Gérard
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès hal-02191852 v1
Image document

SCADE System, a comprehensive toolset for smooth transition from Model-Based System Engineering to certified embedded control and display software

Thierry Le Sergent , Alain Le Guennec , François Terrier , Yann Tanguy , Sébastien Gérard
Embedded 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 Systems

Sébastien Gérard , Cedric Dumoulin , Patrick Tessier , Bran Selic
MBEERTS 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
Image document

Control Architecture Concepts and Properties of an Ontology Devoted to Exchanges in Mobile Robotics

Saadia Dhouib , Nicolas Du Lac , Jean-Loup Farges , Sébastien Gerard , Miniar Hemaissia-Jeannin et al.
6th 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
Image document

An Entirely Model-Based Framework for Hardware Design and Simulation

Safouan Taha , Ansgar Radermacher , Sébastien Gérard
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
Image document

Completing EAST-ADL2 with MARTE for enabling scheduling analysis for automotive applications

Saoussen Anssi , Sara Tucci-Pergiovanni , Chokri Mraidha , Arnaud Albinet , François Terrier et al.
Embedded 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 Systems

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frédéric Boulanger et al.
7th 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
Image document

Extending the standard execution model of UML for real-time systems

Abderraouf Benyahia , Arnaud Cuccuru , Safouan Taha , François Terrier , Frédéric Boulanger et al.
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 2010, Brisbane, Australia. pp.43-54, ⟨10.1007/978-3-642-15234-4_6⟩
Communication dans un congrès hal-01054487 v1
Image document

An Automated Process for Implementing Multilevel Domain Models

Frédéric Mallet , François Lagarde , Charles André , Sébastien Gérard , François Terrier
Software 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.

Sébastien Gérard , Cedric Dumoulin , Patrick Tessier , Bran Selic
International Dagstuhl Workshop, Nov 2007, Dagstuhl, Germany
Communication dans un congrès hal-00943546 v1
Image document

Model-driven analysis and synthesis of concrete syntax

Pierre-Alain Muller , Franck Fleurey , Frédéric Fondement , Michel Hassenforder , Rémi Schneckenburger et al.
Proceedings 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 Systems

Charles André , Arnaud Cuccuru , Jean-Luc Dekeyser , Robert de Simone , Cédric Dumoulin et al.
DAC 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 systems

Cedric Dumoulin , Laurent Rioux , Thierry Saunier , Sébastien Gérard , Ansgar Radermacher et al.
Dac Workshop - UML-SoC05, Jun 2005, Anaheim CA, United States
Communication dans un congrès hal-01071285 v1

MDA components: Challenges and Opportunities

Jean Bézivin , Sébastien Gérard , Pierre-Alain Muller , Laurent Rioux
Workshop on Metamodelling for MDA, 2003, York, England, United Kingdom. pp.23-41
Communication dans un congrès hal-00448057 v1

Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools

Sébastien Gérard , Maged Elaasar , Florian Noyrit , Omar Badreddin , Sébastien Gerard
Model-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 Engineering

Maged Elaasar , Nicolas Rouquette , Steve Jenkins , Sébastien Gérard
Proceedings of the 10thModel-Based Enterprise Summit(MBE 2019), 2019
Chapitre d'ouvrage cea-02572694 v1

Cognifying Model-Driven Software Engineering

Sébastien Gérard , Jordi Cabot , Robert Clarisó , Marco Brambilla , Sébastien Gerard
Software Technologies: Applications and Foundations, pp.154-160, 2018, ⟨10.1007/978-3-319-74730-9_13⟩
Chapitre d'ouvrage cea-02572650 v1
Image document

Schedulability Analysis at Early Design Stages with MARTE

Chokri Mraidha , Sara Tucci-Piergiovanni , Sébastien Gerard
Sangiovanni-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
Image document

Split of Composite Components for Distributed Applications

Ansgar Radermacher , Önder Gürcan , Arnaud Cuccuru , Sébastien Gerard , Brahim Hamid
Languages, 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
Image document

Le génie logiciel et l'IDM : une approche unificatrice par les modèles

Jean-Marc Jézéquel , Sébastien Gérard , Benoit Baudry
J. Estublier. L'ingénierie dirigée par les modèles, Lavoisier, Hermes-science, 2006
Chapitre d'ouvrage inria-00512541 v1

Consolidated Product Line Variability Modeling

Joachim Bayer , Sébastien Gérard , Oystein Haugen , Jason Mansell , Birger Moller-Pedersen et al.
Timo 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