Alexandre Yakovlev

187 papers A* 6A 20B 7C 15Misc 3Journal 57Unranked 77

Year	Rank	Type	Title / Venue / Authors
2021	—	`conf`	Towards Hazard-Free Multiplexer Based Implementation of Self-Timed Circuits. ASYNC Alexander Kushnerov, Moti Medina, Alexandre Yakovlev
2018	J	`jnl`	Significance-Driven Logic Compression for Energy-Efficient Multiplier Design. IEEE J. Emerg. Sel. Topics Circuits Syst. Issa Qiqieh, Rishad A. Shafik, Ghaith Tarawneh, Danil Sokolov, Shidhartha Das, Alexandre Yakovlev
2017	J	`jnl`	A Resilient 2-D Waveguide Communication Fabric for Hybrid Wired-Wireless NoC Design. IEEE Trans. Parallel Distributed Syst. Michael Opoku Agyeman, Quoc-Tuan Vien, Ali Ahmadinia, Alexandre Yakovlev, Kin-Fai Tong, Terrence S. T. Mak
2017	A*	`conf`	Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited. DAC Vladimir Dubikhin, Chris J. Myers, Danil Sokolov, Ioannis Syranidis, Alexandre Yakovlev
2017	—	`conf`	Multiphase ternary Fibonacci 2D switched capacitor converters. ECCTD Alexander Kushnerov, Tsorng-Juu Peter Liang, Alexandre Yakovlev
2017	—	`conf`	Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn Framework. ACSD Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander B. Romanovsky, Alexandre Yakovlev
2016	C	`conf`	Selective abstraction and stochastic methods for scalable power modelling of heterogeneous systems. FDL Ashur Rafiev, Fei Xia, Alexei Iliasov, Rem Gensh, Ali Aalsaud, Alexander B. Romanovsky, Alexandre Yakovlev
2016	—	`conf`	Stacking voltage-controlled oscillators: Analysis and application. ICECS Alexander Kushnerov, Alexandre Yakovlev
2015	C	`conf`	A Formal Specification and Prototyping Language for Multi-core System Management. PDP Alexei Iliasov, Ashur Rafiev, Fei Xia, Rem Gensh, Alexander B. Romanovsky, Alexandre Yakovlev
2015	—	`conf`	A least squares method applied to multiphase switched capacitor converters. ECCTD Alexander Kushnerov, Alexandre Yakovlev
2015	J	`jnl`	Design of Self-Timed Reconfigurable Controllers for Parallel Synchronization via Wagging. IEEE Trans. Very Large Scale Integr. Syst. James Sebastian Guido, Alexandre Yakovlev
2015	A	`conf`	GALS synthesis and verification for xMAS models. DATE Frank P. Burns, Danil Sokolov, Alexandre Yakovlev
2015	A	`conf`	Mixed wire and surface-wave communication fabrics for decentralized on-chip multicasting. DATE Ammar Karkar, Kin-Fai Tong, Terrence S. T. Mak, Alexandre Yakovlev
2015	J	`jnl`	On hyperbolic laws of capacitor discharge through self-timed digital loads. Int. J. Circuit Theory Appl. Alexandre Yakovlev, Alexander Kushnerov, Andrey Mokhov, Reza Ramezani
2014	—	`conf`	ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. ES4CPS@DATE Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev
2014	B	`conf`	Asynchronously assisted FPGA for variability. FPL Hock Soon Low, Delong Shang, Fei Xia, Alexandre Yakovlev
2014	J	`jnl`	Modeling and Tools for Power Supply Variations Analysis in Networks-on-Chip. IEEE Trans. Computers Nizar Dahir, Terrence S. T. Mak, Fei Xia, Alexandre Yakovlev
2014	—	`conf`	Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. ACSD Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev
2013	J	`jnl`	Voltage Sensing Using an Asynchronous Charge-to-Digital Converter for Energy-Autonomous Environments. IEEE J. Emerg. Sel. Topics Circuits Syst. Reza Ramezani, Alexandre Yakovlev, Fei Xia, Julian P. Murphy, Delong Shang
2012	C	`conf`	Error detection and correction of single event upset (SEU) tolerant latch. IOLTS Norhuzaimin Julai, Alexandre Yakovlev, Alexandre V. Bystrov
2012	—	`conf`	Self-Timed Physically Unclonable Functions. NTMS Julian P. Murphy, Máire O'Neill, Frank P. Burns, Alexandre V. Bystrov, Alexandre Yakovlev, Basel Halak
2012	J	`jnl`	Towards power-elastic systems through concurrency management. IET Comput. Digit. Tech. Fei Xia, Andrey Mokhov, Yu Zhou, Yifan Chen, Isi Mitrani, Delong Shang, Danil Sokolov, Alexandre Yakovlev
2011	—	`conf`	A Novel Power Delivery Method for Asynchronous Loads in Energy Harvesting Systems. ASYNC Xuefu Zhang, Delong Shang, Fei Xia, Alexandre Yakovlev
2011	J	`jnl`	Editorial - Selected papers from the 16th IEEE International Symposium on Asynchronous Circuits and Systems. IET Comput. Digit. Tech. Ken S. Stevens, Alexandre Yakovlev
2011	J	`jnl`	Flat Arbiters. Fundam. Informaticae Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev
2011	—	`conf`	Improving the Robustness of Self-timed SRAM to Variable Vdds. PATMOS Abdullah Baz, Delong Shang, Fei Xia, Alexandre Yakovlev, Alexandre V. Bystrov
2011	J	`jnl`	M-PRES: a statistical tool for modelling the impact of manufacturing process variations on circuit-level performance parameters. IET Circuits Devices Syst. Santosh Shedabale, Gordon Russell, Alexandre Yakovlev
2011	—	`conf`	On-chip dynamic programming networks using 3D-TSV integration. ICSAMOS Ra'ed Al-Dujaily, Terrence S. T. Mak, Kuan Zhou, Kai-Pui Lam, Yicong Meng, Alexandre Yakovlev, Chi-Sang Poon
2011	—	`conf`	Power adaptive computing system design in energy harvesting environment. ICSAMOS Qiang Liu, Terrence S. T. Mak, Junwen Luo, Wayne Luk, Alexandre Yakovlev
2011	J	`jnl`	Real-Time FPGA-Based Multichannel Spike Sorting Using Hebbian Eigenfilters. IEEE J. Emerg. Sel. Topics Circuits Syst. Bo Yu, Terrence S. T. Mak, Xiangyu Li, Fei Xia, Alexandre Yakovlev, Yihe Sun, Chi-Sang Poon
2011	—	`conf`	Reconfigurable controllers for synchronization via wagging. ACM Great Lakes Symposium on VLSI James Sebastian Guido, Alexandre Yakovlev
2011	A	`conf`	Run-time deadlock detection in networks-on-chip using coupled transitive closure networks. DATE Ra'ed Al-Dujaily, Terrence S. T. Mak, Fei Xia, Alexandre Yakovlev, Maurizio Palesi
2011	J	`jnl`	Security Evaluation of Balanced 1-of- n Circuits. IEEE Trans. Very Large Scale Integr. Syst. Frank P. Burns, Alexandre V. Bystrov, Albert Koelmans, Alexandre Yakovlev
2011	J	`jnl`	Self-Timed SRAM for Energy Harvesting Systems. J. Low Power Electron. Abdullah Baz, Delong Shang, Fei Xia, Alexandre Yakovlev
2011	J	`jnl`	Statistical analysis of crosstalk-induced errors for on-chip interconnects. IET Comput. Digit. Tech. Basel Halak, Alexandre Yakovlev
2011	J	`jnl`	Sub-threshold synchronizer. Microelectron. J. Jun Zhou, Maryam Ashouei, David Kinniment, Jos Huisken, Gordon Russell, Alexandre Yakovlev
2011	—	`conf`	Variation Tolerant AFPGA Architecture. ASYNC Hock Soon Low, Delong Shang, Fei Xia, Alexandre Yakovlev
2011	A	`conf`	Variation tolerant asynchronous FPGA (abstract only). FPGA Hock Soon Low, Delong Shang, Fei Xia, Alexandre Yakovlev
2010	B	`conf`	A Reconfigurable Hebbian Eigenfilter for Neurophysiological Spike Train Analysis. FPL Bo Yu, Terrence S. T. Mak, Xiangyu Li, Fei Xia, Alexandre Yakovlev, Yihe Sun, Chi-Sang Poon
2010	C	`conf`	Asynchronous FPGA architecture with distributed control. ISCAS Delong Shang, Fei Xia, Alexandre Yakovlev
2010	—	`conf`	Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. ACSD Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev
2010	J	`jnl`	Conditional Partial Order Graphs: Model, Synthesis, and Application. IEEE Trans. Computers Andrey Mokhov, Alexandre Yakovlev
2010	C	`conf`	Highly parallel multi-resource arbiters. ISCAS Delong Shang, Fei Xia, Alexandre Yakovlev
2010	—	`conf`	Secure Design Flow for Asynchronous Multi-valued Logic Circuits. ISMVL Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev
2010	—	`conf`	Self-Timed SRAM for Energy Harvesting Systems. PATMOS Abdullah Baz, Delong Shang, Fei Xia, Alexandre Yakovlev
2010	C	`conf`	Stochastic analysis of power, latency and the degree of concurrency. ISCAS Yuan Chen, Isi Mitrani, Delong Shang, Fei Xia, Alexandre Yakovlev
2010	J	`jnl`	Throughput Optimization for Area-Constrained Links With Crosstalk Avoidance Methods. IEEE Trans. Very Large Scale Integr. Syst. Basel Halak, Alexandre Yakovlev
2009	—	`conf`	Connection-centric network for spiking neural networks. NOCS Robin Emery, Alexandre Yakovlev, E. Graeme Chester
2009	—	`conf`	Desynchronisation Technique Using Petri Nets. FMGALS@DATE Sohini Dasgupta, Alexandre Yakovlev
2009	J	`jnl`	Efficient advanced encryption standard implementation using lookup and normal basis. IET Comput. Digit. Tech. Frank P. Burns, Julian P. Murphy, Albert Koelmans, Alexandre Yakovlev
2009	—	`conf`	Evaluation of energy-recovering interconnects for low-power 3D stacked ICs. 3DIC Panagiotis Asimakopoulos, Geert Van der Plas, Alexandre Yakovlev, Paul Marchal
2009	J	`jnl`	Fine-grain stochastic modelling of dynamic power management policies and analysis of their power - latency tradeoffs. IET Softw. Yuan Chen, Fei Xia, Delong Shang, Alexandre Yakovlev
2009	—	`conf`	Flat Arbiters. ACSD Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev
2009	—	`conf`	Quaternary Reed-Muller Expansions of Mixed Radix Arguments in Cryptographic Circuits. ISMVL Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev
2009	J	`jnl`	Synthesis of Nets with Step Firing Policies. Fundam. Informaticae Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev
2009	—	`conf`	The Magic Rule of Tiles: Virtual Delay Insensitivity. PATMOS Delong Shang, Fei Xia, Stanislavs Golubcovs, Alexandre Yakovlev
2009	B	`conf`	Workcraft - A Framework for Interpreted Graph Models. Petri Nets Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev
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`	Analysis of Static Data Flow Structures. Fundam. Informaticae Danil Sokolov, Ivan Poliakov, Alexandre Yakovlev
2008	Misc	`conf`	Asynchronous transient resilient links for NoC. CODES+ISSS Simon Ogg, Bashir M. Al-Hashimi, Alexandre Yakovlev
2008	A	`conf`	Bandwidth-Centric Optimisation for Area-Constrained Links with Crosstalk Avoidance Methods. DATE Basel Halak, Alexandre Yakovlev
2008	J	`jnl`	Comments on the BCS Lecture "The Future of Computer Technology and its Implications for the Computer Industry" by Professor Steve Furber. Comput. J. Peter Y. K. Cheung, Alexandre Yakovlev
2008	A	`conf`	Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis. DATE Andrey Mokhov, Alexandre Yakovlev
2008	C	`conf`	Conversion driven design of binary to mixed radix circuits. ICCD Ashur Rafiev, Julian P. Murphy, Danil Sokolov, Alexandre Yakovlev
2008	J	`jnl`	Fault-Tolerant Techniques to Minimize the Impact of Crosstalk on Phase Encoded Communication Channels. IEEE Trans. Computers Basel Halak, Alexandre Yakovlev
2008	—	`conf`	Global interconnections in FPGAs: modeling and performance analysis. SLIP Terrence S. T. Mak, Crescenzo D'Alessandro, N. Pete Sedcole, Peter Y. K. Cheung, Alexandre Yakovlev, Wayne Luk
2008	—	`conf`	Implementation of Wave-Pipelined Interconnects in FPGAs. NOCS Terrence S. T. Mak, Crescenzo D'Alessandro, N. Pete Sedcole, Peter Y. K. Cheung, Alexandre Yakovlev, Wayne Luk
2008	J	`jnl`	On-Chip Measurement of Deep Metastability in Synchronizers. IEEE J. Solid State Circuits Jun Zhou, David Kinniment, Charles E. Dike, Gordon Russell, Alexandre Yakovlev
2008	J	`jnl`	Phase-Encoding for On-Chip Signalling. IEEE Trans. Circuits Syst. I Regul. Pap. Crescenzo D'Alessandro, Delong Shang, Alexandre V. Bystrov, Alexandre Yakovlev, Oleg V. Maevsky
2008	J	`jnl`	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. Fundam. Informaticae Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev
2008	A	`conf`	Serialized Asynchronous Links for NoC. DATE Simon Ogg, Enrico Valli, Bashir M. Al-Hashimi, Alexandre Yakovlev, Crescenzo D'Alessandro, Luca Benini
2008	J	`jnl`	Statistical modelling of the variation in advanced process technologies using a multi-level partitioned response. IET Circuits Devices Syst. Santosh Shedabale, Hiran Ramakrishnan, Gordon Russell, Alexandre Yakovlev, Sanatan Chattopadhyay
2008	B	`conf`	Synthesis of Nets with Step Firing Policies. Petri Nets Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev
2008	—	`conf`	The impact of variability on the reliability of long on-chip interconnect in the presence of crosstalk. SLIP Basel Halak, Santosh Shedabale, Hiran Ramakrishnan, Alexandre Yakovlev, Gordon Russell
2008	—	`conf`	Verification of conditional partial order graphs. ACSD Andrey Mokhov, Alexandre Yakovlev
2007	C	`conf`	A C-element Latch Scheme with Increased Transient Fault Tolerance for Asynchronous Circuits. IOLTS K. T. Gardiner, Alexandre Yakovlev, Alexandre V. Bystrov
2007	—	`conf`	Asynchronous Data Path Models. ACSD Danil Sokolov, Ivan Poliakov, Alexandre Yakovlev
2007	—	`conf`	Asynchronous Functional Coupling for Low Power Sensor Network Processors. PATMOS Delong Shang, Chi-Hoon Shin, Ping Wang, Fei Xia, Albert Koelmans, Myeong-Hoon Oh, Seongwoon Kim, Alexandre Yakovlev
2007	J	`jnl`	Automating Synthesis of Asynchronous Communication Mechanisms. Fundam. Informaticae Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev
2007	—	`conf`	Delay/Phase Regeneration Circuits. ASYNC Crescenzo D'Alessandro, Andrey Mokhov, Alexandre V. Bystrov, Alexandre Yakovlev
2007	J	`jnl`	Direct Mapping of Low-Latency Asynchronous Controllers From STGs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Danil Sokolov, Alexandre V. Bystrov, Alexandre Yakovlev
2007	C	`conf`	Impact of strain on the design of low-power high-speed circuits. ISCAS Hiran Ramakrishnan, Koushik Maharatna, Sanatan Chattopadhyay, Alexandre Yakovlev
2007	J	`jnl`	Measuring Deep Metastability and Its Effect on Synchronizer Performance. IEEE Trans. Very Large Scale Integr. Syst. David Kinniment, Charles E. Dike, Keith Heron, Gordon Russell, Alexandre Yakovlev
2007	—	`conf`	NoC Communication Strategies Using Time-to-Digital Conversion. NOCS Crescenzo D'Alessandro, Nikolaos Minas, Keith Heron, David Kinniment, Alexandre Yakovlev
2007	—	`ed.`	Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings ICATPN Jetty Kleijn, Alexandre Yakovlev
2007	—	`conf`	Reducing Interconnect Cost in NoC through Serialized Asynchronous Links. NOCS Simon Ogg, Enrico Valli, Crescenzo D'Alessandro, Alexandre Yakovlev, Bashir M. Al-Hashimi, Luca Benini
2007	J	`jnl`	Registers for Phase Difference Based Logic. IEEE Trans. Very Large Scale Integr. Syst. Delong Shang, Alexandre Yakovlev, Albert Koelmans, Danil Sokolov, Alexandre V. Bystrov
2007	—	`conf`	The Design of Virtual Self-timed Block for Activity Communication in SOC. ACSD Yuan Chen, Fei Xia, Delong Shang, Alexandre Yakovlev
2006	—	`conf`	A Robust Synchronizer. ISVLSI Jun Zhou, David Kinniment, Gordon Russell, Alexandre Yakovlev
2006	J	`jnl`	Buffered Asynchronous Communication Mechanisms. Fundam. Informaticae Fei Xia, Fei Hao, Ian G. Clark, Alexandre Yakovlev, E. Graeme Chester
2006	A	`conf`	Cost-aware synthesis of asynchronous circuits based on partial acknowledgement. ICCAD Yu Zhou, Danil Sokolov, Alexandre Yakovlev
2006	J	`jnl`	Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. Fundam. Informaticae Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
2006	B	`conf`	Low-Cost Online Testing of Asynchronous Handshakes. ETS Delong Shang, Alexandre Yakovlev, Frank P. Burns, Fei Xia, Alexandre V. Bystrov
2006	—	`conf`	Multiple-Rail Phase-Encoding for NoC. ASYNC Crescenzo D'Alessandro, Delong Shang, Alexandre V. Bystrov, Alexandre Yakovlev, Oleg V. Maevsky
2006	C	`conf`	Online Testing by Protocol Decomposition. IOLTS Deepali Koppad, Danil Sokolov, Alexandre V. Bystrov, Alexandre Yakovlev
2006	—	`conf`	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. ACSD Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev
2006	C	`conf`	Virtual self-timed blocks for systems-on-chip. ISCAS Yuan Chen, Fei Xia, Alexandre Yakovlev
2005	C	`conf`	A Multi-version Data Model and Semantic-Based Transaction Processing Protocol. ADBIS Alexandre Yakovlev
2005	—	`conf`	Automating Synthesis of Asynchronous Communication Mechanisms. ACSD Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev
2005	J	`jnl`	Design and Analysis of Dual-Rail Circuits for Security Applications. IEEE Trans. Computers Danil Sokolov, Julian P. Murphy, Alexandre V. Bystrov, Alexandre Yakovlev
2005	A	`conf`	Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures. DATE Sohini Dasgupta, Alexandre Yakovlev
2005	—	`conf`	Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits. FMGALS@MEMOCODE Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alexandre Yakovlev
2005	Misc	`conf`	Off-Line Testing of Asynchronous Circuits. VLSI Design Deepali Koppad, Alexandre V. Bystrov, Alexandre Yakovlev
2005	C	`conf`	On-Line Testing of Globally Asynchronous Circuits. IOLTS Delong Shang, Alexandre V. Bystrov, Alexandre Yakovlev, Deepali Koppad
2005	—	`conf`	PSK Signalling on NoC Buses. PATMOS Crescenzo D'Alessandro, Delong Shang, Alexandre V. Bystrov, Alexandre Yakovlev
2005	C	`conf`	Power-Balanced Self Checking Circuits for Cryptographic Chips. IOLTS Julian P. Murphy, Alexandre V. Bystrov, Alexandre Yakovlev
2004	—	`conf`	A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits. PATMOS Delong Shang, Frank P. Burns, Alexandre V. Bystrov, Albert Koelmans, Danil Sokolov, Alexandre Yakovlev
2004	A	`conf`	An Asynchronous Synthesis Toolset Using Verilog. DATE Frank P. Burns, Delong Shang, Albert Koelmans, Alexandre Yakovlev
2004	—	`conf`	Buffered Asynchronous Communication Mechanisms. ACSD Fei Xia, Fei Hao, Ian G. Clark, Alexandre Yakovlev, E. Graeme Chester
2004	J	`jnl`	Design and Analysis of a Self-Timed Duplex Communication System. IEEE Trans. Computers Alexandre Yakovlev, Stephen B. Furber, René Krenz, Alexandre V. Bystrov
2004	J	`jnl`	Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundam. Informaticae Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
2004	A	`conf`	Improving the Security of Dual-Rail Circuits. CHES Danil Sokolov, Julian P. Murphy, Alexandre V. Bystrov, Alexandre Yakovlev
2004	—	`conf`	Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. ACSD Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
2004	—	`conf`	Low Latency Synchronization Through Speculation. PATMOS D. J. Kinniment, Alexandre Yakovlev
2004	—	`conf`	MATLAB Models of ACMS in Control Systems. ICINCO (3) Fei Hao, Fei Xia, E. Graeme Chester, Alexandre Yakovlev, Ian G. Clark
2003	—	`conf`	Detecting State Coding Conflicts in STG Unfoldings Using SAT. ACSD Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
2003	—	`conf`	Low-Latency Contro Structures with Slack. ASYNC Alexandre V. Bystrov, Danil Sokolov, Alexandre Yakovlev
2003	—	`conf`	Monotonic Circuits with Complete Acknowledgement. ASYNC Nikolai Starodoubtsev, Sergei Bystrov, Alexandre Yakovlev
2003	J	`jnl`	On-chip structures for timing measurement and test. Microprocess. Microsystems D. J. Kinniment, Oleh V. Maevsky, Alexandre V. Bystrov, Gordon Russell, Alexandre Yakovlev
2003	A	`conf`	STG Optimisation in the Direct Mapping of Asynchronous Circuits . DATE Danil Sokolov, Alexandre V. Bystrov, Alexandre Yakovlev
2003	—	`conf`	Synthesis of Asynchronous Hardware from Petri Nets. Lectures on Concurrency and Petri Nets Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev
2003	A	`conf`	Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. DATE Agnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev
2002	—	`conf`	Analysis of the oscillation problem in tri-flops. ISCAS (1) Oleh V. Maevsky, D. J. Kinniment, Alexandre Yakovlev, Alexandre V. Bystrov
2002	—	`conf`	Asynchronous Circuit Synthesis by Direct Mapping: Interfacing to Environment. ASYNC Alexandre V. Bystrov, Alexandre Yakovlev
2002	—	`conf`	Asynchronous circuit synthesis via direct translation. ISCAS (3) Delong Shang, Fei Xia, Alexandre Yakovlev
2002	—	`ed.`	Concurrency and Hardware Design, Advances in Petri Nets Concurrency and Hardware Design Jordi Cortadella, Alexandre Yakovlev, Grzegorz Rozenberg
2002	J	`jnl`	Data Communication in Systems with Heterogeneous Timing. IEEE Micro Fei Xia, Alexandre Yakovlev, Ian G. Clark, Delong Shang
2002	A	`conf`	Detecting State Coding Conflicts in STGs Using Integer Programming. DATE Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
2002	—	`conf`	Is the Die Cast for the Token Game? ICATPN Alexandre Yakovlev
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`	Logic Design of Asynchronous Circuits (Tutorial Abstract). ASP-DAC/VLSI Design Jordi Cortadella, Alexandre Yakovlev, Jim D. Garside
2002	—	`conf`	On-Chip Structures for Timing Measurements and Test. ASYNC D. J. Kinniment, Oleh V. Maevsky, Gordon Russell, Alexandre Yakovlev, Alexandre V. Bystrov
2002	—	`conf`	Synthesis of Asynchronous Circuits with Predictable Latency. IWLS Alexandre V. Bystrov, Alexandre Yakovlev
2002	—	`conf`	Visualization of Coding Conflicts in Asynchronous Circuit Design. IWLS Agnes Madalinski, Alexandre V. Bystrov, Alexandre Yakovlev
2002	A	`conf`	Visualization of Partial Order Models in VLSI Design Flow. DATE Alexandre V. Bystrov, Maciej Koutny, Alexandre Yakovlev
2001	J	`jnl`	Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2001	—	`conf`	Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism. ASYNC Alexandre Yakovlev, Fei Xia, Delong Shang
2000	—	`conf`	Asynchronous Communication Mechanisms Using Self-Timed Circuits. ASYNC Fei Xia, Alexandre Yakovlev, Delong Shang, Alexandre V. Bystrov, Albert Koelmans, D. J. Kinniment
2000	—	`conf`	Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
2000	—	`conf`	On developing and verifying design abstractions for reliable concurrent programming in Ada. IRTAW Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev
2000	—	`conf`	Priority Arbiters. ASYNC Alexandre V. Bystrov, D. J. Kinniment, Alexandre Yakovlev
2000	—	`conf`	Semi-modular Latch Chains for Asynchronous Circuit Design. PATMOS Nikolai Starodoubtsev, Alexandre V. Bystrov, Alexandre Yakovlev
2000	J	`jnl`	Synchronous and asynchronous A-D conversion. IEEE Trans. Very Large Scale Integr. Syst. David Kinniment, Alexandre Yakovlev, B. Gao
2000	J	`jnl`	WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets. Real Time Syst. Frank P. Burns, Albert Koelmans, Alexandre Yakovlev
1999	J	`jnl`	Asynchronous microprocessors: From high level model to FPGA implementation. J. Syst. Archit. Lee Lloyd, Keith Heron, Albert Koelmans, 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	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`	Analysing Superscalar Processor Architectures with Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. Frank P. Burns, Albert Koelmans, Alexandre Yakovlev
1998	J	`jnl`	Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
1998	J	`jnl`	Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. Formal Methods Syst. Des. 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	—	`conf`	Towards Asynchronous A-D Conversion. ASYNC D. J. Kinniment, Alexandre Yakovlev, Fei Xia, B. Gao
1998	B	`conf`	Unfolding and Finite Prefix for Nets with Read Arcs. CONCUR Walter Vogler, Alexei L. Semenov, Alexandre Yakovlev
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	J	`jnl`	Designing an asynchronous processor using Petri nets. IEEE Micro Alexei L. Semenov, Albert Koelmans, Lee Lloyd, Alexandre Yakovlev
1997	—	`conf`	Partial order based approach to synthesis of speed-independent circuits. ASYNC Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno
1997	A*	`conf`	Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. DAC Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella
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	J	`jnl`	A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis. Formal Methods Syst. Des. Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
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`	Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integr. Alexandre Yakovlev, Albert Koelmans, Alexei L. Semenov, D. J. Kinniment
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	A*	`conf`	Verification of asynchronous circuits using Time Petri Net unfolding. DAC Alexei L. Semenov, Alexandre Yakovlev
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`	Designing an asynchronous pipeline token ring interface. ASYNC Alexandre Yakovlev, Victor Varshavsky, Vyacheslav Marakhovsky, Alexei L. Semenov
1995	J	`jnl`	High-Level Modeling and Design of Asynchronous Interface Logic. IEEE Des. Test Comput. Alexandre Yakovlev, Albert Koelmans, Luciano Lavagno
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`	A low latency asynchronous arbitration circuit. IEEE Trans. Very Large Scale Integr. Syst. Alexandre Yakovlev, A. Petrov, Luciano Lavagno
1994	A*	`conf`	Basic Gate Implementation of Speed-Independent Circuits. DAC Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexandre Yakovlev
1994	—	`conf`	OR Causality: Modelling and Hardware Implementation. Application and Theory of Petri Nets Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno
1993	—	`conf`	Synthesis of Asynchronous Control Circuits from Symbolic Signal Transition Graphs. Asynchronous Design Methodologies Alexandre Yakovlev, A. I. Petrov, Leonid Ya. Rosenblum
1993	Misc	`conf`	Synthesis of Hazard-free Asynchronous Circuits from Generalized Signal-Transition Graphs. VLSI Design Alexandre Yakovlev
1992	—	`conf`	A Structural Technique For Fault-Protection in Asynchronous Interfaces. FTCS Alexandre Yakovlev
1992	A	`conf`	A unified signal transition graph model for asynchronous control circuit synthesis. ICCAD Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1992	C	`conf`	On Limitations and Extensions of STG Model for Designing Asynchronous Control Circuits. ICCD Alexandre Yakovlev
1989	J	`jnl`	A look at concurrency semantics through "lattice glasses". Bull. EATCS Leonid Ya. Rosenblum, Alexandre Yakovlev, Vladimir Yakovlev
1989	—	`conf`	Analyzing Semantics of Concurrent Hardware Specifications. ICPP (3) Leonid Ya. Rosenblum, Alexandre Yakovlev
1988	—	`conf`	Signal Graphs: A Model for Designing Concurrent Logic. ICPP (1) Alex Kondratyev, Leonid Ya. Rosenblum, Alexandre Yakovlev
1985	—	`conf`	Signal Graphs: From Self-Timed to Timed Ones. PNPM Leonid Ya. Rosenblum, Alexandre Yakovlev