Bruda.CA > PART

Publications

Journals   |   Other refereed  |   Non-refereed conerences  |   Other

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). 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 section above but are instead enumerated in a separate section simply because (apparently) they have not been reviewed.

Note that MSc theses are listed on a separate page.

Journal papers

  1. Stefan D Bruda and Chun Dai, A Testing Theory for Real-Time Systems, International Journal of Computers 4 (2010), pp. 97-106.
  2. Stefan D Bruda and Yuanqiao Zhang, Collapsing the Hierarchy of Parallel Computational Models, International Journal of Foundations of Computer Science 21:3 (2010), pp. 441-457.
  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. 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.
  5. Stefan D Bruda and Selim G Akl, Size Matters: Logarithmic Space Is Real Time, International Journal of Computers and Applications, 29:4 (2007).
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. Selim G Akl and Stefan D Bruda, Improving a solution's quality through parallel processing, Journal of Supercomputing 19 (2001), pp. 219-231.
  13. Stefan D Bruda and Selim G Akl, The characterization of data-accumulating algorithms, Theory of Computing Systems, 33 (2000), pp.85-96.
  14. 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.
  15. 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 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, 22-24 July 2010, Athens, Greece (ICSOFT 2010), pp. 173-178.
  2. 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, 13-15 June 2010, Iasi, Romania (ICAI 2010), pp. 15-20.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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).
  8. 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
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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 conference papers

  1. 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 (ICFCC 2010), 21-24 May, 2010, Wuhan, China.
  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 (EBISS2010), 22-23 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 2009 Fourth International Conference on Communications and Networking in China (Chinacom 2009), August 26-28, 2009, Xi'an, China, pp. 1-5
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.

Other contributions

  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, Parallel Real-Time Complexity Theory PhD thesis, Department of Computing and Information Science, Queen's University at Kingston, April 2002.