researchr - search publication state machines

researchr

You are not signed in
Sign in
Sign up

3820 publication results matching 'state machines'

Tabular notations for state machine-based specifications
… Finite state machines are a widely used concept for specifying the behavior of reactive systems. Numerous graphical notations based on finite state machines …, Harel statecharts, and Unified Modeling Language (UML) state machine diagrams …
Markus Herrmannsdörfer, Sascha Konrad, Brian Berenbach. Cross Talk, The Journal of defense Software Engineering, , March 2008.
Using Grammarware Languages to Define Operational Semantics of Modelled Languages
… Abstract State Machines, Prolog, and Scheme are well-established for language …. In this paper, we discuss in detail the bridging of Abstract State Machines … Machines, Prolog, and Scheme as description languages in EProvide 2.0, an extensible …
Daniel A. Sadilek, Guido Wachsmuth. TOOLS 2009: [doi]
State MachinesDave Thomas, Andy Hunt. IEEE Software, 19(6):10-12, 2002. [doi]
Topology Analysis of Car Platoons Merge with FujabaRT & TimedStoryCharts - a Case Study
… . This merge protocol is given first as state machine and second as a set of graph rewrite rules that imitate the state machine. The task is to compute a reachability …
Christian Heinzemann, Julian Suck, Ruben Jubeh, Albert Zündorf. TTC 2010:
Finite State MachinesBengt Jonsson. Dagstuhl 2005: 611-614 [doi]
Time in State MachinesSusanne Graf, Andreas Prinz. asmta 2005: 217-232 [doi]
Time in State MachinesSusanne Graf, Andreas Prinz. FUIN, 77(1-2):143-174, 2007. [doi]
State Machines as MixinsAshley T. McNeile, Nicholas Simons. jot, 2(6):85-101, 2003. [doi]
Comparing Generic State MachinesMichel Langevin, Eduard Cerny. cav 1992: 466-476
On Communicating Finite-State MachinesDaniel Brand, Pitro Zafiropulo. JACM, 30(2):323-342, April 1983. [doi]
The State-Machine PatternBo Sanden. sigada 1996: 135-142 [doi]
State Machines as Inductive TypesKazuhiro Ogata, Kokichi Futatsugi. ieicet, 90-A(12):2985-2988, 2007. [doi]
Minimization of Algorithmic State MachinesSamary Baranov. euromicro 1998: 10176-10179 [doi]
Difunctionally Induced State MachinesEugene M. Norris. jcss, 9(1):48-55, 1974.
Jump Tables and State MachinesJulian V. Noble. SIGPLAN, 37(2):14-19, 2002.
A practical state machine projectJohn M. Hunt. ACMse 2009: [doi]
Probabilistic Behavioural State MachinesPeter Novák. promas 2010: 67-81 [doi]
Interacting State Machines for MobilityThomas A. Kuhn, David von Oheimb. FM 2003: 698-718 [doi]
The cerebellum as a liquid state machineTadashi Yamazaki, Shigeru Tanaka. NN, 20(3):290-297, 2007. [doi]
Functor state machinesGábor Horváth. actaC, 5:147-172, 1981.

Sign in or sign up to see more results.

runs on WebDSL