Search results for "state-machines"

Hits ?▲	Authors	Title	Venue	Year	Link
10	Simon Dieck, Sicco Verwer	Learning Syntactic Monoids from Samples by extending known Algorithms for learning State Machines.	ICGI	2023	DBLP BibTeX RDF
10	Robert Baumgartner, Sicco Verwer	Learning state machines from data streams: A generic strategy and an improved heuristic.	ICGI	2023	DBLP BibTeX RDF
10	Alexander Knapp	An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines.	Applicable Formal Methods for Safe Industrial Products	2023	DBLP DOI BibTeX RDF
10	Elis Stefansson, Karl Henrik Johansson	Hierarchical Finite State Machines for Efficient Optimal Planning in Large-scale Systems.	ECC	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.	CDC	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.	CDC	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.	CompSysTech	2023	DBLP DOI BibTeX RDF
10	Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001	An Optimised Complete Strategy for Testing Symbolic Finite State Machines.	FSEN	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.	ABZ	2023	DBLP DOI BibTeX RDF
10	Mohammad Zaeri Amirani, Anders Høst-Madsen	Learning Source Coding for General Alphabets and Finite State Machines.	Allerton	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.	ICPADS	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.	WiPSCE	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.	SBMF	2023	DBLP DOI BibTeX RDF
10	Valery Salauyou	Fault Detection of Moore Finite State Machines by Structural Models.	CISIM	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.	SWAT4HCLS	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.	ICONS	2023	DBLP DOI BibTeX RDF
10	Roland Kuhn 0002, Alan Darmasaputra	Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms.	ISSTA	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.	IJCNN	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.	IJCNN	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.	ICML	2023	DBLP BibTeX RDF
10	Fang Yan, Simon Foster 0001, Ibrahim Habli	Automated Compositional Verification for Robotic State Machines using Isabelle/HOL.	ICECCS	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.	CISIS	2023	DBLP DOI BibTeX RDF
10	Gabor Zoltai, Yue Xie, Frank Neumann 0001	A Study of Fitness Gains in Evolving Finite State Machines.	AI (2)	2023	DBLP DOI BibTeX RDF
10	Mirai Ikebuchi, Andres Erbsen, Adam Chlipala	Certifying derivation of state machines from coroutines.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
10	He Deng, Yongyi Yan, Zengqiang Chen 0001	A matrix-based static approach to analysis of finite state machines.	Frontiers Inf. Technol. Electron. Eng.	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.	IEEE Access	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.	Int. J. Embed. Syst.	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.	IEEE Trans. Circuits Syst. II Express Briefs	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.	IEEE Trans. Circuits Syst. II Express Briefs	2022	DBLP DOI BibTeX RDF
10	Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner	Using finite-state machines to automatically scan Ancient Greek hexameter.	Digit. Scholarsh. Humanit.	2022	DBLP DOI BibTeX RDF
10	Habibur Rahaman, Santanu Chattopadhyay, Indranil Sengupta 0001	Conformance Testing for Finite State Machines Guided by Deep Neural Network.	J. Circuits Syst. Comput.	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.	Sci. China Inf. Sci.	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.	Int. J. Softw. Tools Technol. Transf.	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.	CoRR	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.	CoRR	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.	GandALF	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.	CoRR	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.	CoRR	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.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
10	James Gil de Lamadrid, Seonho Choi	Hardware Watermarking for Finite State Machines, with Symmetric Circuit Encryption.	CoRR	2022	DBLP DOI BibTeX RDF
10	Madison Cotteret, Hugh Greatorex, Martin Ziegler 0006, Elisabetta Chicca	Vector Symbolic Finite State Machines in Attractor Neural Networks.	CoRR	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.	CoRR	2022	DBLP BibTeX RDF
10	Elis Stefansson, Karl Henrik Johansson	Hierarchical Finite State Machines for Efficient Optimal Planning in Large-scale Systems.	CoRR	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.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
10	Robert Baumgartner, Sicco Verwer	Learning state machines via efficient hashing of future traces.	CoRR	2022	DBLP DOI BibTeX RDF
10	Alfredo Ibias	Using mutual information to test from Finite State Machines: Test suite generation.	J. Syst. Softw.	2022	DBLP DOI BibTeX RDF
10	Robert Sachtleben	Verified Complete Test Strategies for Finite State Machines.	Arch. Formal Proofs	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.	IEEE Commun. Lett.	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.	Softw. Test. Verification Reliab.	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		2022	DOI RDF
10	Fengyun Liu, Aleksandar Prokopec	Implicit state machines.	LCTES	2022	DBLP DOI BibTeX RDF
10	Shahzad Muzaffar, Ibrahim Abe M. Elfadel	Logic Locking of Finite-State Machines Using Transition Obfuscation.	VLSI-SoC	2022	DBLP DOI BibTeX RDF
10	Lorenzo Ragazzini, Elisa Negri, Luca Fumagalli	Modelling Manufacturing Systems for Digital Twin Through Communicating Finite State Machines.	SOHOMA	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.	ARES	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.	ICST Workshops	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.	ICST Workshops	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.	SysCon	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.	ITiCSE (2)	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.	CASE	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.	EASEAI@ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
10	Adam Klimowicz	Balanced Power, Speed and Area Transformation Procedure for Finite State Machines.	SMC	2022	DBLP DOI BibTeX RDF
10	Clay Carper, Andey Robins, Mike Borowczak	Transition Recovery Attack on Embedded State Machines Using Power Analysis.	ICCD	2022	DBLP DOI BibTeX RDF
10	Enes Bilgin, Tolga Ovatman	Coordinated Access to Shared Data Sources for Geo-replicated State Machines.	ICSOFT	2022	DBLP DOI BibTeX RDF
10	Xiaoqi Chen, Andrew Johnson, Mengying Pan, David Walker 0001	Synthesizing state machines for data planes.	SOSR	2022	DBLP DOI BibTeX RDF
10	Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra	Compositional Simulation of Abstract State Machines for Safety Critical Systems.	FACS	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.	SP	2022	DBLP DOI BibTeX RDF
10	Tobias Rosenberger, Alexander Knapp, Markus Roggenbach	An Institutional Approach to Communicating UML State Machines.	FASE	2022	DBLP DOI BibTeX RDF
10	Le Li, Kenjiro Taura	SimdFSM: An Adaptive Vectorization of Finite State Machines for Speculative Execution.	PDCAT	2022	DBLP DOI BibTeX RDF
10	Robert Sachtleben	An approach for the verification and synthesis of complete test generation algorithms for finite state machines		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.	Int. J. Appl. Math. Comput. Sci.	2021	DBLP DOI BibTeX RDF
10	Halit Uyanik, Tolga Ovatman	Early Conflict Checking in Two-Phase Commit Protocol for Replicated State Machines.	Int. J. Distributed Syst. Technol.	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.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
10	Florentin Ipate, Marian Gheorghe 0001, Raluca Lefticaru	Fundamental results for learning deterministic extended finite state machines from queries.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
10	Qisheng Wang, Junyi Liu, Mingsheng Ying	Equivalence checking of quantum finite-state machines.	J. Comput. Syst. Sci.	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.	J. Comput. Syst. Sci.	2021	DBLP DOI BibTeX RDF
10	Raouf Senhadji-Navarro, Ignacio Garcia-Vargas	Methodology for Distributed-ROM-Based Implementation of Finite State Machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2021	DBLP DOI BibTeX RDF
10	Aleksandr S. Tvardovskii, Nina V. Evtushenko	Deriving Homing Sequences for Finite State Machines with Timed Guards.	Autom. Control. Comput. Sci.	2021	DBLP DOI BibTeX RDF
10	Vladimir A. Zakharov	Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines.	Autom. Control. Comput. Sci.	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.	IEEE Trans. Software Eng.	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.	ACM J. Emerg. Technol. Comput. Syst.	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.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
10	Wuu Yang	Minimizing LR(1) State Machines is NP-Hard.	CoRR	2021	DBLP BibTeX RDF
10	Oliver Biggar, Mohammad Zamani, Iman Shames	Modular Decomposition of Hierarchical Finite State Machines.	CoRR	2021	DBLP BibTeX RDF
10	Wen-ling Huang, Jan Peleska 0001	Complete Requirements-based Testing with Finite State Machines.	CoRR	2021	DBLP BibTeX RDF
10	Ran Zmigrod, Tim Vieira, Ryan Cotterell	Higher-order Derivatives of Weighted Finite-state Machines.	CoRR	2021	DBLP BibTeX RDF
10	Viktor Teren, Jordi Cortadella, Tiziano Villa	Decomposition of transition systems into sets of synchronizing state machines.	CoRR	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.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
10	Anne-Kathrin Schumann, Christoph Beierle, Norbert Blößner	Using Finite-State Machines to Automatically Scan Classical Greek Hexameter.	CoRR	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.	J. Big Data	2021	DBLP DOI BibTeX RDF
10	Vijayan Ellappan, R. Rajkumar	Classification of cricket videos using finite state machines.	Int. J. Inf. Technol. Manag.	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)	Proc. VLDB Endow.	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.	ACM Trans. Softw. Eng. Methodol.	2021	DBLP DOI BibTeX RDF
10	Niyazi Özdinç Çelikel, Tolga Ovatman	Distributed Application Checkpointing for Replicated State Machines.	Scalable Comput. Pract. Exp.	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.	IACR Cryptol. ePrint Arch.	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.	Softw. Qual. J.	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.	Inf. Softw. Technol.	2021	DBLP DOI BibTeX RDF