Michael Kishinevsky

Available identifiers

zbMath Open kishinevsky.michaelMaRDI QIDQ453525

List of research outcomes

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	2019-05-02	Paper
An Online Learning Methodology for Performance Modeling of Graphics Processors	2019-03-07	Paper
Deriving Petri nets from finite transition systems	2018-07-09	Paper
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics	2012-09-27	Paper
A scheduling strategy for synchronous elastic designs	2012-07-04	Paper
Verifying Deadlock-Freedom of Communication Fabrics	2011-02-15	Paper
On the performance evaluation of multi-guarded marked graphs with single-server semantics	2010-10-15	Paper
Elasticity and Petri Nets	2009-02-03	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q2766547	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4319803	1995-01-12	Paper

Research outcomes over time

This page was built for person: Michael Kishinevsky