Stefan D. Bruda

Bishop's University — Canada

Computer Science · Physical Sciences

10h-index274citations67works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(14), Parallel Computing and Optimization Techniques(12), Algorithms and Data Compression(9), semigroups and automata theory(8), Software Testing and Debugging Techniques(7)

Publications67 total

Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking
AI and Ethics·2024
Improved balance in multiplayer online battle arena games
Acta Universitatis Sapientiae Informatica·2020· 1 citedOpen Access
An Approach to Evaluating Learning Algorithms for Decision Trees
arXiv (Cornell University)·2020· 1 citedOpen Access
A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing
arXiv (Cornell University)·2019· 1 citedOpen Access
Parallel communicating grammar systems with context-free components are Turing complete for any communication model
Acta Universitatis Sapientiae Informatica·2016· 1 citedOpen Access
A Distributed Architecture for Remote Service Discovery in Pervasive Computing
2016
Emergence in Context-Free Parallel Communicating Grammar Systems: What Does and Does not Make a Grammar System More Expressive Than Its Parts
Emergence, complexity and computation·2016
Limitations of Coverability Trees for Context-Free Parallel Communicating Grammar Systems and Why these Grammar Systems are not Linear Space
Parallel Processing Letters·2016
Counter-Measures against Stack Buffer Overflows in GNU/Linux Operating Systems
Procedia Computer Science·2016· 7 citedOpen Access
Toward preventing stack overflow using kernel properties
2015
Toward Preventing Stack Overflow Using Kernel Properties
2014· 1 citedOpen Access
Context-Free Parallel Communicating Grammar Systems Are Not Linear Space
2014
Reliable communication protocol for inter-vehicular network
2013· 4 cited
Not Seeing the Parse Trees from the Parse Forest of a Context-Free Parallel Communicating Grammar System
2013· 1 cited
Parse Trees and Unique Queries in Context-Free Parallel Communicating Grammar Systems ∗
2013· 1 cited
Peer-to-Peer Remote Service Discovery in Pervasive Computing
Communications in computer and information science·2013
A Peer-to-Peer Architecture for Remote Service Discovery
Procedia Computer Science·2012· 8 citedOpen Access
Plenary lecture 1: on formally engineering applications software
2011
Pumping visibly pushdown languages
2011
Sublinear Space Real-Time Turing Machines Cannot Count
2011· 2 cited
page 1 of 4Next →

Frequent Co-authors

Selim G. Akl(18), Jianguo Chen(7), Yuanqiao Zhang(4), Huijuan Lu(3), Yasir Malik(3), Mary Sarah Ruth Wilkin(3), Wai K. Yeap(2), Bessam Abdulrazak(2), Jianguo Chen(2), Zhe Zhang(2), Hui Wang(1), Yongxia Zhou(1), Jianguo Chen(1), Hangxia Zhou(1), Farzad Salehi(1), Erick Leon(1), Jianguo Chen(1), Qi Zhang(1), Usman Tariq(1), Xiang Xu(1)