2009 |
6 | EE | Julien Brunel,
Damien Doligez,
René Rydhof Hansen,
Julia L. Lawall,
Gilles Muller:
A foundation for flow-based program matching: using temporal logic and model checking.
POPL 2009: 114-126 |
5 | EE | Philippe Balbiani,
Jan Broersen,
Julien Brunel:
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations.
Electr. Notes Theor. Comput. Sci. 231: 69-89 (2009) |
2007 |
4 | EE | Jan Broersen,
Julien Brunel:
Preservation of obligations in a temporal and deontic framework.
AAMAS 2007: 177 |
3 | EE | Jan Broersen,
Julien Brunel:
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations.
CLIMA VIII 2007: 82-99 |
2 | EE | Julien Brunel,
Frédéric Cuppens,
Nora Cuppens-Boulahia,
Thierry Sans,
Jean-Paul Bodeveix:
Security policy compliance with violation management.
FMSE 2007: 31-40 |
2006 |
1 | EE | Julien Brunel,
Jean-Paul Bodeveix,
Mamoun Filali:
A State/Event Temporal Deontic Logic.
DEON 2006: 85-100 |