Sylvain Hallé - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged state machines

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machinesSylvain Hallé, Taylor Ettema, Chris Bunch, Tevfik Bultan. ASE 2010: 235-244 [doi]

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]

Formal Verification of Generalised State MachinesGeorge Eleftherakis, Petros Kefalas. pci 2008: 227-231 [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]

A recursive algorithm for diagnosis in hierarchical finite-state machinesR. Mohammadi, Shahin Hashtrudi-Zad. SMC 2007: 1345-1350 [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]

Liquid State Machine by Spatially Coupled OscillatorsAndreas Herzog, Karsten Kube, Bernd Michaelis, Ana D. de Lima, Thomas B. Voigt. icnc 2006: 980-983 [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]

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]

Don t Care Computation in Minimizing Extended Finite State Machines with Presburger ArithmeticYunjian Jiang, Robert K. Brayton. iwls 2002: 327-332

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

A Hybrid State Machine for Component SpecificationAlexander Sakharov. SIGPLAN, 35(4):51-56, 2000.

The state reduction of nondeterministic finite-state machinesMaurizio Damiani. tcad, 16(11):1278-1291, 1997. [doi]

Interface finite-state machines: definition, minimization, and decompositionAjay J. Daga, William P. Birmingham. tcad, 16(5):497-505, 1997. [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]

Implicit prime compatible generation for minimizing incompletely specified finite state machinesHiroyuki Higuchi, Yusuke Matsunaga. aspdac 1995: [doi]

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

Bounds on the Complexity of Recurrent Neural Network Implementations of Finite State MachinesBill G. Horne, Don R. Hush. nips 1994: 359-366 [doi]

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

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

Efficent suboptimal state assignment for large sequential machinesLech Józwiak. eurodac 1990: 536-541 [doi]

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

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 Distributed Alternative to Finite-State-Machine SpecificationsPamela Zave. TOPLAS, 7(1):10-36, 1985. [doi]

Universal Multicode STT State Assignments for Asynchronous Sequential MachinesTakashi Nanya, Yoshihiro Tohma. TC, 28(11):811-818, 1979.

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.

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