Publications

Journals | Other refereed | Non-refereed | Other

I do not guarantee timely updates to this page. On-line versions exist most of the time, just follow the links. Be warned that the electronic versions may be different from the printed versions, even if the content is more or less the same.

The section of non-refereed conference papers includes papers submitted to conferences that to the best of my knowledge do not follow the usual system of peer-reviewing. The reason of my belief is either the acceptance process I participated in (for a couple of papers or so that I submitted myself) or the information gathered through other sources including colleagues and the Internet (for the other papers in that section). I might be wrong (and if I am please tell me). These non-refereed contributions are not bad papers (many are pretty good and indeed some have evolved into refereed journal versions); they almost fit into the other sections but are instead enumerated separately simply because (apparently) they have not been reviewed.

Note that MSc theses are listed on a separate page.

Journal papers

  1. O. N. Timo, T. Xiao, F. Avellaneda, Y. Malik, and S. Bruda, Evaluating trustworthiness of decision tree learning algorithms based on equivalence checking, AI and Ethics (2024), https://doi.org/10.1007/s43681-023-00415-0.
  2. Stefan D. Bruda and 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 Processing Letters, 26 (2016), 1650012.
  3. Jianguo Chen, Hui Wang, Xiaoyao Qian, Chao Wang, and Stefan D. Bruda, Reinforcing Software Quality Measure by Indirect Coupling Metrics, Journal of Convergence Information Technology, 6 (2011), pp. 229-237.
  4. Jianguo Chen, Hui Wang, Yongxia Zhou, and Stefan D. Bruda, Complexity Metrics for Component-based Software Systems, International Journal of Digital Content Technology and its Applications, 5 (2011), pp. 235-244.
  5. Stefan D. Bruda and Chun Dai, A Testing Theory for Real-Time Systems, International Journal of Computers 4 (2010), pp. 97-106.
  6. Jianguo Chen and Stefan D. Bruda, An Efficient Feedback-based Trust Model for Pervasive Computing, International Journal of Digital Content Technology and its Applications, 4 (2010), pp. 215-225.
  7. Stefan D. Bruda and Yuanqiao Zhang, Collapsing the Hierarchy of Parallel Computational Models, International Journal of Foundations of Computer Science 21 (2010), pp. 441-457.
  8. Stefan D. Bruda and Yuanqiao Zhang, Relations Between Several Parallel Computational Models, in Scalable Computing: Practice and Experience, 10 (2009), pp. 163-172.
  9. Stefan D. Bruda, Petter Haggholm, Scott Stoddard, and Rob Britton Distributed, Real-Time Programming Based on a Formal Semantics on Commodity POSIX Systems with no In-Kernel Real-Time Support, Revista Romana de Automatica 21 (2008), pp. 1-11.
  10. Stefan D. Bruda and Selim G. Akl, Size Matters: Logarithmic Space Is Real Time, International Journal of Computers and Applications, 29 (2007).
  11. Stefan D. Bruda, The Graph Accessibility Problem and the Universality of the Collision CRCW Conflict Resolution Rule, WSEAS Transactions on Computers, 10 (2006), pp. 2380-2387.
  12. Stefan D. Bruda and Selim G. Akl, On limits on the computational power of data-accumulating algorithms, Information Processing Letters, 86 (2003), pp. 221-227.
  13. Stefan D. Bruda and Selim G. Akl, Real-time computation: A formal definition and its applications, International Journal of Computers and Applications, 25 (2003), pp. 247-257.
  14. Stefan D. Bruda and Selim G. Akl, Pursuit and evasion on a ring: An infinite hierarchy for parallel real-time systems, Theory of Computing Systems, 34 (2001), pp 565-576.
  15. Stefan D. Bruda and Selim G. Akl, On the necessity of formal models for real-time parallel computations, Parallel Processing Letters, 11 (2001), pp. 353-361.
  16. Stefan D. Bruda and Selim G. Akl, A case study in real-time parallel computation: Correcting algorithms, Journal of Parallel and Distributed Computing, 61 (2001), pp. 688-708.
  17. Selim G. Akl and Stefan D. Bruda, Improving a solution's quality through parallel processing, Journal of Supercomputing 19 (2001), pp. 219-231.
  18. Stefan D. Bruda and Selim G. Akl, The characterization of data-accumulating algorithms, Theory of Computing Systems, 33 (2000), pp.85-96.
  19. Selim G. Akl and Stefan D. Bruda, Parallel real-time numerical computation: Beyond speedup III, International Journal of Computers and their Applications, 7 (2000), pp. 31-38.
  20. Selim G. Akl and Stefan D. Bruda, Parallel real-time optimization: Beyond speedup, Parallel Processing Letters, 9 (1999), pp. 499-509.

Other refereed contributions

  1. Stefan D. Bruda and Mary Sarah Ruth Wilkin, Emergence in Context-Free Parallel Communicating Grammar Systems: What Does and Does not Make a Grammar System More Expressive Than Its Parts, in Adamatzky, Andrew (ed.), Emergent Computation: A Festschrift for Selim G. Akl, Springer, 2017, pp. 171-213.
  2. Erick Leon and Stefan D. Bruda, Counter-Measures against Stack Buffer Overflows in GNU/Linux Operating Systems, Procedia Computer Science 83 (2016), pp. 1301–1306 (Proceedings of the 7th International Conference on Ambient Systems, Networks and Technologies - ANT 2016).
  3. Benjamin Teissier and Stefan D. Bruda, Toward Preventing Stack Overflow Using Kernel Properties, in Proceedings of the 9th International Conference on Software Engineering and Applications (ICSOFT-EA 2014), August 2014, Vienna, Austria, pp. 369 - 377.
  4. Mary Sarah Ruth Wilkin and Stefan D. Bruda, Why Languages Generated by Context-Free Parallel Communicating Grammar Systems are not Linear Space, in Proceedings of the 14th International Conference on Applied Computer Science (ACS 2014), January 2014, Cambridge, MA, pp. 34-39.
  5. Stefan D. Bruda, Farzad Salehi, Yasir Malik, and Bessam Abdulrazak, Peer-to-Peer Remote Service Discovery in Pervasive Computing, in Software and Data Technologies, Volume 411 of Springer Communications in Computer and Information Science, 2013, pp 80-95.
  6. Yasir Malik, Stefan D. Bruda, Bessam Abdulrazak, and Usman Tariq, Reliable communication protocol for inter-vehicular network, in Proceedings of the Eighth International Conference on Digital Information Management (ICDIM), 2013, Islamabad, Pakistan, pp. 170 - 174.
  7. Stefan D. Bruda and Mary Sarah Ruth Wilkin, Not Seeing the Parse Trees from the Parse Forest of a Context-Free Parallel Communicating Grammar System, in Proceedings of the 12th International Symposium on Parallel and Distributed Computing (ISPDC 2013), June 2013, Bucharest, Romania.
  8. Stefan D. Bruda, Farzad Salehi, Yasir Malik, and Bessam Abdulrazak, A Peer-to-Peer Architecture for Remote Service Discovery, in Proceedings of the 2nd International Symposium on Frontiers in Ambient and Mobile Systems (FAMS 2012), in conjunction with the 3rd International Conference on Ambient Systems, Networks and Technologies (ANT 2012), August 2012, Niagara Falls, ON. Procedia Computer Science 10 (2012), pp. 976-983.
  9. Farzad Salehi, Stefan D. Bruda, Yasir Malik, and Bessam Abdulrazak, A Distributed Architecture for Remote Service Discovery in Pervasive Computing, in Proceedings of the 7th International Conference on Software Paradigm Trends (ICSOFT 2012), July 2012, Rome, Italy, pp. 399-408.
  10. Stefan D. Bruda and Mary Sarah Ruth Wilkin, Parse Trees for Context-Free Parallel Communicating Grammar Systems, in Proceedings of the 13th International Conference on Automation and Information (ICAI 2012), June 2012, Iasi, Romania, pp. 144-149.
  11. Stefan D. Bruda and Md. Tawhid Bin Waez, Unrestricted and Disjoint Operations over Multi-Stack Visibly Pushdown Languages, in Proceedings of the 6th International Conference on Software and Data Technologies (ICSOFT 2011), July 2011, Seville, Spain, pp. 98-103.
  12. Stefan D. Bruda, Sublinear Space Real-Time Turing Machines Cannot Count, in Proceedings of the 8th International Conference on Information Technology: New Generations (ITNG 2011), April 2011, Las Vegas, NV, pp. 976-978.
  13. Stefan D. Bruda and Zhyiu Zhang, Model Checking Is Refinement: From Computation Tree Logic to Failure Trace Testing, in Proceedings of the 5th International Conference on Software and Data Technologies (ICSOFT 2010), July 2010, Athens, Greece, pp. 173-178.
  14. Stefan D. Bruda and Chun Dai, Timed Test Generation Based on Timed Temporal Logic, in Proceedings of the 11th International Conference on Automation and Information (ICAI 2010), June 2010, Iasi, Romania, pp. 15-20.
  15. Jianguo Chen, Xiang Xu and Stefan D. Bruda, Combining Data Trust in Reputation Systems to Boost P2P Security, in Proceedings of the 2nd International Conference on Future Computer and Communication, May 2010, Wuhan, China.
  16. Stefan D. Bruda and Zhyiu Zhang, Refinement Is Model Checking: From Failure Trace Tests to Computation Tree Logic, in Proceedings of the 13th IASTED International Conference on Software Engineering and Applications (SEA 2009), November 2009, Cambridge, MA, pp. 174-181.
  17. Jianguo Chen,Qi Zhang, and Stefan D. Bruda, Cybernetics in Software System Verification, in Proceedings of the International Conference on Intelligent Human-Machine Systems and Cybernetics, August 2009, Hangzhou, China, Vol. 2, pp. 274-277.
  18. Stefan D. Bruda and Md. Tawhid Bin Waez, Communicating Visibly pushdown Processes, in Proceedings of the 17th International Conference on Control Systems and Computer Science, May 2009, Bucharest, Romania, Vol. 1, pp. 507-514.
  19. Jianguo Chen, Wai K. Yeap, and Stefan D. Bruda, A Review of coupling Metrics for Component-Based Development, in Proceedings of the 2009 World Congress on Software Engineering (WCSE 2009), May 2009, Xiamen, China, Vol. 4, pp. 65-69.
  20. Jianguo Chen, Huijuan Lu, and Stefan D. Bruda, A Solution for Whitewashing in P2P Systems Based on Observation Preorder, in Proceedings of the International Conference on Networks Security, Wireless Communications and Trusted Computing, April 2009, Wuhan, China, Vol. 2, pp.547-550.
  21. Jianguo Chen, Hangxia Zhou, and Stefan D. Bruda, Combining Model Checking and Testing for Software Analysis, in Proceedings of the 2008 International Conference on Computer Science and Software Engineering, December 2008, Wuhan, China, Vol. 2, pp. 206-209.
  22. Chun Dai and Stefan D. Bruda, A Testing Framework for Real-Time Specifications, in Proceedings of the 9th IASTED International Conference on Software Engineering and Applications (SEA 2008), November 2008, Orlando, Florida, pp. 1-8.
  23. Stefan Bruda and Yuanqiao Zhang, The Shared Memory Hierarchy: The PRAM is as powerful as the BSR, in Proceedings of the 7th International Symposium on Parallel and Distributed Computing, July 2008, Krakow, Poland, pp. 179-185.
  24. Stefan D. Bruda and Yuanqiao Zhang, Why Shared Memory Matters to VLSI Design: The BSR Is as Powerful as Reconfiguration, in Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2008), April 2008, Miami, Florida.
  25. Stefan D. Bruda, Petter Haggholm, and Scott Stoddard, Distributed, Real-Time Programming on Commodity POSIX Systems: A Preliminary Report, in Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), Timisoara, Romania, July 2006, pp. 74-81.
  26. Stefan D. Bruda, Preorder relations, in Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, et al. (eds.), Model-Based Testing of Reactive Systems: Advanced Lectures, Springer Lecture Notes in Computer Science 3472, 2005, pp. 117-150.
  27. Stefan D. Bruda and Selim G. Akl, On the relation between parallel real-time computations and logarithmic space, in Proceedings of the 14th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2002), November 2002, Cambridge, MA, pp. 102-107.
  28. Stefan D. Bruda and Selim G. Akl, The characterization of parallel real-time optimization problems, in Proceedings of the 16th International Symposium on High Performance Computing Systems and Applications, June 2002, Moncton, NB, pp. 77-83. IEEE Computer Society Press.
  29. Stefan D. Bruda and Selim G. Akl, Pursuit and evasion on a ring: An infinite hierarchy for parallel real-time systems (extended abstract), in Proceedings of the 13th ACM Symposium on Parallel Algorithms and Architectures, July 2001, Crete Island, Greece.
  30. Stefan D. Bruda and Selim G. Akl, Parallel Real-Time Complexity: A Strong Infinite Hierarchy, in Proceedings of the 8th International Colloquium on Structural Information and Communication Complexity, June 2001, Vall de Nuria, Spain, pp. 45-59. Carleton Scientific.
  31. Selim G. Akl and Stefan D. Bruda, Parallel real-time cryptography - Beyond speedup II, in Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000, Las Vegas, NV, pp. 1283-1290.
  32. Stefan D. Bruda and Selim G. Akl, On the Necessity of Formal Models for Real-Time Parallel Computations, in Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000, Las Vegas, NV.
  33. Stefan D. Bruda and Selim G. Akl, On the data-accumulating paradigm, in Proceedings of the Fourth International Conference on Computer Science and Informatics, October 1998, Research Triangle Park, NC, pp. 150-153.
  34. Stefan D. Bruda, On the computational complexity of context-free parallel communicating grammar systems, in G. Paun and A. Salomaa (eds.), New Trends in Formal Languages, Springer Lecture Notes in Computer Science 1218, 1997, pp. 256-266.

Non-refereed contributions

  1. Stefan D. Bruda, Pumping Visibly Pushdown Languages, in Proceedings of the 11th International Conference on Applied Informatics and Communications (AIC 11), August 2011, Florence, Italy, pp. 98-103.
  2. Jianguo Chen, Huijuan Lu, and Stefan D. Bruda, A Reputation-Based Approach for Countering Vulnerabilities in P2P Networks, in Proceedings of the 2nd International Conference on e-Business and Information System Security, May 2010, Wuhan, China.
  3. Jianguo Chen, Wai K. Yeap and Stefan D. Bruda, An Incremental PID-like Algorithm Based Trust Model for Peer-to-peer Networks, in Proceedings of the 4th International Conference on Communications and Networking in China (Chinacom 2009), August 2009, Xi'an, China, pp. 1-5
  4. Jianguo Chen, Huijuan Lu, and Stefan D. Bruda, Analysis of Feedbacks and Ratings on Trust Merit for Peer-to-peer Systems, in Proceedings of the International Conference on e-Business and Information System Security, May 2009, Wuhan, China, Vol. 1, pp. 445-449.
  5. Stefan D. Bruda and Md Tawhid Bin Waez, Visibly Pushdown Languages Are Closed under Prefix, Shuffle, and Hiding, in Computational Engineering in Systems Applications: Selected Papers from the WSEAS Conferences in Heraklion, Greece, July 2008, pp. 204-209.
  6. Jianguo Chen, Xiaozhu Chen, and Stefan D. Bruda, Trust Value Assignment Using Model-based Testing, in Proceedings of the 3rd International Conference on Communications and Networking in China, August 2008, Hangzhou, China, pp. 949-953.
  7. Jianguo Chen, Huijuan Lu, and Stefan D. Bruda, Model Checking and Environmental Decision Support Systems, in Proceedings of the International Conference on Information Technology and Environmental System Sciences, May 2008, Jiaozuo, China, Vol. 3, pp. 673-677.
  8. Stefan D. Bruda, The Characterization of Constant Time Computations and the Universality of Collision Rule on Models with Reconfigurable Buses, in Proceedings of the 10th WSEAS International Conference on Computers, July 2006, Vouliagmeni Beach, Athens, Greece, pp. 992-997.
  9. Stefan D. Bruda and Selim G. Akl, Towards a meaningful formal definition of real-time computations, in Proceedings of the ISCA 15th International Conference on Computers and Their Applications, 2000, New Orleans, LA, pp. 274-279.

Other contributions

  1. Stefan D. Bruda, Formal Verification with Programming-Like Tools (plenary talk), 14th International Conference on Applied Computer Science (ACS 2014), January 2014, Cambridge, MA.
  2. Stefan D. Bruda, Grammar-Based System Specification for Fun and Profit (plenary talk), 13th International Conference on Automation & Information (ICAI 2012), June 2012, Iasi, Romania
  3. Stefan D. Bruda, On Formally Engineering Applications Software (plenary talk), the 11th International Conference on Applied Informatics and Communications (AIC 2011), August 2011, Florence, Italy
  4. Stefan D. Bruda and Yuanqiao Zhang, Reconfiguration is Shared Memory: Collapsing the Hierarchy of Parallel Models with Reconfigurable Buses and Shared Memory, LAP Lambert Academic Publishing, January 2010, ISBN 383832918X.
  5. Stefan D. Bruda, Parallel Parallel Real-Time Complexity Theory PhD thesis, Department of Computing and Information Science, Queen's University at Kingston, April 2002.