K. Altisen
发表
S. Tripakis,
K. Altisen,
2002
.
F. Maraninchi,
K. Altisen,
D. Stauch,
2005
.
Joseph Sifakis,
Gregor Gößler,
Karine Altisen,
2000,
FTRTFT.
K. Altisen,
M. Moy,
2011,
WCTT '11.
K. Altisen,
F. Petit,
Stéphane Devismes,
2017
.
Franck Petit,
Stéphane Devismes,
Karine Altisen,
2019,
J. Parallel Distributed Comput..
K. Altisen,
Stéphane Devismes,
P. Lafourcade,
2016,
Wireless Networks.
Franck Petit,
Stéphane Devismes,
Karine Altisen,
2019,
Introduction to Distributed Self-Stabilizing Algorithms.
Florence Maraninchi,
Karine Altisen,
David Stauch,
2006,
Sci. Comput. Program..
Florence Maraninchi,
Karine Altisen,
David Stauch,
2006
.
Stéphane Devismes,
Pascal Lafourcade,
Karine Altisen,
2014,
Discret. Appl. Math..
Stavros Tripakis,
Karine Altisen,
S. Tripakis,
1999,
World Congress on Formal Methods.
Pascal Lafourcade,
Karine Altisen,
K. Altisen,
2011
.
Matthieu Moy,
Karine Altisen,
K. Altisen,
2010,
2010 22nd Euromicro Conference on Real-Time Systems.
Matthieu Moy,
Karine Altisen,
K. Altisen,
2009
.
Joseph Sifakis,
Gregor Gößler,
Karine Altisen,
2002,
Real-Time Systems.
Stéphane Devismes,
Pierre Corbineau,
Karine Altisen,
2020,
ICDCN.
Stéphane Devismes,
Pierre Corbineau,
Karine Altisen,
2016,
Log. Methods Comput. Sci..
Stavros Tripakis,
Karine Altisen,
S. Tripakis,
2005,
FORMATS.
Joseph Sifakis,
Amir Pnueli,
Stavros Tripakis,
1999,
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).
Éric Rutten,
Florence Maraninchi,
Karine Altisen,
2003,
ESOP.
Matthieu Moy,
Karine Altisen,
K. Altisen,
2016,
Formal Methods Syst. Des..
K. Altisen,
M. Moy,
2016,
Formal Methods in System Design.
K. Altisen,
M. Moy,
2011,
WCTT '11.
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
pdf
Yanhong Liu,
Matthieu Moy,
Karine Altisen,
2010,
QAPL.
Matthieu Moy,
Karine Altisen,
K. Altisen,
2010,
TACAS.
Matthieu Moy,
Karine Altisen,
Yanhong A. Liu,
2009
.
Stéphane Devismes,
Karine Altisen,
K. Altisen,
2014,
Theor. Comput. Sci..
Franck Petit,
Stéphane Devismes,
Colette Johnen,
2020,
PODC.
Franck Petit,
Stéphane Devismes,
Colette Johnen,
2019,
ICDCN.
Erwan Jahier,
Karine Altisen,
Stéphane Devismes,
2020,
TAP@STAF.
Stéphane Devismes,
Karine Altisen,
Anaïs Durand,
2015,
J. Parallel Distributed Comput..
Franck Petit,
Stéphane Devismes,
Karine Altisen,
2014,
Inf. Comput..
K. Altisen,
F. Petit,
Stéphane Devismes,
2017
.
Stéphane Devismes,
Pascal Lafourcade,
Karine Altisen,
2013,
Wireless Networks.