Ahmed Rezine
发表
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2015,
CAV.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2017,
PLDI.
Petru Eles,
Zebo Peng,
Ahmed Rezine,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Parosh Aziz Abdulla,
Bengt Jonsson,
Lukás Holík,
2017,
International Journal on Software Tools for Technology Transfer.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2007,
CAV.
Parosh Aziz Abdulla,
Ahmed Rezine,
Ahmed Bouajjani,
2008,
CAV.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Rezine,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
2006,
J. Log. Algebraic Methods Program..
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2011,
Int. J. Found. Comput. Sci..
Ahmed Rezine,
Ahmed Rezine,
2012,
ArXiv.
Mohamed Faouzi Atig,
Ahmed Rezine,
2012,
Infinity.
Andreas Zeller,
Ahmed Rezine,
Sudipta Chattopadhyay,
2019,
ACM Trans. Embed. Comput. Syst..
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2012,
SAS.
Ying Zhang,
Petru Eles,
Huawei Li,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2009,
RP.
Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
2005,
TACAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2007
.
Parosh Aziz Abdulla,
Ahmed Rezine,
Ahmed Bouajjani,
2008,
Beyond the Finite: New Challenges in Verification and Semistructured Data.
Petru Eles,
Zebo Peng,
Ahmed Rezine,
2016,
VMCAI.
Andreas Zeller,
Ahmed Rezine,
Sudipta Chattopadhyay,
2017,
MEMOCODE.
Andreas Zeller,
Ahmed Rezine,
Sudipta Chattopadhyay,
2016,
ArXiv.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2012,
TACAS.
Ahmed Rezine,
2007
.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2013,
TACAS.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2008,
VMCAI.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2008,
FORTE.
Constantin Enea,
Ahmed Rezine,
Ahmed Bouajjani,
2010,
CAV.
Parosh Aziz Abdulla,
Bengt Jonsson,
Ahmed Rezine,
2006,
CONCUR.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2007,
TACAS.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2009,
Formal Methods Syst. Des..
Mohamed Faouzi Atig,
Ahmed Rezine,
2013
.
Yu-Fang Chen,
Ahmed Rezine,
2010
.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2008,
ICTAC.
Giorgio Delzanno,
Ahmed Rezine,
G. Delzanno,
2012,
International Journal on Software Tools for Technology Transfer.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2009,
Int. J. Found. Comput. Sci..
Ahmed Rezine,
Lisa Kaati,
Ala Berzinji,
2012,
2012 European Intelligence and Security Informatics Conference.
Ahmed Rezine,
Unmesh D. Bordoloi,
2012
.
Petru Eles,
Zebo Peng,
Ahmed Rezine,
2016,
International Journal on Software Tools for Technology Transfer.
Petru Eles,
Zebo Peng,
Ahmed Rezine,
2015,
VMCAI.
Petru Eles,
Zebo Peng,
Amir Aminifar,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Parosh Aziz Abdulla,
Sandhya Dwarkadas,
Ahmed Rezine,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Ahmed Rezine,
2010
.
Petru Eles,
Zebo Peng,
Ahmed Rezine,
2020,
NETYS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2011
.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2014,
CAV.
Petru Eles,
Ludovic Henrio,
Zebo Peng,
2018,
TACAS.
Ahmed Rezine,
Yu-Fang Chen,
2010
.
Ahmed Rezine,
Ahmed Rezine,
2008
.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2009,
FMOODS/FORTE.
Ying Zhang,
Petru Eles,
Zebo Peng,
2012,
2012 IEEE 21st Asian Test Symposium.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2008,
RP.
Pierre Ganty,
Ahmed Rezine,
Ahmed Rezine,
2014,
LATA.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Yu-Fang Chen,
2010,
CONCUR.
Ahmed Rezine,
2011
.
Parosh Aziz Abdulla,
Bengt Jonsson,
Lukás Holík,
2013,
TACAS.
Petru Eles,
Zebo Peng,
Amir Aminifar,
2020
.
Parosh Aziz Abdulla,
Bengt Jonsson,
Ahmed Rezine,
2021,
Int. J. Softw. Tools Technol. Transf..