Search the dblp DataBase

Publications of Author

1. Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
   A State/Event Temporal Deontic Logic. [Citation Graph (0, 0)][DBLP]
   DEON, 2006, pp:85-100 [Conf]
   
2. 
   Preservation of obligations in a temporal and deontic framework. [Citation Graph (, )][DBLP]
   
   
3. 
   Security policy compliance with violation management. [Citation Graph (, )][DBLP]
   
   
4. 
   'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. [Citation Graph (, )][DBLP]
   
   
5. 
   WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. [Citation Graph (, )][DBLP]
   
   
6. 
   A foundation for flow-based program matching: using temporal logic and model checking. [Citation Graph (, )][DBLP]
   
   
7. 
   Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. [Citation Graph (, )][DBLP]