Joëlle Cohen

Publication Activity (10 Years)

Years Active: 1993-2013
Publications (10 Years): 0

Top Topics

Xml Access Control

Regular Expressions

Security Policies

Finite Automata

Top Venues

Int. J. Inf. Sec.

Publications

Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte
Security policies enforcement using finite and pushdown edit automata. Int. J. Inf. Sec. 12 (4) (2013)
Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte
Security Policies Enforcement Using Finite Edit Automata. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Joëlle Cohen, Anatol Slissenko
Stability of Real-Time Abstract State Machines under Desynchronization. ABZ (2008)
Anatol Slissenko, Joëlle Cohen
On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays. Abstract State Machines (2005)
Joëlle Cohen, Anatol Slissenko
On Verification of Refinements of Timed Distributed Algorithms. Abstract State Machines (2000)
Joëlle Cohen, Dominique Perrin, Jean-Eric Pin
On the Expressive Power of Temporal Logic. J. Comput. Syst. Sci. 46 (3) (1993)