Stefan D. Bruda

According to our database, Stefan D. Bruda authored at least 36 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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, February, 2024

2020

An Approach to Evaluating Learning Algorithms for Decision Trees.

Tianqi Xiao, Omer Nguena Timo, Florent Avellaneda, Yasir Malik, Stefan D. Bruda

CoRR, 2020

2019

A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing.

Stefan D. Bruda, Sunita Singh, A. F. M. Nokib Uddin, Zhiyu Zhang, Rui Zuo

CoRR, 2019

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

Counter-Measures against Stack Buffer Overflows in GNU/Linux Operating Systems.

Erick Leon, Stefan D. Bruda

Proceedings of the 7th International Conference on Ambient Systems, 2016

2014

Toward Preventing Stack Overflow Using Kernel Properties.

Benjamin Teissier, Stefan D. Bruda

Proceedings of the ICSOFT-EA 2014, 2014

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

Proceedings of the IEEE 12th International Symposium on Parallel and Distributed Computing, 2013

Reliable communication protocol for inter-vehicular network.

Yasir Malik, Stefan D. Bruda, Bessam Abdulrazak, Usman Tariq

Proceedings of the Eighth International Conference on Digital Information Management (ICDIM 2013), 2013

2012

A Peer-to-Peer Architecture for Remote Service Discovery.

Stefan D. Bruda, Farzad Salehi, Yasir Malik, Bessam Abdulrazak

Proceedings of the 3rd International Conference on Ambient Systems, 2012

A Distributed Architecture for Remote Service Discovery in Pervasive Computing.

Farzad Salehi, Stefan D. Bruda, Yasir Malik, Bessam Abdulrazak

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011

Sublinear Space Real-Time Turing Machines Cannot Count.

Stefan D. Bruda

Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Unrestricted and Disjoint Operations over Multi-stack Visibly Pushdown Languages.

Stefan D. Bruda, Tawhid Bin Waez

Proceedings of the ICSOFT 2011, 2011

2010

An Efficient Feedback-based Trust Model for Pervasive Computing.

Jianguo Chen, Stefan D. Bruda

J. Digit. Content Technol. its Appl., 2010

Collapsing the Hierarchy of Parallel Computational Models.

Stefan D. Bruda, Yuanqiao Zhang

Int. J. Found. Comput. Sci., 2010

Model Checking is Refinement - From Computation Tree Logic to Failure Trace Testing.

Stefan D. Bruda, Zhiyu Zhang

Proceedings of the ICSOFT 2010, 2010

2009

Relations Between Several Parallel Computational Models.

Stefan D. Bruda, Yuanqiao Zhang

Scalable Comput. Pract. Exp., 2009

2008

The Shared Memory Hierarchy: The PRAM is as Powerful as the BSR.

Stefan D. Bruda, Yuanqiao Zhang

Proceedings of the 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 2008

Why shared memory matters to VLSI design: The BSR is as powerful as reconfiguration.

Stefan D. Bruda, Yuanqiao Zhang

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Combining Model Checking and Testing for Software Analysis.

Jianguo Chen, Hangxia Zhou, Stefan D. Bruda

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2006

Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report.

Stefan D. Bruda, Petter Haggholm, Scott Stoddard

Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 2006

2004

Preorder Relations.

Stefan D. Bruda

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

On limits on the computational power of data-accumulating algorithms.

Stefan D. Bruda, Selim G. Akl

Inf. Process. Lett., 2003

2002

On the Relation between Parallel Real-time Computations and Logarithmic Space.

Stefan D. Bruda, Selim G. Akl

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002

The Characterization of Parallel Real-Time Optimization Problems.

Stefan D. Bruda, Selim G. Akl

Proceedings of the 16th Annual International Symposium on High Performance Computing Systems and Applications, 2002

2001

Improving A Solution's Quality Through Parallel Processing.

Selim G. Akl, Stefan D. Bruda

J. Supercomput., 2001

On the Necessity of Formal Models for Real-Time Parallel Computations.

Stefan D. Bruda, Selim G. Akl

Parallel Process. Lett., 2001

A Case Study in Real-Time Parallel Computation: Correcting Algorithms.

Stefan D. Bruda, Selim G. Akl

J. Parallel Distributed Comput., 2001

Pursuit and evasion on a ring: An infinite hierarchy for parallel real--time systems.

Stefan D. Bruda, Selim G. Akl

Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2001

Parallel Real-Time Complexity A Strong Infinite Hierarchy.

Stefan D. Bruda, Selim G. Akl

Proceedings of the SIROCCO 8, 2001

Real-Time Computation: A Formal Definition and its Applications.

Stefan D. Bruda, Selim G. Akl

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

2000

The Characterization of Data-Accumulating Algorithms.

Stefan D. Bruda, Selim G. Akl

Theory Comput. Syst., 2000

Parallel Real-Time Cryptography: Beyond Speedup II.

Selim G. Akl, Stefan D. Bruda

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Parallel Real-Time Numerical Computation: Beyond Speedup III.

Selim G. Akl, Stefan D. Bruda

Proceedings of the 2000 International Symposium on Information Technology (ITCC 2000), 2000

Towards a meaningful formal definition of real-time computations.

Stefan D. Bruda, Selim G. Akl

Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000

1999

Parallel Real-Time Optimization: Beyond Speedup.

Selim G. Akl, Stefan D. Bruda

Parallel Process. Lett., 1999

1997

On the Computational Complexity of Context-Free Parallel Communicating Grammar Systems.

Stefan D. Bruda

Proceedings of the New Trends in Formal Languages, 1997