Julien Brunel
TitleCited byYear
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
692009
A foundation for flow-based program matching: using temporal logic and model checking
J Brunel, D Doligez, RR Hansen, JL Lawall, G Muller
Acm Sigplan Notices 44 (1), 114-126, 2009
642009
A state/event temporal deontic logic
J Brunel, JP Bodeveix, M Filali
International Workshop on Deontic Logic and Artificial Normative Systems, 85-100, 2006
292006
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
262016
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
262016
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
262007
Towards an updatable strategy logic
C Chareton, J Brunel, D Chemouil
arXiv preprint arXiv:1303.0795, 2013
172013
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
162014
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
142013
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
132014
Formal verification of a safety argumentation and application to a complex UAV system
J Brunel, J Cazin
International Conference on Computer Safety, Reliability, and Security, 307-318, 2012
132012
A logic with revocable and refinable strategies
C Chareton, J Brunel, D Chemouil
Information and Computation 242, 157-182, 2015
92015
Reconfigurable IMA platform: from safety assessment to test scenarios on the SCARLETT demonstrator
C Pagetti, P Bieber, J Brunel, K Gupta, E Noulard, T Planche, F Vialard, ...
92012
A model-based certification approach for multi/many-core embedded systems
P Bieber, F Boniol, Y Bouchebaba, J Brunel, C Pagetti, O Poitou, ...
82018
A formal treatment of agents, goals and operations using alternating-time temporal logic
C Chareton, J Brunel, D Chemouil
Brazilian Symposium on Formal Methods, 188-203, 2011
72011
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
62009
‘What I fail to do today, I have to do tomorrow’: a logical study of the propagation of obligations
J Broersen, J Brunel
International Workshop on Computational Logic in Multi-Agent Systems, 82-99, 2007
62007
Proposition of an action layer for electrum
J Brunel, D Chemouil, A Cunha, T Hujsa, N Macedo, J Tawa
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
52018
Vers une sémantique des jeux pour un langage d'ingénierie des exigences par buts et agents
C Chareton, J Brunel, D Chemouil
52012
Towards a categorical framework to ensure correct software evolutions
S Bouveret, J Brunel, D Chemouil, F Dagnat
2011 IEEE 27th International Conference on Data Engineering Workshops, 139-144, 2011
52011
The system can't perform the operation now. Try again later.
Articles 1–20