Wlodek M. Zuberek

Publication Activity (10 Years)

Years Active: 1997-2017
Publications (10 Years): 1

Top Topics

Deadlock Detection

Distributed Database Systems

Top Venues

DepCoS-RELCOMEX

Publications

Wiktor B. Daszczuk, Wlodek M. Zuberek
Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets. DepCoS-RELCOMEX (2017)
Wlodek M. Zuberek
Symbolic Analysis of Timed Petri Nets. DepCoS-RELCOMEX (2015)
Wlodek M. Zuberek
Siphon-Based Verification of Component Compatibility. DepCoS-RELCOMEX (2009)
Wlodek M. Zuberek
Performance Limitations of Block-multithreaded Distributed-memory Systems. WSC (2009)
Wlodek M. Zuberek, Ilona Bluemke
Performance Analysis of Component-Based Systems. DepCoS-RELCOMEX (2008)
Donald C. Craig, Wlodek M. Zuberek
Multicomponent Compatibility and its Verification. ACSD (2007)
Wlodek M. Zuberek
Performance analysis of enhanced fine-grain multithreaded distributed-memory systems. SMC (2001)
Wlodek M. Zuberek
Petri net modeling and performance analysis of cluster tools with chamber revisiting. ETFA (2) (2001)
Wlodek M. Zuberek
Timed Petri net models of multi-robot cluster tools. SMC (2001)
Wlodek M. Zuberek
Timed Petri net models of cluster tools. SMC (2000)
Wlodek M. Zuberek
Hierarchical analysis of manufacturing systems using Petri nets. SMC (2000)
Agnieszka Konczykowska, Wlodek M. Zuberek
Methods and tools for characterisation of semiconductor device models. ICECS (1998)
R. Govindarajan, F. Suciu, Wlodek M. Zuberek
Timed Petri net models of multithreaded multiprocessor architectures. PNPM (1997)