Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Doron Drusinsky-Yoresh |
Symbolic cover minimization of fully I/O specified finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9(7), pp. 779-781, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Siegfried I. Mensch, Hans Martin Lipp |
Fuzzy specification of finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990, pp. 622-626, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Abhijit Ghosh, Srinivas Devadas, A. Richard Newton |
Verification of Interacting Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990., pp. 213-219, 1990, IEEE Computer Society Press, 0-89791-363-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Alexandre Bronstein, Carolyn L. Talcott |
Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 317-333, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek, Malgorzata Mazurkiewicz |
Hardware Reduction for FSMs With Extended State Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 42369-42384, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Yongyi Yan, Can Wang, Jumei Yue |
Transform Mechanism Between PLMs and Scalars: An Answer to the Open Question on Extension of Method for Reducing Storage Complexity of FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 71(3), pp. 1206-1210, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Uraz Cengiz Türker, Robert M. Hierons, Gerassimos D. Barlas, Khaled El-Fakih |
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 49(9), pp. 4371-4389, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Khalil Esper, Stefan Wildermann, Jürgen Teich |
Automatic Synthesis of FSMs for Enforcing Non-functional Requirements on MPSoCs Using Multi-objective Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 28(6), pp. 98:1-98:20, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Megan Charity, Dipika Rajesh, Sam Earle, Julian Togelius |
Amorphous Fortress: Observing Emergent Behavior in Multi-Agent FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.13169, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Natalia Kushik, Nina Yevtushenko 0001, Jorge López |
Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, pp. 237-243, 2023, Springer, 978-3-031-43239-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Justin Deters, Peyton Gozon, Max Camp-Oberhauser, Ron K. Cytron |
Feature-Oriented FSMs for FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPEC ![In: IEEE High Performance Extreme Computing Conference, HPEC 2023, Boston, MA, USA, September 25-29, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-0860-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Malgorzata Mazurkiewicz |
Improving the LUT Count for Mealy FSMS with Transformation of Output Collections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 32(3), pp. 479-494, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski, Kamil Mielcarek |
Improving Characteristics of FSMs With Mixed Codes of Outputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 36152-36165, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Alexander A. Barkalov, Larysa Titarenko, Kamil Mielcarek |
Reducing LUT Count for Mealy FSMs With Transformation of States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(5), pp. 1400-1411, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Nina Yevtushenko 0001, Victor V. Kuliamin, Natalia Kushik |
Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 30(1), pp. 161-180, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Mike Borowczak, Ranga Vemuri |
S*FSMs for Reduced Information Leakage: Power Side Channel Protection Through Secure Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behavioral Synthesis for Hardware Security ![In: Behavioral Synthesis for Hardware Security, pp. 319-342, 2022, Springer International Publishing, 978-3-030-78840-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Khalil Esper, Stefan Wildermann, Jürgen Teich |
Multi-Requirement Enforcement of Non-Functional Properties on MPSoCs Using Enforcement FSMs - A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NG-RES@HiPEAC ![In: Third Workshop on Next Generation Real-Time Embedded Systems, NG-RES@HiPEAC 2022, June 22, 2022, Budapest, Hungary., pp. 2:1-2:13, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-221-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Khaled El-Fakih, Robert M. Hierons, Uraz Cengiz Türker |
$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 47(5), pp. 1029-1040, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Yoshinao Isobe, Nobuhiko Miyamoto, Noriaki Ando, Yutaka Oiwa |
Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 104-D(10), pp. 1515-1532, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Khalil Esper, Stefan Wildermann, Jürgen Teich |
Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021, pp. 21-31, 2021, ACM, 978-1-4503-9127-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Natalia Kushik, Nina Yevtushenko 0001, Jorge López |
Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 55-61, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Nina Yevtushenko 0001 |
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: IEEE East-West Design & Test Symposium, EWDTS 2021, Batumi, Georgia, September 10-13, 2021, pp. 1-5, 2021, IEEE, 978-1-6654-4503-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Muhtadi Choudhury, Domenic Forte, Shahin Tajik |
PATRON: A Pragmatic Approach for Encoding Laser Fault Injection Resistant FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, pp. 569-574, 2021, IEEE, 978-3-9819263-5-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Hideyuki Ichihara, Takayuki Fukuda, Tomoo Inoue |
A Design of Reliable Linear FSMs with Equivalent States in Stochastic Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2021, Athens, Greece, October 6-8, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-1609-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek |
Improving characteristics of LUT-based Mealy FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 30(4), pp. 745-759, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Kaya Oguz |
True scores for tartarus with adaptive GAs that evolve FSMs on GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 525, pp. 1-15, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski |
Improving Characteristics of LUT-Based Moore FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 155306-155318, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Evgenii M. Vinarskii, Nina Yevtushenko 0001 |
Evaluating Length of a Shortest Adaptive Homing Sequence for Weakly Initialized FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: IEEE East-West Design & Test Symposium, EWDTS 2020, Varna, Bulgaria, September 4-7, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-9899-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Marcin Kubica, Dariusz Kania, Józef Kulisz |
A Technology Mapping of FSMs Based on a Graph of Excitations and Outputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 16123-16131, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Chao Peng, Haibo Zeng 0001, Marco Di Natale |
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 55(3), pp. 598-638, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski |
Mixed Encoding of Collections of Output Variables for LUT-Based Mealy FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 28(8), pp. 1950131:1-1950131:21, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Jeroen Delvaux |
Machine-Learning Attacks on PolyPUFs, OB-PUFs, RPUFs, LHS-PUFs, and PUF-FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 14(8), pp. 2043-2058, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Miguel Benito-Parejo, Inmaculada Medina-Bulo, Mercedes G. Merayo, Manuel Núñez 0001 |
Using Genetic Algorithms to Generate Test Suites for FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I, pp. 741-752, 2019, Springer, 978-3-030-20520-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Nina Yevtushenko 0001, Victor V. Kuliamin, Natalia Kushik |
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 86-103, 2019, Springer, 978-3-030-31279-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Evgenii M. Vinarskii, Aleksandr S. Tvardovskii, Larisa Evtushenko, Nina Yevtushenko 0001 |
Deriving adaptive homing sequences for weakly initialized nondeterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2019 IEEE East-West Design & Test Symposium, EWDTS 2019, Batumi, Georgia, September 13-16, 2019, pp. 1-5, 2019, IEEE, 978-1-7281-1003-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Mariana Soller Ramada, Telma Woerle de Lima, Anderson da Silva Soares, Adenilso Simão |
Generating Reduced Tests for FSMs using a Search-Based Testing Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019, pp. 400-407, 2019, IEEE, 978-1-7281-3798-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek, Kazimierz Krzywicki, Wojciech Zajac |
Decreasing Number of LUTs for Moore FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 26th International Conference on Mixed Design of Integrated Circuits and Systems, MIXDES 2019, Rzeszów, Poland, June 27-29, 2019, pp. 200-205, 2019, IEEE, 978-83-63578-16-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek |
Designing FPGA-Based Mealy FSMs with Two Levels of Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOCAST ![In: 8th International Conference on Modern Circuits and Systems Technologies, MOCAST 2019, Thessaloniki, Greece, May 13-15, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-1184-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski, Kamil Mielcarek |
Design of FPGA-Based Mealy FSMs with Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOCAST ![In: 8th International Conference on Modern Circuits and Systems Technologies, MOCAST 2019, Thessaloniki, Greece, May 13-15, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-1184-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Malgorzata Mazurkiewicz, Kamil Mielcarek |
Encoding of Microoperations in FPGA-Based Moore FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOCAST ![In: 8th International Conference on Modern Circuits and Systems Technologies, MOCAST 2019, Thessaloniki, Greece, May 13-15, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-1184-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek |
Hardware Reduction for Lut-Based Mealy FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 28(3), pp. 595-607, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh 0002 |
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, pp. 354-375, 2018, Springer, 978-3-030-02507-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Roland Groz, Nicolas Brémond, Adenilso Simão |
Using Adaptive Sequences for Learning Non-Resettable FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Proceedings of the 14th International Conference on Grammatical Inference, ICGI 2018, Wrocław, Poland, September 5-7, 2018, pp. 30-43, 2018, PMLR. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Cezary Zielinski, Maksym Figat, René Hexel |
Robotic Systems Implementation Based on FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AUTOMATION ![In: Automation 2018 - Advances in Automation, Robotics and Measurement Techniques, outcomes of the international conference AUTOMATION 2018, 21-23 March, 2018, Warsaw, Poland, pp. 441-452, 2018, Springer, 978-3-319-77178-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek |
Twofold State Assignment for LUT-based Mealy FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 25th International Conference `Mixed Design of Integrated Circuits and System`, MIXDES 2018, Gdynia, Poland, June 21-23, 2018, pp. 204-208, 2018, IEEE, 978-83-63578-14-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek, Slawomir Chmielewski |
Design of FPGA-based Mealy FSMs with Counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 25th International Conference `Mixed Design of Integrated Circuits and System`, MIXDES 2018, Gdynia, Poland, June 21-23, 2018, pp. 136-139, 2018, IEEE, 978-83-63578-14-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Malgorzata Mazurkiewicz, Kamil Mielcarek |
Encoding of Terms in LUT-based Mealy FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 25th International Conference `Mixed Design of Integrated Circuits and System`, MIXDES 2018, Gdynia, Poland, June 21-23, 2018, pp. 145-148, 2018, IEEE, 978-83-63578-14-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek |
Twofold state assignment for FPGA-based mealy FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOCAST ![In: 7th International Conference on Modern Circuits and Systems Technologies, MOCAST 2018, Thessaloniki, Greece, May 7-9, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-4788-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Slawomir Chmielewski |
Design of CPLD-based mealy FSMs with counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOCAST ![In: 7th International Conference on Modern Circuits and Systems Technologies, MOCAST 2018, Thessaloniki, Greece, May 7-9, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-4788-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Hüsnü Yenigün, Nina Yevtushenko 0001, Natalia Kushik |
The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 127, pp. 49-53, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Malgorzata Kolopienczyk, Larysa Titarenko, Alexander Barkalov 0001 |
Design of EMB-Based Moore FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 26(7), pp. 1750125:1-1750125:23, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Robert M. Hierons, Uraz Cengiz Türker |
Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 26(1), pp. 5:1-5:34, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Jacek Bieganowski |
Designing HFPGA-based FSMs with counters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 24th International Conference Mixed Design of Integrated Circuits and Systems, MIXDES 2017, Bydgoszcz, Poland, June 22-24, 2017, pp. 254-257, 2017, IEEE, 978-83-63578-12-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Kamil Mielcarek, Alexander Barkalov 0001, Larysa Titarenko |
Designing HFPGA-based Mealy FSMs with transformation of output functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 24th International Conference Mixed Design of Integrated Circuits and Systems, MIXDES 2017, Bydgoszcz, Poland, June 22-24, 2017, pp. 250-253, 2017, IEEE, 978-83-63578-12-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Barkalov 0001, Larysa Titarenko, Jacek Bieganowski |
Code sharing in CPLD-based Moore FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOCAST ![In: 6th International Conference on Modern Circuits and Systems Technologies, MOCAST 2017, Thessaloniki, Greece, May 4-6, 2017, pp. 1-4, 2017, IEEE, 978-1-5090-4386-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Robert Czerwinski, Dariusz Kania |
State Assignment and Optimization of Ultra-High-Speed FSMs Utilizing Tristate Buffers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 22(1), pp. 3:1-3:25, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Natalia Kushik, Nina Yevtushenko 0001, Hüsnü Yenigün |
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMARETTO@MODELSWARD ![In: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016., pp. 83-90, 2016, SciTePress, 978-989-758-166-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Armita Abedijaberi, Jennifer L. Leopold |
FSMS: A Frequent Subgraph Mining Algorithm Using Mapping Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLDM ![In: Machine Learning and Data Mining in Pattern Recognition - 12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016, Proceedings, pp. 761-773, 2016, Springer, 978-3-319-41919-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Adib Nahiyan, Kan Xiao, Kun Yang, Yier Jin, Domenic Forte, Mark M. Tehranipoor |
AVFSM: a framework for identifying and mitigating vulnerabilities in FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 53rd Annual Design Automation Conference, DAC 2016, Austin, TX, USA, June 5-9, 2016, pp. 89:1-89:6, 2016, ACM, 978-1-4503-4236-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Alexandre Petrenko, Adenilso Simão |
Generalizing the DS-Methods for Testing Non-Deterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 58(7), pp. 1656-1672, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Mike Borowczak, Ranga Vemuri |
Enabling Side Channel Secure FSMs in the Presence of Low Power Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2014, Tampa, FL, USA, July 9-11, 2014, pp. 232-235, 2014, IEEE Computer Society, 978-1-4799-3763-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Fu-Chiung Cheng, Yuan-Feng Chen, Shu-Chuan Huang, Ching-Yang Huang |
Synthesis of QDI FSMs from Synchronous Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 20th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2014, Potsdam, Germany, May 12-14, 2014, pp. 61-68, 2014, IEEE Computer Society, 978-1-4799-3789-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Robert M. Hierons, Uraz Cengiz Türker |
Distinguishing Sequences for Partially Specified FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings, pp. 62-76, 2014, Springer, 978-3-319-06199-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Piotr Szotkowski, Mariusz Rawski, Pawel Tomaszewicz |
Using Symbolic Functional Decomposition to Implement FSMs in Heterogenous FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEng ![In: Progress in Systems Engineering - Proceedings of the Twenty-Third International Conference on Systems Engineering, ICSEng 2014, Las Vegas, NV, USA, August 19-21, 2014., pp. 805-807, 2014, Springer, 978-3-319-08421-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Malgorzata Kolopienczyk, Alexander Barkalov 0001, Larysa Titarenko |
Hardware reduction for RAM-based Moore FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSI ![In: 7th International Conference on Human System Interactions, HSI 2014, Costa da Caparica, Portugal, June 16-18, 2014, pp. 255-260, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Lun-Yao Wang, Zhufei Chu, Yinshui Xia |
Low Power State Assignment Algorithm for FSMs Considering Peak Current Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 28(6), pp. 1054-1062, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Natalja Kehl, Wolfgang Rosenstiel |
Circuit Level Concurrent Error Detection in FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 29(2), pp. 185-192, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Alexandra Coman, Héctor Muñoz-Avila |
Automated Generation of Diverse NPC-Controlling FSMs Using Nondeterministic Planning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIIDE ![In: Proceedings of the Ninth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE-13, Boston, Massachusetts, USA, October 14-18, 2013, 2013, AAAI. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
21 | Stephen Oney, Brad A. Myers, Joel Brandt |
Euclase: a live development environment with constraints and FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LIVE@ICSE ![In: Proceedings of the 1st International Workshop on Live Programming, LIVE 2013, San Francisco, California, USA, May 19, 2013, pp. 15-18, 2013, IEEE Computer Society, 978-1-4673-6265-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Robert Czerwinski, Dariusz Kania |
Area and speed oriented synthesis of FSMs for PAL-based CPLDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 36(1), pp. 45-61, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko 0001 |
On reducing test length for FSMs with extra states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 22(6), pp. 435-454, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 27(2), pp. 137-162, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 162-178, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Xiaoqing Jin, Gianfranco Ciardo, Tae-Hyong Kim, Yang Zhao 0011 |
Symbolic Verification and Test Generation for a Network of Communicating FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, pp. 432-442, 2011, Springer, 978-3-642-24371-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Ryoichi Inoue, Toshinori Hosokawa, Hideo Fujiwara |
A Fault Dependent Test Generation Method for State-Observable FSMs to Increase Defect Coverage under the Test Length Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 93-D(1), pp. 24-32, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | E. Akenshina, Natalia Shabaldina, Nina Yevtushenko 0001 |
Deriving Exhaustive Test Suits for Nondeterministic FSMs w.r.t. Non-separability Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, pp. 46-53, 2010, IEEE Computer Society, 978-0-7695-4050-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Yiqiong Shi, Chan Wai Ting, Bah-Hwee Gwee, Ye Ren |
A highly efficient method for extracting FSMs from flattened gate-level netlist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2010), May 30 - June 2, 2010, Paris, France, pp. 2610-2613, 2010, IEEE, 978-1-4244-5308-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Zhen Wang 0001, Mark G. Karpovsky |
Robust FSMs for cryptographic devices resilient to strong fault injection attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 16th IEEE International On-Line Testing Symposium (IOLTS 2010), 5-7 July, 2010, Corfu, Greece, pp. 240-245, 2010, IEEE Computer Society, 978-1-4244-7724-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | John M. Espinosa-Duran, Vladimir Trujillo-Olaya, Jaime Velasco-Medina, Raoul Velazco |
Bit-flip injection strategies for FSMs modeled in VHDL behavioral level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATW ![In: 11th Latin American Test Workshop, LATW 2010, Punta del Este, Uruguay, March 28-30, 2010, pp. 1-5, 2010, IEEE, 978-1-4244-7786-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Arts, Simon J. Thompson |
From test cases to FSMs: augmented test-driven development and property inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010, pp. 1-12, 2010, ACM, 978-1-4503-0253-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Li Wen-Xiu, Li Hai-Ning |
Fuzzy system models (FSMs) for analysis of rock mass displacement caused by underground mining in soft rock strata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 36(3), pp. 4637-4645, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko 0001 |
Generating Reduced Tests for FSMs with Extra States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings, pp. 129-145, 2009, Springer, 978-3-642-05030-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Cao Cao, Bengt Oelmann |
Low-power state encoding for partitioned FSMs with mixed synchronous/asynchronous state memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 41(1), pp. 123-134, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Marcos Paulo Mello Araujo, Nadia Nedjah, Luiza de Macedo Mourelle |
Logic Synthesis for FSMs Using Quantum Inspired Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2008, 9th International Conference, Daejeon, South Korea, November 2-5, 2008, Proceedings, pp. 32-39, 2008, Springer, 978-3-540-88905-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Ryoichi Inoue, Toshinori Hosokawa, Hideo Fujiwara |
A Test Generation Method for State-Observable FSMs to Increase Defect Coverage under the Test Length Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 17th IEEE Asian Test Symposium, ATS 2008, Sapporo, Japan, November 24-27, 2008, pp. 27-34, 2008, IEEE Computer Society, 978-0-7695-3396-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Marcos Paulo Mello Araujo, Nadia Nedjah, Luiza de Macedo Mourelle |
Optimised State Assignment for FSMs Using Quantum Inspired Evolutionary Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings, pp. 332-341, 2008, Springer, 978-3-540-85856-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Samara Sudireddy, Jayawant Kakade, Dimitri Kagaris |
Deterministic Built-in TPG with Segmented FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 14th IEEE International On-Line Testing Symposium (IOLTS 2008), 7-9 July 2008, Rhodes, Greece, pp. 261-266, 2008, IEEE Computer Society, 978-0-7695-3264-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Yoshisato Sakai |
A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(4), pp. 836-846, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Franco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris |
A CLP-Based Functional ATPG for Extended FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA, pp. 98-105, 2007, IEEE Computer Society, 978-0-7695-3241-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Tae Bok Yoon, Dong Moon Kim, Kyo Hyeon Park, Jee-Hyong Lee 0001, Kwan-Ho You |
Game Player Modeling Using D-FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Interacting in Information Environments, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 490-499, 2007, Springer, 978-3-540-73353-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Toshinori Hosokawa, Ryoichi Inoue, Hideo Fujiwara |
Fault-dependent/independent Test Generation Methods for State Observable FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 16th Asian Test Symposium, ATS 2007, Beijing, China, October 8-11, 2007, pp. 275-280, 2007, IEEE, 0-7695-2890-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Tae Bok Yoon, Kyo Hyeon Park, Jee-Hyong Lee 0001, Keon-Myung Lee |
User Adaptive Game Characters Using Decision Trees and FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31- June 1, 2007, Proceedings, pp. 972-981, 2007, Springer, 978-3-540-72829-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo 0001 |
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 49(3), pp. 331-344, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Andrzej Krasniewski |
Low-Cost Concurrent Error Detection for FSMs Implemented Using Embedded Memory Blocks of FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), Prague, Czech Republic, April 18-21, 2006, pp. 180-185, 2006, IEEE Computer Society, 1-4244-0185-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Christoforos N. Hadjicostis |
Periodic and non-concurrent error detection and identification in one-hot encoded FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 40(10), pp. 1665-1676, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Manuel Núñez 0001, Ismael Rodríguez, Fernando Rubio 0001 |
Applying Occam's Razor to FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada, pp. 138-147, 2004, IEEE Computer Society, 0-7695-2190-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Occam´s razor, Chomsky´s classification, Cognitive Informatics |
21 | Petros Drineas, Yiorgos Makris |
SPaRe: selective partial replication for concurrent fault-detection in FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 52(6), pp. 1729-1737, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Vadim Trenkaev, Myungchul Kim 0001, Soonuk Seol |
Interoperability Testing Based on a Fault Model for a System of Communicating FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings, pp. 226-242, 2003, Springer, 3-540-40123-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Samir Roy, Ujjwal Maulik, Biplab K. Sikdar |
Exploiting Ghost-FSMs as a BIST Structure for Sequential Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 16th International Conference on VLSI Design (VLSI Design 2003), 4-8 January 2003, New Delhi, India, pp. 155-160, 2003, IEEE Computer Society, 0-7695-1868-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Huawei Li 0001, Yinghua Min, Zhongcheng Li |
Clustering of behavioral phases in FSMs and its applications to VLSI test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 45(6), pp. 462-478, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|