Zuberek, W. M.

Strzeciwilk, Dariusz and Zuberek, W. M. (2018) Modeling and Performance Analysis of Priority Queuing Systems. In: 7th Computer Science Online Conference (CSOC 2018), April 25-28, 2018, Vsetin, Czech Republic.

Zuberek, W. M. (2016) Invariant–based performance analysis of timed Petri net models. In: 11-th Int. Conf. on Dependability of Complex Systems, June 27 - July 1, 2016, Brunów, Poland.

Zuberek, W. M. (2015) Symbolic Analysis of Timed Petri Nets. In: DepCoS-RELCOMEX 2015, June 29 - July 3, 2015, Brunów, Poland.

Zuberek, W. M. (2014) Model Fusion for the Compatibility Verification of Software Components. In: Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 30 – July 4, 2014, Brunów, Poland.

Zuberek, W. M. (2013) Shuffle–based verification of component compatibility. In: Eighth International Conference on Dependability of Complex Systems, Sept. 8-13, 2013, Brunow Palace, Poland.

Zuberek, W. M. (2012) Service Renaming in Component Composition. In: Seventh International Conference on Dependability of Complex Systems, June, 25-29 2012, Brunow Palace, Poland.

Zuberek, W. M. (2011) Incremental Composition of Software Components. In: Sixth International Conference on Dependability of Complex Systems,, June 27 – July 1, 2011, Brunow Palace, Poland.

Zuberek, W. M. (2010) Checking compatibility and substitutability of software components. In: Fifth International Conference on Dependability of Computer Systems, June 29 - July 1, 2010, Brunow, Poland.

Zuberek, W. M. (2009) Performance limitations of block-multithreaded distributed-memory systems. In: 2009 Winter Simulation Conference (WSC), 13-16 December, 2009, Austin, TX, USA.

Zuberek, W. M. (2009) Siphon-Based Verification of Component Compatibility. In: Fourth International Conference on Dependability of Computer Systems, 30 June-2 July 2009, Brunow, Poland.

Zuberek, W. M. and Bluemke, Ilona (2008) Performance Analysis of Component-Based Systems. In: 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, 26-28 June 2008, Szklarska Poreba, Poland.

Zuberek, W. M. and Craig, Donald C. (2007) Multicomponent Compatibility and its Verification. In: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovakia.

Zuberek, W. M. and Craig, Donald C. (2007) Verification of Component Behavioral Compatibility. In: 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), 14-16 June 2007, Szklarska, Poland.

Craig, Donald C. and Zuberek, W. M. (2006) Compatibility of Software Components - Modeling and Verification. In: 2006 International Conference on Dependability of Computer Systems, 25-27 May 2006, Szklarska Poreba, Poland.

Zuberek, W. M. and Perpera, T. D. P. (2005) Performance Analysis of Distributed Iterative Linear Solvers. In: WSEAS 7-th Int. Conf. on Mathematical Methods and Computational Techniques in Electrical Engineering (MMACTEE’05), October 27-29, 2005, Sofia, Bulgaria. (Submitted)

Zuberek, W. M. (2004) Modelling and Verification of Compatibility of Component Composition. In: Third Workshop on Modelling of Objects, Components, and Agents, 11-13 October 2004, Aarhus, Denmark. (Submitted)

Zuberek, W. M. (2004) Cluster tools with chamber revisiting-modeling and analysis using timed Petri nets. IEEE Transactions on Semiconductor Manufacturing, 17 (3). pp. 333-344. ISSN 1558-2345

Zuberek, W. M. (2004) Enhanced interleaved multithreaded multiprocessors and their performance analysis. In: Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004, June 16-18, 2004, Hamilton, Ontario, Canada, Canada.

Zuberek, W. M. (2004) Estimation of the Speedup of Distributed Applications. In: INTERNATIOAL CONFERENCE ON ADVANCES IN THE INTERNET, SYSTEMS, AND INTERDISCIPLINARY RESEARCH (IPSI’04), June 4-5, 2004, Studenica Monastery, Serbia. (Submitted)

Zuberek, W. M. (2004) Modeling and Analysis of Dual Block Multithreading. In: FORTE 2004, September 27-30, 2004, Toledo, Spain. (Submitted)

Zuberek, W. M. (2003) Petri Nets and Timed Petri Nets in Modeling and Analysis of Concurrent Systems – An Overview. Research Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (2003) STRUCTURAL METHODS IN PERFORMANCE ANALYSIS OF DISCRETE-EVENT SYSTEMS. In: 9th IEEE International Conference on Methods and Models in Automation and Robotics, Special Session on Analysis and Control of Discrete/Hybrid Systems, 25–28 August 2003, Miedzyzdroje, Poland,.

Zuberek, W. M. (2002) Systematic Construction and Performance Analysis of Cluster Tools Using Timed Petri Net Models. In: Brazilian Petri Net Workshop, 2-5 September 2002, 14 Congresso Brasileiro de Automatica, Natal Brazil.

Zuberek, W. M. (2002) Approximate simulation of distributed-memory multithreaded multiprocessors. In: 35th Annual Simulation Symposium. SS 2002, 14-18 April 2002, San Deigo, CA, USA.

Zuberek, W. M. (2001) Petri net modeling and performance analysis of cluster tools with chamber revisiting. In: ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation, 15-18 Oct. 2001, Antibes-Juan les Pins, France, France.

Zuberek, W. M. (2001) Timed Petri nets in modeling and analysis of cluster tools. IEEE Transactions on Robotics and Automation, 17 (5). pp. 562-575. ISSN 2374-958X

Zuberek, W. M. (2001) Analysis of performance limitations in multithreaded multiprocessor architectures. In: Second International Conference on Application of Concurrency to System Design, 25-29 June 2001, Newcastle upon Tyne, UK.

Zuberek, W. M. and Rada, Irina (2001) Modeling and analysis of distributed state space generation for timed Petri nets. In: 34th Annual Simulation Symposium, 26 April 2001, Seattle, Washington, USA.

Zuberek, W. M. (2000) PETRI NETS AND TIMED PETRI NETS BASIC CONCEPTS AND PROPERTIES. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (2000) Hierarchical analysis of manufacturing systems using Petri nets. In: 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions', 8-11 Oct. 2000, Nashville, TN, USA.

Zuberek, W. M. (2000) Timed Petri Net Models of Cluster Tools. In: IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC’2000), 8-11 Oct. 2000, Nashville, TN, USA.

Zuberek, W. M. (2000) Event-driven simulation of timed Petri net models. In: 33rd Annual Simulation Symposium (SS 2000), 16-20 April 2000, Washington, DC, USA.

Zuberek, W. M. (2000) Performance Modeling of Multithreaded Distributed Memory Architectures. In: Hardware Design and Petri Nets. Springer, Boston, MA., pp. 311-331. ISBN 9781475731439

Zuberek, W. M. (1999) Hierarchical derivation of Petri net models of composite schedules for manufacturing cells. In: 1999 IEEE International Conference on Systems, Man, and Cybernetics, 12-15 Oct. 1999, Tokyo, Japan.

Zuberek, W. M. (1999) Petri net models of process synchronization mechanisms. In: 1999 IEEE International Conference on Systems, Man, and Cybernetics, 12-15 Oct. 1999, Tokyo, Japan.

Zuberek, W. M. (1999) Stepwise refinements of net models and their place invariants. In: 8th International Workshop on Petri Nets and Performance Models, 8-10 Sept. 1999, Zaragoza, Spain, Spain.

Reid, M. and Zuberek, W. M. (1999) Timed petri net models of ATM LANs. In: Application of Petri Nets to Communication Networks. Lecture Notes in Computer Science, 1605 . Springer, Berlin, pp. 150-175. ISBN 978354048911-5

Zuberek, W. M. (1998) Performance bounds for distributed memory multithreaded architectures. In: 1998 IEEE International Conference on Systems, Man, and Cybernetics, 14 Oct. 1998, San Diego, CA, USA.

Zuberek, W. M. (1998) Timed Petri nets and performance evaluation of systems. In: 1998 IEEE International Conference on Systems, Man, and Cybernetics, 14 Oct. 1998, San Diego, CA, USA.

Zuberek, W. M. (1998) Dynamic Control Of Time-domain Analysis In The Spice-pac Simulation Package. In: Twenty-Second Asilomar Conference on Signals, Systems and Computers, 31 Oct.-2 Nov. 1988, Pacific Grove, CA, USA.

Zuberek, W. M. (1998) Hierarchical Derivation of Schedules for Manufacturing Cells. In: 9th IFAC Symposium on Information Control in Manufacturing 1998 (INCOM '98), June 24-26, 1998, Nancy, France.

Zuberek, W. M. and Govindarajan, R. and Suciu, Floarea (1997) Timed Petri net models of multithreaded multiprocessor architectures. In: Seventh International Workshop on Petri Nets and Performance Models, 3-6 June 1997, Saint Malo, France.

Zuberek, W. M. and Bluemke, Ilona (1996) Hierarchies of place/transition refinements in Petri nets. In: IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96, 18-21 Nov. 1996, Kauai, HI, USA.

Zuberek, W. M. (1996) Composite schedules of manufacturing cells and their timed Petri net models. In: 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems, 14-17 Oct. 1996, Beijing, China.

Zuberek, W. M. (1996) Modeling using timed Petri nets - event-driven simulation. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1996) Modeling using timed Petri nets - model description and representation. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1996) Optimal schedules of manufacturing cells-modeling and analysis using timed Petri nets. In: IEEE International Symposium on Industrial Electronics, 17 June 1996, Warsaw, Poland.

Zuberek, W. M. (1995) Application of timed Petri nets to modeling the schedules of manufacturing cells. In: 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95, 10-13 Oct. 1995, Paris, France.

Zuberek, W. M. (1995) Schedules of flexible manufacturing cells and their timed colored Petri net models. In: 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, 22-25 Oct. 1995, Vancouver, British Columbia, Canada.

Zuberek, W. M. (1995) Schedules of flexible manufacturing cells and their timed colored Petri net models. In: 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century, 22-25 Oct. 1995, Vancouver, BC, Canada.

Zuberek, W. M. and Konczykowska, A. (1995) Improving performance of parameter extractors through symbolic simulation. In: Proceedings of the IEEE International Symposium on Industrial Electronics, 10-14 July 1995, Athens, Greece.

Zuberek, W. M. (1995) APPLICATION OF TIMED PETRI NETS TO MODELING AND ANALYSIS OF FLEXIBLE MANUFACTURING CELLS. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. and Konczykowska, A. (1994) Symbolic analysis in parameter extraction, its implementation and performance. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1994) Throughput analysis of manufacturing cells using timed Petri nets. In: IEEE International Conference on Systems, Man and Cybernetics, 2-5 Oct. 1994, San Antonio, TX, USA.

Zuberek, W. M. (1994) FIT-S, a simulation-based data-driven parameter extraction program. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1994) An approach to integrated numerical and symbolic circuit analysis. In: IEEE International Symposium on Circuits and Systems - ISCAS '94, 30 May-2 June 1994, London, UK.

Zuberek, W. M. (1993) Throughput analysis in timed Petri nets. In: Proceedings of the 35th Midwest Symposium on Circuits and Systems, 9-12 August, 1992, Washington, DC, USA.

Zuberek, W. M. (1993) Throughput analysis of simple closed timed Petri net models. In: 36th Midwest Symposium on Circuits and Systems, 16-18 Aug. 1993, Detroit, MI, USA.

Zuberek, W. M. and Kubiak, W. (1993) Timed Petri net models of flexible manufacturing cells. In: 36th Midwest Symposium on Circuits and Systems, 16-18 Aug. 1993, Detroit, MI, USA.

Zuberek, W. M. (1993) Throughput analysis in timed colored Petri nets. In: 1993 IEEE International Symposium on Circuits and Systems, 3-6 May 1993, Chicago, IL, USA.

Zuberek, W. M. (1992) FIT-2, an extraction program based on the SPICE-PAC simulation software. In: 34th Midwest Symposium on Circuits and Systems, 14-17 May 1992, Monterey, CA, USA.

Zuberek, W. M. (1992) Flexible circuit simulation with mixed-domain and mixed-mode applications. In: 1992 IEEE International Symposium on Circuits and Systems, 10-13 May 1992, San Diego, CA, USA.

Zuberek, W. M. and Zuberek, M. S. (1992) Table-driven analyses in the SPICE-PAC circuit simulation package. In: 34th Midwest Symposium on Circuits and Systems, 14-17 May 1992, Monterey, CA, USA.

Zuberek, W. M. and Konczykowska, A. (1991) FIT–2, A SIMULATION–BASED PARAMETER EXTRACTION PROGRAM. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1990) Performance evaluation using timed coloured Petri nets. In: 33rd Midwest Symposium on Circuits and Systems, 12-14 Aug. 1990, Calgary, AB, Canada.

Zuberek, W. M. and Zubarek, M. S. (1990) Transformations of timed Petri nets and performance analysis. In: 33-rd Midwest Symposium on Circuits and Systems (MSCAS’90), 12-14 August 1990, Calgary, AB, Canada.

Zuberek, W. M. and Allen, Phillip E. and Chan, Brian P. Lum Shue (1990) Comparison of mixed analog-digital simulators. In: 1990 IEEE International Symposium on Circuits and Systems (ISCAS), 1-3 May 1990, New Orleans, LA, USA.

Zuberek, W. M. (1990) Software interfaces for integrated simulation applications. In: Ninth Annual International Phoenix Conference on Computers and Communications, 21-23 March 1990, Scottsdale, AZ, USA.

Zuberek, W. M. and Konczykowska, A. (1990) TEGESED, a tool for efficient technological and geometrical characterization of semiconductor devices. In: European Design Automation Conf. (EDAC'90), 12-15 March, 1990, Glasgow, Scotland.

Zuberek, W. M. (1989) Performance evaluation using unbounded timed Petri nets. In: Third International Workshop on Petri Nets and Performance Models, 11-13 Dec. 1989, Kyoto, Japan.

Zuberek, W. M. (1989) Milxed-mode simulation with spice-like circuit simulators. In: Twenty-Third Asilomar Conference on Signals, Systems and Computers, 1989, 30 Oct.-1 Nov. 1989, Pacific Grove, CA,USA.

Zuberek, W. M. and Zubarek, M. S. (1989) Table-driven circuit elements in spice-like simulation programs. In: Twenty-Third Asilomar Conference on Signals, Systems and Computers, 1989, 30 Oct.-1 Nov. 1989, Pacific Grove, CA,USA.

Zuberek, W. M. (1989) Higher-level modelling extensions to SPICE-like circuit simulators. In: 32nd Midwest Symposium on Circuits and Systems, 14-16 Aug. 1989, Champaign, IL, USA.

Zuberek, W. M. (1989) Linearly unbounded timed Petri nets in modelling and performance evaluation. In: 32nd Midwest Symposium on Circuits and Systems (MSCAS-89),, 14-16 Aug. 1989, Champaign, IL, USA.

Zuberek, W. M. and Konczykowska, A. and Wang, H. (1989) Distributed transmission lines and time-domain analysis in SPICE-like circuit simulators. In: 1989 IEEE International Symposium on Circuits and Systems (ISCAS), May 9–11, 1989, Portland, OR, USA.

Zuberek, W. M. (1989) SPICE–PAC version 2G6c: An Overview. Technical Report. Memorial University of Newfoundland, St. John's, Newfoundland and Labrador.

Zuberek, W. M. (1988) Timed Petri net models of queueing systems. In: Seventh Annual International Phoenix Conference on Computers an Communications, 16-18 March 1988, Scottsdale, AZ, USA.

Zuberek, W. M. (1988) On generation of state space for timed Petri nets. In: ACM Annual Computer Science Conference (CSC’88), 23–25 February 1988,, Atlanta, Georgia.

Zuberek, W. M. (1987) Parameterized subcircuits in the SPICE-PAC package of simulation subroutines. In: 1987 Canadian Conference on Very Large Scale Intergration, October 25–27, 1987, Winnipeg, Manitoba, Canada.

Zuberek, W. M. (1987) Timed Petri nets in modelling and evaluation of multiprocessor systems. In: 1987 Int. Conference on Parallel Processing (ICPP’87), August, 1987, St.Charles, IL.

Zuberek, W. M. (1987) Circuit decompilation in the SPICE-PAC package of simulation subroutines. In: First International Conference on Computer Technology, Systems and Applications (COMPEURO'87), May 11-15, 1987, Hamburg, Germany.

Zuberek, W. M. (1987) Preemptive D-timed Petri nets, timeouts, modeling and analysis of communication protocols. In: IEEE 6-th Annual Conference on Global Networks (INFOCOM'87), March 30 - April 2, 1987, San Francisco, CA.

Zuberek, W. M. (1987) Modified M-timed Petri nets in modelling and performance evaluation of systems. In: 15-th ACM Annual Computer Science Conference (CSC’87), February 17–19, 1987,, St. Louis, MO.

Zuberek, W. M. (1987) Interpolation methods in modelling semiconductor devices by enhanced controlled sources. In: 21-st Asilomar Conference on Signals, Systems and Computers,, 1987, Pacific Grove, CA, USA.

Zuberek, W. M. (1986) Modified D-timed Petri nets, timeouts, and modelling of communication protocols. In: 6-th Int. Conference on Distributed Computer Systems (DCS’86), May 19–23, 1986, Cambridge, MA.

Zuberek, W. M. (1986) M-timed Petri nets and Markov chains in modelling of computer systems. In: 14-th ACM Annual Computer Science Conference (CSC’86), February 4–6, 1986, Cincinnati, OH.

Zuberek, W. M. (1986) M-timed Petri nets, priorities, preemptions, and performance evaluation of systems. In: Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science (222). Springer, Berlin, pp. 478-498. ISBN 9783540398226

Zuberek, W. M. (1985) Performance evaluation using extended timed Petri nets. In: International Workshop on Timed Petri Nets, July 1-3, 1985, Torino, Italy.

Zuberek, W. M. (1985) Performance evaluation of concurrent systems using timed petri nets. In: ACM 13-th Annual Computer Science Conference, March 12-14, 1985, New Orleans, LA, USA.

Zuberek, W. M. (1984) Interfacing circuit simulation with optimization packages. In: IEEE Int. Conference on Computer-Aided Design (ICCAD’84), November 12–15, 1984, Santa Clara, California.

Zuberek, W. M. (1984) SPICE-PAC, a package of subroutines for interactive simulation and optimization of circuits. In: IEEE Int. Conference on Computer Design (ICCD'84), October 1984, Port Chester, NY.

Zuberek, W. M. (1984) NUMERICAL APPROXIMATION OF GRADIENTS FOR CIRCUIT OPTIMIZATION. In: 27-th Midwest Symposium on Circuits and Systems (MSCAS’84), June 11–12, 1984, Morgantown, WV.