Filter your results
- 15
- 4
- 11
- 4
- 3
- 1
- 14
- 6
- 2
- 1
- 1
- 2
- 4
- 9
- 2
- 17
- 2
- 11
- 11
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 7
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Predicting Traffic Load in Public Transportation Networks2016 American Control Conference, Jul 2016, Boston, United States
Conference papers
hal-01329632v1
|
||
|
Statistical Model-Checking for Autonomous Vehicle Safety ValidationConference 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 Cosmos39th 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
|
||
|
Safety Analyzes of Mechatronics Systems: a Case StudyIFAC-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 Systems5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'15), 2015, Atlanta, Georgia, United States
Conference papers
hal-01242903v1
|
|||
|
Vehicles Detection in Stereo Vision Based on Disparity Map Segmentation and Objects ClassificationSymposium on Visual Computing, Jan 2016, Las vegas, United States
Conference papers
hal-01697760v1
|
||
|
Une sémantique formelle pour les modèles SimulinkÉcole d'été Temps Réel 2017, Aug 2017, Paris, France
Conference papers
hal-01578297v1
|
||
|
Decoupling Passenger Flows for Improved Load Prediction2016
Preprints, Working Papers, ...
hal-01294498v1
|
||
|
Vers la définition d’un kit d’évaluation pour les simulateurs stochastiques20iè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
|
||
|
Predicting traffic load in public transportation networks2016
Preprints, Working Papers, ...
hal-01286476v2
|
||
Investigation and performance analysis of OpenVX optimizations on computer vision applications2016 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 systemsJournal of Low Power Electronics, 2017, 13 (4), pp.607-615. ⟨10.1109/ISED.2016.7977049⟩
Journal articles
hal-01943074v1
|
|||
|
Integrating Simulink Models into the Model Checker Cosmos[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
|
||
|
Decoupling Passenger Flows for Improved Load Prediction13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) , Aug 2016, Québec City, Canada
Conference papers
hal-01330136v1
|
||
|
A Passenger-centric Multi-agent System Model for Multimodal Public Transportation2016
Preprints, Working Papers, ...
hal-01322956v1
|
||
|
Improving performances of the AltaRica 3.0 stochastic simulatorSafety and Reliability of Complex Engineered Systems: ESREL 2015, Sep 2015, Zürich, Switzerland. ⟨10.1201/b19094-236⟩
Conference papers
hal-01239379v1
|
||
|
Influence of resolution on the X-ray CT-based measurements of metallic AM lattice structuresWelding in the World, 2020, ⟨10.1007/s40194-020-00920-4⟩
Journal articles
hal-02639697v1
|
||
|
Forecasting Passenger Loads in Transportation Networks2016
Preprints, Working Papers, ...
hal-01259585v2
|
||
|
A kinematic simulation software for additive manufacturing metal deposition processesICWAM'19, International Congress On Welding, Additive Manufacturing And Associated Non Destructive Testing, Jun 2019, Metz, France
Conference papers
hal-02151268v1
|