|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2229 occurrences of 1088 keywords
|
|
|
Results
Found 3186 publication records. Showing 3186 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Simon Dieck, Sicco Verwer |
Learning Syntactic Monoids from Samples by extending known Algorithms for learning State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: International Conference on Grammatical Inference, ICGI 2023, 10-13 July 2023, Rabat, Morocco., pp. 59-79, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Robert Baumgartner, Sicco Verwer |
Learning state machines from data streams: A generic strategy and an improved heuristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: International Conference on Grammatical Inference, ICGI 2023, 10-13 July 2023, Rabat, Morocco., pp. 117-141, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Alexander Knapp |
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applicable Formal Methods for Safe Industrial Products ![In: Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, pp. 289-307, 2023, Springer, 978-3-031-40131-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Elis Stefansson, Karl Henrik Johansson |
Hierarchical Finite State Machines for Efficient Optimal Planning in Large-scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: European Control Conference, ECC 2023, Bucharest, Romania, June 13-16, 2023, pp. 1-8, 2023, IEEE, 978-3-907144-08-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Wim Van Roy, Armin Nurkanovic, Ramin Abbasi-Esfeden, Jonathan Frey, Anton Pozharskiy, Jan Swevers, Moritz Diehl |
Continuous Optimization for Control of Finite-State Machines with Cascaded Hysteresis via Time-Freezing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 6261-6266, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Elis Stefansson, Karl Henrik Johansson |
Efficient and Reconfigurable Optimal Planning in Large-Scale Systems Using Hierarchical Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 7380-7387, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Aneliya Ivanova, Nikolay Kostadinov |
An Approach to Introduce the Concept of Lexical Analysis through FPGA Based Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 24th International Conference on Computer Systems and Technologies, CompSysTech 2023, Ruse, Bulgaria, June 16-17, 2023, pp. 79-84, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001 |
An Optimised Complete Strategy for Testing Symbolic Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers, pp. 55-71, 2023, Springer, 978-3-031-42440-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra |
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, pp. 107-115, 2023, Springer, 978-3-031-33162-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mohammad Zaeri Amirani, Anders Høst-Madsen |
Learning Source Coding for General Alphabets and Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 59th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2023, Monticello, IL, USA, September 26-29, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2814-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Jin Han, Bingbing Huang, Yao Tang, Tianhao Wang, Linbo Shao |
Deep Learning Cognitive Diagnostic Model Based on State Machines and Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 29th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2023, Ocean Flower Island, China, December 17-21, 2023, pp. 2563-2570, 2023, IEEE, 979-8-3503-3071-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Annika Vielsack, Miriam Klein, Thomas Niesenhaus, Mattias Ulbrich |
The 'Choc-Machine' - an Introduction to Algorithmic Thinking using Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WiPSCE ![In: Proceedings of the 18th WiPSCE Conference on Primary and Secondary Computing Education Research, WiPSCE 2023, Cambridge, United Kingdom, September 27-29, 2023, pp. 25:1-25:2, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Tiago Possato, João H. Valentini, Luiz Fernando Puttow Southier, Marcelo Teixeira |
Automated Code Generation for DES Controllers Modeled as Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings, pp. 113-130, 2023, Springer, 978-3-031-49341-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Valery Salauyou |
Fault Detection of Moore Finite State Machines by Structural Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIM ![In: Computer Information Systems and Industrial Management - 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings, pp. 394-409, 2023, Springer, 978-3-031-42822-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Achilleas Chytas, Nick Bassiliades, Ioannis P. Vlahavas, Pantelis Natsiavas |
Towards a Systems Pharmacology Ontology: the use of state-machines paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT4HCLS ![In: 14th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences (SWAT4HCLS 2023), Basel, Switzerland, February 13-16, 2023., pp. 112-113, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Peter Helfer, Corinne Teeter, Aaron J. Hill, Craig M. Vineyard, James B. Aimone, Dhireesha Kudithipudi |
Context Modulation Enables Multi-tasking and Resource Efficiency in Liquid State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONS ![In: Proceedings of the 2023 International Conference on Neuromorphic Systems, ICONS 2023, Santa Fe, NM, USA, August 1-3, 2023, pp. 17:1-17:9, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Roland Kuhn 0002, Alan Darmasaputra |
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, pp. 1475-1478, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Anmol Biswas, Nivedya S. Nambiar, Kushal Kejriwal, Udayan Ganguly |
MAdapter: A Multimodal Adapter for Liquid State Machines configures the Input Layer for the same Reservoir to enable Vision and Speech Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: International Joint Conference on Neural Networks, IJCNN 2023, Gold Coast, Australia, June 18-23, 2023, pp. 1-6, 2023, IEEE, 978-1-6654-8867-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Abhishek Kadam, Anmol Biswas, Vivek Saraswat, Ajay Kumar Singh, Laxmeesha Somappa, Maryam Shojaei Baghini, Udayan Ganguly |
Real-world Performance Estimation of Liquid State Machines for Spoken Digit Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: International Joint Conference on Neural Networks, IJCNN 2023, Gold Coast, Australia, June 18-23, 2023, pp. 1-7, 2023, IEEE, 978-1-6654-8867-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Siyuan Chen, Pratik Pramod Fegade, Tianqi Chen, Phillip B. Gibbons, Todd C. Mowry |
ED-Batch: Efficient Automatic Batching of Dynamic Neural Networks via Learned Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 4514-4528, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
10 | Fang Yan, Simon Foster 0001, Ibrahim Habli |
Automated Compositional Verification for Robotic State Machines using Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023, pp. 167-176, 2023, IEEE, 979-8-3503-4004-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Dario Branco, Luigi Colucci Cante, Beniamino Di Martino, Antonio Esposito 0001, Vincenzo De Lisi |
Towards the Reconstruction of the Evolutionary Behaviour of Finite State Machines in the Juridical Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Complex, Intelligent and Software Intensive Systems - Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023), 5-7 July 2023, Toronto, ON, Canada., pp. 337-347, 2023, Springer, 978-3-031-35733-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Gabor Zoltai, Yue Xie, Frank Neumann 0001 |
A Study of Fitness Gains in Evolving Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI (2) ![In: AI 2023: Advances in Artificial Intelligence - 36th Australasian Joint Conference on Artificial Intelligence, AI 2023, Brisbane, QLD, Australia, November 28 - December 1, 2023, Proceedings, Part II, pp. 479-490, 2023, Springer, 978-981-99-8390-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Mirai Ikebuchi, Andres Erbsen, Adam Chlipala |
Certifying derivation of state machines from coroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-31, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | He Deng, Yongyi Yan, Zengqiang Chen 0001 |
A matrix-based static approach to analysis of finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Inf. Technol. Electron. Eng. ![In: Frontiers Inf. Technol. Electron. Eng. 23(8), pp. 1239-1246, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Mantas Jurgelaitis, Lina Ceponiene, Rita Butkiene |
Solidity Code Generation From UML State Machines in Model-Driven Smart Contract Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 33465-33481, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Vivek Kumar Singh, Abhishek Nag, Sambhu Nath Pradhan |
Design and analysis of a low power strategy in finite state machines implemented in configurable logic blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Syst. ![In: Int. J. Embed. Syst. 15(4), pp. 326-332, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Yongyi Yan, Jumei Yue, Zengqiang Chen 0001 |
Observed Data-Based Model Construction of Finite State Machines Using Exponential Representation of LMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 69(2), pp. 434-438, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Jumei Yue, Yongyi Yan |
Update Law of Simplifying Finite State Machines (FSMs): An Answer to the Open Question of the Unmanned Optimization of FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 69(3), pp. 1164-1167, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner |
Using finite-state machines to automatically scan Ancient Greek hexameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Scholarsh. Humanit. ![In: Digit. Scholarsh. Humanit. 37(1), pp. 242-253, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Habibur Rahaman, Santanu Chattopadhyay, Indranil Sengupta 0001 |
Conformance Testing for Finite State Machines Guided by Deep Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 31(9), pp. 2250156:1-2250156:19, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Jumei Yue, Yongyi Yan, Zengqiang Chen 0001, He Deng |
Further results on bilinear behavior formulation of finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 65(11), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Ramsay G. Taylor, Michael Foster 0001, Siobhán North |
An automated framework for verifying or refuting trace properties of extended finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 24(6), pp. 949-972, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Matteo Iovino, Julian Förster, Pietro Falco, Jen Jen Chung, Roland Siegwart, Christian Smith |
On the programming effort required to generate Behavior Trees and Finite State Machines for robotic applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.07392, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed |
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.09604, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Felix Stutz, Damien Zufferey |
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 194-212, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Siyu Li, Milos Zefran, Igor Paprotny |
Group-based control of large-scale micro-robot swarms with on-board Physical Finite-State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.08614, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Felix Stutz, Damien Zufferey |
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.05559, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Razan Ghzouli, Swaib Dragule, Thorsten Berger, Einar Broch Johnsen, Andrzej Wasowski |
Behavior Trees and State Machines in Robotics Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.04211, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach |
Prioritized Variable-length Test Cases Generation for Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.09596, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | James Gil de Lamadrid, Seonho Choi |
Hardware Watermarking for Finite State Machines, with Symmetric Circuit Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.12097, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Madison Cotteret, Hugh Greatorex, Martin Ziegler 0006, Elisabetta Chicca |
Vector Symbolic Finite State Machines in Attractor Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.01196, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru |
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.09470, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
10 | Elis Stefansson, Karl Henrik Johansson |
Hierarchical Finite State Machines for Efficient Optimal Planning in Large-scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.03724, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Clinton Cao, Agathe Blaise, Sicco Verwer, Filippo Rebecchi |
Learning State Machines to Monitor and Detect Anomalies on a Kubernetes Cluster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.12087, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Maria Stella de Biase, Stefano Marrone 0001, Angelo Palladino |
Towards Automatic Model Completion: from Requirements to SysML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.03388, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Robert Baumgartner, Sicco Verwer |
Learning state machines via efficient hashing of future traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.01516, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Alfredo Ibias |
Using mutual information to test from Finite State Machines: Test suite generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 192, pp. 111391, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Robert Sachtleben |
Verified Complete Test Strategies for Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
10 | Zongyan Li, Tianfeng Shi, Baoling Shan, Shiyin Li |
Color-Shift Keying Code Design in Visible Light Communications Using Finite-State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 26(6), pp. 1333-1337, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Khaled El-Fakih, Ayman Alzaatreh, Uraz Cengiz Türker |
Assessing test suites of extended finite state machines against model- and code-based faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 32(7), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Alexander Barkalov 0001, Larysa Titarenko, Kamil Mielcarek, Malgorzata Mazurkiewicz, Elzbieta Kawecka |
Logic Synthesis for VLSI-Based Combined Finite State Machines - Synthesis Targeting ASICs, CPLDs and FPGAs ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
10 | Fengyun Liu, Aleksandar Prokopec |
Implicit state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, San Diego, CA, USA, 14 June 2022, pp. 13-25, 2022, ACM, 978-1-4503-9266-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Shahzad Muzaffar, Ibrahim Abe M. Elfadel |
Logic Locking of Finite-State Machines Using Transition Obfuscation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, VLSI-SoC 2022, Patras, Greece, October 3-5, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-9005-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Lorenzo Ragazzini, Elisa Negri, Luca Fumagalli |
Modelling Manufacturing Systems for Digital Twin Through Communicating Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOHOMA ![In: Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future - Proceedings of SOHOMA 2022, Bucharest, Romania, 22-23 September 2022., pp. 85-95, 2022, Springer, 978-3-031-24290-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Clinton Cao, Agathe Blaise, Sicco Verwer, Filippo Rebecchi |
Learning State Machines to Monitor and Detect Anomalies on a Kubernetes Cluster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23 - 26, 2022, pp. 117:1-117:9, 2022, ACM, 978-1-4503-9670-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach |
Prioritized Variable-length Test Cases Generation for Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022, pp. 11-20, 2022, IEEE, 978-1-6654-9628-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed |
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022, pp. 207-214, 2022, IEEE, 978-1-6654-9628-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Paul C. Hershey, Marcus Teter, Vik Prasad |
Multi-Input Non-Deterministic State-Machines (MINDS) to Support Aerospace Systems Engineering Simulation and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: IEEE International Systems Conference, SysCon 2022, Montreal, QC, Canada, April 25-28, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-3992-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Enrique Vicente Castro |
Exploring the Use of Finite-State Machines and Game Creation to Teach Computational Thinking in Middle Schools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE (2) ![In: ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8 - 13, 2022, Volume 2, pp. 618, 2022, ACM, 978-1-4503-9200-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Siyu Li, Milos Zefran, Igor Paprotny |
Group-based control of large-scale micro-robot swarms with on-board Physical Finite-State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 18th IEEE International Conference on Automation Science and Engineering, CASE 2022, Mexico City, Mexico, August 20-24, 2022, pp. 524-530, 2022, IEEE, 978-1-6654-9042-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Julie Henry, Bruno Dumas, Andreea Vescan, Alexandra Maria Pasca |
Student misconceptions about finite state machines: identify them in order to create a concept inventory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EASEAI@ESEC/SIGSOFT FSE ![In: Proceedings of the 4th International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, EASEAI 2022, Singapore, Singapore, 18 November 2022, pp. 2-9, 2022, ACM, 978-1-4503-9453-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Adam Klimowicz |
Balanced Power, Speed and Area Transformation Procedure for Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: IEEE International Conference on Systems, Man, and Cybernetics, SMC 2022, Prague, Czech Republic, October 9-12, 2022, pp. 2313-2318, 2022, IEEE, 978-1-6654-5258-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Clay Carper, Andey Robins, Mike Borowczak |
Transition Recovery Attack on Embedded State Machines Using Power Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: IEEE 40th International Conference on Computer Design, ICCD 2022, Olympic Valley, CA, USA, October 23-26, 2022, pp. 572-576, 2022, IEEE, 978-1-6654-6186-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Enes Bilgin, Tolga Ovatman |
Coordinated Access to Shared Data Sources for Geo-replicated State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 17th International Conference on Software Technologies, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022., pp. 625-629, 2022, SCITEPRESS, 978-989-758-588-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Xiaoqi Chen, Andrew Johnson, Mengying Pan, David Walker 0001 |
Synthesizing state machines for data planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSR ![In: SOSR '22: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, October 19 - 20, 2022, pp. 81-88, 2022, ACM, 978-1-4503-9892-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
Compositional Simulation of Abstract State Machines for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 3-19, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Maria Leonor Pacheco, Max von Hippel, Ben Weintraub, Dan Goldwasser, Cristina Nita-Rotaru |
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022, pp. 51-68, 2022, IEEE, 978-1-6654-1316-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Tobias Rosenberger, Alexander Knapp, Markus Roggenbach |
An Institutional Approach to Communicating UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, pp. 205-224, 2022, Springer, 978-3-030-99428-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Le Li, Kenjiro Taura |
SimdFSM: An Adaptive Vectorization of Finite State Machines for Speculative Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Parallel and Distributed Computing, Applications and Technologies - 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings, pp. 481-493, 2022, Springer, 978-3-031-29926-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Robert Sachtleben |
An approach for the verification and synthesis of complete test generation algorithms for finite state machines ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
10 | Malgorzata Bach, Aleksandra Werner, Magda Mrozik, Krzysztof A. Cyran |
A hierarchy of finite state machines as a scenario player in interactive training of pilots in flight simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 31(4), pp. 713-727, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Halit Uyanik, Tolga Ovatman |
Early Conflict Checking in Two-Phase Commit Protocol for Replicated State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Syst. Technol. ![In: Int. J. Distributed Syst. Technol. 12(4), pp. 1-20, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko 0001 |
Equivalence checking and intersection of deterministic timed finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 59(1), pp. 77-102, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Florentin Ipate, Marian Gheorghe 0001, Raluca Lefticaru |
Fundamental results for learning deterministic extended finite state machines from queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 862, pp. 160-173, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Qisheng Wang, Junyi Liu, Mingsheng Ying |
Equivalence checking of quantum finite-state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 116, pp. 1-21, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Benedikt Bollig, Marie Fortin, Paul Gastin |
Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 115, pp. 22-53, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Raouf Senhadji-Navarro, Ignacio Garcia-Vargas |
Methodology for Distributed-ROM-Based Implementation of 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. 40(11), pp. 2411-2415, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Aleksandr S. Tvardovskii, Nina V. Evtushenko |
Deriving Homing Sequences for Finite State Machines with Timed Guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 55(7), pp. 738-750, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Vladimir A. Zakharov |
Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 55(7), pp. 670-701, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Khaled El-Fakih, Gregor v. Bochmann |
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 47(1), pp. 1-16, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Advait Madhavan, Matthew W. Daniels, Mark D. Stiles |
Temporal State Machines: Using Temporal Memory to Stitch Time-based Graph Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Emerg. Technol. Comput. Syst. ![In: ACM J. Emerg. Technol. Comput. Syst. 17(3), pp. 28:1-28:27, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko 0001 |
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.04868, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Rafael Dowsley, Caleb Horst, Anderson C. A. Nascimento |
Round and Communication Balanced Protocols for Oblivious Evaluation of Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.11240, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Wuu Yang |
Minimizing LR(1) State Machines is NP-Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.00776, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Oliver Biggar, Mohammad Zamani, Iman Shames |
Modular Decomposition of Hierarchical Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.04902, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Wen-ling Huang, Jan Peleska 0001 |
Complete Requirements-based Testing with Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.11786, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Ran Zmigrod, Tim Vieira, Ryan Cotterell |
Higher-order Derivatives of Weighted Finite-state Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.00749, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Viktor Teren, Jordi Cortadella, Tiziano Villa |
Decomposition of transition systems into sets of synchronizing state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.13852, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Vivek Saraswat, Ajinkya Gorad, Anand Naik, Aakash Patil, Udayan Ganguly |
Hardware-Friendly Synaptic Orders and Timescales in Liquid State Machines for Speech Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.14264, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Florian Wilkens, Felix Ortmann, Steffen Haas, Matthias Vallentin, Mathias Fischer 0001 |
Multi-Stage Attack Detection via Kill Chain State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.14628, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner |
Using Finite-State Machines to Automatically Scan Classical Greek Hexameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.11437, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Bilal Elghadyry, Faissal Ouardi, Zineb Lotfi, Sébastien Vérel |
Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Big Data ![In: J. Big Data 8(1), pp. 145, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Vijayan Ellappan, R. Rajkumar |
Classification of cricket videos using finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Technol. Manag. ![In: Int. J. Inf. Technol. Manag. 20(1/2), pp. 83-94, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Michael J. Whittaker, Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, Neil Giridharan, Joseph M. Hellerstein, Heidi Howard, Ion Stoica, Adriana Szekeres |
Scaling Replicated State Machines with Compartmentalization. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 14(11), pp. 2203-2215, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Philipp Paulweber, Georg Simhandl, Uwe Zdun |
Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 30(4), pp. 47:1-47:29, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Niyazi Özdinç Çelikel, Tolga Ovatman |
Distributed Application Checkpointing for Replicated State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scalable Comput. Pract. Exp. ![In: Scalable Comput. Pract. Exp. 22(1), pp. 67-79, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Rafael Dowsley, Caleb Horst, Anderson C. A. Nascimento |
Round and Communication Balanced Protocols for Oblivious Evaluation of Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 375, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Mauricio Rocha, Adenilso Simão, Thiago Sousa |
Model-based test case generation from UML sequence diagrams using extended finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 29(3), pp. 597-627, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Alfredo Ibias, Manuel Núñez 0001, Robert M. Hierons |
Using mutual information to test from Finite State Machines: Test suite selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 132, pp. 106498, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
|
|