Search - Archive ouverte HAL Access content directly

Filter your results

210 Results
Structure: Internal structure identifier : 411575

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., 1512, 2015, CEUR Workshop Proceedings
Books hal-01321502v1

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

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.
ISEE 2018 - IEEE International Systems Engineering Symposium, Oct 2018, Rome, France. pp.1-8, ⟨10.1109/SysEng.2018.8544437⟩
Conference papers hal-02093003v1
Image document

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
Image document

Integrating autonomous delivery service into a passenger transportation system

Abood Mourad , Jakob Puchinger , Tom van Woensel
International Journal of Production Research, 2021, Smart city for sustainable urban logistics, 59 (7), pp.2116-2139. ⟨10.1080/00207543.2020.1746850⟩
Journal articles hal-02500684v1
Image document

A metamodel of an informational structure for modelbased technology roadmapping

Ilya Yuskevich , Andreas Makoto Hein , Kahina Amokrane , Abdelkrim Doufene , Marija Jankovic et al.
Technological Forecasting and Social Change, 2021, 173, pp.121103. ⟨10.1016/j.techfore.2021.121103⟩
Journal articles hal-03330657v1
Image document

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
Image document

Time Curves: Folding Time to Visualize Patterns of Temporal Evolution in Data

Benjamin Bach , Conglei Shi , Nicolas Heulot , Tara Madhyastha , Tom Grabowski et al.
IEEE Transactions on Visualization and Computer Graphics, 2016, 22 (1), ⟨10.1109/TVCG.2015.2467851⟩
Journal articles hal-01205821v1
Image document

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
Image document


Laura Roa Castro , Julie Stal-Le Cardinal
International Conference on Engineering Design (ICED 15), Jul 2015, Milan, Italy
Conference papers hal-01347363v1
Image document


Laura Roa Castro , Julie Stal-Le Cardinal , Laurent Gasser
DESIGN 2016 14th International Design Conference, May 2016, CAVTAT, DUBROVNIK, Croatia
Conference papers hal-01356864v1
Image document

A Systematic Review of Online Bitcoin Visualizations

Natkamon Tovanich , Nicolas Heulot , Jean-Daniel Fekete , Petra Isenberg
Posters of the European Conference on Visualization (EuroVis), 2019, Porto, Portugal. ⟨10.2312/eurp.20191148⟩
Conference poster hal-02155171v1

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
Image document

Continuous Methods : Adaptively intrusive reduced order model closure

Emmanuel Menier , Michele Alessandro Bucci , Mouadh Yagoubi , Lionel Mathelin , Thibault Dairay et al.
Preprints, Working Papers, ... hal-03879332v1

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

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
Image document

Using the Isabelle Ontology Framework. Linking the Formal with the Informal

Achim D. Brucker , Idir Ait-Sadoune , Paolo Crisafulli , Burkhart Wolff
International Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg,, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩
Conference papers hal-01875734v1
Image document

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
Image document

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
Image document

Research directions in eco-innovation: a French perspective

Flore Vallet , Benjamin Tyl , François Cluzel , Yann Leroy
International Journal on Interactive Design and Manufacturing, 2016, 10 (3), pp.309-318. ⟨10.1007/s12008-016-0332-5⟩
Journal articles hal-01446062v1
Image document

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
Image document

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

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
Image document

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
Sustainability, 2022, 14 (5), pp.2665. ⟨10.3390/su14052665⟩
Journal articles hal-03617090v1

Optimal Control Based Trajectory Planning under Uncertainty

Shangyuan Zhang , Makhlouf Hadji , Abdel Lisser
EAI INTSYS 2022, Dec 2022, Lisbon, Portugal
Conference papers hal-03845051v1
Image document

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
Image document

Shared Autonomous Vehicle Simulation and Service Design

Reza Vosooghi , Jakob Puchinger , Marija Jankovic , Anthony Vouillon
Transportation research. Part C, Emerging technologies, 2019, 107, pp.15-33. ⟨10.1016/j.trc.2019.08.006⟩
Journal articles hal-02157597v3
Image document

Robo-Taxi Service Design, Modeling and Simulation

Reza Vosooghi , Jakob Puchinger , Marija Jankovic
Journée de l'Ecole doctorale Interfaces, Dec 2017, VERSAILLES, France. ⟨10.13140/RG.2.2.34088.62726⟩
Conference poster hal-01899522v1
Image document

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
Image document

The evolution of mining pools and miners’ behaviors in the Bitcoin blockchain

Natkamon Tovanich , Nicolas Soulié , Nicolas Heulot , Petra Isenberg
IEEE Transactions on Network and Service Management, 2022, 19 (3), pp.3633-3644. ⟨10.1109/TNSM.2022.3159004⟩
Journal articles hal-03610424v1