Concepedia

Joëlle Cohen

JC

3

Publications

117

Citations

3

H-Index

1993

Active since

Affiliations

University of Insubria(Current)

Joëlle Cohen is an author at University of Insubria specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSecurityData SecurityInformation SecurityVerificationAutomated ReasoningSystems Engineering

Publications per year

1993–2013

3

Publications

3

On the expressive power of temporal logic

Joëlle Cohen, Dominique Perrin, Jean-Éric Pin · Journal of Computer and System Sciences · 1993 · 89 citations · Full text

Engineering, Automated Reasoning, Dynamic Logic +5

Security Policies Enforcement Using Finite Edit Automata

Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte · Electronic Notes in Theoretical Computer Science · 2009 · 15 citations · Full text

Engineering, Information Security, Verification +16

Security policies enforcement using finite and pushdown edit automata

Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte · International Journal of Information Security · 2013 · 13 citations

Engineering, Information Security, Formal Methods +8

Rows per page

1–3 of 3