Wlodek M. Zuberek

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