On the Expressive Power of Temporal Logic. - Joëlle Cohen; Dominique Perrin; Jean-Eric Pin (J. Comput. Syst. Sci., 1993)

On Verification of Refinements of Timed Distributed Algorithms. - Joëlle Cohen; Anatol Slissenko (Abstract State Machines, 2000)

On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays. - Anatol Slissenko; Joëlle Cohen (Abstract State Machines, 2005)

Stability of Real-Time Abstract State Machines under Desynchronization. - Joëlle Cohen; Anatol Slissenko (ABZ, 2008)

Security Policies Enforcement Using Finite Edit Automata. - Danièle Beauquier; Joëlle Cohen; Ruggero Lanotte (ICE@ICALP, 2008)

Security policies enforcement using finite and pushdown edit automata. - Danièle Beauquier; Joëlle Cohen; Ruggero Lanotte (Int. J. Inf. Sec., 2013)