Search - Archive ouverte HAL Access content directly

Filter your results

19 Results
Structure: Internal structure identifier : 6862
Image document

Predicting Traffic Load in Public Transportation Networks

Stefan Haar , Simon Theissing
2016 American Control Conference, Jul 2016, Boston, United States
Conference papers hal-01329632v1
Image document

Statistical Model-Checking for Autonomous Vehicle Safety Validation

Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
Conference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
Conference papers hal-01491064v1

Integrating Simulink Models into the Model Checker Cosmos

Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩
Conference papers hal-01916467v1
Image document

Safety Analyzes of Mechatronics Systems: a Case Study

Benjamin Aupetit , Michel Batteux , Antoine Rauzy , Jean-Marc Roussel
IFAC-PapersOnLine, 2017, 50 (1), pp.11150 - 11155. ⟨10.1016/j.ifacol.2017.08.1234⟩
Journal articles hal-01651282v1

A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems

Stefan Haar , Simon Theissing
5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'15), 2015, Atlanta, Georgia, United States
Conference papers hal-01242903v1
Image document

Vehicles Detection in Stereo Vision Based on Disparity Map Segmentation and Objects Classification

Djamila Dekkiche , Bastien Vincke , Alain Mérigot
Symposium on Visual Computing, Jan 2016, Las vegas, United States
Conference papers hal-01697760v1
Image document

Une sémantique formelle pour les modèles Simulink

Béatrice Bérard , Yann Duplouy , Serge Haddad
École d'été Temps Réel 2017, Aug 2017, Paris, France
Conference papers hal-01578297v1
Image document

Decoupling Passenger Flows for Improved Load Prediction

Stefan Haar , Simon Theissing
2016
Preprints, Working Papers, ... hal-01294498v1
Image document

Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques

Benjamin Aupetit , Michel Batteux , Antoine Rauzy , Jean-Marc Roussel
20ième Congrès de Maîtrise des Risques et Sûreté de Fonctionnement (LambdaMu 20), Institut pour la Maîtrise des Risques et la Sûreté de Fonctionnement (IMdR-SdF) Oct 2016, Saint_Malo, France
Conference papers hal-01378407v1
Image document

Predicting traffic load in public transportation networks

Stefan Haar , Simon Theissing
2016
Preprints, Working Papers, ... hal-01286476v2

Investigation and performance analysis of OpenVX optimizations on computer vision applications

Djamila Dekkiche , Bastien Vincke , Alain Mérigot
2016 14th International Conference on Control, Automation, Robotics and Vision (ICARCV), Nov 2016, Phuket, Thailand. ⟨10.1109/ICARCV.2016.7838782⟩
Conference papers hal-01697723v1

Targeting system-level and Kernel-level optimizations of computer vision applications on embedded systems

Djamila Dekkiche , Bastien Vincke , Alain Mérigot
Journal of Low Power Electronics, 2017, 13 (4), pp.607-615. ⟨10.1109/ISED.2016.7977049⟩
Journal articles hal-01943074v1
Image document

Integrating Simulink Models into the Model Checker Cosmos

Benoît Barbot , Béatrice Bérard , Yann Duplouy , Serge Haddad
[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018
Reports hal-01725835v1
Image document

Decoupling Passenger Flows for Improved Load Prediction

Stefan Haar , Simon Theissing
13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) , Aug 2016, Québec City, Canada
Conference papers hal-01330136v1
Image document

A Passenger-centric Multi-agent System Model for Multimodal Public Transportation

Stefan Haar , Simon Theissing
2016
Preprints, Working Papers, ... hal-01322956v1
Image document

Improving performances of the AltaRica 3.0 stochastic simulator

Benjamin Aupetit , Michel Batteux , Antoine Rauzy , Jean-Marc Roussel
Safety and Reliability of Complex Engineered Systems: ESREL 2015, Sep 2015, Zürich, Switzerland. ⟨10.1201/b19094-236⟩
Conference papers hal-01239379v1
Image document

Influence of resolution on the X-ray CT-based measurements of metallic AM lattice structures

Jitendra Singh Rathore , Caroline Vienne , Yann Quinsat , Christophe Tournier
Welding in the World, 2020, ⟨10.1007/s40194-020-00920-4⟩
Journal articles hal-02639697v1
Image document

Forecasting Passenger Loads in Transportation Networks

Stefan Haar , Simon Theissing
2016
Preprints, Working Papers, ... hal-01259585v2
Image document

A kinematic simulation software for additive manufacturing metal deposition processes

Tan-Quang Duong , Nicolas Ferrier , S Lavernhe , Christophe Tournier
ICWAM'19, International Congress On Welding, Additive Manufacturing And Associated Non Destructive Testing, Jun 2019, Metz, France
Conference papers hal-02151268v1