Julien Brunel
Citado por
Citado por
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
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
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
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
A state/event temporal deontic logic
J Brunel, JP Bodeveix, M Filali
Deontic Logic and Artificial Normative Systems: 8th International Workshop …, 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
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
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
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
Modeling Cache Coherence to Expose
N Sensfelder, J Brunel, C Pagetti
ECRTS 2019, 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
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
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
Towards an updatable strategy logic
C Chareton, J Brunel, D Chemouil
arXiv preprint arXiv:1303.0795, 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
A logic with revocable and refinable strategies
C Chareton, J Brunel, D Chemouil
Information and Computation 242, 157-182, 2015
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
Simulation under arbitrary temporal logic constraints
J Brunel, D Chemouil, A Cunha, N Macedo
arXiv preprint arXiv:1912.10634, 2019
Analyzing the fundamental liveness property of the chord protocol
J Brunel, D Chemouil, J Tawa
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
On finite domains in first-order linear temporal logic
D Kuperberg, J Brunel, D Chemouil
International Symposium on Automated Technology for Verification and …, 2016
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20