Alex Kondratyev

79 papers A* 9A 11B 2C 2Misc 2Journal 23Unranked 28

Year	Rank	Type	Title / Venue / Authors
2013	A	`conf`	Share with care: a quantitative evaluation of sharing approaches in high-level synthesis. DATE Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe
2012	A	`conf`	Exploiting area/delay tradeoffs in high-level synthesis. DATE Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe
2011	A	`conf`	Realistic performance-constrained pipelining in high-level synthesis. DATE Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe
2010	—	`conf`	Incremental high-level synthesis. ASP-DAC Luciano Lavagno, Alex Kondratyev, Yosinori Watanabe, Qiang Zhu, Mototsugu Fujii, Mitsuru Tatesawa, Noriyasu Nakayama
2010	J	`jnl`	Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques. ACM Trans. Design Autom. Electr. Syst. Gianpiero Cabodi, Luciano Lavagno, Marco Murciano, Alex Kondratyev, Yosinori Watanabe
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	J	`jnl`	Schedulability Analysis of Petri Nets Based on Structural Properties. Fundam. Informaticae Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli
2007	J	`jnl`	Design Automation of Real-Life Asynchronous Devices and Systems. Found. Trends Electron. Des. Autom. Alexander Taubin, Jordi Cortadella, Luciano Lavagno, Alex Kondratyev, Ad M. G. Peeters
2006	J	`jnl`	Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou
2006	J	`jnl`	Merged processes: a new condensed representation of Petri net behaviour. Acta Informatica Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
2006	—	`conf`	Schedulability Analysis of Petri Nets Based on Structural Properties. ACSD Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel
2005	J	`jnl`	A BMC-based formulation for the scheduling problem of hardware systems. Int. J. Softw. Tools Technol. Transf. Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe
2005	Misc	`conf`	A structural approach to quasi-static schedulability analysis of communicating concurrent programs. EMSOFT Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
2005	J	`jnl`	Eliminating false positives in crosstalk noise analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yajun Ran, Alex Kondratyev, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska
2005	—	`conf`	Gaining Predictability and Noise Immunity in Global Interconnects. ACSD Yinghua Li, Alex Kondratyev, Robert K. Brayton
2005	B	`conf`	Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
2005	—	`ch.`	Quasi-Static Scheduling of Concurrent Specifications. Embedded Systems Handbook Luciano Lavagno, Claudio Passerone, Alex Kondratyev, Yosinori Watanabe
2005	J	`jnl`	Quasi-static scheduling of independent tasks for reactive systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
2005	A	`conf`	Synthesis methodology for built-in at-speed testing. ICCAD Yinghua Li, Alex Kondratyev, Robert K. Brayton
2004	Misc	`conf`	Bridging the Gap between Asynchronous Design and Designers. VLSI Design Peter A. Beerel, Jordi Cortadella, Alex Kondratyev
2004	C	`conf`	Coping with The Variability of Combinational Logic Delays. ICCD Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou
2004	A	`conf`	Eliminating False Positives in Crosstalk Noise Analysis. DATE Yajun Ran, Alex Kondratyev, Yosinori Watanabe, Malgorzata Marek-Sadowska
2004	A	`conf`	From Synchronous to Asynchronous: An Automatic Approach. DATE Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou
2004	—	`conf`	Handshake Protocols for De-Synchronization. ASYNC Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou
2004	J	`jnl`	Quasi-static Scheduling for Concurrent Architectures. Fundam. Informaticae Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe
2004	A*	`conf`	The best of both worlds: the efficient asynchronous implementation of synchronous specifications. DAC Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	A BMC-formulation for the scheduling problem in highly constrained hardware Systems. BMC@CAV Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
2003	A	`conf`	An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling. DATE Antonio G. Lomeña, Marisa Luisa López-Vallejo, Yosinori Watanabe, Alex Kondratyev
2003	A*	`conf`	Gain-based technology mapping for discrete-size cell libraries. DAC Bo Hu, Yosinori Watanabe, Alex Kondratyev, Malgorzata Marek-Sadowska
2003	—	`conf`	Quasi-Static Scheduling for Concurrent Architectures. ACSD Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
2003	—	`ch.`	State Space Compression in History Driven Quasi-Static Scheduling. Embedded Software for SoC Antonio G. Lomeña, Marisa López-Vallejo, Yosinori Watanabe, Alex Kondratyev
2003	A*	`conf`	Temporofunctional crosstalk noise analysis. DAC Donald Chai, Alex Kondratyev, Yajun Ran, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska
2002	—	`conf`	Checking Delay-Insensitivity: 10 ASYNC Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl Fant, Alexander Taubin
2002	J	`jnl`	Design of Asynchronous Circuits Using Synchronous CAD Tools. IEEE Des. Test Comput. Alex Kondratyev, Kelvin Lwin
2002	—	`conf`	Design of Asynchronous Controllers with Delay Insensitive Interface. ASP-DAC/VLSI Design Hiroshi Saito, Alex Kondratyev, Takashi Nanya
2002	J	`jnl`	Design of Asynchronous Controllers with Delay Insensitive Interface. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alex Yakovlev, Takashi Nanya
2002	A*	`conf`	Design of asynchronous circuits by synchronous CAD tools. DAC Alex Kondratyev, Kelvin Lwin
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
2002	—	`conf`	Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
2002	—	`conf`	Testing of Asynchronous Designs by "Inappropriate" Means: Synchronous Approach. ASYNC Amy Streich, Alex Kondratyev, Lief Sorensen
2000	—	`conf`	Asynchronous Design Using Commercial HDL Synthesis Tools. ASYNC Michiel M. Ligthart, Karl Fant, Ross Smith, Alexander Taubin, Alex Kondratyev
2000	—	`conf`	Formal Verification of Safety Properties in Timed Circuits. ASYNC Marco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev
2000	—	`conf`	Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
2000	A*	`conf`	Task generation and compile-time scheduling for mixed data-control embedded software. DAC Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
1999	A*	`conf`	Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
1999	—	`conf`	Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC Alexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno
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`	What is the cost of delay insensitivity? ICCAD Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev
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`	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`	Structural methods for the synthesis of speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig
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
1996	—	`conf`	Structural Methods for the Synthesis of Speed-Independent Circuits. ED&TC Enric Pastor, Oriol Roig, Jordi Cortadella, Alex Kondratyev
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
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`	OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno
1994	J	`jnl`	Specification and analysis of self-timed circuits. J. VLSI Signal Process. Michael Kishinevsky, Alex Kondratyev, Alexander Taubin
1994	—	`conf`	Verification of the speed-independent circuits by STG unfoldings. ASYNC Alex Kondratyev, Alexander Taubin
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
1988	—	`conf`	Signal Graphs: A Model for Designing Concurrent Logic. ICPP (1) Alex Kondratyev, Leonid Ya. Rosenblum, Alexandre Yakovlev