Research Activities: Fault tolerant distributed algorithms AND Formal Methods, Design of Self-Stabilizing Distributed Algorithms, Validation of Self-�...
Ma�tre de Conf�rences, Grenoble INP / Verimag - Cit�(e) 1 346 fois - m�thodes formelles - syst�mes distribu�s
Karine Altisen
Author
Karine Altisen is an associate professor at Grenoble-INP/Ensimag (France). She has been a member of the VERIMAG Laboratory since 1998 and obtained a Ph.D. in 2001. Her current research area combines formal methods and distributed computing. ... Google Books
Research interests: M�thodes Formelles and Syst�mes Distribu�s
Jun 19, 2024 � List of computer science publications by Karine Altisen.
Karine ALTISEN | Cited by 1000 | of �cole Nationale Sup�rieure d'Informatique et de Math�matiques, Grenoble (ENSIMAG INP Grenoble) | Read 87 publications�...
Distributed algorithms Distributed systems organizing principles Embedded and cyber-physical systems Formal languages and automata theory Graph algorithms�...
Articles by this author � DACRAW � Decision Procedure for Equivalence Relations � Karine Altisen � Karine Altisen's Publications � Models of Distributed Algorithms.
Karine ALTISEN. Postdoc: December 2001 to November 2002. Synth�se de contr�leurs discrets et syst�mes temps-r�el. Discrete controller synthesis and real-time�...
Compra en l�nea entre una gran selecci�n en la tienda de Libros.
Karine Altisen. Mail: Karine.Altisen@imag.fr. Laboratory: LIG. Name: Stephane Devismes. Mail: Stephane.Devismes@imag.fr. Laboratory: LIG. Name: Franck Rousseau.