| 2024 | ETFA | Tailoring Automotive E/E Architectures with Design Space Exploration. | Jean-Baptiste Laurent, Julien Richefeu, Bruno Monsuez |
| 2024 | ICARCV | Recurrent Sliding Mode-Based State Observer Design for a Subset of Nonlinear Systems. | Gal P. Atheupe, Bhagyashri Gurjar, Bruno Monsuez |
| 2023 | ICRA | Effective Combination of Vertical, Longitudinal and Lateral Data for Vehicle Mass Estimation. | Younesse El Mrhasli, Bruno Monsuez, Xavier Mouton |
| 2019 | INFOCOM | Poster Abstract: The Challenge of a Common Core Backbone Network on Future Aircrafts. | Thibault Delmas, Luigi Iannone, Jean-Pierre Garcia, Bruno Monsuez |
| 2017 | IRI | Entropy in Design Phase: A Higraph-Based Model Approach. | Hycham Aboutaleb, Bruno Monsuez |
| 2016 | RTSS | Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems. | Achraf Mguidich, Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton |
| 2014 | CGO | Refresh-aware DDR3 barrel memory controller with deterministic functionality. | Abir M'zah, Bruno Monsuez |
| 2014 | HRI | Model driven software development for human-machine interaction systems. | Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus |
| 2014 | ICARCV | Architecture modeling and analysis language for designing robotic architectures. | Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus |
| 2014 | IROS | SafeRobots: A model-driven Framework for developing Robotic Systems. | Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus |
| 2014 | ICSE | Model-driven software development approaches in robotics research. | Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus |
| 2014 | ICSEng | Towards a Holistic Definition of System Engineering: Paradigm and Modeling Requirements. | Hycham Aboutaleb, Bruno Monsuez |
| 2014 | MODELS | Addressing Multi-Domain Integration Challenge in Robotics using Model-Based Approach. | Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus |
| 2013 | IRI | Verifying SystemC with predicate abstraction: A component based approach. | Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui |
| 2013 | IRI | A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. | Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui |
| 1995 | PEPM | Using Abstract Interpretation to Define a Strictness Type Inference System. | Bruno Monsuez |
| 1995 | SAS | System F and Abstract Interpretation | Bruno Monsuez |
| 1993 | SAS | Polymorphic Types and Widening Operators. | Bruno Monsuez |
| 1992 | SAS | Fractional Types. | Bruno Monsuez |
| 1991 | SAS | An Attempt to Find Polymorphic Types by Abstract Interpretation. | Bruno Monsuez |