Ayoub Nouri
发表
Rance DeLong,
Marius Bozga,
Dorien Koelemeijer,
2018,
MILS@DSN.
Cyrille Jégourel,
Axel Legay,
Benoît Delahaye,
2012,
International Journal on Software Tools for Technology Transfer.
Saddek Bensalem,
Ayoub Nouri,
Iulia Dragomir,
2020,
VECoS.
Marius Bozga,
Saddek Bensalem,
Ayoub Nouri,
2017
.
Lefteris Angelis,
Panagiotis Katsaros,
Saddek Bensalem,
2017,
VECoS.
Cyrille Jégourel,
Axel Legay,
Benoît Delahaye,
2012,
ISoLA.
Ayoub Nouri,
2017
.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2016,
VECoS.
Anca Mariana Molnos,
Frédéric Heitzmann,
Olivier Debicki,
2016,
2016 International Symposium on Rapid System Prototyping (RSP).
Axel Legay,
Anca Mariana Molnos,
Marius Bozga,
2016,
ACM Trans. Embed. Comput. Syst..
Ayoub Nouri,
2016
.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018
.
Ayoub Nouri,
Ayoub Nouri,
2015
.
Lotfi Benmohamed,
Abdella Battou,
Saddek Bensalem,
2019,
ArXiv.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018,
ISoLA.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018,
Int. J. Crit. Comput. Based Syst..
Axel Legay,
Anca Mariana Molnos,
Marius Bozga,
2014,
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2014,
RV.
Lefteris Angelis,
Panagiotis Katsaros,
Saddek Bensalem,
2018,
Innovations in Systems and Software Engineering.
Axel Legay,
Samarjit Chakraborty,
Deepak Gangadharan,
2013,
2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).
Lotfi Benmohamed,
Abdella Battou,
Saddek Bensalem,
2019,
ATVA.
Marius Bozga,
Saddek Bensalem,
Ayoub Nouri,
2017,
NFM.
Axel Legay,
Doron A. Peled,
Saddek Bensalem,
2013,
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Saddek Bensalem,
Ayoub Nouri,
Iulia Dragomir,
2018
.
Axel Legay,
Samarjit Chakraborty,
Deepak Gangadharan,
2012
.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018,
ATVA.