Joëlle Cohen

According to our database, Joëlle Cohen authored at least 6 papers between 1993 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Security policies enforcement using finite and pushdown edit automata.

Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte

Int. J. Inf. Sec., 2013

2008

Security Policies Enforcement Using Finite Edit Automata.

Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

Stability of Real-Time Abstract State Machines under Desynchronization.

Joëlle Cohen, Anatol Slissenko

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2005

On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays.

Anatol Slissenko, Joëlle Cohen

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2000

On Verification of Refinements of Timed Distributed Algorithms.

Joëlle Cohen, Anatol Slissenko

Proceedings of the Abstract State Machines, 2000

1993

On the Expressive Power of Temporal Logic.

Joëlle Cohen, Dominique Perrin, Jean-Eric Pin

J. Comput. Syst. Sci., 1993