Sergiy Boroday

发表

Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, 2010, ICTSS.
Nadine Mandran, Alexandre Petrenko, Sergiy Boroday, 2011, Automated Software Engineering.
May Haydar, Alexandre Petrenko, Houari A. Sahraoui, 2005, ASE.
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.
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 .
Alexandre Petrenko, Sergiy Boroday, Roland Groz, 1999, FORTE.
Alexandre Petrenko, Sergiy Boroday, Volkmar Lotz, 2007, The International Conference on Emerging Security Information, Systems, and Technologies (SECUREWARE 2007).
Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2006, Formal Aspects of Computing.
May Haydar, Alexandre Petrenko, Houari Sahraoui, 2008 .
Alexandre Petrenko, Hesham Hallal, Sergiy Boroday, 2005, ACM SIGSOFT Softw. Eng. Notes.
Alexandre Petrenko, Andreas Ulrich, Sergiy Boroday, 2001 .
Alexandre Petrenko, Sergiy Boroday, Roland Groz, 2007, MBT.
Alexandre Petrenko, Sergiy Boroday, Roland Groz, 2004, IEEE Transactions on Software Engineering.
Alexandre Petrenko, Sergiy Boroday, Yves Ledru, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
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.
Alexandre Petrenko, El Hachemi Alikacem, Hesham Hallal, 2004, Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings..
May Haydar, Alexandre Petrenko, Houari A. Sahraoui, 2013, Inf. Softw. Technol..
Alexandre Petrenko, Andreas Ulrich, Hesham Hallal, 2003, TestCom.