Alex Kondratyev

Publication Activity (10 Years)

Years Active: 1988-2013
Publications (10 Years): 0

Top Topics

Ground Truth Data

Parallel Processing

High Level Synthesis

Top Venues

Publications

Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe
Share with care: a quantitative evaluation of sharing approaches in high-level synthesis. DATE (2013)
Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe
Exploiting area/delay tradeoffs in high-level synthesis. DATE (2012)
Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe
Realistic performance-constrained pipelining in high-level synthesis. DATE (2011)
Luciano Lavagno, Alex Kondratyev, Yosinori Watanabe, Qiang Zhu, Mototsugu Fujii, Mitsuru Tatesawa, Noriyasu Nakayama
Incremental high-level synthesis. ASP-DAC (2010)
Gianpiero Cabodi, Luciano Lavagno, Marco Murciano, Alex Kondratyev, Yosinori Watanabe
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques. ACM Trans. Design Autom. Electr. Syst. 15 (2) (2010)
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)
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli
Schedulability Analysis of Petri Nets Based on Structural Properties. Fundam. Informaticae 86 (3) (2008)
Alexander Taubin, Jordi Cortadella, Luciano Lavagno, Alex Kondratyev, Ad M. G. Peeters
Design Automation of Real-Life Asynchronous Devices and Systems. Found. Trends Electron. Des. Autom. 2 (1) (2007)
Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
Merged processes: a new condensed representation of Petri net behaviour. Acta Informatica 43 (5) (2006)
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel
Schedulability Analysis of Petri Nets Based on Structural Properties. ACSD (2006)
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou
Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (10) (2006)
Yinghua Li, Alex Kondratyev, Robert K. Brayton
Synthesis methodology for built-in at-speed testing. ICCAD (2005)
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
A structural approach to quasi-static schedulability analysis of communicating concurrent programs. EMSOFT (2005)
Yinghua Li, Alex Kondratyev, Robert K. Brayton
Gaining Predictability and Noise Immunity in Global Interconnects. ACSD (2005)
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
Quasi-static scheduling of independent tasks for reactive systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24 (10) (2005)
Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR (2005)
Yajun Ran, Alex Kondratyev, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska
Eliminating false positives in crosstalk noise analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24 (9) (2005)
Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe
A BMC-based formulation for the scheduling problem of hardware systems. Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe
Quasi-static Scheduling for Concurrent Architectures. Fundam. Informaticae 62 (2) (2004)
Peter A. Beerel, Jordi Cortadella, Alex Kondratyev
Bridging the Gap between Asynchronous Design and Designers. VLSI Design (2004)
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou
From Synchronous to Asynchronous: An Automatic Approach. DATE (2004)
Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou
Handshake Protocols for De-Synchronization. ASYNC (2004)
Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli
The best of both worlds: the efficient asynchronous implementation of synchronous specifications. DAC (2004)
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou
Coping with The Variability of Combinational Logic Delays. ICCD (2004)
Yajun Ran, Alex Kondratyev, Yosinori Watanabe, Malgorzata Marek-Sadowska
Eliminating False Positives in Crosstalk Noise Analysis. DATE (2004)
Bo Hu, Yosinori Watanabe, Alex Kondratyev, Malgorzata Marek-Sadowska
Gain-based technology mapping for discrete-size cell libraries. DAC (2003)
Antonio G. Lomeña, Marisa Luisa López-Vallejo, Yosinori Watanabe, Alex Kondratyev
An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling. DATE (2003)
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
Quasi-Static Scheduling for Concurrent Architectures. ACSD (2003)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
A BMC-formulation for the scheduling problem in highly constrained hardware Systems. Electron. Notes Theor. Comput. Sci. 89 (4) (2003)
Donald Chai, Alex Kondratyev, Yajun Ran, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska
Temporofunctional crosstalk noise analysis. DAC (2003)
Alex Kondratyev, Kelvin Lwin
Design of Asynchronous Circuits Using Synchronous CAD Tools. IEEE Des. Test Comput. 19 (4) (2002)
Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alex Yakovlev, Takashi Nanya
Design of Asynchronous Controllers with Delay Insensitive Interface. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2002)
Alex Kondratyev, Kelvin Lwin
Design of asynchronous circuits by synchronous CAD tools. DAC (2002)
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. ICATPN (2002)
Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl Fant, Alexander Taubin
Gates and Beyond. ASYNC (2002)
Amy Streich, Alex Kondratyev, Lief Sorensen
Testing of Asynchronous Designs by "Inappropriate" Means: Synchronous Approach. ASYNC (2002)
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. Comput. Aided Des. Integr. Circuits Syst. 21 (2) (2002)
Hiroshi Saito, Alex Kondratyev, Takashi Nanya
Design of Asynchronous Controllers with Delay Insensitive Interface. VLSI Design (2002)
Michiel M. Ligthart, Karl Fant, Ross Smith, Alexander Taubin, Alex Kondratyev
Asynchronous Design Using Commercial HDL Synthesis Tools. ASYNC (2000)
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
Task generation and compile-time scheduling for mixed data-control embedded software. DAC (2000)
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN (2000)
Marco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev
Formal Verification of Safety Properties in Timed Circuits. ASYNC (2000)
Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
Logic decomposition of speed-independent circuits. Proc. IEEE 87 (2) (1999)
Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev
What is the cost of delay insensitivity? ICCAD (1999)
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. Comput. Aided Des. Integr. Circuits Syst. 18 (9) (1999)
Alexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno
Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications. ASYNC (1999)
Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. DAC (1999)
Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig
Structural methods for the synthesis of speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (11) (1998)
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. J. Circuits Syst. Comput. 8 (1) (1998)
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)
Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev
Asynchronous Interface Specification, Analysis and Synthesis. DAC (1998)
Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten
Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. Formal Methods Syst. Des. 12 (1) (1998)
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev
Lazy transition systems: application to timing optimization of asynchronous circuits. ICCAD (1998)
Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev
Hazard-free implementation of speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (9) (1998)
Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin
Partial-scan delay fault testing of asynchronous circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (11) (1998)
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)
Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin
Partial scan delay fault testing of asynchronous circuits. ICCAD (1997)
Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev
Coupling Asynchrony and Interrupts: Place Chart Nets. ICATPN (1997)
Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev
Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis. ASYNC (1997)
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)
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
A region-based theory for state assignment in speed-independent circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (8) (1997)
Enric Pastor, Oriol Roig, Jordi Cortadella, Alex Kondratyev
Structural Methods for the Synthesis of Speed-Independent Circuits. ED&TC (1996)
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. DAC (1996)
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)
Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny
On the Models for Asynchronous Circuit Behaviour with OR Causality. Formal Methods Syst. Des. 9 (3) (1996)
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev
Complete state encoding based on the theory of regions. ASYNC (1996)
Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev
On hazard-free implementation of speed-independent circuits. ASP-DAC (1995)
Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev
Checking signal transition graph implementability by symbolic BDD traversal. ED&TC (1995)
Alex Kondratyev, Alexander Taubin, Victor Varshavsky, Michael Kishinevsky, Edwige E. Pissaloux
Change Diagram : A behavioural model for very speed VLSI circuit/highly parallel systems. PDP (1994)
Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno
OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets (1994)
Alex Kondratyev, Alexander Taubin
Verification of the speed-independent circuits by STG unfoldings. ASYNC (1994)
Michael Kishinevsky, Alex Kondratyev, Alexander Taubin
Specification and analysis of self-timed circuits. J. VLSI Signal Process. 7 (1-2) (1994)
Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky
Analysis and Identification of Speed-Independent Circuits on an Event Model. Formal Methods Syst. Des. 4 (1) (1994)
Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexandre Yakovlev
Basic Gate Implementation of Speed-Independent Circuits. DAC (1994)
Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky
Analysis and Identification of Self-Timed Circuits. Designing Correct Circuits (1992)
Michael Kishinevsky, Alex Kondratyev, Alexander Taubin
Formal method for self-timed design. EURO-DAC (1991)
Alex Kondratyev, Leonid Ya. Rosenblum, Alexandre Yakovlev
Signal Graphs: A Model for Designing Concurrent Logic. ICPP (1) (1988)