Yasmina Abdeddaïm
发表
Yasmina Abdeddaïm,
Damien Masson,
D. Masson,
2012,
RTNS '12.
Mihaela Sighireanu,
Eugene Asarin,
Yasmina Abdeddaïm,
2009,
2009 16th International Symposium on Temporal Representation and Reasoning.
Oded Maler,
Yasmina Abdeddaïm,
2002,
TACAS.
Rédha Hamouche,
Rémy Kocik,
Yasmina Abdeddaïm,
2011
.
Charles Lesire,
Mihaela Sighireanu,
Eugene Asarin,
2007
.
Joël Goossens,
Yasmina Abdeddaïm,
Laurent George,
2013
.
Yasmina Abdeddaïm,
Damien Masson,
Younès Chandarli,
2012,
2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
Robert I. Davis,
Yasmina Abdeddaïm,
Damien Masson,
2016,
Real-Time Systems.
Yasmina Abdeddaïm,
Damien Masson,
Younès Chandarli,
2013,
2013 25th Euromicro Conference on Real-Time Systems.
Yasmina Abdeddaïm,
Damien Masson,
D. Masson,
2011
.
Yasmina Abdeddaïm,
2002
.
Oded Maler,
Yasmina Abdeddaïm,
O. Maler,
2001,
CAV.
Robert I. Davis,
Yasmina Abdeddaïm,
Damien Masson,
2014,
RTNS.
Eugene Asarin,
Oded Maler,
Yasmina Abdeddaïm,
2003,
TACAS.
Yasmina Abdeddaïm,
Dorin Maxim,
2017,
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.
Eugene Asarin,
Oded Maler,
Yasmina Abdeddaïm,
2006,
Theor. Comput. Sci..
Yasmina Abdeddaïm,
Damien Masson,
Younès Chandarli,
2013
.
Yasmina Abdeddaïm,
Damien Masson,
Younès Chandarli,
2014
.
Yasmina Abdeddaïm,
2020,
VECoS.
Yasmina Abdeddaïm,
Damien Masson,
D. Masson,
2012,
2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
Oded Maler,
Yasmina Abdeddaïm,
Abdelkarim Kerbaa,
2003,
Proceedings International Parallel and Distributed Processing Symposium.
Liliana Cucu-Grosjean,
George Lima,
Yasmina Abdeddaïm,
2021,
2021 XI Brazilian Symposium on Computing Systems Engineering (SBESC).
Yasmina Abdeddaïm,
Damien Masson,
D. Masson,
2011
.
Robert I. Davis,
Yasmina Abdeddaïm,
Younès Chandarli,
2014
.