Wlodzimierz M. Zuberek

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