Stefan D. Bruda

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