Alex Kondratyev

According to our database, Alex Kondratyev authored at least 73 papers between 1988 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Share with care: a quantitative evaluation of sharing approaches in high-level synthesis.

Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Exploiting area/delay tradeoffs in high-level synthesis.

Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Realistic performance-constrained pipelining in high-level synthesis.

Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques.

Gianpiero Cabodi, Luciano Lavagno, Marco Murciano, Alex Kondratyev, Yosinori Watanabe

ACM Trans. Design Autom. Electr. Syst., 2010

Incremental high-level synthesis.

Luciano Lavagno, Alex Kondratyev, Yosinori Watanabe, Qiang Zhu, Mototsugu Fujii, Mitsuru Tatesawa, Noriyasu Nakayama

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

2008

Schedulability Analysis of Petri Nets Based on Structural Properties.

Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli

Fundam. Informaticae, 2008

A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.

Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Design Automation of Real-Life Asynchronous Devices and Systems.

Alexander Taubin, Jordi Cortadella, Luciano Lavagno, Alex Kondratyev, Ad M. G. Peeters

Found. Trends Electron. Des. Autom., 2007

2006

Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications.

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Merged processes: a new condensed representation of Petri net behaviour.

Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler

Acta Informatica, 2006

2005

Quasi-Static Scheduling of Concurrent Specifications.

Luciano Lavagno, Claudio Passerone, Alex Kondratyev, Yosinori Watanabe

Proceedings of the Embedded Systems Handbook., 2005

Eliminating false positives in crosstalk noise analysis.

Yajun Ran, Alex Kondratyev, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Quasi-static scheduling of independent tasks for reactive systems.

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

A BMC-based formulation for the scheduling problem of hardware systems.

Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe

Int. J. Softw. Tools Technol. Transf., 2005

Synthesis methodology for built-in at-speed testing.

Yinghua Li, Alex Kondratyev, Robert K. Brayton

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

A structural approach to quasi-static schedulability analysis of communicating concurrent programs.

Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli

Proceedings of the EMSOFT 2005, 2005

Gaining Predictability and Noise Immunity in Global Interconnects.

Yinghua Li, Alex Kondratyev, Robert K. Brayton

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Quasi-static Scheduling for Concurrent Architectures.

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Yosinori Watanabe

Fundam. Informaticae, 2004

Bridging the Gap between Asynchronous Design and Designers.

Peter A. Beerel, Jordi Cortadella, Alex Kondratyev

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Coping with The Variability of Combinational Logic Delays.

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou

Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

Eliminating False Positives in Crosstalk Noise Analysis.

Yajun Ran, Alex Kondratyev, Yosinori Watanabe, Malgorzata Marek-Sadowska

Proceedings of the 2004 Design, 2004

From Synchronous to Asynchronous: An Automatic Approach.

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou

Proceedings of the 2004 Design, 2004

The best of both worlds: the efficient asynchronous implementation of synchronous specifications.

Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 41th Design Automation Conference, 2004

Handshake Protocols for De-Synchronization.

Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou

Proceedings of the 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 2004

2003

A BMC-formulation for the scheduling problem in highly constrained hardware Systems.

Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe

Proceedings of the First International Workshop on Bounded Model Checking, 2003

An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling.

Antonio G. Lomeña, Marisa Luisa López-Vallejo, Yosinori Watanabe, Alex Kondratyev

Proceedings of the 2003 Design, 2003

Gain-based technology mapping for discrete-size cell libraries.

Bo Hu, Yosinori Watanabe, Alex Kondratyev, Malgorzata Marek-Sadowska

Proceedings of the 40th Design Automation Conference, 2003

Temporofunctional crosstalk noise analysis.

Donald Chai, Alex Kondratyev, Yajun Ran, Kenneth H. Tseng, Yosinori Watanabe, Malgorzata Marek-Sadowska

Proceedings of the 40th Design Automation Conference, 2003

Quasi-Static Scheduling for Concurrent Architectures.

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

State Space Compression in History Driven Quasi-Static Scheduling.

Antonio G. Lomeña, Marisa López-Vallejo, Yosinori Watanabe, Alex Kondratyev

Proceedings of the Embedded Software for SoC, 2003

2002

Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions.

Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002

Design of Asynchronous Controllers with Delay Insensitive Interface.

Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alex Yakovlev, Takashi Nanya

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

Design of Asynchronous Circuits Using Synchronous CAD Tools.

Alex Kondratyev, Kelvin Lwin

IEEE Des. Test Comput., 2002

Design of Asynchronous Controllers with Delay Insensitive Interface.

Hiroshi Saito, Alex Kondratyev, Takashi Nanya

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

Design of asynchronous circuits by synchronous CAD tools.

Alex Kondratyev, Kelvin Lwin

Proceedings of the 39th Design Automation Conference, 2002

Testing of Asynchronous Designs by "Inappropriate" Means: Synchronous Approach.

Amy Streich, Alex Kondratyev, Lief Sorensen

Proceedings of the 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 2002

Checking Delay-Insensitivity: 10⁴ Gates and Beyond.

Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl Fant, Alexander Taubin

Proceedings of the 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 2002

Quasi-Static Scheduling of Independent Tasksfor Reactive Systems.

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2000

Task generation and compile-time scheduling for mixed data-control embedded software.

Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 37th Conference on Design Automation, 2000

Formal Verification of Safety Properties in Timed Circuits.

Marco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev

Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000

Asynchronous Design Using Commercial HDL Synthesis Tools.

Michiel M. Ligthart, Karl Fant, Ross Smith, Alexander Taubin, Alex Kondratyev

Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000

Hardware and Petri Nets: Application to Asynchronous Circuit Design.

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Decomposition and technology mapping of speed-independent circuits using Boolean relations.

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Logic decomposition of speed-independent circuits.

Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev

Proc. IEEE, 1999

What is the cost of delay insensitivity?

Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems.

Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev

Proceedings of the 36th Conference on Design Automation, 1999

Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications.

Alexander Taubin, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno

Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999

1998

Structural methods for the synthesis of speed-independent circuits.

Enric Pastor, Jordi Cortadella, Alex Kondratyev, Oriol Roig

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

Hazard-free implementation of speed-independent circuits.

Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

Partial-scan delay fault testing of asynchronous circuits.

Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems.

Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Jordi Cortadella, Luciano Lavagno

J. Circuits Syst. Comput., 1998

Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings.

Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten

Formal Methods Syst. Des., 1998

Lazy transition systems: application to timing optimization of asynchronous circuits.

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Asynchronous Interface Specification, Analysis and Synthesis.

Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev

Proceedings of the 35th Conference on Design Automation, 1998

Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings.

Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

A region-based theory for state assignment in speed-independent circuits.

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997

Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis.

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev

Proceedings of the European Design and Test Conference, 1997

Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis.

Alex Kondratyev, Michael Kishinevsky, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

Coupling Asynchrony and Interrupts: Place Chart Nets.

Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

On the Models for Asynchronous Circuit Behaviour with OR Causality.

Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Marta Pietkiewicz-Koutny

Formal Methods Syst. Des., 1996

Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis.

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev

Proceedings of the 33st Conference on Design Automation, 1996

Complete state encoding based on the theory of regions.

Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev

Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '96), 1996

A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings.

Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

Checking signal transition graph implementability by symbolic BDD traversal.

Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev

Proceedings of the 1995 European Design and Test Conference, 1995

1994

Specification and analysis of self-timed circuits.

Michael Kishinevsky, Alex Kondratyev, Alexander Taubin

J. VLSI Signal Process., 1994

Analysis and Identification of Speed-Independent Circuits on an Event Model.

Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky

Formal Methods Syst. Des., 1994

Change Diagram : A behavioural model for very speed VLSI circuit/highly parallel systems.

Alex Kondratyev, Alexander Taubin, Victor Varshavsky, Michael Kishinevsky, Edwige E. Pissaloux

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

Basic Gate Implementation of Speed-Independent Circuits.

Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexandre Yakovlev

Proceedings of the 31st Conference on Design Automation, 1994

Verification of the speed-independent circuits by STG unfoldings.

Alex Kondratyev, Alexander Taubin

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

OR Causality: Modelling and Hardware Implementation.

Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1992

Analysis and Identification of Self-Timed Circuits.

Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky

Proceedings of the Designing Correct Circuits, 1992

1991

Formal method for self-timed design.

Michael Kishinevsky, Alex Kondratyev, Alexander Taubin

Proceedings of the conference on European design automation, 1991

1988

Signal Graphs: A Model for Designing Concurrent Logic.

Alex Kondratyev, Leonid Ya. Rosenblum, Alexandre Yakovlev

Proceedings of the International Conference on Parallel Processing, 1988