M. Kishinevsky

Most-cited papers

Synthesis of synchronous elastic architectures
J. Cortadella, M. Kishinevsky, B. Grundmann
20062006 43rd ACM/IEEE Design Automation Conference180 citations Open access
Semantic Scholar
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
J. Carmona, J. Cortadella, M. Kishinevsky
2008International Conference on Business Process Management129 citations Open access
Semantic Scholar
Elastic Circuits
J. Carmona, J. Cortadella, M. Kishinevsky, A. Taubin
2009IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems117 citations Open access
Semantic Scholar
New Region-Based Algorithms for Deriving Bounded Petri Nets
J. Carmona, J. Cortadella, M. Kishinevsky
2010IEEE transactions on computers75 citations Open access
Semantic Scholar
Dynamic voltage and frequency scaling for shared resources in multicore processor designs
X. Chen, Zheng Xu, Hyungjun Kim, Paul V. Gratz +4 more
2013Design Automation Conference65 citations
Semantic Scholar
In-network Monitoring and Control Policy for DVFS of CMP Networks-on-Chip and Last Level Caches
X. Chen, Zheng Xu, Hyungjun Kim, Paul V. Gratz +3 more
20122012 IEEE/ACM Sixth International Symposium on Networks-on-Chip65 citations
Semantic Scholar
A Survey on Energy Management for Mobile and IoT Devices
S. Pasricha, Raid Ayoub, M. Kishinevsky, Sumit K. Mandal +1 more
2020IEEE design & test62 citations Open access
Semantic Scholar
Variable-latency design by function speculation
David Bañeres, J. Cortadella, M. Kishinevsky
20092009 Design, Automation & Test in Europe Conference & Exhibition60 citations
Semantic Scholar
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics
Satrajit Chatterjee, M. Kishinevsky
2010Formal methods in system design59 citations
Semantic Scholar
xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification
Satrajit Chatterjee, M. Kishinevsky, U. Ogras
2012IEEE Design & Test of Computers58 citations
Semantic Scholar
RAMBO: Resource Allocation for Microservices Using Bayesian Optimization
Li Qian, Bin Li, P. Mercati, Ramesh Illikkal +3 more
2021IEEE computer architecture letters51 citations
Semantic Scholar
Genet: A Tool for the Synthesis and Mining of Petri Nets
J. Carmona, J. Cortadella, M. Kishinevsky
20092009 Ninth International Conference on Application of Concurrency to System Design48 citations Open access
Semantic Scholar
Synchronous Elastic Circuits with Early Evaluation and Token Counterflow
J. Cortadella, M. Kishinevsky
20072007 44th ACM/IEEE Design Automation Conference48 citations Open access
Semantic Scholar
System level design and verification using a synchronous language
G. Berry, M. Kishinevsky, Satnam Singh
2003ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486)48 citations Open access
Semantic Scholar
A recursive paradigm to solve boolean relations
David Bañeres, J. Cortadella, M. Kishinevsky
2004Proceedings - Design Automation Conference47 citations
Semantic Scholar
Verifying Deadlock-Freedom of Communication Fabrics
Alexander Gotmanov, Satrajit Chatterjee, M. Kishinevsky
2011International Conference on Verification, Model Checking and Abstract Interpretation45 citations
Semantic Scholar
Quick formal modeling of communication fabrics to enable verification
Satrajit Chatterjee, M. Kishinevsky, U. Ogras
2010High Level Design Validation and Test Workshop43 citations
Semantic Scholar
Domain-Specific Architectures: Research Problems and Promising Approaches
A. Krishnakumar, U. Ogras, R. Marculescu, M. Kishinevsky +1 more
2022ACM Transactions on Embedded Computing Systems41 citations
Semantic Scholar
A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms
David Kadjo, Raid Ayoub, M. Kishinevsky, Paul V. Gratz
2015Design Automation Conference41 citations
Semantic Scholar
Synchronous Elastic Networks
S. Krstic, J. Cortadella, M. Kishinevsky, J. O'Leary
2006Formal Methods in Computer-Aided Design40 citations Open access
Semantic Scholar
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
J. Carmona, J. Cortadella, M. Kishinevsky, A. Kondratyev +2 more
2008Applications and Theory of Petri Nets39 citations Open access
Semantic Scholar
Divide-and-Conquer Strategies for Process Mining
J. Carmona, J. Cortadella, M. Kishinevsky
2009International Conference on Business Process Management36 citations Open access
Semantic Scholar
Correct-by-construction microarchitectural pipelining
T. Kam, M. Kishinevsky, J. Cortadella, Marc Galceran-Oms
2008IEEE/ACM International Conference on Computer-Aided Design33 citations Open access
Semantic Scholar
Dynamic Power Budgeting for Mobile Systems Running Graphics Workloads
U. Gupta, Raid Ayoub, M. Kishinevsky, David Kadjo +3 more
2018IEEE Transactions on Multi-Scale Computing Systems29 citations Open access
Semantic Scholar
Performance analysis of concurrent systems with early evaluation
J. Júlvez, J. Cortadella, M. Kishinevsky
2006IEEE/ACM International Conference on Computer-Aided Design26 citations Open access
Semantic Scholar
Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions
J. Cortadella, M. Kishinevsky, S. Burns, A. Kondratyev +4 more
2002IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.26 citations Open access
Semantic Scholar
Analytical Performance Models for NoCs with Multiple Priority Traffic Classes
Sumit K. Mandal, Raid Ayoub, M. Kishinevsky, U. Ogras
2019ACM Transactions on Embedded Computing Systems24 citations Open access
Semantic Scholar
Adaptive performance prediction for integrated GPUs
U. Gupta, Joseph Campbell, U. Ogras, Raid Ayoub +3 more
20162016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)24 citations
Semantic Scholar
A general model for performance optimization of sequential systems
Dmitry Bufistov, J. Cortadella, M. Kishinevsky, S. Sapatnekar
2007IEEE/ACM International Conference on Computer-Aided Design23 citations Open access
Semantic Scholar
STAFF: Online Learning with Stabilized Adaptive Forgetting Factor and Feature Selection Algorithm
U. Gupta, M. Babu, Raid Ayoub, M. Kishinevsky +2 more
2018Design Automation Conference20 citations Open access
Semantic Scholar
Scheduling Synchronous Elastic Designs
J. Carmona, J. Júlvez, J. Cortadella, M. Kishinevsky
20092009 Ninth International Conference on Application of Concurrency to System Design20 citations Open access
Semantic Scholar
CAPED: Context-aware personalized display brightness for mobile devices
Matthew Schuchhardt, Susmit Jha, Raid Ayoub, M. Kishinevsky +1 more
2014International Conference on Compilers, Architecture, and Synthesis for Embedded Systems18 citations
Semantic Scholar
Towards platform level power management in mobile systems
David Kadjo, U. Ogras, Raid Ayoub, M. Kishinevsky +1 more
2014ACM Symposium on Cloud Computing18 citations
Semantic Scholar
Automatic microarchitectural pipelining
Marc Galceran-Oms, J. Cortadella, Dmitry Bufistov, M. Kishinevsky
2010Design, Automation and Test in Europe17 citations Open access
Semantic Scholar
RTL Synthesis: From Logic Synthesis to Automatic Pipelining
J. Cortadella, Marc Galceran-Oms, M. Kishinevsky, S. Sapatnekar
2015Proceedings of the IEEE16 citations Open access
Semantic Scholar
Retiming and recycling for elastic systems with early evaluation
Dmitry Bufistov, J. Cortadella, Marc Galceran-Oms, J. Júlvez +1 more
20092009 46th ACM/IEEE Design Automation Conference15 citations Open access
Semantic Scholar
Coordinated transformations for high-level synthesis of high performance microprocessor blocks
S. Gupta, N. Savoiu, N. Dutt, Rajesh K. Gupta +4 more
2002Proceedings - Design Automation Conference15 citations
Semantic Scholar
Multi-variable dynamic power management for the GPU subsystem
P. Mercati, Raid Ayoub, M. Kishinevsky, E. Samson +3 more
2017Design Automation Conference14 citations
Semantic Scholar
Speculation in Elastic Systems
Marc Galceran-Oms, J. Cortadella, M. Kishinevsky
20092009 46th ACM/IEEE Design Automation Conference14 citations Open access
Semantic Scholar
Automatic Microprocessor Performance Bug Detection
Erick Carvajal Barboza, S. Jacob, Mahesh Ketkar, M. Kishinevsky +2 more
2020International Symposium on High-Performance Computer Architecture13 citations Open access
Semantic Scholar
HALWPE: Hardware-assisted light weight performance estimation for GPUs
Kenneth O'Neal, P. Brisk, Emily Shriver, M. Kishinevsky
2017Design Automation Conference13 citations
Semantic Scholar
Optimizing mobile display brightness by leveraging human visual perception
Matthew Schuchhardt, Susmit Jha, Raid Ayoub, M. Kishinevsky +1 more
2015International Conference on Compilers, Architecture, and Synthesis for Embedded Systems13 citations
Semantic Scholar
An Online Learning Methodology for Performance Modeling of Graphics Processors
U. Gupta, M. Babu, Raid Ayoub, M. Kishinevsky +3 more
2018IEEE transactions on computers12 citations Open access
Semantic Scholar
User-aware Frame Rate Management in Android Smartphones
Begum Egilmez, Matthew Schuchhardt, G. Memik, Raid Ayoub +2 more
2017ACM Transactions on Embedded Computing Systems11 citations
Semantic Scholar
Managing mobile platform power
U. Ogras, Raid Ayoub, M. Kishinevsky, David Kadjo
20132013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)11 citations
Semantic Scholar
Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing
N. Nikitin, Satrajit Chatterjee, J. Cortadella, M. Kishinevsky +1 more
20102010 Fourth ACM/IEEE International Symposium on Networks-on-Chip11 citations Open access
Semantic Scholar
Compositional performance verification of NoC designs
D. Holcomb, Alexander Gotmanov, M. Kishinevsky, S. Seshia
2012Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)10 citations
Semantic Scholar
Performance Analysis of Priority-Aware NoCs with Deflection Routing under Traffic Congestion
Sumit K. Mandal, A. Krishnakumar, Raid Ayoub, M. Kishinevsky +1 more
20202020 IEEE/ACM International Conference On Computer Aided Design (ICCAD)9 citations Open access
Semantic Scholar
Layout-Aware Gate Duplication and Buffer Insertion
David Bañeres, J. Cortadella, M. Kishinevsky
20072007 Design, Automation & Test in Europe Conference & Exhibition8 citations
Semantic Scholar
Fast Performance Analysis for NoCs With Weighted Round-Robin Arbitration and Finite Buffers
Sumit K. Mandal, S. Y. Narayana, Raid Ayoub, M. Kishinevsky +2 more
2023IEEE Transactions on Very Large Scale Integration (VLSI) Systems7 citations
Semantic Scholar