| Lightweight specification and analysis of dynamic systems with rich configurations N Macedo, J Brunel, D Chemouil, A Cunha, D Kuperberg Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 97 | 2016 |
| A foundation for flow-based program matching: using temporal logic and model checking J Brunel, D Doligez, RR Hansen, JL Lawall, G Muller Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009 | 90 | 2009 |
| WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code JL Lawall, J Brunel, N Palix, RR Hansen, H Stuart, G Muller 2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 43-52, 2009 | 81 | 2009 |
| The electrum analyzer: model checking relational first-order temporal specifications J Brunel, D Chemouil, A Cunha, N Macedo Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 51 | 2018 |
| A state/event temporal deontic logic J Brunel, JP Bodeveix, M Filali Deontic Logic and Artificial Normative Systems: 8th International Workshop …, 2006 | 35 | 2006 |
| Security policy compliance with violation management J Brunel, F Cuppens, N Cuppens, T Sans, JP Bodeveix Proceedings of the 2007 ACM workshop on Formal methods in security …, 2007 | 29 | 2007 |
| Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings L Goble, JJC Meyer Springer, 2006 | 28* | 2006 |
| A viewpoint-based approach for formal safety & security assessment of system architectures J Brunel, D Chemouil, L Rioux, M Bakkali, F Vallée 11th Workshop on Model-Driven Engineering, Verification and Validation 1235 …, 2014 | 25 | 2014 |
| Formal safety and security assessment of an avionic architecture with alloy J Brunel, L Rioux, S Paul, A Faucogney, F Vallée arXiv preprint arXiv:1405.1113, 2014 | 23 | 2014 |
| Modeling Cache Coherence to Expose N Sensfelder, J Brunel, C Pagetti ECRTS 2019, 2019 | 22 | 2019 |
| On how to identify cache coherence: Case of the NXP QorIQ T4240 N Sensfelder, J Brunel, C Pagetti 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020), 2020 | 19 | 2020 |
| WYSIWIB: exploiting fine‐grained program structure in a scriptable API‐usage protocol‐finding process JL Lawall, J Brunel, N Palix, RR Hansen, H Stuart, G Muller Software: Practice and Experience 43 (1), 67-92, 2013 | 19 | 2013 |
| Formal verification of a safety argumentation and application to a complex UAV system J Brunel, J Cazin Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur …, 2012 | 19 | 2012 |
| Towards an updatable strategy logic C Chareton, J Brunel, D Chemouil arXiv preprint arXiv:1303.0795, 2013 | 15 | 2013 |
| A model-based certification approach for multi/many-core embedded systems P Bieber, F Boniol, Y Bouchebaba, J Brunel, C Pagetti, O Poitou, ... ERTS 2018, 2018 | 14 | 2018 |
| Simulation under arbitrary temporal logic constraints J Brunel, D Chemouil, A Cunha, N Macedo arXiv preprint arXiv:1912.10634, 2019 | 13 | 2019 |
| Pardinus: A temporal relational model finder N Macedo, J Brunel, D Chemouil, A Cunha Journal of Automated Reasoning 66 (4), 861-904, 2022 | 12 | 2022 |
| Performing safety analyses with AADL and AltaRica J Brunel, P Feiler, J Hugues, B Lewis, T Prosvirnova, C Seguin, L Wrage Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017 | 12 | 2017 |
| Decision procedures for a deontic logic modeling temporal inheritance of obligations P Balbiani, J Broersen, J Brunel Electronic Notes in Theoretical Computer Science 231, 69-89, 2009 | 12 | 2009 |
| On finite domains in first-order linear temporal logic D Kuperberg, J Brunel, D Chemouil International Symposium on Automated Technology for Verification and …, 2016 | 11 | 2016 |
