Bruno Monsuez

According to our database1, Bruno Monsuez authored at least 50 papers between 1991 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Robust Virtual Sensing of the Vehicle Sideslip Angle through the Cross-Combination of Multiple Filters Using a Decision Tree Algorithm.
Sensors, July, 2023

Multi-Horizon Virtual Sensor for Controllable Suspensions: A Benchmark of SOTA Deep Forecasting Models.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Ensemble Reinforcement Learning in Collision Avoidance to Enhance Decision-Making Reliability.
Proceedings of the 7th International Conference on System Reliability and Safety, 2023

Effective Combination of Vertical, Longitudinal and Lateral Data for Vehicle Mass Estimation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2021
Design Strategies for Integrating Artificial Intelligence into Systems Engineering Environment.
Proceedings of the IEEE International Systems Conference, 2021

2020
Optimal Coordination of ADAS and Chassis Systems with Different Time-Delays.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Optimization-Based Control Allocation for Driving/Braking Torque Vectoring in a Race Car.
Proceedings of the 2020 American Control Conference, 2020

Formal Specification of Robotic Architectures for Experimental Robotics.
Proceedings of the Metrics of Sensory Motor Coordination and Integration in Robots and Animals, 2020

2019
Model Predictive Control Allocation of Systems with Different Dynamics.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Poster Abstract: The Challenge of a Common Core Backbone Network on Future Aircrafts.
Proceedings of the IEEE INFOCOM 2019, 2019

Applying SafeComp, a Formal Integrated System Modeling Framework, to the Design of a Steam Generator Controller.
Proceedings of the 4th International Conference on System Reliability and Safety, 2019

Robust Control for Over-Actuated Vehicles<sup>*</sup>.
Proceedings of the 2019 IEEE Conference on Control Technology and Applications, 2019

2018
Optimizing Vehicle Motion Control for Generating Multiple Sensations.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Importance of Vertical Dynamics for Accurate Modelling, Friction Estimation and Vehicle Motion Control.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Gain-Scheduled H∞ for Vehicle High-Level Motion Control.
Proceedings of the 6th International Conference on Control, Mechatronics and Automation, 2018

Complementary Chassis Systems for Ground Vehicles Safety.
Proceedings of the IEEE Conference on Control Technology and Applications, 2018

2017
Entropy in Design Phase: A Higraph-Based Model Approach.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

An Extensible Model-Based Framework for Robotics Software Development.
Proceedings of the First IEEE International Conference on Robotic Computing, 2017

Review of integrated vehicle dynamics control architectures.
Proceedings of the 2017 European Conference on Mobile Robots, 2017

Deterministic microcode machine generation.
Proceedings of the IEEE Conference on Dependable and Secure Computing, 2017

2016
Hierarchical timed abstract state machines for WCET estimation.
Int. J. Crit. Comput. Based Syst., 2016

Towards a seamless requirements management in system design using a higraph-based model.
Proceedings of the Annual IEEE Systems Conference, 2016

Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

2015
Model-driven self-adaptation of robotics software using probabilistic approach.
Proceedings of the 2015 European Conference on Mobile Robots, 2015

2014
Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction.
Int. J. Crit. Comput. Based Syst., 2014

Addressing Multi-Domain Integration Challenge in Robotics using Model-Based Approach.
Proceedings of the Joint Proceedings of MODELS 2014 Poster Session and the ACM Student Research Competition (SRC) co-located with the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014

SafeRobots: A model-driven Framework for developing Robotic Systems.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Towards a Holistic Definition of System Engineering: Paradigm and Modeling Requirements.
Proceedings of the Progress in Systems Engineering, 2014

Model-driven software development approaches in robotics research.
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

Architecture modeling and analysis language for designing robotic architectures.
Proceedings of the 13th International Conference on Control Automation Robotics & Vision, 2014

Model driven software development for human-machine interaction systems.
Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2014

SafeRobots: A model-driven approach for designing robotic software architectures.
Proceedings of the 2014 International Conference on Collaboration Technologies and Systems, 2014

Refresh-aware DDR3 barrel memory controller with deterministic functionality.
Proceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems, 2014

Modeling Non-Functional Properties for Human-Machine Systems.
Proceedings of the 2014 AAAI Spring Symposia, 2014

AI Dimensions in Software Development for Human-Robot Interaction Systems.
Proceedings of the 2014 AAAI Fall Symposia, Arlington, Virginia, USA, November 13-15, 2014, 2014

2013
A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata.
Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Verifying SystemC with predicate abstraction: A component based approach.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Formal models for cognitive systems.
Proceedings of the 16th International Conference on Advanced Robotics, 2013

On the Determinism of Multi-core Processors.
Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

Component based decision architecture for reliable autonomous systems.
Proceedings of the 2013 International Conference on Collaboration Technologies and Systems, 2013

2012
SystemC waiting state automata.
Int. J. Crit. Comput. Based Syst., 2012

Handling scenarios complexity in model-based design.
Concurr. Eng. Res. Appl., 2012

2010
A Hierarchical Approach to Design a V2V Intersection Assistance System.
Proceedings of the Complex Systems Design & Management, 2010

1995
System F and Abstract Interpretation
Proceedings of the Static Analysis, 1995

Using Abstract Interpretation to Define a Strictness Type Inference System.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1993
Polymorphic Types and Widening Operators.
Proceedings of the Static Analysis, Third International Workshop, 1993

Polymorphic Typing for Call-by-Name Semantics.
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992
Fractional Types.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Polymorphic Typing by Abstract Interpretation.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991
An Attempt to Find Polymorphic Types by Abstract Interpretation.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991


  Loading...