| 2021 | DSN | Model Checking the Multi-Formalism Language FIGARO. | Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou |
| 2020 | EDCC | Explaining Boolean-Logic Driven Markov Processes using GSPNs. | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou |
| 2020 | SAFECOMP | A Compositional Semantics for Repairable BDMPs. | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou |
| 2019 | PRDC | Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou |
| 2014 | SAFECOMP | Safety and Security Interactions Modeling Using the BDMP Formalism: Case Study of a Pipeline. | Siwar Kriaa, Marc Bouissou, Frederic Colin, Yoran Halgand, Ludovic Pitre-Cambacds |
| 2012 | CRiSIS | Modeling the Stuxnet attack with BDMP: Towards more formal risk assessments. | Siwar Kriaa, Marc Bouissou, Ludovic Pitre-Cambacds |
| 2010 | EDCC | Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP). | Ludovic Pitre-Cambacds, Marc Bouissou |
| 2010 | SMC | Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes). | Ludovic Pitre-Cambacds, Marc Bouissou |