Wlodzimierz M. Zuberek

Publication Activity (10 Years)

Years Active: 1980-2018
Publications (10 Years): 2

Top Topics

Petri Net Model

Queuing Systems

Face Verification

High Level Petri Nets

Top Venues

DepCoS-RELCOMEX

Publications

Dariusz Strzeciwilk, Wlodzimierz M. Zuberek
Modeling and Performance Analysis of Priority Queuing Systems. CSOS (1) (2018)
Wlodzimierz M. Zuberek
Invariant-Based Performance Analysis of Timed Petri Net Models. DepCoS-RELCOMEX (2016)
Wlodzimierz M. Zuberek
Model Fusion for the Compatibility Verification of Software Components. DepCoS-RELCOMEX (2014)
Wlodzimierz M. Zuberek
Shuffle-Based Verification of Component Compatibility. DepCoS-RELCOMEX (2013)
Wlodzimierz M. Zuberek
Balancing the performance of block multithreaded distributed-memory systems. Simul. Model. Pract. Theory 19 (5) (2011)
Wlodzimierz M. Zuberek, Ilona Bluemke, Donald C. Craig
Modelling and performance analysis of component-based systems. Int. J. Crit. Comput. Based Syst. 1 (1/2/3) (2010)
Donald C. Craig, Wlodzimierz M. Zuberek
Verification of Component Behavioral Compatibility. DepCoS-RELCOMEX (2007)
Donald C. Craig, Wlodzimierz M. Zuberek
Compatibility of Software Components - Modeling and Verification. DepCoS-RELCOMEX (2006)
Wlodzimierz M. Zuberek
Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis. ACSD (2004)
Wlodzimierz M. Zuberek
Modeling and Analysis of Dual Block Multithreading. FORTE Workshops (2004)
Wlodzimierz M. Zuberek
Approximate Simulation of Distributed-Memory Multithreaded Multiprocessors. Annual Simulation Symposium (2002)
Wlodzimierz M. Zuberek
Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems. Fundam. Informaticae 50 (2) (2002)
Wlodzimierz M. Zuberek
Analysis of Performance Limitations in Multithreaded Multiprocessor Architectures. ACSD (2001)
Wlodzimierz M. Zuberek, I. Rada
Modeling and Analysis of Distributed State Space Generation for Timed Petri Nets. Annual Simulation Symposium (2001)
Wlodzimierz M. Zuberek
Timed Petri nets in modeling and analysis of cluster tools. IEEE Trans. Robotics Autom. 17 (5) (2001)
Wlodzimierz M. Zuberek
Event-Driven Simulation of Timed Petri Net Models. Annual Simulation Symposium (2000)
Wlodzimierz M. Zuberek
Stepwise refinements of net models and their place invariants. PNPM (1999)
M. Reid, Wlodzimierz M. Zuberek
Timed Petri Net Models of ATM LANs. Application of Petri Nets to Communication Networks (1999)
Wlodzimierz M. Zuberek
Timed Petri nets and performance evaluation of systems. SMC (1998)
Wlodzimierz M. Zuberek, R. Govindarajan
Performance bounds for distributed memory multithreaded architectures. SMC (1998)
Agnieszka Konczykowska, Wlodzimierz M. Zuberek
Function Evaluation in Symbolic Analysis. ISCAS (1995)
Wlodzimierz M. Zuberek, Agnieszka Konczykowska, D. Martin
An Approach to Integrated Numerical & Symbolic Circuit Analysis. ISCAS (1994)
Wlodzimierz M. Zuberek
Throughput analysis in timed colored Petri nets. ISCAS (1993)
Wlodzimierz M. Zuberek
PNPM'89 - The Third International Workshop on Petri Nets and Performance Models. Perform. Evaluation 11 (1) (1990)
Wlodzimierz M. Zuberek
Performance Evaluation Using Unbounded Timed Petri Nets. PNPM (1989)
Wlodzimierz M. Zuberek
On generation of state space for timed Petri nets. ACM Conference on Computer Science (1988)
Wlodzimierz M. Zuberek
Timed Petri Nets in Modelling and Evaluation of Multiprocessor Systems. ICPP (1987)
Wlodzimierz M. Zuberek
Modified M-timed Petri nets in modelling and performance evaluation of systems. ACM Conference on Computer Science (1987)
Wlodzimierz M. Zuberek
M-timed Petri nets and Markov chains in modelling of computer systems. ACM Conference on Computer Science (1986)
Wlodzimierz M. Zuberek
Modified D-Time Petri Nets, Timeouts, and Modelling of Communication Protocols. ICDCS (1986)
Wlodzimierz M. Zuberek
Performance evaluation of concurrent systems using timed petri nets. ACM Conference on Computer Science (1985)
Wlodzimierz M. Zuberek
Extended D-Timed Petri Nets, Timeouts, and Analysis of Communication Protocols. ACM Annual Conference (1985)
Wlodzimierz M. Zuberek
M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets. Applications and Theory in Petri Nets (1985)
Wlodzimierz M. Zuberek
Performance Evaluation Using Extended Petri Nets. PNPM (1985)
Wlodzimierz M. Zuberek
Timed Petri Nets and Preliminary Performance Evaluation. ISCA (1980)