| Antipattern-based detection of deficiencies in Java multithreaded software HH Hallal, E Alikacem, WP Tunney, S Boroday, A Petrenko Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004 | 44 | 2004 |
| Antipattern detection processing for a multithreaded application EH Alikacem, S Boroday, H Hallal, A Petrenko, WP Tunney US Patent 7,818,723, 2010 | 42 | 2010 |
| Dynamic analysis of java applications for multithreaded antipatterns S Boroday, A Petrenko, J Singh, H Hallal Proceedings of the third international workshop on Dynamic analysis, 1-7, 2005 | 31 | 2005 |
| A formal approach to property testing in causally consistent distributed traces HH Hallal, S Boroday, A Petrenko, A Ulrich Formal Aspects of Computing 18, 63-83, 2006 | 22 | 2006 |
| An automata-based approach to property testing in event traces H Hallal, S Boroday, A Ulrich, A Petrenko Testing of Communicating Systems: 15th IFIP International Conference …, 2003 | 22 | 2003 |
| Using SDL tools to test properties of distributed systems H Hallal, A Petrenko, A Ulrich, S Boroday Formal Approaches to Testing of Software, 125, 2001 | 22 | 2001 |
| Verifying trustworthiness requirements in distributed systems with formal log-file analysis A Ulrich, H Hallal, A Petrenko, S Boroday 36th Annual Hawaii International Conference on System Sciences, 2003 …, 2003 | 19 | 2003 |
| Verifying trustworthiness requirements in distributed systems with formal log-file analysis A Ulrich, H Hallal, A Petrenko, S Boroday 36th Annual Hawaii International Conference on System Sciences, 2003 …, 2003 | 19 | 2003 |
| Design of divergence-free protocol converters using supervisory control techniques H Hallal, R Negulescu, A Petrenko ICECS 2000. 7th IEEE International Conference on Electronics, Circuits and …, 2000 | 13 | 2000 |
| From scenarios to test implementations via Promela A Ulrich, EH Alikacem, HH Hallal, S Boroday Testing Software and Systems: 22nd IFIP WG 6.1 International Conference …, 2010 | 8 | 2010 |
| Experiments in modeling integrated circuit blocks by UML H Hallal, K Xiao-Hua, R Negulescu International Workshop on IP Based Synthesis and System Design 99, 1999 | 8 | 1999 |
| Inferring behavioural models from traces of business applications A Dury, HH Hallal, A Petrenko 2009 IEEE International Conference on Web Services, 791-798, 2009 | 7 | 2009 |
| Improving student experience using automated toolset of academic services HH Hallal, F Aloul, S Alawnah, P Kolli, A Alnabulsi Proceedings of the 2020 6th International Conference on Computer and …, 2020 | 5 | 2020 |
| DES Based Educational Encryption System C Riman, HH Hallal Proceedings of the International Conference on Security and Management (SAM), 1, 2013 | 5 | 2013 |
| Formal modeling of communication traces S Boroday, H Hallal, A Petrenko, A Ulrich Gesellschaft für Informatik eV, 2003 | 4 | 2003 |
| GSM-based Embedded Water Meter System HH Hallal, M Haidar, T Barake, S AlKhaldi, M AlOrayfij, A AlBalawi, ... Proceedings of the International Conference on Embedded Systems, Cyber …, 2011 | 2 | 2011 |
| Web-FIM: Automated Framework for the Inference of Business Software Models HH Hallal, A Dury, A Petrenko 2009 Congress on Services-I, 130-138, 2009 | 2 | 2009 |
| Towards a UML profile for trace analysis of distributed systems H Hallal, A Petrenko, S Boroday, A Ulrich Telelogic User Group Conference-North America, Los Angeles, California, 2005 | 1 | 2005 |
| A Model checking approach to network fault management H Hallal, A Petrenko, S Boroday, A Ulrich Proceedings of the 8th Wolrd Multi-Conference on Systemics, Cybernetics, and …, 2004 | 1 | 2004 |
| Patterns at work: predefined property specifications for the analysis of distributed systems H Hallal, A Petrenko, S Boroday, A Ulrich Telelogic User Group Conference-North America, Miami, Florida, 2004 | 1 | 2004 |
Alexandre PetrenkoCRIMVerified email at crim.ca
