Joëlle Cohen

	2009
5		Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte: Security Policies Enforcement Using Finite Edit Automata. Electr. Notes Theor. Comput. Sci. 229(3): 19-35 (2009)
	2008
4		Joëlle Cohen, Anatol Slissenko: Stability of Real-Time Abstract State Machines under Desynchronization. ABZ 2008: 341
	2005
3		Anatol Slissenko, Joëlle Cohen: On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays. Abstract State Machines 2005: 387-396
	2000
2		Joëlle Cohen, Anatol Slissenko: On Verification of Refinements of Timed Distributed Algorithms. Abstract State Machines 2000: 34-49
	1993
1		Joëlle Cohen, Dominique Perrin, Jean-Eric Pin: On the Expressive Power of Temporal Logic. J. Comput. Syst. Sci. 46(3): 271-294 (1993)

Coauthor Index

1	Danièle Beauquier	[5]
2	Ruggero Lanotte	[5]
3	Dominique Perrin	[1]
4	Jean-Eric Pin	[1]
5	Anatol Slissenko	[2] [3] [4]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page