cs-conference-ranking.org Search 971 venues

Wlodzimierz M. Zuberek

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

7

Active years

1980–2016

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

Year	Venue	Title	Authors
2016	DEPCoS	Invariant-Based Performance Analysis of Timed Petri Net Models.	Wlodzimierz M. Zuberek
2014	DEPCoS	Model Fusion for the Compatibility Verification of Software Components.	Wlodzimierz M. Zuberek
2013	DEPCoS	Shuffle-Based Verification of Component Compatibility.	Wlodzimierz M. Zuberek
2007	DEPCoS	Verification of Component Behavioral Compatibility.	Donald C. Craig, Wlodzimierz M. Zuberek
2006	DEPCoS	Compatibility of Software Components - Modeling and Verification.	Donald C. Craig, Wlodzimierz M. Zuberek
2004	FORTE	Modeling and Analysis of Dual Block Multithreading.	Wlodzimierz M. Zuberek
1998	SMC	Timed Petri nets and performance evaluation of systems.	Wlodzimierz M. Zuberek
1998	SMC	Performance bounds for distributed memory multithreaded architectures.	Wlodzimierz M. Zuberek, R. Govindarajan
1995	ISCAS	Function Evaluation in Symbolic Analysis.	Agnieszka Konczykowska, Wlodzimierz M. Zuberek
1994	ISCAS	An Approach to Integrated Numerical & Symbolic Circuit Analysis.	Wlodzimierz M. Zuberek, Agnieszka Konczykowska, D. Martin
1993	ISCAS	Throughput analysis in timed colored Petri nets.	Wlodzimierz M. Zuberek
1987	ICPP	Timed Petri Nets in Modelling and Evaluation of Multiprocessor Systems.	Wlodzimierz M. Zuberek
1986	ICDCS	Modified D-Time Petri Nets, Timeouts, and Modelling of Communication Protocols.	Wlodzimierz M. Zuberek
1980	ISCA	Timed Petri Nets and Preliminary Performance Evaluation.	Wlodzimierz M. Zuberek