Filter your results
- 25
- 19
- 34
- 7
- 1
- 1
- 1
- 31
- 13
- 2
- 1
- 5
- 8
- 5
- 3
- 2
- 11
- 3
- 2
- 3
- 1
- 44
- 2
- 2
- 1
- 1
- 1
- 44
- 26
- 13
- 11
- 10
- 9
- 7
- 5
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
SafeRobots: A Model Driven Framework for Developing Robotic SystemsProceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2014, Chicago, United States
Conference papers
hal-01234690v1
|
|||
Model-driven self-adaptation of robotics software using probabilistic approach2015 European Conference on Mobile Robots (ECMR), Sep 2015, Lincoln, United Kingdom. ⟨10.1109/ECMR.2015.7324220⟩
Conference papers
hal-01762542v1
|
|||
A WCET Estimation Workflow Based on the TWSA Model of SystemC DesignsThe 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienna, Austria
Conference papers
hal-00672884v1
|
|||
|
Using HiGraph to define a Formal Integrated System Modeling Framework that ensures Complete System ConsistencyIEEE Advancing Technology for Humanity 26th International Conference on Systems Engineering (ICSEng), Dec 2018, Sydney, NSW, Australia
Conference papers
hal-02004171v1
|
||
Poster Abstract: The Challenge of a Common Core Backbone Network on Future AircraftsIEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Apr 2019, Paris, France. pp.1075-1076, ⟨10.1109/INFCOMW.2019.8845173⟩
Conference papers
hal-02364677v1
|
|||
|
VECoS: International Conference on Verification and Evaluation of Computer and Communication SystemsMohamed Faouzi Atig; Saddek Bensalem; Simon Bliudze; Bruno Monsuez. 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings, Sep 2018, Grenoble, France. 11181, Springer, Cham, 2018, Lecture Notes in Computer Science, 978-3-030-00359-3. ⟨10.1007/978-3-030-00359-3⟩
Proceedings
hal-03322041v1
|
||
Towards a Holistic Definition of Model-Based System Engineering: Paradigm, Modeling and RequirementsINCOSE International Symposium, 2015, 25 (1), pp.1232 - 1244. ⟨10.1002/j.2334-5837.2015.00126.x⟩
Journal articles
hal-01774786v1
|
|||
|
Optimizing Vehicle Motion Control for Generating Multiple Sensations2018 IEEE Intelligent Vehicles Symposium (IV’18), Jun 2018, Changshu, China
Conference papers
hal-01814092v1
|
||
Modeling Non-Functional Properties for Human-Machine SystemsProceedings of AAAI Spring Symposium on Formal Verification and Modeling in Human-Machine Systems, 2014, Palo Alto, United States
Conference papers
hal-01234679v1
|
|||
Addressing Multi-Domain Integration Challenge in Robotics using Model-Based ApproachProceedings of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, Oct 2014, Valencia, Spain
Conference papers
hal-01234697v1
|
|||
AI Dimensions in Software Development for Human-Robot Interaction SystemsProceedings of the AAAI Fall Symposium on AI for Human-Robot Interaction, Nov 2014, Washington D.C., United States
Conference papers
hal-01234757v1
|
|||
|
Model-driven software development approaches in robotics researchProceedings of the 6th International Workshop on Modeling in Software Engineering (MISE 2014), May 2014, Hyderabad, India. pp.43-48, ⟨10.1145/2593770.2593781⟩
Conference papers
hal-01015871v1
|
||
|
A New Network Configuration Management Architecture for Future Aircraft Systems10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers
hal-02491369v1
|
||
|
Control Allocation of Active Rear Steering and Vehicle Dynamics Control Using a New Tire ModelInternational Journal of Mechanical Engineering and Robotics Research, 2018
Journal articles
hal-02002718v1
|
||
|
Importance of Vertical Dynamics for Accurate Modelling, Friction Estimation and Vehicle Motion Control2018 21st International Conference on Intelligent Transportation Systems (ITSC), Nov 2018, Maui, United States. pp.1370-1377
Conference papers
hal-02002723v1
|
||
|
Adaptive Robust Vehicle Motion Control for Future Over-Actuated VehiclesMachines, 2019, 7 (2), pp.26. ⟨10.3390/machines7020026⟩
Journal articles
hal-02112906v1
|
||
Timed SystemC waiting-state automataThird International Workshop on Verification and Evaluation of Computer and Communication Systems, Jul 2009, Rabat, Morocco
Conference papers
hal-00672908v1
|
|||
|
Adaptable and Precise Worst Case Execution Time Estimation ToolLanguages, Compilers, Tools and Theory for Embedded Systems WiP, Jun 2012, Beijing, China
Conference papers
hal-01214943v1
|
||
Model-Driven Software Development Approaches in Robotics ResearchProceedings of 36th International Conference on Software Engineering workshop on 6th International Workshop on Modeling in Software Engineering (MiSE), Jun 2014, Hyderabad, India
Conference papers
hal-01234686v1
|
|||
Formal models for cognitive systems2013 16th International Conference on Advanced Robotics (ICAR 2013), Nov 2013, Montevideo, France. ⟨10.1109/ICAR.2013.6766491⟩
Conference papers
hal-01761980v1
|
|||
|
Current and Future Architectures for Integrated Vehicle Dynamics Control12th National Conference on Software and Hardware Architectures for Robots Control, Jun 2017, Toulouse, France
Conference papers
hal-01690780v1
|
||
|
Gain-Scheduled H∞ for Vehicle High-Level Motion Controlthe 6th International Conference on Control, Mechatronics and Automation (ICCMA 2018), Oct 2018, Tokyo, Japan. pp.97-104, ⟨10.1145/3284516.3284544⟩
Conference papers
hal-02002727v1
|
||
Component based decision architecture for reliable autonomous systems IEEE International Conference on Collaboration Technologies and Systems (CTS), May 2013, Philadelphia, United States. pp.605-610, ⟨10.1109/CTS.2013.6567295⟩
Conference papers
hal-01015880v1
|
|||
Towards a seamless requirements management in system design using a higraph-based model2016 Annual IEEE Systems Conference (SysCon), Apr 2016, Orlando, United States. ⟨10.1109/SYSCON.2016.7490663⟩
Conference papers
hal-01774782v1
|
|||
SafeRobots: A Model-Driven Approach for Designing Robotic Software ArchitecturesIn Proceedings of IEEE International Conference on Collaboration Technologies and Systems (CTS), 2014, Minneapolis, United States
Conference papers
hal-01234682v1
|
|||
|
Robust Control for Over-Actuated Vehicles2019 IEEE Conference on Control Technology and Applications (CCTA), Aug 2019, Hong Kong, France. pp.822-829, ⟨10.1109/CCTA.2019.8920395⟩
Conference papers
hal-02405201v1
|
||
Verifying SystemC with predicate abstraction: A component based approach2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), Aug 2013, San Francisco, France. pp.536-545, ⟨10.1109/IRI.2013.6642516⟩
Conference papers
hal-02479617v1
|
|||
|
A Comprehensive Comparison of Chassis Systems Coordination Approaches2018 18th International Conference on Control, Automation and Systems (ICCAS), Oct 2018, Daegwallyeong, South Korea
Conference papers
hal-02002726v1
|
||
Building SystemC waiting state automataThe 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia
Conference papers
hal-00672921v1
|
|||
Architecture Modeling and Analysis Language for Designing Robotic ArchitecturesProceedings of the 13th International Conference on Control, Automation, Robotics and Vision (ICARCV), Dec 2014, Singapore, Singapore
Conference papers
hal-01234792v1
|
- 1
- 2