Stefan D. Bruda

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 5

Top Topics

Learning Algorithm

Decision Tree Algorithm

Operating System

Top Venues

Publications

Omer Nguena Timo, Tianqi Xiao, Florent Avellaneda, Yasir Malik, Stefan D. Bruda
Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking. AI Ethics 4 (1) (2024)
Tianqi Xiao, Omer Nguena Timo, Florent Avellaneda, Yasir Malik, Stefan D. Bruda
An Approach to Evaluating Learning Algorithms for Decision Trees. CoRR (2020)
Stefan D. Bruda, Sunita Singh, A. F. M. Nokib Uddin, Zhiyu Zhang, Rui Zuo
A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing. CoRR (2019)
Stefan D. Bruda, Mary Sarah Ruth Wilkin
Limitations of Coverability Trees for Context-Free Parallel Communicating Grammar Systems and Why these Grammar Systems are not Linear Space. Parallel Process. Lett. 26 (3) (2016)
Erick Leon, Stefan D. Bruda
Counter-Measures against Stack Buffer Overflows in GNU/Linux Operating Systems. ANT/SEIT (2016)
Benjamin Teissier, Stefan D. Bruda
Toward Preventing Stack Overflow Using Kernel Properties. ICSOFT EA (2014)
Stefan D. Bruda, Mary Sarah Ruth Wilkin
Not Seeing the Parse Trees from the Parse Forest of a Context-Free Parallel Communicating Grammar System. ISPDC (2013)
Yasir Malik, Stefan D. Bruda, Bessam Abdulrazak, Usman Tariq
Reliable communication protocol for inter-vehicular network. ICDIM (2013)
Farzad Salehi, Stefan D. Bruda, Yasir Malik, Bessam Abdulrazak
A Distributed Architecture for Remote Service Discovery in Pervasive Computing. ICSOFT (2012)
Stefan D. Bruda, Farzad Salehi, Yasir Malik, Bessam Abdulrazak
A Peer-to-Peer Architecture for Remote Service Discovery. ANT/MobiWIS (2012)
Stefan D. Bruda, Tawhid Bin Waez
Unrestricted and Disjoint Operations over Multi-stack Visibly Pushdown Languages. ICSOFT (2) (2011)
Stefan D. Bruda
Sublinear Space Real-Time Turing Machines Cannot Count. ITNG (2011)
Stefan D. Bruda, Zhiyu Zhang
Model Checking is Refinement - From Computation Tree Logic to Failure Trace Testing. ICSOFT (2) (2010)
Jianguo Chen, Stefan D. Bruda
An Efficient Feedback-based Trust Model for Pervasive Computing. J. Digit. Content Technol. its Appl. 4 (7) (2010)
Stefan D. Bruda, Yuanqiao Zhang
Collapsing the Hierarchy of Parallel Computational Models. Int. J. Found. Comput. Sci. 21 (3) (2010)
Stefan D. Bruda, Yuanqiao Zhang
Relations Between Several Parallel Computational Models. Scalable Comput. Pract. Exp. 10 (2) (2009)
Stefan D. Bruda, Yuanqiao Zhang
Why shared memory matters to VLSI design: The BSR is as powerful as reconfiguration. IPDPS (2008)
Stefan D. Bruda, Yuanqiao Zhang
The Shared Memory Hierarchy: The PRAM is as Powerful as the BSR. ISPDC (2008)
Jianguo Chen, Hangxia Zhou, Stefan D. Bruda
Combining Model Checking and Testing for Software Analysis. CSSE (2) (2008)
Stefan D. Bruda, Petter Haggholm, Scott Stoddard
Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report. ISPDC (2006)
Stefan D. Bruda
Preorder Relations. Model-Based Testing of Reactive Systems (2004)
Stefan D. Bruda, Selim G. Akl
On limits on the computational power of data-accumulating algorithms. Inf. Process. Lett. 86 (4) (2003)
Stefan D. Bruda, Selim G. Akl
The Characterization of Parallel Real-Time Optimization Problems. HPCS (2002)
Stefan D. Bruda, Selim G. Akl
On the Relation between Parallel Real-time Computations and Logarithmic Space. IASTED PDCS (2002)
Stefan D. Bruda, Selim G. Akl
Real-Time Computation: A Formal Definition and its Applications. IPDPS (2001)
Selim G. Akl, Stefan D. Bruda
Improving A Solution's Quality Through Parallel Processing. J. Supercomput. 19 (2) (2001)
Stefan D. Bruda, Selim G. Akl
Pursuit and evasion on a ring: An infinite hierarchy for parallel real--time systems. SPAA (2001)
Stefan D. Bruda, Selim G. Akl
Parallel Real-Time Complexity A Strong Infinite Hierarchy. SIROCCO (2001)
Stefan D. Bruda, Selim G. Akl
A Case Study in Real-Time Parallel Computation: Correcting Algorithms. J. Parallel Distributed Comput. 61 (5) (2001)
Stefan D. Bruda, Selim G. Akl
On the Necessity of Formal Models for Real-Time Parallel Computations. Parallel Process. Lett. 11 (2/3) (2001)
Selim G. Akl, Stefan D. Bruda
Parallel Real-Time Cryptography: Beyond Speedup II. PDPTA (2000)
Stefan D. Bruda, Selim G. Akl
On the Necessity of Formal Models for Real-Time Parallel Computations. PDPTA (2000)
Stefan D. Bruda, Selim G. Akl
Towards a meaningful formal definition of real-time computations. CATA (2000)
Stefan D. Bruda, Selim G. Akl
The Characterization of Data-Accumulating Algorithms. Theory Comput. Syst. 33 (1) (2000)
Selim G. Akl, Stefan D. Bruda
Parallel Real-Time Numerical Computation: Beyond Speedup III. ITCC (2000)
Selim G. Akl, Stefan D. Bruda
Parallel Real-Time Optimization: Beyond Speedup. Parallel Process. Lett. 9 (4) (1999)
Stefan D. Bruda, Selim G. Akl
The Characterization of Data-Accumulating Algorithms. IPPS/SPDP (1999)
Stefan D. Bruda
On the Computational Complexity of Context-Free Parallel Communicating Grammar Systems. New Trends in Formal Languages (1997)