Wlodzimierz M. Zuberek

Proceedings of the Software Engineering and Algorithms in Intelligent Systems, 2018

2017

Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets.

[BibT_eX]

[DOI]

Wiktor B. Daszczuk

Proceedings of the Advances in Dependability Engineering of Complex Systems, 2017

2016

Invariant-Based Performance Analysis of Timed Petri Net Models.

[BibT_eX]

[DOI]

Proceedings of the Dependability Engineering and Complex Systems, 2016

2015

Symbolic Analysis of Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

2014

Model Fusion for the Compatibility Verification of Software Components.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30, 2014

2013

Shuffle-Based Verification of Component Compatibility.

[BibT_eX]

[DOI]

Proceedings of the New Results in Dependability and Computer Systems, 2013

2011

Balancing the performance of block multithreaded distributed-memory systems.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2011

2010

Modelling and performance analysis of component-based systems.

[BibT_eX]

[DOI]

Ilona Bluemke

Int. J. Crit. Comput. Based Syst., 2010

2009

Performance Limitations of Block-multithreaded Distributed-memory Systems.

[BibT_eX]

[DOI]

Proceedings of the 2009 Winter Simulation Conference, 2009

Siphon-Based Verification of Component Compatibility.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009

2008

Performance Analysis of Component-Based Systems.

[BibT_eX]

[DOI]

Ilona Bluemke

Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

2007

Verification of Component Behavioral Compatibility.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

Multicomponent Compatibility and its Verification.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Compatibility of Software Components - Modeling and Verification.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006

2004

Modeling and Analysis of Dual Block Multithreading.

[BibT_eX]

[DOI]

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2002

Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Approximate Simulation of Distributed-Memory Multithreaded Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 35th Annual Simulation Symposium (ANSS-35 2002), 2002

2001

Timed Petri nets in modeling and analysis of cluster tools.

[BibT_eX]

[DOI]

IEEE Trans. Robotics Autom., 2001

Timed Petri net models of multi-robot cluster tools.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2001

Performance analysis of enhanced fine-grain multithreaded distributed-memory systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2001

Petri net modeling and performance analysis of cluster tools with chamber revisiting.

[BibT_eX]

[DOI]

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Modeling and Analysis of Distributed State Space Generation for Timed Petri Nets.

[BibT_eX]

[DOI]

I. Rada

Proceedings of the Proceedings 34th Annual Simulation Symposium (SS 2001), 2001

Analysis of Performance Limitations in Multithreaded Multiprocessor Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000

Timed Petri net models of cluster tools.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

Hierarchical analysis of manufacturing systems using Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

Event-Driven Simulation of Timed Petri Net Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 33th Annual Simulation Symposium (SS 2000), 2000

1999

Stepwise refinements of net models and their place invariants.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Timed Petri Net Models of ATM LANs.

[BibT_eX]

[DOI]

M. Reid

Proceedings of the Application of Petri Nets to Communication Networks, 1999

1998

Performance bounds for distributed memory multithreaded architectures.

[BibT_eX]

[DOI]

R. Govindarajan

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Timed Petri nets and performance evaluation of systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Methods and tools for characterisation of semiconductor device models.

[BibT_eX]

[DOI]

Agnieszka Konczykowska

Proceedings of the 5th IEEE International Conference on Electronics, Circuits and Systems, 1998

1997

Timed Petri net models of multithreaded multiprocessor architectures.

[BibT_eX]

[DOI]

R. Govindarajan

F. Suciu

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

1995

Function Evaluation in Symbolic Analysis.

[BibT_eX]

[DOI]

Agnieszka Konczykowska

Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995

1994

An Approach to Integrated Numerical & Symbolic Circuit Analysis.

[BibT_eX]

[DOI]

Agnieszka Konczykowska

D. Martin

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

1993

Throughput analysis in timed colored Petri nets.

[BibT_eX]

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993

1990

PNPM'89 - The Third International Workshop on Petri Nets and Performance Models.

[BibT_eX]

[DOI]

Perform. Evaluation, 1990

1989

Performance Evaluation Using Unbounded Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

1988

On generation of state space for timed Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1987

Timed Petri Nets in Modelling and Evaluation of Multiprocessor Systems.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1987

Modified M-timed Petri nets in modelling and performance evaluation of systems.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986

Modified D-Time Petri Nets, Timeouts, and Modelling of Communication Protocols.

[BibT_eX]

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

M-timed Petri nets and Markov chains in modelling of computer systems.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985

Performance Evaluation Using Extended Petri Nets.

[BibT_eX]

Proceedings of the International Workshop on Timed Petri Nets, 1985

M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1985, 1985

Performance evaluation of concurrent systems using timed petri nets.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM Annual Conference on Computer Science, 1985

Extended D-Timed Petri Nets, Timeouts, and Analysis of Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, 1985

1980

Timed Petri Nets and Preliminary Performance Evaluation.

[BibT_eX]

[DOI]