Michael Kishinevsky

	2012
75		Satrajit Chatterjee, Michael Kishinevsky: Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics. Formal Methods in System Design 40(2): 147-169 (2012)
	2011
74		Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt: 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 IEEE 2011
73		Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov: Challenges in Verifying Communication Fabrics. ITP 2011: 18-21
72		Chen-Ling Chou, Radu Marculescu, Ümit Y. Ogras, Satrajit Chatterjee, Michael Kishinevsky, Dmitrii Loukianov: System interconnect design exploration for embedded MPSoCs. SLIP 2011: 1-8
71		Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky: Verifying Deadlock-Freedom of Communication Fabrics. VMCAI 2011: 214-231
70		Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky: A Scheduling Strategy for Synchronous Elastic Designs. Fundam. Inform. 108(1-2): 1-21 (2011)
69		Marc Galceran Oms, Alexander Gotmanov, Jordi Cortadella, Michael Kishinevsky: Microarchitectural Transformations Using Elasticity. JETC 7(4): 18 (2011)
	2010
68		Satrajit Chatterjee, Michael Kishinevsky: Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics. CAV 2010: 321-338
67		Marc Galceran Oms, Jordi Cortadella, Dmitry Bufistov, Michael Kishinevsky: Automatic microarchitectural pipelining. DATE 2010: 961-964
66		Satrajit Chatterjee, Michael Kishinevsky, Ümit Y. Ogras: Quick formal modeling of communication fabrics to enable verification. HLDVT 2010: 42-49
65		Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky: Symbolic performance analysis of elastic systems. ICCAD 2010: 778-785
64		Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky: Elastic systems. MEMOCODE 2010: 149-158
63		Nikita Nikitin, Satrajit Chatterjee, Jordi Cortadella, Michael Kishinevsky, Ümit Y. Ogras: Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing. NOCS 2010: 125-134
62		Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky: On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics. Discrete Event Dynamic Systems 20(3): 377-407 (2010)
61		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: New Region-Based Algorithms for Deriving Bounded Petri Nets. IEEE Trans. Computers 59(3): 371-384 (2010)
	2009
60		David Bañeres, Jordi Cortadella, Michael Kishinevsky: Timing-driven N-way decomposition. ACM Great Lakes Symposium on VLSI 2009: 363-368
59		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: Genet: A Tool for the Synthesis and Mining of Petri Nets. ACSD 2009: 181-185
58		Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky: Scheduling Synchronous Elastic Designs. ACSD 2009: 52-59
57		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: Divide-and-Conquer Strategies for Process Mining. BPM 2009: 327-343
56		Dmitry Bufistov, Jordi Cortadella, Marc Galceran Oms, Jorge Júlvez, Michael Kishinevsky: Retiming and recycling for elastic systems with early evaluation. DAC 2009: 288-291
55		Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky: Speculation in elastic systems. DAC 2009: 292-295
54		David Bañeres, Jordi Cortadella, Michael Kishinevsky: Variable-latency design by function speculation. DATE 2009: 1704-1709
53		David Bañeres, Jordi Cortadella, Michael Kishinevsky: A Recursive Paradigm to Solve Boolean Relations. IEEE Trans. Computers 58(4): 512-527 (2009)
52		Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alexander Taubin: Elastic Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 28(10): 1437-1455 (2009)
	2008
51		Michael Kishinevsky, Jordi Cortadella: Time elastic digital systems and Petri Nets. ACSD 2008: 1-2
50		Josep Carmona, Jordi Cortadella, Michael Kishinevsky: A Region-Based Algorithm for Discovering Petri Nets from Event Logs. BPM 2008: 358-373
49		Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms: Correct-by-construction microarchitectural pipelining. ICCAD 2008: 434-441
48		Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang: A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. MEMOCODE 2008: 79-88
47		Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets 2008: 92-111
46		Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez: Elasticity and Petri Nets. T. Petri Nets and Other Models of Concurrency 1: 221-249 (2008)
	2007
45		Jordi Cortadella, Michael Kishinevsky: Synchronous Elastic Circuits with Early Evaluation and Token Counterflow. DAC 2007: 416-419
44		David Bañeres, Jordi Cortadella, Michael Kishinevsky: Layout-aware gate duplication and buffer insertion. DATE 2007: 1367-1372
43		Dmitry Bufistov, Jordi Cortadella, Michael Kishinevsky, Sachin S. Sapatnekar: A general model for performance optimization of sequential systems. ICCAD 2007: 362-369
42		Michael Kishinevsky, Sandeep K. Shukla, Ken S. Stevens: Guest Editors' Introduction: GALS Design and Validation. IEEE Design & Test of Computers 24(5): 414-416 (2007)
	2006
41		David Bañeres, Jordi Cortadella, Michael Kishinevsky: Dominator-based partitioning for delay optimization. ACM Great Lakes Symposium on VLSI 2006: 67-72
40		Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary: Synchronous Elastic Circuits. CSR 2006: 3-5
39		Jordi Cortadella, Michael Kishinevsky, Bill Grundmann: Synthesis of synchronous elastic architectures. DAC 2006: 657-662
38		Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary: Synchronous Elastic Networks. FMCAD 2006: 19-30
37		Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky: Performance analysis of concurrent systems with early evaluation. ICCAD 2006: 448-455
	2004
36		David Bañeres, Jordi Cortadella, Michael Kishinevsky: A recursive paradigm to solve Boolean relations. DAC 2004: 416-421
35		Laurent Arditi, Gérard Berry, Michael Kishinevsky: Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD 2004: 128-143
	2003
34		Gérard Berry, Michael Kishinevsky, Satnam Singh: System Level Design and Verification Using a Synchronous Language. ICCAD 2003: 433-440
	2002
33		Sumit Gupta, Nick Savoiu, Nikil D. Dutt, Rajesh K. Gupta, Alexandru Nicolau, Timothy Kam, Michael Kishinevsky, Shai Rotem: Coordinated transformations for high-level synthesis of high performance microprocessor blocks. DAC 2002: 898-903
32		Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev: Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions. IEEE Trans. on CAD of Integrated Circuits and Systems 21(2): 109-130 (2002)
	2000
31		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN 2000: 1-15
	1999
30		Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC 1999: 110-115
29		Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella, Ran Ginosar, Michael Kishinevsky, Marly Roncken: CAD Directions for High Performance Asynchronous Circuits. DAC 1999: 116-121
28		Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens: Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. ICCAD 1999: 324-331
27		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev: Decomposition and technology mapping of speed-independent circuits using Boolean relations. IEEE Trans. on CAD of Integrated Circuits and Systems 18(9): 1221-1236 (1999)
	1998
26		Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. ACSD 1998: 152-163
25		Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev: Asynchronous Interface Specification, Analysis and Synthesis. DAC 1998: 2-7
24		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Lazy transition systems: application to timing optimization of asynchronous circuits. ICCAD 1998: 324-331
23		Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten: Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. Formal Methods in System Design 12(1): 5-38 (1998)
22		Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers 47(8): 859-882 (1998)
21		Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin: Partial-scan delay fault testing of asynchronous circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 17(11): 1184-1199 (1998)
20		Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev: Hazard-free implementation of speed-independent circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 17(9): 749-771 (1998)
19		Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Jordi Cortadella, Luciano Lavagno: The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems. Journal of Circuits, Systems, and Computers 8(1): 67-118 (1998)
	1997
18		Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev: Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC 1997: 240-253
17		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. ED&TC 1997: 98-105
16		Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev: Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN 1997: 328-347
15		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev: Decomposition and technology mapping of speed-independent circuits using Boolean relations. ICCAD 1997: 220-227
14		Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin: Partial scan delay fault testing of asynchronous circuits. ICCAD 1997: 728-735
13		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: A region-based theory for state assignment in speed-independent circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 16(8): 793-812 (1997)
	1996
12		Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten: A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. Application and Theory of Petri Nets 1996: 346-365
11		Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev: Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC 1996: 63-66
10		Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny: On the Models for Asynchronous Circuit Behaviour with OR Causality. Formal Methods in System Design 9(3): 189-233 (1996)
	1995
9		Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev: On hazard-free implementation of speed-independent circuits. ASP-DAC 1995
8		Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev: Synthesizing Petri nets from state-based models. ICCAD 1995: 164-171
	1994
7		Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno: OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets 1994: 568-587
6		Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexandre Yakovlev: Basic Gate Implementation of Speed-Independent Circuits. DAC 1994: 56-62
5		Christian D. Nielsen, Michael Kishinevsky: Performance Analysis Based on Timing Simulation. DAC 1994: 70-76
4		Luciano Lavagno, Antonio Lioy, Michael Kishinevsky: Testing redundant asynchronous circuits by variable phase splitting. EURO-DAC 1994: 328-333
3		Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky: Analysis and Identification of Speed-Independent Circuits on an Event Model. Formal Methods in System Design 4(1): 33-75 (1994)
2		Michael Kishinevsky, Alex Kondratyev, Alexander Taubin: Specification and analysis of self-timed circuits. VLSI Signal Processing 7(1-2): 117-135 (1994)
	1992
1		Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky: Analysis and Identification of Self-Timed Circuits. Designing Correct Circuits 1992: 275-287

Coauthor Index

1	Laurent Arditi	[35]
2	David Bañeres	[36] [41] [44] [53] [54] [60]
3	Gérard Berry	[34] [35]
4	Jens Brandt	[74]
5	Dmitry Bufistov	[43] [46] [56] [67]
6	Steven M. Burns	[28] [29] [32]
7	Josep Carmona	[46] [47] [50] [52] [57] [58] [59] [61] [70]
8	Satrajit Chatterjee	[63] [66] [68] [71] [72] [75]
9	Chen-Ling Chou	[72]
10	Jordi Cortadella	[8] [11] [13] [15] [16] [17] [18] [19] [22] [24] [25] [26] [27] [28] [29] [30] [31] [32] [36] [37] [38] [39] [40] [41] [43] [44] [45] [46] [47] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [67] [69] [70]
11	Nikil D. Dutt (Nikil Dutt)	[33]
12	Ran Ginosar	[29]
13	Alexander Gotmanov	[69] [71] [73]
14	Bill Grundmann	[39] [40]
15	Rajesh K. Gupta (Rajesh Gupta)	[33]
16	Sumit Gupta	[33]
17	Steve Haynal	[48]
18	Barbara Jobstmann	[74]
19	Jorge Júlvez	[37] [46] [56] [58] [62] [70]
20	Timothy Kam	[33] [48] [49]
21	Alex Kondratyev	[1] [2] [3] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [23] [24] [25] [26] [27] [30] [31] [32] [47]
22	Sava Krstic	[38] [40]
23	Luciano Lavagno	[4] [7] [8] [10] [11] [13] [14] [15] [16] [17] [18] [19] [21] [22] [24] [26] [27] [30] [31] [32] [47]
24	Bill Lin	[6]
25	Antonio Lioy	[4]
26	Dmitrii Loukianov	[72]
27	Radu Marculescu	[72]
28	Alexandru Nicolau (Alex Nicolau)	[33]
29	Christian D. Nielsen	[5]
30	Nikita Nikitin	[63]
31	John O'Leary	[38] [40]
32	Ümit Y. Ogras	[63] [66] [72]
33	Marc Galceran Oms	[49] [55] [56] [64] [65] [67] [69]
34	Enric Pastor	[15] [27]
35	Marta Pietkiewicz-Koutny	[10]
36	Marly Roncken	[29]
37	Shai Rotem	[29] [33]
38	Alexander Saldanha	[14] [21]
39	Sachin S. Sapatnekar	[43]
40	Nicolae Savoiu (Nick Savoiu)	[33]
41	Emily Shriver	[48]
42	Sandeep K. Shukla (Sandeep Kumar Shukla)	[42]
43	Satnam Singh	[34] [74]
44	Kenneth S. Stevens (Ken S. Stevens)	[28] [29] [32] [42]
45	Alexander Taubin	[1] [2] [3] [12] [14] [16] [19] [21] [23] [24] [26] [32] [52]
46	Sergei Ten	[12] [23]
47	Peter Vanbekbergen	[6]
48	Victor Varshavsky	[1] [3]
49	Yuriy Viktorov	[73]
50	Xinning Wang	[48]
51	Alexandre Yakovlev (Alex Yakovlev)	[6] [7] [8] [9] [10] [11] [13] [15] [16] [17] [18] [20] [22] [24] [26] [27] [30] [31] [32] [47]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page