Dimitrios Vytiniotis - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged state machines

Brain-controlled finite state machine for wheelchair navigationAmir Teymourian, Thorsten Lueth, Axel Graeser, Torsten Felzer, Rainer Nordmann. assets 2008: 257-258 [doi]

Democratic Liquid State Machines for Music RecognitionLeo Pape, Jornt de Gruijl, Marco Wiering. In Bhanu Prasad, S. R. Mahadeva Prasanna, editors, Speech, Audio, Image and Biomedical Signal Processing using Neural Networks. Volume 83 of Studies in Computational Intelligence, pages 191-215, Springer, 2008. [doi]

An Application of Spike-Timing-Dependent Plasticity to Readout Circuit for Liquid State Machineijcnn 2007: 1441-1445 [doi]

Formal Validation of Hierarchical State Machines against ExpectationsIan Toyn, Andy Galloway. ASWEC 2007: 181-190 [doi]

Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM)Jon Whittle, Leif Geiger, Michael Meisinger. ICSE 2006: 1039-1040 [doi]

Generating Hierarchical State Machines from Use Case ChartsJon Whittle, Praveen K. Jayaraman. RE 2006: 16-25 [doi]

Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM)Jon Whittle, Leif Geiger, Michael Meisinger. scesm 2006: 1-3 [doi]

SCESM 06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006Jon Whittle, Leif Geiger, Michael Meisinger, editors, ACM, 2006.

5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM)Jon Whittle, Leif Geiger, Michael Meisinger. sigsoft, 31(5):39-40, 2006. [doi]

Some Features of State Machines in ORMTony Morgan. otm 2006: 1211-1220 [doi]

Scenarios, goals, and state machines: a win-win partnership for model synthesisChristophe Damas, Bernard Lambeau, Axel van Lamsweerde. ESEC/FSE 2006: 197-207 [doi]

Finite State Machine Implementation with Single-Electron Tunneling TechnologyJialin Mi, Chunhong Chen. isvlsi 2006: 237-241 [doi]

Regular Inference for State Machines with ParametersTherese Berg, Bengt Jonsson, Harald Raffelt. FASE 2006: 107-121 [doi]

Generalizing the Submodule Construction Techniques for Extended State Machine ModelsBassel Daou, Gregor von Bochmann. forte 2006: 191-195 [doi]

Mechanized Metatheory for the Masses: The PoplMark ChallengeBrian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic. tphol 2005: 50-65 [doi]

Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD)isqed 2004: 110-115 [doi]

Finite State MachinesBengt Jonsson. Dagstuhl 2005: 611-614 [doi]

Lossy Communicating Finite State MachinesWuxu Peng, Kia Makki. telsys, 25(3-4):433-448, 2004. [doi]

Liquid State Machine Built of Hodgkin-Huxley NeuronsWieslaw A. Kaminski, Grzegorz M. Wojcik. informaticaLT, 15(1):39-44, 2004. [doi]

Cost-Efficient Implementation of Adaptive Finite State MachinesMaik Boden, Manfred Koegst, José Luis Tiburcio Badía, Steffen Rülke. dsdm 2004: 144-151 [doi]

State Machines as MixinsAshley T. McNeile, Nicholas Simons. jot, 2(6):85-101, 2003. [doi]

A Distributed Algorithm for the Validation of Timed State MachinesXavier Rebeuf, G. Satriano, Françoise Simonot-Lion. opodis 2002: 95-106

State MachinesDave Thomas, Andy Hunt. IEEE Software, 19(6):10-12, 2002. [doi]

Verifying Fault-Tolerant Behavior of State MachinesMario Dal Cin. hase 1997: 94-99 [doi]

A Tool for Practical Reasoning about State Machine DesignsAnthony Cant, Katherine A. Eastaughffe, Maris A. Ozols. ASWEC 1996: 16-26 [doi]

A Tool for Practical Reasoning about State Machine DesignsAnthony Cant, Katherine A. Eastaughffe, Maris A. Ozols. async 1996: 16-26 [doi]

Efficient Simulation of Multiprocessors through Finite State MachinesChristoph Siegelin, Ciaran O Donnell, Ulrich Finger. euromicro 1996: 202-206 [doi]

Automatic Synthesis of State Machines from Trace DiagramsAlfredo M. Maeda, Jun-Ichi Aoe, Hideto Tomabechi. SPE, 24(7):603-622, 1994.

Automatic Synthesis of State Machines from Trace DiagramsKai Koskimies, Erkki Mäkinen. SPE, 24(7):643-658, 1994.

Specifying Reactive Systems with Attributed Finite State MachinesShiyuan Ding, Takuya Katayama. iwssd 1993: 90-99

Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition SystemsA. S. Krishnakumar. cav 1993: 110-122

Fool s Gold: Extracting Finite State Machines from Recurrent Network DynamicsJohn F. Kolen. nips 1994: 501-508 [doi]

Attributed State Machines For Behavior Specification of Reactive SystemsShiyuan Ding, Takuya Katayama. seke 1993: 695-702

Implementing LOTOS Specifications by Communicating State MachinesGünter Karjoth. concur 1992: 386-400

High-Level State Machine Specification and SynthesisAndreas Kuehlmann, Reinaldo A. Bergamaschi. iccd 1992: 536-539

Factorisation of Finite State Machines under Strong and Observational EquivalencesHuajun Qin, Philip Lewis. fac, 3(3):284-307, 1991.

Comparing Generic State MachinesMichel Langevin, Eduard Cerny. cav 1992: 466-476

Factorization of Finite State Machines under Observational EquivalenceHuajun Qin, Philip Lewis. concur 1990: 427-441

Verifying Temporal Properties of Sequential Machines Without Building their State DiagramsOlivier Coudert, Jean Christophe Madre, Christian Berthet. cav 1991: 23-32

On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State MachinesAnthony Chung, Deepinder P. Sidhu. TSE, 15(11):1491-1494, 1989. [doi]

A Lower Bound for Probabilistic Algorithms for Finite State MachinesAlbert G. Greenberg, Alan Weiss. jcss, 33(1):88-105, 1986.

On the Number of Distinct State Assignments for a Sequential MachineV. Thomas Rhyne, Philip S. Noe. TC, 26(1):73-75, 1977.

Serial Realization of the Next State and Output Functions of a Sequential MachineGiuseppe Gestri. iandc, 21(5):466-475, December 1972.

The Unsolvability of the Uniform Halting Problem for Two State Turing MachinesGabor T. Herman. JSYML, 34(2):161-165, 1969.

Amendments to Zeiger s Cascade Synthesis of Finite-State MachinesW. F. Cutlip. iandc, 12(5/6):499-507, May-June 1968.

On Some Properties of the Semigroup of a Machine Which are Preserved Under State Minimizationiandc, 11(3):290-316, September 1967.

Correction: Complexity of Ideals in Finite Semigroups and Finite-State MachinesKenneth Krohn, Richard Mateosian, John Rhodes. mst, 1(4):373, 1967.

Complexity of Ideals in Finite Semigroups and Finite-State MachinesKenneth Krohn, Richard Mateosian, John Rhodes. mst, 1(1):59-66, 1967.

State-calculable stochastic sequential machines, equivalences, and eventsJack W. Carlyle. focs 1965: 258-263

Use of Decomposition Theory in the Solution of the State Assignment Problem of Sequential MachinesH. Allen Curtis. JACM, 10(3):386-411, 1963. [doi]

runs on WebDSL