Bruda.CA > PART

Publications

I do not guarantee timely updates to this page. On-line versions exist most of the time, just follow the links (which all lead to this page). Those on-line versions that do not exist might appear in the future. Be warned that the electronic versions may be different from the printed versions, even if the content is more or less the same.

Note that MSc theses are listed on a separate page.

  1. 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.
  2. 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), 2-4 November 2009, Cambridge, MA, pp. 174-181.
  3. Stefan D. Bruda and Yuanqiao Zhang, Relations Between Several Parallel Computational Models, in Scalable Computing: Practice and Experience, 10 (2009), pp. 163-172.
  4. 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 2009 Fourth International Conference on Communications and Networking in China (Chinacom 2009), August 26-28, 2009, Xi'an, China.
  5. 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 (IHMSC 2009), August 26-27, 2009, Hangzhou, China, Vol. 2, pp. 274-277.
  6. 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, 26-29 May 2009, Bucharest, Romania, Volume 1, pp. 507-514.
  7. 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 (EBISS 2009), 23-24 May, 2009, Wuhan, China, Volume 1, pp. 445-449.
  8. 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), 19-21 May, 2009, Xiamen, China, Volume 4, pp. 65-69.
  9. 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 (NSWCTC 2009), 25-26 April, 2009, Wuhan, China, Volume 2, pp.547-550.
  10. 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 (CSSE 2008), Volume 2, Wuhan, China, Dec. 2008, pp. 206-209.
  11. 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), 16-18 November 2008, Orlando, Florida, pp. 1-8.
  12. 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 22-25 2008, pp. 204-209.
  13. Jianguo Chen, Xiaozhu Chen, and Stefan D Bruda, Trust Value Assignment Using Model-based Testing, in Proceedings of 2008 Third International Conference on Communications and Networking in China (August 2008, Hangzhou, China), pp. 949-953.
  14. 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 1-5 2008, Krakow, Poland, pp. 179-185.
  15. 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 (ITESS'2008, May 2008, Jiaozuo, China), Volume 3, pp. 673-677.
  16. 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 (April 2008, Miami, Florida).
  17. Stefan D Bruda and Selim G Akl, Size Matters: Logarithmic Space Is Real Time, International Journal of Computers and Applications, 29:4 (2007).
  18. 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.
  19. 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, Timisoara, Romania, July 2006, pp. 74-81
  20. 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, Vouliagmeni Beach, Athens, Greece, July 2006, pp. 992-997.
  21. 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.
  22. 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.
  23. 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.
    • Preliminary version in Proceedings of the Workshop on Advances in Parallel and Distributed Computational Models; in conjunction with the 15th Parallel and Distributed Processing Symposium, April 2001, San Francisco, CA. IEEE Computer Society Press, pp. [CD-ROM].
  24. Stefan D Bruda, Parallel Real-Time Complexity Theory PhD thesis, Department of Computing and Information Science, Queen's University at Kingston, April 2002.
  25. Stefan D Bruda and Selim G Akl, On the relation between parallel real-time computations and logarithmic space, in Proceedings of the Fourteenth IASTED International Conference on Parallel and Distributed Computing and Systems, Cambridge, MA, November 2002, pp. 102­107.
  26. Stefan D Bruda and Selim G Akl, The characterization of parallel real-time optimization problems, in Proceedings of the 16th Annual International Symposium on High Performance Computing Systems and Applications, June 2002, Moncton, NB, pp. 77-83. IEEE Computer Society Press.
  27. 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.
  28. 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.
  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 Thirteenth ACM Symposium on Parallel Algorithms and Architectures, July 4-6, 2001 Crete Island, Greece.
  30. Stefan D Bruda and Selim G Akl, Parallel Real-Time Complexity: A Strong Infinite Hierarchy, in Proceedings of VIII International Colloquium on Structural Information and Communication Complexity, Vall de Nuria, Spain, June 2001, Carleton Scientific, pp. 45-59.
  31. 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.
  32. Selim G Akl and Stefan D Bruda, Improving a solution's quality through parallel processing, Journal of Supercomputing 19 (2001), pp. 219-231.
  33. Stefan D Bruda and Selim G Akl, The characterization of data-accumulating algorithms, Theory of Computing Systems, 33 (2000), pp.85-96.
    • Preliminary version in Proceedings of the International Parallel Processing Symposium, San Juan, Puerto Rico, 1999, pp. 2-6.
  34. 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.
  35. 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, Las Vegas, NV, 2000, pp. 1283-1290.
  36. 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, New Orleans, LA, 2000, pp. 274-279.
  37. Selim G Akl and Stefan D Bruda, Parallel real-time optimization: Beyond speedup, Parallel Processing Letters, 9 (1999), pp. 499-509.
  38. Stefan D Bruda and Selim G Akl, On the data-accumulating paradigm, in Proceedings of the Fourth International Conference on Computer Science and Informatics, Research Triangle Park, NC, October 1998, pp. 150-153.
  39. 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.