Alexandre V. Bystrov
Orcid: 0000-0001-9338-2535
According to our database1,
Alexandre V. Bystrov
authored at least 57 papers
between 1995 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
2019
Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019
2017
Proceedings of the 23rd IEEE International Symposium on On-Line Testing and Robust System Design, 2017
Proceedings of the 22nd IEEE European Test Symposium, 2017
2015
Location-dependent key management protocol for a WSN with a random selected cell reporter.
Proceedings of the 2015 IEEE International Conference on Communications, 2015
2014
Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014
2013
Assessment of the One-Dimensional Generalized New Mersenne Number Transform for Security Systems.
Proceedings of the 77th IEEE Vehicular Technology Conference, 2013
Proceedings of the 15th International Conference on Computer Modelling and Simulation, 2013
FPGA design of a pulse encoder for optoelectronic neural stimulation and recording arrays.
Proceedings of the 2013 IEEE Biomedical Circuits and Systems Conference (BioCAS), Rotterdam, The Netherlands, October 31, 2013
2012
IET Comput. Digit. Tech., 2012
Proceedings of the 14th International Conference on Computer Modelling and Simulation, 2012
Modelling and Analysis of Manufacturing Variability Effects from Process to Architectural Level.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2012
Proceedings of the 5th International Conference on New Technologies, 2012
Proceedings of the 10th IEEE International NEWCAS Conference, 2012
Proceedings of the 18th IEEE International On-Line Testing Symposium, 2012
2011
IEEE Trans. Very Large Scale Integr. Syst., 2011
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation, 2011
2010
J. Low Power Electron., 2010
Proceedings of the 16th IEEE International On-Line Testing Symposium (IOLTS 2010), 2010
2008
IEEE Trans. Circuits Syst. I Regul. Pap., 2008
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets.
Program. Comput. Softw., 2008
J. Low Power Electron., 2008
Proceedings of the ESSCIRC 2008, 2008
2007
IEEE Trans. Very Large Scale Integr. Syst., 2007
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007
A C-element Latch Scheme with Increased Transient Fault Tolerance for Asynchronous Circuits.
Proceedings of the 13th IEEE International On-Line Testing Symposium (IOLTS 2007), 2007
Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.
Proceedings of the Computer Science, 2007
Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 2007
2006
Proceedings of the 12th IEEE International On-Line Testing Symposium (IOLTS 2006), 2006
Proceedings of the 11th European Test Symposium, 2006
Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006
2005
IEEE Trans. Computers, 2005
Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005
Proceedings of the Integrated Circuit and System Design, 2005
Proceedings of the 11th IEEE International On-Line Testing Symposium (IOLTS 2005), 2005
Proceedings of the 11th IEEE International On-Line Testing Symposium (IOLTS 2005), 2005
2004
IEEE Trans. Computers, 2004
A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits.
Proceedings of the Integrated Circuit and System Design, 2004
Proceedings of the Cryptographic Hardware and Embedded Systems, 2004
2003
Proceedings of the 2003 Design, 2003
Proceedings of the 2003 Design, 2003
Proceedings of the 9th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2003), 2003
2002
Visualization of Coding Conflicts in Asynchronous Circuit Design.
Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002
Synthesis of Asynchronous Circuits with Predictable Latency.
Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002
Proceedings of the 2002 International Symposium on Circuits and Systems, 2002
Proceedings of the 2002 Design, 2002
Proceedings of the 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 2002
Proceedings of the 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 2002
2001
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets.
Program. Comput. Softw., 2001
2000
Proceedings of the Integrated Circuit Design, 2000
Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000
Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000
1999
Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool.
Proceedings of the Parallel Computing Technologies, 1999
1995
Proceedings of the Parallel Computing Technologies, 1995