Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015
Achim D. Brucker
,
Marina Egea
,
Martin Gogolla
,
Frédéric Tuong
Achim D. Brucker and Marina Egea and Martin Gogolla and Frédéric Tuong.
CEUR-WS.org , 1512, 2015, CEUR Workshop Proceedings
Books
hal-01321502v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Integration of Innovative Mobility into the Urban Transport Network: A Literature Review
Ayman Mahmoud
,
Tarek Chouaki
,
Jakob Puchinger
Mira-Bonnardel S., Antonialli F., Attias D. (eds).
The Robomobility Revolution of Urban Public Transport , Springer, pp.153-166, 2021, Transportation Research, Economics and Policy., 978-3-030-72975-2.
⟨10.1007/978-3-030-72976-9_7⟩
Book sections
hal-03332187v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Model of Intention for the model specification verification during the simulation architecture design process
Romain Barbedienne
,
Olivia Penas
,
Mouadh Yagoubi
,
Eric Duceau
,
Eric Landel
et al.
Conference papers
hal-02093003v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
ASAP.V2 and ASAP.V3: Sequential optimization of an Algorithm Selector and a Scheduler
François Gonard
,
Marc Schoenauer
,
Michèle Sebag
Open Algorithm Selection Challenge 2017 , Sep 2017, Brussels, Belgium. pp.8-11
Conference papers
hal-01659700v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Integrating autonomous delivery service into a passenger transportation system
Abood Mourad
,
Jakob Puchinger
,
Tom van Woensel
Journal articles
hal-02500684v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A metamodel of an informational structure for modelbased technology roadmapping
Ilya Yuskevich
,
Andreas Makoto Hein
,
Kahina Amokrane
,
Abdelkrim Doufene
,
Marija Jankovic
et al.
Journal articles
hal-03330657v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An Event-B based approach for formal modelling and verification of smart contracts
Asma Lahbib
,
Abderrahim Ait Wakrime
,
Anis Laouiti
,
Khalifa Toumi
,
Steven Martin
et al.
AINA 2020: 34th International Conference on Advanced Information Networking and Applications , Apr 2020, Caserta, Italy. pp.1303-1318,
⟨10.1007/978-3-030-44041-1_111⟩
Conference papers
hal-02928201v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Time Curves: Folding Time to Visualize Patterns of Temporal Evolution in Data
Benjamin Bach
,
Conglei Shi
,
Nicolas Heulot
,
Tara Madhyastha
,
Tom Grabowski
et al.
Journal articles
hal-01205821v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Combining people and freight flows using a scheduled transportation line with stochastic passenger demands
Abood Mourad
,
Jakob Puchinger
,
Tom van Woensel
20ème Conférence annuelle de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2019), , Feb 2019, Le Havre, France
Conference papers
hal-02046563v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
DEFINITION OF THE COLLABORATIVE SIMULATION SYSTEM (CM&SS) FROM A SYSTEMIC PERSPECTIVE IN VEHICLE INDUSTRY CONTEXT
Laura Roa Castro
,
Julie Stal-Le Cardinal
International Conference on Engineering Design (ICED 15) , Jul 2015, Milan, Italy
Conference papers
hal-01347363v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
ADDED VALUE PROCESS PROPOSITION FOR COLLABORATIVE DESIGN IN EARLY DEVELOPMENT PHASES USING SIMULATION MODELS IN AERONAUTICS AND AUTOMOTIVE INDUSTRIES
Laura Roa Castro
,
Julie Stal-Le Cardinal
,
Laurent Gasser
DESIGN 2016 14th International Design Conference , May 2016, CAVTAT, DUBROVNIK, Croatia
Conference papers
hal-01356864v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Systematic Review of Online Bitcoin Visualizations
Natkamon Tovanich
,
Nicolas Heulot
,
Jean-Daniel Fekete
,
Petra Isenberg
Conference poster
hal-02155171v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5
Achim D. Brucker
,
Frédéric Tuong
,
Burkhart Wolff
Archive of Formal Proofs , 2014
Journal articles
hal-01214252v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Continuous Methods : Adaptively intrusive reduced order model closure
Emmanuel Menier
,
Michele Alessandro Bucci
,
Mouadh Yagoubi
,
Lionel Mathelin
,
Thibault Dairay
et al.
2022
Preprints, Working Papers, ...
hal-03879332v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Tour planning with a hybrid heterogeneous electric fleet
Gerhard Hiermann
,
Jakob Puchinger
,
Richard F. Hartl
,
Thibaut Vidal
17ème congrès (ROADEF2016) , Feb 2016, Compiègne, France
Conference papers
hal-01372144v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Designing a data visualisation and analysis tool for supporting decision-making with public transportation network
Flore Vallet
,
Mostepha Khouadjia
,
Ahmed Amrani
,
Juliette Pouzet
Proceedings of the International Conference on Engineering Design - ICED'21 , Aug 2021, Gothenburg, Sweden. pp.1093-1102,
⟨10.1017/pds.2021.109⟩
Conference papers
hal-03329670v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Using the Isabelle Ontology Framework. Linking the Formal with the Informal
Achim D. Brucker
,
Idir Ait-Sadoune
,
Paolo Crisafulli
,
Burkhart Wolff
Conference papers
hal-01875734v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Impact de l'information voyageurs sur le comportement des usagers réguliers des transports en commun en situation perturbée
Pascal Un
,
Sonia Adelé
,
Jean-Marie Burkhardt
,
Flore Vallet
Doctoriales EPIQUE , ARPEGE, Jul 2021, Lille, France
Conference papers
hal-03362632v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A framework to evaluate eco-innovative concepts
Flore Vallet
,
Benjamin Tyl
16è colloque national S-mart/AIP-PRIMECA , Apr 2019, Les Karellis, France
Conference papers
hal-02101378v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Research directions in eco-innovation: a French perspective
Flore Vallet
,
Benjamin Tyl
,
François Cluzel
,
Yann Leroy
Journal articles
hal-01446062v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Methodological Framework for Making the Transition From Traditional Innovation Teaching Towards Serious Games
Yiming Ma
,
Flore Vallet
,
François Cluzel
,
Bernard Yannou
ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference , Aug 2020, Virtual, United States.
⟨10.1115/DETC2020-22754⟩
Conference papers
hal-03035863v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Design of a commercial aircraft environment control system using Bayesian optimization techniques
Paul Feliot
,
Yves Le Guennec
,
Julien Bect
,
Emmanuel Vazquez
EngOpt 2016, 5th International Conference on Engineering Optimization , Jun 2016, Iguassu Falls, Brazil. pp.400-409
Conference papers
hal-01377722v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Routing a Mix of Conventional, Plug-in Hybrid, and Electric Vehicles
Gerhard Hiermann
,
Richard F. Hartl
,
Jakob Puchinger
,
Thibaut Vidal
ROUTE 2018 International Workshop on Vehicle Routing, Intermodal Transportation and Related Areas , May 2018, Snekkersten, Denmark
Conference papers
hal-01992975v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
How Does My Train Line Run? Elicitation of Six Information-Seeking Profiles of Regular Suburban Train Users
Pascal Un
,
Sonia Adele
,
Flore Vallet
,
Jean Marie Burkhardt
Journal articles
hal-03617090v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimal Control Based Trajectory Planning under Uncertainty
Shangyuan Zhang
,
Makhlouf Hadji
,
Abdel Lisser
EAI INTSYS 2022 , Dec 2022, Lisbon, Portugal
Conference papers
hal-03845051v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Agent based simulation for the design of a mobility service in the Paris-Saclay area
Tarek Chouaki
,
Jakob Puchinger
23rd EURO Working Group on Transportation Meeting (EWGT) , Sep 2020, Paphos, Cyprus
Conference papers
hal-02945177v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Shared Autonomous Vehicle Simulation and Service Design
Reza Vosooghi
,
Jakob Puchinger
,
Marija Jankovic
,
Anthony Vouillon
Journal articles
hal-02157597v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Robo-Taxi Service Design, Modeling and Simulation
Reza Vosooghi
,
Jakob Puchinger
,
Marija Jankovic
Conference poster
hal-01899522v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Tangible futures: Combining scenario thinking and personas—A pilot study on urban mobility
Flore Vallet
,
Jakob Puchinger
,
Alexandra Millonig
,
Guillaume Lamé
,
Isabelle Nicolaï
et al.
Journal articles
hal-02446157v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The evolution of mining pools and miners’ behaviors in the Bitcoin blockchain
Natkamon Tovanich
,
Nicolas Soulié
,
Nicolas Heulot
,
Petra Isenberg
Journal articles
hal-03610424v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More