Michael Kishinevsky

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Coupling asynchrony and interrupts: Place Chart Nets	2022-12-09	Paper
Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration	2021-08-21	Paper
A structural approach for the analysis of Petri nets by reduced unfoldings Application and Theory of Petri Nets 1996	2019-05-02	Paper
An Online Learning Methodology for Performance Modeling of Graphics Processors IEEE Transactions on Computers	2019-03-07	Paper
Deriving Petri nets from finite transition systems IEEE Transactions on Computers	2018-07-09	Paper
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics Formal Methods in System Design	2012-09-27	Paper
A scheduling strategy for synchronous elastic designs Fundamenta Informaticae	2012-07-04	Paper
Verifying deadlock-freedom of communication fabrics Lecture Notes in Computer Science	2011-02-15	Paper
On the performance evaluation of multi-guarded marked graphs with single-server semantics Discrete Event Dynamic Systems	2010-10-15	Paper
Elasticity and Petri Nets Transactions on Petri Nets and Other Models of Concurrency I	2009-02-03	Paper
Formal Methods in Computer-Aided Design Lecture Notes in Computer Science	2006-10-20	Paper
scientific article; zbMATH DE number 1696445 (Why is no real title available?)	2002-06-17	Paper
scientific article; zbMATH DE number 711039 (Why is no real title available?)	1995-01-12	Paper

Research outcomes over time

This page was built for person: Michael Kishinevsky