On the Computational Complexity of Context-Free Parallel Communicating Grammar Systems. - Stefan D. Bruda (New Trends in Formal Languages, 1997)

Parallel Real-Time Optimization: Beyond Speedup. - Selim G. Akl; Stefan D. Bruda (Parallel Process. Lett., 1999)

Towards a meaningful formal definition of real-time computations. - Stefan D. Bruda; Selim G. Akl (CATA, 2000)

Parallel Real-Time Numerical Computation: Beyond Speedup III. - Selim G. Akl; Stefan D. Bruda (ITCC, 2000)

Parallel Real-Time Cryptography: Beyond Speedup II. - Selim G. Akl; Stefan D. Bruda (PDPTA, 2000)

The Characterization of Data-Accumulating Algorithms. - Stefan D. Bruda; Selim G. Akl (Theory Comput. Syst., 2000)

Real-Time Computation: A Formal Definition and its Applications. - Stefan D. Bruda; Selim G. Akl (IPDPS, 2001)

Parallel Real-Time Complexity A Strong Infinite Hierarchy. - Stefan D. Bruda; Selim G. Akl (SIROCCO, 2001)

Pursuit and evasion on a ring: An infinite hierarchy for parallel real–time systems. - Stefan D. Bruda; Selim G. Akl (SPAA, 2001)

A Case Study in Real-Time Parallel Computation: Correcting Algorithms. - Stefan D. Bruda; Selim G. Akl (J. Parallel Distributed Comput., 2001)

On the Necessity of Formal Models for Real-Time Parallel Computations. - Stefan D. Bruda; Selim G. Akl (Parallel Process. Lett., 2001)

Improving A Solution's Quality Through Parallel Processing. - Selim G. Akl; Stefan D. Bruda (J. Supercomput., 2001)

The Characterization of Parallel Real-Time Optimization Problems. - Stefan D. Bruda; Selim G. Akl (HPCS, 2002)

On the Relation between Parallel Real-time Computations and Logarithmic Space. - Stefan D. Bruda; Selim G. Akl (IASTED PDCS, 2002)

On limits on the computational power of data-accumulating algorithms. - Stefan D. Bruda; Selim G. Akl (Inf. Process. Lett., 2003)

Preorder Relations. - Stefan D. Bruda (Model-Based Testing of Reactive Systems, 2004)

Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report. - Stefan D. Bruda; Petter Haggholm; Scott Stoddard (ISPDC, 2006)

Combining Model Checking and Testing for Software Analysis. - Jianguo Chen; Hangxia Zhou; Stefan D. Bruda (CSSE (2), 2008)

Why shared memory matters to VLSI design: The BSR is as powerful as reconfiguration. - Stefan D. Bruda; Yuanqiao Zhang (IPDPS, 2008)

The Shared Memory Hierarchy: The PRAM is as Powerful as the BSR. - Stefan D. Bruda; Yuanqiao Zhang (ISPDC, 2008)

Relations Between Several Parallel Computational Models. - Stefan D. Bruda; Yuanqiao Zhang (Scalable Comput. Pract. Exp., 2009)

Model Checking is Refinement - From Computation Tree Logic to Failure Trace Testing. - Stefan D. Bruda; Zhiyu Zhang 005 (ICSOFT (2), 2010)

Collapsing the Hierarchy of Parallel Computational Models. - Stefan D. Bruda; Yuanqiao Zhang (Int. J. Found. Comput. Sci., 2010)

An Efficient Feedback-based Trust Model for Pervasive Computing. - Jianguo Chen; Stefan D. Bruda (J. Digit. Content Technol. its Appl., 2010)

Unrestricted and Disjoint Operations over Multi-stack Visibly Pushdown Languages. - Stefan D. Bruda; Tawhid Bin Waez (ICSOFT (2), 2011)

Sublinear Space Real-Time Turing Machines Cannot Count. - Stefan D. Bruda (ITNG, 2011)

A Distributed Architecture for Remote Service Discovery in Pervasive Computing. - Farzad Salehi; Stefan D. Bruda; Yasir Malik; Bessam Abdulrazak (ICSOFT, 2012)

A Peer-to-Peer Architecture for Remote Service Discovery. - Stefan D. Bruda; Farzad Salehi; Yasir Malik; Bessam Abdulrazak (ANT/MobiWIS, 2012)

Reliable communication protocol for inter-vehicular network. - Yasir Malik; Stefan D. Bruda; Bessam Abdulrazak; Usman Tariq (ICDIM, 2013)

Not Seeing the Parse Trees from the Parse Forest of a Context-Free Parallel Communicating Grammar System. - Stefan D. Bruda; Mary Sarah Ruth Wilkin (ISPDC, 2013)

Toward Preventing Stack Overflow Using Kernel Properties. - Benjamin Teissier; Stefan D. Bruda (ICSOFT EA, 2014)

Counter-Measures against Stack Buffer Overflows in GNU/Linux Operating Systems. - Erick Leon; Stefan D. Bruda (ANT/SEIT, 2016)

Limitations of Coverability Trees for Context-Free Parallel Communicating Grammar Systems and Why these Grammar Systems are not Linear Space. - Stefan D. Bruda; Mary Sarah Ruth Wilkin (Parallel Process. Lett., 2016)

A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing. - Stefan D. Bruda; Sunita Singh; A. F. M. Nokib Uddin; Zhiyu Zhang 005; Rui Zuo (CoRR, 2019)

An Approach to Evaluating Learning Algorithms for Decision Trees. - Tianqi Xiao; Omer Nguena Timo; Florent Avellaneda; Yasir Malik; Stefan D. Bruda (CoRR, 2020)

Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking. - Omer Nguena Timo; Tianqi Xiao; Florent Avellaneda; Yasir Malik; Stefan D. Bruda (AI Ethics, 2024)