| 2016 | ANT | Counter-Measures against Stack Buffer Overflows in GNU/Linux Operating Systems. | Erick Leon, Stefan D. Bruda |
| 2014 | ICSoft | Toward Preventing Stack Overflow Using Kernel Properties. | Benjamin Teissier, Stefan D. Bruda |
| 2013 | ISPDC | Not Seeing the Parse Trees from the Parse Forest of a Context-Free Parallel Communicating Grammar System. | Stefan D. Bruda, Mary Sarah Ruth Wilkin |
| 2012 | ICSoft | A Distributed Architecture for Remote Service Discovery in Pervasive Computing. | Farzad Salehi, Stefan D. Bruda, Yasir Malik, Bessam Abdulrazak |
| 2011 | ICSoft | Unrestricted and Disjoint Operations over Multi-stack Visibly Pushdown Languages. | Stefan D. Bruda, Tawhid Bin Waez |
| 2010 | ICSoft | Model Checking is Refinement - From Computation Tree Logic to Failure Trace Testing. | Stefan D. Bruda, Zhiyu Zhang |
| 2008 | ISPDC | The Shared Memory Hierarchy: The PRAM is as Powerful as the BSR. | Stefan D. Bruda, Yuanqiao Zhang |
| 2006 | ISPDC | Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report. | Stefan D. Bruda, Petter Haggholm, Scott Stoddard |
| 2001 | SPAA | Pursuit and evasion on a ring: An infinite hierarchy for parallel real--time systems. | Stefan D. Bruda, Selim G. Akl |
| 2001 | SIROCCO | Parallel Real-Time Complexity A Strong Infinite Hierarchy. | Stefan D. Bruda, Selim G. Akl |
| 2000 | CATA | Towards a meaningful formal definition of real-time computations. | Stefan D. Bruda, Selim G. Akl |
| 2000 | PDPTA | Parallel Real-Time Cryptography: Beyond Speedup II. | Selim G. Akl, Stefan D. Bruda |
| 2000 | PDPTA | On the Necessity of Formal Models for Real-Time Parallel Computations. | Stefan D. Bruda, Selim G. Akl |