Michael Kishinevsky

136 papers A* 20A 21B 7C 6Misc 3Journal 47Unranked 31

Year	Rank	Type	Title / Venue / Authors
2023	A	`conf`	A Lightweight Congestion Control Technique for NoCs with Deflection Routing. DATE Shruti Yadav Narayana, Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
2023	J	`jnl`	Domain-Specific Architectures: Research Problems and Promising Approaches. ACM Trans. Embed. Comput. Syst. Anish Krishnakumar, Ümit Y. Ogras, Radu Marculescu, Michael Kishinevsky, Trevor N. Mudge
2023	J	`jnl`	Dynamic Power Management in Large Manycore Systems: A Learning-to-Search Framework. ACM Trans. Design Autom. Electr. Syst. Gaurav Narang, Aryan Deshwal, Raid Ayoub, Michael Kishinevsky, Janardhan Rao Doppa, Partha Pratim Pande
2023	J	`jnl`	Fast Analysis Using Finite Queuing Model for Multilayer NoCs. IEEE Des. Test Shruti Yadav Narayana, Sumit K. Mandal, Raid Ayoub, Mohammad M. Islam, Michael Kishinevsky, Ümit Y. Ogras
2023	J	`jnl`	Fast Performance Analysis for NoCs With Weighted Round-Robin Arbitration and Finite Buffers. IEEE Trans. Very Large Scale Integr. Syst. Sumit K. Mandal, Shruti Yadav Narayana, Raid Ayoub, Michael Kishinevsky, Ahmed Abousamra, Ümit Y. Ogras
2023	J	`jnl`	Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques. ACM Trans. Embed. Comput. Syst. Ümit Y. Ogras, Radu Marculescu, Trevor N. Mudge, Michael Kishinevsky
2023	J	`jnl`	Machine Learning for Microprocessor Performance Bug Localization. CoRR Erick Carvajal Barboza, Mahesh Ketkar, Michael Kishinevsky, Paul Gratz, Jiang Hu
2023	J	`jnl`	Machine Learning-based Low Overhead Congestion Control Algorithm for Industrial NoCs. CoRR Shruti Yadav Narayana, Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
2023	A	`conf`	Uncertainty-Aware Online Learning for Dynamic Power Management in Large Manycore Systems. ISLPED Gaurav Narang, Raid Ayoub, Michael Kishinevsky, Janardhan Rao Doppa, Partha Pratim Pande
2022	B	`conf`	DPM-NFV: Dynamic Power Management Framework for 5G User Plane Function using Bayesian Optimization. GLOBECOM Jaroslaw Sydir, Bin Li, Pietro Mercati, Charlie Tai, Ravi R. Iyer, Michael Kishinevsky, Boris Serafimov
2021	J	`jnl`	Analytical Performance Modeling of NoCs under Priority Arbitration and Bursty Traffic. IEEE Embed. Syst. Lett. Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Mohammad M. Islam, Ümit Y. Ogras
2021	A*	`conf`	Automatic Microprocessor Performance Bug Detection. HPCA Erick Carvajal Barboza, Sara Jacob, Mahesh Ketkar, Michael Kishinevsky, Paul Gratz, Jiang Hu
2021	B	`conf`	MOBO-NFV: Automated Tuning of a Network Function Virtualization System using Multi-Objective Bayesian Optimization. IM Pietro Mercati, Bin Li, Mesut Ali Ergin, Charlie Tai, Michael Kishinevsky, Boris Serafimov, Subhiksha Ravisundar, Eoin Walsh, Thomas Long
2021	J	`jnl`	RAMBO: Resource Allocation for Microservices Using Bayesian Optimization. IEEE Comput. Archit. Lett. Qian Li, Bin Li, Pietro Mercati, Ramesh Illikkal, Charlie Tai, Michael Kishinevsky, Christos Kozyrakis
2021	A	`conf`	Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration. ICCAD Sumit K. Mandal, Jie Tong, Raid Ayoub, Michael Kishinevsky, Ahmed Abousamra, Ümit Y. Ogras
2021	J	`jnl`	Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration. CoRR Sumit K. Mandal, Jie Tong, Raid Ayoub, Michael Kishinevsky, Ahmed Abousamra, Ümit Y. Ogras
2020	J	`jnl`	A Survey on Energy Management for Mobile and IoT Devices. IEEE Des. Test Sudeep Pasricha, Raid Ayoub, Michael Kishinevsky, Sumit K. Mandal, Ümit Y. Ogras
2020	J	`jnl`	An Online Learning Methodology for Performance Modeling of Graphics Processors. CoRR Ujjwal Gupta, Manoj Babu, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy, Ümit Y. Ogras
2020	J	`jnl`	Analytical Performance Modeling of NoCs under Priority Arbitration and Bursty Traffic. CoRR Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Mohammad M. Islam, Ümit Y. Ogras
2020	—	`conf`	Analytical modeling of NoCs for fast simulation and design exploration (invited). SLIP Raid Ayoub, Michael Kishinevsky, Sumit K. Mandal, Ümit Y. Ogras
2020	J	`jnl`	Automatic Microprocessor Performance Bug Detection. CoRR Erick Carvajal Barboza, Sara Jacob, Mahesh Ketkar, Michael Kishinevsky, Paul Gratz, Jiang Hu
2020	J	`jnl`	Guest Editors' Introduction: Design and Management of Mobile Platforms: From Smartphones to Wearable Devices. IEEE Des. Test Ümit Y. Ogras, Sudeep Pasricha, Michael Kishinevsky, Raid Ayoub
2020	A*	`conf`	Online Adaptive Learning for Runtime Resource Management of Heterogeneous SoCs. DAC Sumit K. Mandal, Ümit Y. Ogras, Janardhan Rao Doppa, Raid Zuhair Ayoub, Michael Kishinevsky, Partha Pratim Pande
2020	J	`jnl`	Online Adaptive Learning for Runtime Resource Management of Heterogeneous SoCs. CoRR Sumit K. Mandal, Ümit Y. Ogras, Janardhan Rao Doppa, Raid Zuhair Ayoub, Michael Kishinevsky, Partha Pratim Pande
2020	A	`conf`	Performance Analysis of Priority-Aware NoCs with Deflection Routing under Traffic Congestion. ICCAD Sumit K. Mandal, Anish Krishnakumar, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
2020	J	`jnl`	Performance Analysis of Priority-Aware NoCs with Deflection Routing under Traffic Congestion. CoRR Sumit K. Mandal, Anish Krishnakumar, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
2019	J	`jnl`	Analytical Performance Models for NoCs with Multiple Priority Traffic Classes. CoRR Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
2019	J	`jnl`	Analytical Performance Models for NoCs with Multiple Priority Traffic Classes. ACM Trans. Embed. Comput. Syst. Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
2019	J	`jnl`	Hardware-Assisted Cross-Generation Prediction of GPUs Under Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Kenneth O'Neal, Philip Brisk, Emily Shriver, Michael Kishinevsky
2019	—	`conf`	PerfProbe: a systematic, cross-layer performance diagnosis framework for mobile platforms. MOBILESoft@ICSE David Ke Hong, Ashkan Nikravesh, Z. Morley Mao, Mahesh Ketkar, Michael Kishinevsky
2019	C	`conf`	Understanding the impact of number of CPU cores on user satisfaction in smartphones. MobiQuitous Emirhan Poyraz, Prethvi Kashinkunti, Matthew Schuchhardt, Michael Kishinevsky, Niranjan Soundararajan, Gokhan Memik
2018	J	`jnl`	An Online Learning Methodology for Performance Modeling of Graphics Processors. IEEE Trans. Computers Ujjwal Gupta, Manoj Babu, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy, Ümit Y. Ogras
2018	J	`jnl`	Dynamic Power Budgeting for Mobile Systems Running Graphics Workloads. IEEE Trans. Multi Scale Comput. Syst. Ujjwal Gupta, Raid Ayoub, Michael Kishinevsky, David Kadjo, Niranjan Soundararajan, Ugurkan Tursun, Ümit Y. Ogras
2018	A*	`conf`	STAFF: online learning with stabilized adaptive forgetting factor and feature selection algorithm. DAC Ujjwal Gupta, Manoj Babu, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Ümit Y. Ogras
2017	—	`conf`	Adaptive Performance Sensitivity Model to Support GPU Power Management. ANDARE@PACT Francesco Paterna, Ujjwal Gupta, Raid Ayoub, Ümit Y. Ogras, Michael Kishinevsky
2017	A*	`conf`	HALWPE: Hardware-Assisted Light Weight Performance Estimation for GPUs. DAC Kenneth O'Neal, Philip Brisk, Emily Shriver, Michael Kishinevsky
2017	A*	`conf`	Multi-variable Dynamic Power Management for the GPU Subsystem. DAC Pietro Mercati, Raid Ayoub, Michael Kishinevsky, Eric Samson, Marc Beuchat, Francesco Paterna, Tajana Simunic Rosing
2017	J	`jnl`	User-aware Frame Rate Management in Android Smartphones. ACM Trans. Embed. Comput. Syst. Begum Egilmez, Matthew Schuchhardt, Gokhan Memik, Raid Ayoub, Niranjan Soundararajan, Michael Kishinevsky
2016	A	`conf`	Adaptive performance prediction for integrated GPUs. ICCAD Ujjwal Gupta, Joseph Campbell, Ümit Y. Ogras, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy
2015	A*	`conf`	A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms. DAC David Kadjo, Raid Ayoub, Michael Kishinevsky, Paul V. Gratz
2015	—	`conf`	Multi-product floorplan and uncore design framework for chip multiprocessors. SLIP Marco Escalante, Andrew B. Kahng, Michael Kishinevsky, Ümit Y. Ogras, Kambiz Samadi
2015	Misc	`conf`	Optimizing mobile display brightness by leveraging human visual perception. CASES Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik
2015	J	`jnl`	RTL Synthesis: From Logic Synthesis to Automatic Pipelining. Proc. IEEE Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky, Sachin S. Sapatnekar
2014	Misc	`conf`	CAPED: Context-aware personalized display brightness for mobile devices. CASES Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik
2014	—	`conf`	Towards platform level power management in mobile systems. SoCC David Kadjo, Ümit Y. Ogras, Raid Ayoub, Michael Kishinevsky, Paul Gratz
2013	A*	`conf`	Dynamic voltage and frequency scaling for shared resources in multicore processor designs. DAC Xi Chen, Zheng Xu, Hyungjun Kim, Paul V. Gratz, Jiang Hu, Michael Kishinevsky, Ümit Y. Ogras, Raid Zuhair Ayoub
2013	J	`jnl`	In-network monitoring and control policy for DVFS of CMP networks-on-chip and last level caches. ACM Trans. Design Autom. Electr. Syst. Xi Chen, Zheng Xu, Hyungjun Kim, Paul Gratz, Jiang Hu, Michael Kishinevsky, Ümit Y. Ogras
2013	A	`conf`	Managing mobile platform power. ICCAD Ümit Y. Ogras, Raid Zuhair Ayoub, Michael Kishinevsky, David Kadjo
2012	J	`jnl`	Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics. Formal Methods Syst. Des. Satrajit Chatterjee, Michael Kishinevsky
2012	C	`conf`	Compositional performance verification of NoC designs. MEMOCODE Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia
2012	—	`conf`	Design and optimization of communication fabrics: an industrial perspective. SLIP Ümit Y. Ogras, Michael Kishinevsky
2012	—	`conf`	Energy-guided exploration of on-chip network design for exa-scale computing. SLIP Ümit Y. Ogras, Yunus Emre, Jianping Xu, Timothy Kam, Michael Kishinevsky
2012	—	`conf`	In-network Monitoring and Control Policy for DVFS of CMP Networks-on-Chip and Last Level Caches. NOCS Xi Chen, Zheng Xu, Hyungjun Kim, Paul Gratz, Jiang Hu, Michael Kishinevsky, Ümit Y. Ogras
2012	J	`jnl`	xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification. IEEE Des. Test Comput. Satrajit Chatterjee, Michael Kishinevsky, Ümit Y. Ogras
2011	C	`ed.`	9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 MEMOCODE Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt
2011	J	`jnl`	A Scheduling Strategy for Synchronous Elastic Designs. Fundam. Informaticae Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky
2011	B	`conf`	Challenges in Verifying Communication Fabrics. ITP Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov
2011	J	`jnl`	Microarchitectural Transformations Using Elasticity. ACM J. Emerg. Technol. Comput. Syst. Marc Galceran Oms, Alexander Gotmanov, Jordi Cortadella, Michael Kishinevsky
2011	—	`ed.`	NOCS 2011, Fifth ACM/IEEE International Symposium on Networks-on-Chip, Pittsburgh, Pennsylvania, USA, May 1-4, 2011 NOCS Radu Marculescu, Michael Kishinevsky, Ran Ginosar, Karam S. Chatha
2011	—	`conf`	System interconnect design exploration for embedded MPSoCs. SLIP Chen-Ling Chou, Radu Marculescu, Ümit Y. Ogras, Satrajit Chatterjee, Michael Kishinevsky, Dmitrii Loukianov
2011	B	`conf`	Verifying Deadlock-Freedom of Communication Fabrics. VMCAI Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky
2010	A*	`conf`	Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics. CAV Satrajit Chatterjee, Michael Kishinevsky
2010	A	`conf`	Automatic microarchitectural pipelining. DATE Marc Galceran Oms, Jordi Cortadella, Dmitry Bufistov, Michael Kishinevsky
2010	C	`conf`	Elastic systems. MEMOCODE Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky
2010	J	`jnl`	New Region-Based Algorithms for Deriving Bounded Petri Nets. IEEE Trans. Computers Josep Carmona, Jordi Cortadella, Michael Kishinevsky
2010	J	`jnl`	On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics. Discret. Event Dyn. Syst. Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky
2010	—	`conf`	Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing. NOCS Nikita Nikitin, Satrajit Chatterjee, Jordi Cortadella, Michael Kishinevsky, Ümit Y. Ogras
2010	—	`conf`	Quick formal modeling of communication fabrics to enable verification. HLDVT Satrajit Chatterjee, Michael Kishinevsky, Ümit Y. Ogras
2010	A	`conf`	Symbolic performance analysis of elastic systems. ICCAD Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky
2009	J	`jnl`	A Recursive Paradigm to Solve Boolean Relations. IEEE Trans. Computers David Bañeres, Jordi Cortadella, Michael Kishinevsky
2009	A	`conf`	Divide-and-Conquer Strategies for Process Mining. BPM Josep Carmona, Jordi Cortadella, Michael Kishinevsky
2009	J	`jnl`	Elastic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alexander Taubin
2009	—	`conf`	Genet: A Tool for the Synthesis and Mining of Petri Nets. ACSD Josep Carmona, Jordi Cortadella, Michael Kishinevsky
2009	A*	`conf`	Retiming and recycling for elastic systems with early evaluation. DAC Dmitry Bufistov, Jordi Cortadella, Marc Galceran Oms, Jorge Júlvez, Michael Kishinevsky
2009	—	`conf`	Scheduling Synchronous Elastic Designs. ACSD Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky
2009	A*	`conf`	Speculation in elastic systems. DAC Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky
2009	—	`conf`	Timing-driven N-way decomposition. ACM Great Lakes Symposium on VLSI David Bañeres, Jordi Cortadella, Michael Kishinevsky
2009	A	`conf`	Variable-latency design by function speculation. DATE David Bañeres, Jordi Cortadella, Michael Kishinevsky
2008	A	`conf`	A Region-Based Algorithm for Discovering Petri Nets from Event Logs. BPM Josep Carmona, Jordi Cortadella, Michael Kishinevsky
2008	B	`conf`	A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
2008	C	`conf`	A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. MEMOCODE Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang
2008	A	`conf`	Correct-by-construction microarchitectural pipelining. ICCAD Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms
2008	J	`jnl`	Elasticity and Petri Nets. Trans. Petri Nets Other Model. Concurr. Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez
2008	—	`conf`	Time elastic digital systems and Petri Nets. ACSD Michael Kishinevsky, Jordi Cortadella
2007	A	`conf`	A general model for performance optimization of sequential systems. ICCAD Dmitry Bufistov, Jordi Cortadella, Michael Kishinevsky, Sachin S. Sapatnekar
2007	J	`jnl`	Guest Editors' Introduction: GALS Design and Validation. IEEE Des. Test Comput. Michael Kishinevsky, Sandeep K. Shukla, Ken S. Stevens
2007	A	`conf`	Layout-aware gate duplication and buffer insertion. DATE David Bañeres, Jordi Cortadella, Michael Kishinevsky
2007	A*	`conf`	Synchronous Elastic Circuits with Early Evaluation and Token Counterflow. DAC Jordi Cortadella, Michael Kishinevsky
2006	—	`conf`	Dominator-based partitioning for delay optimization. ACM Great Lakes Symposium on VLSI David Bañeres, Jordi Cortadella, Michael Kishinevsky
2006	A	`conf`	Performance analysis of concurrent systems with early evaluation. ICCAD Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky
2006	Misc	`conf`	Synchronous Elastic Circuits. CSR Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary
2006	B	`conf`	Synchronous Elastic Networks. FMCAD Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary
2006	A*	`conf`	Synthesis of synchronous elastic architectures. DAC Jordi Cortadella, Michael Kishinevsky, Bill Grundmann
2004	A*	`conf`	A recursive paradigm to solve Boolean relations. DAC David Bañeres, Jordi Cortadella, Michael Kishinevsky
2004	B	`conf`	Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD Laurent Arditi, Gérard Berry, Michael Kishinevsky
2003	A	`conf`	System Level Design and Verification Using a Synchronous Language. ICCAD Gérard Berry, Michael Kishinevsky, Satnam Singh
2002	A*	`conf`	Coordinated transformations for high-level synthesis of high performance microprocessor blocks. DAC Sumit Gupta, Nick Savoiu, Nikil D. Dutt, Rajesh K. Gupta, Alexandru Nicolau, Timothy Kam, Michael Kishinevsky, Shai Rotem
2002	J	`jnl`	Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev
2000	—	`conf`	Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
1999	A*	`conf`	Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
1999	A*	`conf`	CAD Directions for High Performance Asynchronous Circuits. DAC Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella, Ran Ginosar, Michael Kishinevsky, Marly Roncken
1999	J	`jnl`	Decomposition and technology mapping of speed-independent circuits using Boolean relations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev
1999	J	`jnl`	Logic decomposition of speed-independent circuits. Proc. IEEE Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
1999	A	`conf`	Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. ICCAD Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens
1998	J	`jnl`	Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. Formal Methods Syst. Des. Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten
1998	A*	`conf`	Asynchronous Interface Specification, Analysis and Synthesis. DAC Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev
1998	J	`jnl`	Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
1998	J	`jnl`	Hazard-free implementation of speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev
1998	—	`conf`	Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. ACSD Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev
1998	A	`conf`	Lazy transition systems: application to timing optimization of asynchronous circuits. ICCAD Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev
1998	J	`jnl`	Partial-scan delay fault testing of asynchronous circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin
1998	J	`jnl`	The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems. J. Circuits Syst. Comput. Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Jordi Cortadella, Luciano Lavagno
1997	J	`jnl`	A region-based theory for state assignment in speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
1997	—	`conf`	Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev
1997	A	`conf`	Decomposition and technology mapping of speed-independent circuits using Boolean relations. ICCAD Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev
1997	A	`conf`	Partial scan delay fault testing of asynchronous circuits. ICCAD Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin
1997	—	`conf`	Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev
1997	—	`conf`	Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. ED&TC Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
1996	—	`conf`	A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. Application and Theory of Petri Nets Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten
1996	—	`conf`	Complete state encoding based on the theory of regions. ASYNC Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev
1996	A*	`conf`	Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
1996	J	`jnl`	On the Models for Asynchronous Circuit Behaviour with OR Causality. Formal Methods Syst. Des. Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny
1995	—	`conf`	Checking signal transition graph implementability by symbolic BDD traversal. ED&TC Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev
1995	—	`conf`	On hazard-free implementation of speed-independent circuits. ASP-DAC Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev
1995	A	`conf`	Synthesizing Petri nets from state-based models. ICCAD Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
1994	J	`jnl`	Analysis and Identification of Speed-Independent Circuits on an Event Model. Formal Methods Syst. Des. Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky
1994	A*	`conf`	Basic Gate Implementation of Speed-Independent Circuits. DAC Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexandre Yakovlev
1994	C	`conf`	Change Diagram : A behavioural model for very speed VLSI circuit/highly parallel systems. PDP Alex Kondratyev, Alexander Taubin, Victor Varshavsky, Michael Kishinevsky, Edwige E. Pissaloux
1994	—	`conf`	Characterizing speed-independence of high-level designs. ASYNC Michael Kishinevsky, Jørgen Staunstrup
1994	—	`conf`	Mechanized Verification of Speed-independence. TPCD Michael Kishinevsky, Jørgen Staunstrup
1994	—	`conf`	OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno
1994	A*	`conf`	Performance Analysis Based on Timing Simulation. DAC Christian D. Nielsen, Michael Kishinevsky
1994	J	`jnl`	Specification and analysis of self-timed circuits. J. VLSI Signal Process. Michael Kishinevsky, Alex Kondratyev, Alexander Taubin
1994	—	`conf`	Testing redundant asynchronous circuits by variable phase splitting. EURO-DAC Luciano Lavagno, Antonio Lioy, Michael Kishinevsky
1992	—	`conf`	Analysis and Identification of Self-Timed Circuits. Designing Correct Circuits Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky
1991	—	`conf`	Formal method for self-timed design. EURO-DAC Michael Kishinevsky, Alex Kondratyev, Alexander Taubin