Wlodek M. Zuberek .....

Department of Computer Science

Office: EN-2028 Phone: (709) 737-4701 Fax: (709) 737-2009 E-mail: wlodek(at)cs.mun.ca

TechNews Useful CS Links Useful CSE Links Research Forum 2003

Modeling and analysis of complex concurrent systems, such as computer and communications systems, computer networks, and manufacturing systems; hierarchical modeling and simulation; distributed computing and in particular computing on clusters of workstation and/or PCs; performance evaluation of systems and in particular structural and operational methods in performance evaluation; Petri nets and timed Petri nets; software tools for analysis of net models; implementation of software tools and interoperability of such tools.

• Modeling and analysis of multiprocessor architectures
• Performance analysis of multithreaded multiprocessors
• Performance analysis of distributed applications
• Modeling and analysis of component-based software
• Modeling and analysis of cluster tools

• Tools for analysis of timed Petri nets (TPN-tools)
• Performance analysis of flexible manufacturing cells
• Flexible circuit simulation (SPICE-PAC)

• "Two-stage siphon-based deadlock detection in Petri nets" (with D.C. Craig); in Current Advances in Computing, engineering and Information Technology, P. Petratos, P. Dandapami (eds.), Int. Society for Advanced Research, Palermo, Italy, pp.317-330, 2008.
• "Timed Petri nets in modeling and analysis of manufacturing systems"; in: Emerging Technologies, Robotics and Control Systems, vol.1, Int. Society for Advanced Research, Palermo, Italy, pp.66-73, 2007.
• "Efficient siphon-based deadlock detection in Petri nets" (with D.C. Craig); Proc. 3-rd Int. Conf. on Computer Science and Information Systems, Athens, Greece, July 2007.
• "Multicomponent compatibility and its verification" (with D.C. Craig); Proc. 7-th Int. Conf. on Application of Concurrency to System Design (ACSD-07), Bratislava, Slovakia, pp.233-235, July 2007.
• "Component compatibility and its verification" (with D.C. Craig); Proc. First Int. Workshop on Software Architecture Research and Practice (SARP-07), part of the 2-nd Int. Conf. on Digital Telecommunications (ICTD-07), Silicon Valley, USA, pp.26-32, July 2007.
• "Petri Nets in modeling component behavior and verifying component compatibility (with D.C. Craig); Proc. Int. Workshop on Petri Nets and Software Engineering (PNSE'07), part of the 28-th Int. Conf. on Application and Theory of Petri Nets and Other Models of Councurrency, Siedlce, Poland, pp.160-174, June 2007.
• "Verification of component behavioral compatibility" (with D.C. Craig); Proc. 2-nd Int. Conf. on Dependability of Computer Systems (DepCoS'07), Szklarska Poreba, Poland, pp.294-304, June 2007.
• "Modeling and analysis of simultaneous multithreading"; Proc. 14-th Int. Conf. on Analytical and Stochastic Modeling Techniques and Applications (ASMTA-07), a part of the 21-st European Conference on Modeling and Simulation (ECMS'07), Prague, Czech Republic, pp.115-120, June 2007.
• "Timed Petri nets in modeling and analysis of manufacturing systems"; Int. Journal of Factory Automation, Robotics and Soft Computing, issue 2, pp.30-37, April 2007.
• "Compatibility of software components - modeling and verification" (with D.C. Craig); Proc. Int. Conf. on Dependability of Computer Systems (DepCoS'06), Szklarska Poreba, Poland, pp.11-18, May 2006.
• "Speedup of distributed iterative solvers of large sparse systems of linear equations" (with T.D.P. Perera); WSEAS Transactions on Mathematics, vol.4, no.3, pp.281-288, 2005.
• "Modeling and verification of compatibility of component composition" (with D.C. Craig); Proc. 3-rd Workshop on Modeling of Objects, Components, and Agents (MOCA'04), Aarhus, Denmark, pp.117-130, October 2004.
• "Cluster tools with chamber revisiting - modeling and analysis using timed Petri nets"; IEEE Transactions on Semiconductor Manufacturing, vol.17, no.3, pp.333-344, 2004.
• "Modeling and analysis of dual block multithreading"; in Applying Formal Methods: Testing, Performance, and M/E-Commerce (Lecture Notes in Computer Science 3236), Proc. European Performance Evaluation Workshop (EPEW'04) of the 24-th IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE'04), Toledo, Spain, pp.209-219, September 2004.
• "On the speedup of distributed linear solvers" (with T.D.P. Perera); Proc. 5-th EUROSIM Congress on Modeling and Simulation (Special Session on Modeling and Simulation of Distributed Systems and Networks), Marne la Vallee, France, pp.222-223, September 2004.
• "Enhanced interleaved multithreaded multiprocessors and their performance analysis"; Proc. 4-th Int. Conf. on Application of Concurrency to System Design (ACSD-04), Hamilton, Canada, pp.7-15, June 2004.
• "Estimation of the speedup of distributed applications"; Proc. Int. Conf. on Advances in the Internet, Processing, Systems, and Interdisciplinary Research (IPSI'04), Studenica Monastery, Serbia, June 2004.