Alexandre Petrenko

发表

May Haydar, Alexandre Petrenko, Houari A. Sahraoui, 2004, FORTE.
Alexandre Petrenko, Victor V. Kuliamin, Nick V. Pakoulin, 2005, ISAS.
Alexandre Petrenko, Andreas Ulrich, 2000, TestCom.
Alexandre Petrenko, Christophe Gaston, Pascale Le Gall, 2016, Electron. Notes Theor. Comput. Sci..
Alexandre Petrenko, Hesham Hallal, Arnaud Dury, 2009, 2009 IEEE International Conference on Web Services.
Keqin Li, Alexandre Petrenko, Roland Groz, 2008, TestCom/FATES.
Alexandre Petrenko, Gregor von Bochmann, Q. M. Tan, 1995, PSTV.
Alexandre Petrenko, Gregor von Bochmann, O. Bellal, 1997, SDL Forum.
Alexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko, 2009, CSEDU.
Alexandre Petrenko, Hesham Hallal, Arnaud Dury, 2009, 2009 Congress on Services - I.
Alexandre Petrenko, Gregor von Bochmann, Mingyu Yao, 1995 .
Nina Yevtushenko, Alexandre Petrenko, Rachida Dssouli, 1995 .
Nadine Mandran, Alexandre Petrenko, Sergiy Boroday, 2011, Automated Software Engineering.
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh, 2016, FORTE.
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh, 2017, ICTSS.
May Haydar, Alexandre Petrenko, Houari A. Sahraoui, 2005, ASE.
Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado, 2009, IET Softw..
Alexandre Petrenko, Jiale Huo, 2005, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05).
Alexandre Petrenko, Roland Groz, Adenilso da Silva Simão, 2015, ICTSS.
Alexandre Petrenko, Adenilso da Silva Simão, 2010, Comput. J..
Alexandre Petrenko, José Carlos Maldonado, Adenilso Simao, 2007, SBES.
Nina Yevtushenko, Alexandre Petrenko, A. Petrenko, 2014, 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering.
Nina Yevtushenko, Alexandre Petrenko, 2005, FATES.
Alexandre Petrenko, 2006, Ershov Memorial Conference.
Alexandre Petrenko, Andreas Ulrich, Sergiy Boroday, 2009, TestCom/FATES.
Alexandre Petrenko, Sergiy Boroday, Andreas Ulrich, 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2008, Discret. Event Dyn. Syst..
Alexandre Petrenko, Roland Groz, Adenilso da Silva Simão, 2018, Machine Learning for Dynamic Software Analysis.
Nina Yevtushenko, Alexandre Petrenko, Gregor von Bochmann, 1996, FORTE.
Alexandre Petrenko, Margus Veanes, Jan Tretmans, 2007, Lecture Notes in Computer Science.
Nina Yevtushenko, Alexandre Petrenko, Khaled El-Fakih, 2006, TestCom.
Alexandre Petrenko, Michael D. Ernst, Shay Artzi, 2006 .
Alexandre Petrenko, S. V. Zelenov, A. V. Khoroshilov, 2014 .
Alexandre Petrenko, S. Ramesh, Swarup Mohalik, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Alexandre Petrenko, Jiale Huo, 2004, TestCom.
Alexandre Petrenko, Adenilso da Silva Simão, A. Petrenko, 2014, MBT.
Alexandre Petrenko, Victor V. Kuliamin, Alexey V. Khoroshilov, 2006, Ershov Memorial Conference.
Alexandre Petrenko, Yves-Marie Quemener, Sergiy Boroday, 2002, SAM.
Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2003, ISTA.
Alexandre Petrenko, Sergiy Boroday, Hesham H. Hallal, 2004 .
Nina Yevtushenko, Alexandre Petrenko, Adenilso da Silva Simão, 2012, Softw. Test. Verification Reliab..
Alexandre Petrenko, A. Petrenko, 2016, 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Keqin Li, Alexandre Petrenko, Roland Groz, 2015, Ann. des Télécommunications.
May Haydar, Alexandre Petrenko, Houari A. Sahraoui, 2008, 2008 Eighth International Conference on Web Engineering.
Alexandre Petrenko, Sergiy Boroday, Roland Groz, 1999, FORTE.
Alexandre Petrenko, N. V. Evtushenko, 1991 .
Nina Yevtushenko, Alexandre Petrenko, I. Koufareva, 1999, IWTCS.
Alexandre Petrenko, Sergiy Boroday, Volkmar Lotz, 2007, The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007).
May Haydar, Alexandre Petrenko, Houari Sahraoui, 2010, 2010 International Conference on Machine and Web Intelligence.
Alexandre Petrenko, Alexey V. Khoroshilov, Vadim S. Mutilin, 2009, Ershov Memorial Conference.
Alexandre Petrenko, Omer Nguena Timo, S. Ramesh, 2019, Software Quality Journal.
Alexandre Petrenko, Victor V. Kuliamin, Nick V. Pakoulin, 2003, Ershov Memorial Conference.
Alexandre Petrenko, Arnaud Dury, Omer Nguena-Timo, 2014, Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014).
Nina Yevtushenko, Alexandre Petrenko, 1998, IFIP — The International Federation for Information Processing.
Nina Yevtushenko, Alexandre Petrenko, A. Petrenko, 2005, IEEE Transactions on Computers.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2015, Proceedings of the IEEE.
Alexandre Petrenko, Alexey V. Khoroshilov, Alexander Ugnenko, 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Alexandre Petrenko, Florent Avellaneda, 2018, ICTSS.
Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2006, Formal Aspects of Computing.
Nina Yevtushenko, Alexandre Petrenko, Adenilso da Silva Simão, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
May Haydar, Alexandre Petrenko, Houari Sahraoui, 2008 .
Alexandre Petrenko, A. Petrenko, 2001 .
Nina Yevtushenko, Alexandre Petrenko, Jiale Huo, 2003, TestCom.
Alexandre Petrenko, José Carlos Maldonado, Adenilso Simao, 2010 .
Alexandre Petrenko, Alfio Lombardo, Sergio Palazzo, 1986, International Conference on Innovative Computing and Cloud Computing.
Alexandre Petrenko, Hesham Hallal, Sergiy Boroday, 2005, ACM SIGSOFT Softw. Eng. Notes.
Alexandre Petrenko, Hartmut König, Rachida Dssouli, 1993, Protocol Test Systems.
Alexandre Petrenko, R. Negulescu, H. Hallal, 2000, ICECS 2000. 7th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.00EX445).
Alexandre Petrenko, Q. M. Tan, A. Petrenko, 1998, IWTCS.
Alexandre Petrenko, Gregor von Bochmann, Gang Luo, 1994, IEEE Trans. Software Eng..
Alexandre Petrenko, Florent Avellaneda, 2019, SEFM.
Nina Yevtushenko, Alexandre Petrenko, Adenilso da Silva Simão, 2009, TestCom/FATES.
Alexandre Petrenko, Gregor von Bochmann, G. Bochmann, 1994, ISSTA '94.
Alexandre Petrenko, Gregor von Bochmann, Q. M. Tan, 1997 .
Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao, 1996, Comput. Networks ISDN Syst..
Alexandre Petrenko, Margus Veanes, Jan Tretmans, 2007 .
Alexandre Petrenko, Florent Avellaneda, 2018, FM.
Alexandre Petrenko, Sergiy Boroday, Roland Groz, 2007, MBT.
Alexandre Petrenko, Jiale Huo, 2009, Softw. Test. Verification Reliab..
Alexandre Petrenko, Adenilso da Silva Simão, A. Petrenko, 2015, Comput. J..
Alexandre Petrenko, S. Ramesh, Arnaud Dury, 2015, 10th IEEE International Symposium on Industrial Embedded Systems (SIES).
Alexandre Petrenko, Florent Avellaneda, 2018, ICGI.
Alexandre Petrenko, Roland Groz, Florent Avellaneda, 2018, Software Quality Journal.
Alexandre Petrenko, Adenilso da Silva Simão, A. Petrenko, 2010, IEEE Transactions on Computers.
Alexandre Petrenko, Sergiy Boroday, Roland Groz, 2004, IEEE Transactions on Software Engineering.
Alexandre Petrenko, 1991, Protocol Test Systems.
Alexandre Petrenko, Jiale Huo, 2009 .
Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh, 2016, ICTSS.
Alexandre Petrenko, Margus Veanes, Colin Campbell, 2005, TestCom.
Alexandre Petrenko, Adenilso da Silva Simão, A. Petrenko, 2015, ICTSS.
Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado, 2012, International Journal on Software Tools for Technology Transfer.
Alexandre Petrenko, Igor B. Bourdonov, Alexander S. Kossatchev, 1999, World Congress on Formal Methods.
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh, 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).
Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao, 1993, PSTV.
Alexandre Petrenko, Sergiy Boroday, Yves Ledru, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
Nina Yevtushenko, Alexandre Petrenko, A. Petrenko, 2011, ICTSS.
Alexandre Petrenko, Andreas Ulrich, Sergiy Boroday, 2008, Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08).
Alexandre Petrenko, Yves-Marie Quemener, Sergiy Boroday, 2002, TestCom.
Nina Yevtushenko, Alexandre Petrenko, 2000, FORTE.
Alexandre Petrenko, Gregor von Bochmann, Q. M. Tan, 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.
Alexandre Petrenko, Gregor von Bochmann, Mingyu Yao, 1994, Proceedings of INFOCOM '94 Conference on Computer Communications.
Alexandre Petrenko, Adenilso da Silva Simão, 2017, ICTSS.
Keqin Li, Alexandre Petrenko, Roland Groz, 2014, 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering.
Nina Yevtushenko, Alexandre Petrenko, A. Petrenko, 1998, FORTE.
Alexandre Petrenko, 2017, Software & Systems Modeling.
Alexandre Petrenko, El Hachemi Alikacem, Hesham Hallal, 2004, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings..
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh, 2018, ICTAC.
May Haydar, Alexandre Petrenko, Houari A. Sahraoui, 2013, Inf. Softw. Technol..
Alexandre Petrenko, Adenilso da Silva Simão, 2011, Inf. Softw. Technol..
Alexandre Petrenko, Adenilso da Silva Simão, A. Petrenko, 2008, TestCom/FATES.
Alexandre Petrenko, Andreas Ulrich, V. Chapenko, 1998, IWTCS.
Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2003, TestCom.
Alexandre Petrenko, Roland Groz, Florent Avellaneda, 2017, ICTSS.
Alexandre Petrenko, Andreas Ulrich, 2003, Lecture Notes in Computer Science.
Alexandre Petrenko, Adenilso da Silva Simão, 2009, 2009 International Conference on Software Testing, Verification, and Validation Workshops.
Nina Yevtushenko, Alexandre Petrenko, Gregor von Bochmann, 1996, Comput. Commun..
Nina Yevtushenko, Alexandre Petrenko, Anindya Das, 1993, Protocol Test Systems.
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2014 .
Tiziano Villa, Robert K. Brayton, Nina Yevtushenko, 2012 .