Wlodek M. Zuberek .....

Department of Computer Science

Office: EN-2028 Phone: (709) 864-4701 Fax: (709) 864-2009 E-mail: wlodek(at)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, or 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)

• "Incremental composition of software components"; in: Dependable Computer Systems (Advances in Intelligent and Soft Computing 97), ed. W. Zamojski, J. Kacprzyk, J. Mazurkiewicz, J. Sugier, T. Walkowiak, Springer-Verlag, pp.301-311, 2011 (ISBN 978-3-642-21392-2).
• Balancing the performance of block multithreaded distributed-memory systems; Simulation Modelig Practice and Theory, vol.19, pp.1318-1329 (DOI 10.1016/j.simpat.2011.01.008)
• "Linguistic approach to specifying component compatibility and substitutability", in: Symbiosis of Technology and Computer Science; ed. T. Kwater, B. Twarog, Wyd. Uniw. Rzeszowskiego, Rzeszow 2010, pp.11-36 (ISBN 978-83-7338-620-4).
• "Checking compatibility and substitutability of software components"; in Models and Methodology of System Dependability, Oficyna Wydawnicza Politechniki Wroclawskiej, Wroclaw, ch.14, pp.175-186, 2010.
• "Modeling and performance analysis of component-based systems" (with I. Bluemke and D. Craig); Int. Journal of Critical Computer-Based Systems, vol.1, no.1-3, pp.191-207, 2010.
• "Performance limitations of block-multithreaded distributed-memory multiprocessor systems"; Proc. 2009 Winter Simulation Conference, Austin, Texas, pp.899-907, 2009.
• "Modeling and performance evaluation of cluster tools using Petri nets - basic models"; in Emerging Technologies, Robotics and Control Systems, vol.2/3, Int. Society for Advanced Research, Palermo, Italy, pp.59-67, 2009.
• "Siphon-based verification of component compatibility"; Proc. Int. Conf. on Dependability of Computer Systems (DepCoS'09), Brunow Palace, Poland, IEEE CS Press, pp. 123-132, 2009.
• "Compatibility and performance analyses for component-based systems" (invited talk); Proc. 25-th UK Performance Engineering Workshop, Leeds, UK, University of Leeds pp.242-245, 2009.
• "Petri net refinements and hierarchical modeling of manufacturing systems" (with I. Bluemke); in Emerging Technologies, Robotics and Control Systems, vol.2, Int. Society for Advanced Research, Palermo, Italy, pp.104-110, 2008.
• "Performance analysis of component-based systems" (with I. Bluemke); Proc. 3-rd Int. Conf. on Dependability of Computer Systems (DepCoS'08), Szklarska Poreba, Poland, pp.293-300, June 2008.
• "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.

Revised: October 30, 2011:
Notice: Use of undefined constant COUNTER - assumed 'COUNTER' in /users/cs/faculty/wlodek/.www/counter.php on line 21
12229

fig.3 (to nie dziala)

fig.3

fig.6

fig.7

fig.8