|
|
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 |
30 | Sergio Sáez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo |
Implementing Reactive Systems with UML State Machines and Ada 2005. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 149-163, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Behavioral State Machines, Embedded Systems, Code Generation, Reactive Systems, Ada 2005 |
30 | Andrea Paoli, Stéphane Lafortune |
Diagnosability Analysis of a Class of Hierarchical State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 18(3), pp. 385-413, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hierarchical finite state machines, Fault diagnosis, Statecharts, Discrete event systems, Diagnoser |
30 | Klaus-Dieter Schewe, Jane Zhao |
Typed Abstract State Machines for data-intensive applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 15(3), pp. 381-391, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Refinement, Data warehouses, Types, Abstract state machines |
30 | Swarat Chaudhuri |
Subcubic algorithms for recursive state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 159-169, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CFL-reachability, cubic bottleneck, recursive state machines, transitive closure, interprocedural analysis, context-free languages, pushdown systems |
30 | Angelo Furfaro, Libero Nigro, Francesco Pupo |
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 32(1-2), pp. 105-123, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
real-time constrains, Java, prototyping, assertions, integrated development environment, hierarchical state machines, modular modelling |
30 | Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden |
Synthesizing safe state machines from Esterel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 113-124, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel |
30 | Jan Trowitzsch, Armin Zimmermann |
Using UML state machines and petri nets for the quantitative investigation of ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006, pp. 34, 2006, ACM, 1-59593-504-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML state machines, model transformation, stochastic petri nets, ETCS |
30 | Xiaojun Geng |
Solving identification problem for asynchronous finite state machines using genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 1413-1414, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
asynchronous finite state machines, genetic algorithms, model identification, coding schemes |
30 | Jon Whittle 0001, Leif Geiger, Michael Meisinger |
Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 1039-1040, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
UML, scenarios, state machines, message sequence charts |
30 | Hui Ma 0001, Klaus-Dieter Schewe, Jane Zhao |
View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China, pp. 175-184, 2006, IEEE Computer Society, 0-7695-2718-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Design, Refinement, Data Warehouse, Types, Abstract State Machines |
30 | Antje Nowack |
A Guarded Fragment for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 14(3), pp. 345-368, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Datalog LITE, guarded fixed-point logic, computability, decidability, Abstract State Machines, expressive power, guarded fragment |
30 | Hyoung Seok Hong, Yong Rae Kwon, Sung Deok Cha |
Testing of Object-Oriented Programs Based on Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 234-, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
software testing, object-oriented programs, finite state machines, classes |
30 | Anthony Chung, Deepinder P. Sidhu |
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1491-1494, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
progress verification, closed cover, FIFO channels, structural partition technique, protocols, finite automata, lossless, communicating finite state machines |
30 | Stéphane S. Somé, Xu Cheng |
An approach for supporting system-level test scenarios generation from textual use cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 724-729, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
use cases, state machines, system testing |
30 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 15, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
30 | Piti Piyachon, Yan Luo |
Compact State Machines for High Performance Pattern Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007, pp. 493-496, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | René Klösch, Johannes Weidl, Georg Trausmuth, Harald C. Gall |
Facilitating Program Comprehension via Generic Components for State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPC ![In: 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997 - Dearborn, MI, USA, pp. 118-127, 1997, IEEE Computer Society, 0-8186-7993-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff |
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings, pp. 61-75, 2008, Springer, 978-3-540-69926-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Salvatore La Torre, Gennaro Parlato |
On the Complexity of LtlModel-Checking of Recursive State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 937-948, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Wolfgang Grieskamp, Nicolas Kicillof |
6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume, pp. 129-130, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Caroline Appert, Michel Beaudouin-Lafon |
SwingStates: adding state machines to the swing toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology, Montreux, Switzerland, October 15-18, 2006, pp. 319-322, 2006, ACM, 1-59593-313-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
java swing, toolkit, state machine, widget |
28 | Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich |
Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 112-124, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Gefei Zhang, Matthias M. Hölzl, Alexander Knapp |
Enhancing UML State Machines with Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 529-543, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Moez Krichen, Stavros Tripakis |
State-Identification Problems for Finite-State Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES/RV ![In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, pp. 148-162, 2006, Springer, 3-540-49699-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Mahadevan Subramaniam, Zoltán Pap |
Analyzing the Impact of Protocol Changes on Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings, pp. 197-212, 2006, Springer, 3-540-34184-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
test consistency, protocol, evolution, Changes, communicating finite state machines |
27 | Mohamed G. Gouda, Khe-Sing The |
Modeling physical layer protocols using communicating finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Ninth Symposium on Data Communications, SIGCOMM 1985, Whistler Moutain, British Columbia, Canada, September 10-12, 1985, pp. 54-62, 1985, ACM, 0-89791-164-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
27 | Neil Walkinshaw, Kirill Bogdanov 0002, Mike Holcombe, Sarah Salahuddin |
Reverse Engineering State Machines by Interactive Grammar Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 14th Working Conference on Reverse Engineering (WCRE 2007), 28-31 October 2007, Vancouver, BC, Canada, pp. 209-218, 2007, IEEE Computer Society, 0-7695-3034-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
Improved reachability analysis of large finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 354-360, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Sequential Logic Synthesis and Verification |
26 | Suman Kanjilal, Srimat T. Chakradhar, Vishwani D. Agrawal |
Test function embedding algorithms with application to interconnected 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. 14(9), pp. 1115-1127, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Srinivas Devadas |
General Decomposition of Sequential Machines: Relationships to State Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 26th ACM/IEEE Design Automation Conference, Las Vegas, Nevada, USA, June 25-29, 1989., pp. 314-320, 1989, ACM Press. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Christoph Meinel, Thorsten Theobald |
On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, pp. 408-417, 1997, Springer, 3-540-63437-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Gagan Hasteer, Prithviraj Banerjee |
Simulated Annealing Based Parallel State Assignment of Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India, pp. 69-75, 1997, IEEE Computer Society, 0-8186-7755-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Stephan Weißleder |
Simulated Satisfaction of Coverage Criteria on UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pp. 117-126, 2010, IEEE Computer Society, 978-0-7695-3990-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
UML State Machines, Testing, Model Transformations, Coverage Criteria |
26 | Anna Isabel Esparcia-Alcázar, Anaís Martínez-García, Antonio Miguel Mora, Juan Julián Merelo Guervós, Pablo García-Sánchez |
Genetic evolution of fuzzy finite state machines to control bots in a first-person shooter game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 829-830, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
fuzzy finite state machines, genetic algorithms, autonomous agents, videogames |
26 | Stephan Weißleder |
Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 211-225, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Industrial Cooperation, Model-Based Testing, State Machines, Mutation Analysis, Coverage Criteria |
26 | Tomasz Michal Oliwa, Markus Wagner 0007 |
Composing Music with Neural Networks and Probabilistic Finite-State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings, pp. 503-508, 2008, Springer, 978-3-540-78760-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Biological Inspired Music, Representation Techniques, Finite State Machines, Inductive Learning, Music Composition, Comparative Analysis, Time Delay Neural Networks |
26 | Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang 0002 |
Validation of streaming XML documents with abstract state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2008 - The Tenth International Conference on Information Integration and Web-based Applications Services, 24-26 November 2008, Linz, Austria, pp. 147-153, 2008, ACM, 978-1-60558-349-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
XML, validation, abstract state machines |
26 | Hongzhi Liang, Jürgen Dingel, Zinovy Diskin |
A comparative survey of scenario-based to state-based model synthesis approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCESM ![In: SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006, pp. 5-12, 2006, ACM, 1-59593-394-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model, UML, petri nets, synthesis, scenario, SDL, state machines, MSC |
26 | Fred B. Schneider, Lidong Zhou |
Implementing Trustworthy Services Using Replicated State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 3(5), pp. 34-43, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
trusted systems, cryptography, state machines |
26 | Kostas N. Oikonomou |
Abstractions of Finite-State Machines and Immediately-Detectable Output Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(3), pp. 325-338, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
immediately-detectable output faults, nondeterministic machine, approximately optimal partition, computational complexity, data structures, fault tolerant computing, abstraction, NP-complete, finite-state machines, polynomial-time algorithm, finite automata, set partitioning |
26 | Maurizio Damiani, Piero Olivo, Bruno Riccò |
Analysis and Design of Linear Finite State Machines for Signature Analysis Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(9), pp. 1034-1045, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
signature analysis testing, aliasing error probability, logic testing, finite automata, signature analysis, linear finite state machines |
26 | Wuxu Peng, S. Purushothaman |
Data Flow Analysis of Communicating Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 13(3), pp. 399-442, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
static analysis, communicating finite state machines |
26 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 16, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
26 | Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz |
Attested append-only memory: making adversaries stick to their word. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007, pp. 189-204, 2007, ACM, 978-1-59593-591-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
attested append-only memory, equivocation, replicated state machines, shared storage, byzantine-fault tolerance |
26 | Anneliese Amschler Andrews, Jeff Offutt, Roger T. Alexander |
Testing Web applications by modeling with FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(3), pp. 326-345, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Testing of Web applications, Finite state machines, System testing |
25 | Alessandra Cavarra |
Data Flow Analysis and Testing of Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 85-97, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Qing Wang 0002, Klaus-Dieter Schewe |
Towards a Logic for Abstract MetaFinite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings, pp. 365-380, 2008, Springer, 978-3-540-77683-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Rolf Hennicker, Alexander Knapp |
Activity-Driven Synthesis of State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 87-101, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Thomas A. Alspaugh, Debra J. Richardson, Thomas A. Standish |
Scenarios, state machines and purpose-driven testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-5, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Tim Schattkowsky, Wolfgang Müller 0003 |
Transformation of UML State Machines for Direct Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 117-124, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | DaeEun Kim |
Analyzing Sensor States and Internal States in the Tartarus Problem with Tree State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN VIII, 8th International Conference, Birmingham, UK, September 18-22, 2004, Proceedings, pp. 551-560, 2004, Springer, 3-540-23092-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Ralf H. Reussner |
Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings, pp. 20-40, 2002, Springer, 3-540-00145-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
software component protocols, finite state machine extension, decidable inclusion check, interoperability, substitutability |
25 | Sabine Kuske |
A Formal Semantics of UML State Machines Based on Structured Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings, pp. 241-256, 2001, Springer, 3-540-42667-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Neff Walker, John B. Smelcer |
A comparison of selection time from walking and pull-down menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 221-226, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Terry Winograd |
What can we teach about human-computer interaction? (plenary address). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 443-448, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Hans Brunner |
A snapshot of natural language interfaces (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 53-55, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Jakob Nielsen |
Designing for international use (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 291-294, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | S. Joy Mountford |
Designers: meet your users (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 439-442, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Apple Computer, HyperCard, Inc |
25 | Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross |
Design, Implementation and Deployment of State Machines Using a Generative Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], pp. 175-198, 2007, Springer, 978-3-540-85570-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Parag K. Lala, Alvernon Walker |
A Unified Scheme for Designing Testable State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 10th Asian Test Symposium (ATS 2001), 19-21 November 2001, Kyoto, Japan, pp. 273-278, 2001, IEEE Computer Society, 0-7695-1378-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Fan Zhang, To-Yat Cheung |
Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(1), pp. 1-14, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Average weight, distinguishing tree, nondeterministic finite-state machine, transfer tree, weighted height, testing |
25 | Vishwani D. Agrawal, Kwang-Ting Cheng |
An architecture for synthesis of testable finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990, pp. 612-616, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Rui Zhang, Niraj K. Jha |
State Encoding of Finite-State Machines Targeting Threshold and Majority Logic Based Implementations with Application to Nanotechnologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 19th International Conference on VLSI Design (VLSI Design 2006), 3-7 January 2006, Hyderabad, India, pp. 317-322, 2006, IEEE Computer Society, 0-7695-2502-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Frank Alexander Kraemer, Peter Herrmann |
Automated Encapsulation of UML Activities for Incremental Development and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 571-585, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML Activities, UML State Machines, UML Streaming Parameters, Verification, Model Reuse, System Composition |
24 | Igor Grudenic, Nikola Bogunovic |
Modeling and Verification of MPI Based Distributed Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings, pp. 123-132, 2006, Springer, 3-540-39110-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MPI software modeling, MPI software verification, abstract state machines (ASMs) |
24 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Abstract Operational Semantics for Use Case Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 366-380, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps |
24 | Moon Lee, Noah S. Prywes, Insup Lee 0001 |
Automation of analysis and simulation for understanding of large real-time Ada software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 55-58, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
large real-time Ada software, simulation, real-time systems, Ada, digital simulation, state machines, hierarchical structure |
24 | Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi |
An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 394-404, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
interactive protocol synthesis algorithm, global state transition graph, global state transition graph, deadlock avoidance rules, complete reception, protocols, graph theory, finite-state machines, finite automata, buffer overflow, production rules, interactive programming, deadlock freeness |
24 | Mohamed G. Gouda, Louis E. Rosier |
Communicating Finite State Machines with Priority Channnels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings, pp. 209-221, 1984, Springer, 3-540-13345-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
24 | Iouliia Skliarova |
Self-correction of FPGA-Based Control Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings, pp. 310-319, 2005, Springer, 3-540-30881-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Self-correcting finite state machines, specification in VHDL, Hamming codes |
24 | Dirk Seifert |
Conformance Testing Based on UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 45-65, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever |
29 New Unclarities in the Semantics of UML 2.0 State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 52-65, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Wuxu Peng, Kia Makki |
Lossy Communicating Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 25(3-4), pp. 433-448, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
concurrency model, verification, specification, communication protocols |
24 | Alexander Knapp, Stephan Merz, Martin Wirsing |
Refining Mobile UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 274-288, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Manuel Núñez 0001, Ismael Rodríguez, Fernando Rubio 0001 |
Testing of Autonomous Agents Described as Utility State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE Workshops ![In: Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004, pp. 322-336, 2004, Springer, 3-540-23169-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Rajeev Alur |
Formal Analysis of Hierarchical State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification: Theory and Practice ![In: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp. 42-66, 2003, Springer, 3-540-21002-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Christo Angelov, Krzysztof Sierszecki, Nicolae Marian |
Design Models for Reusable and Reconfigurable State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings, pp. 152-163, 2005, Springer, 3-540-30807-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper |
Adding Liveness Properties to Coupled Finite-State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(2), pp. 303-339, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
MUSTANG: state assignment of finite state machines targeting multilevel logic implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(12), pp. 1290-1300, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
23 | Jin Li, Xiaoling Sun |
Tree-Structured Linear Cellular Automata and Their Applications in BIST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 15(3), pp. 297-300, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
linear cellular automata, pseudorandom test pattern generation, delay fault coverage, linear finite state machines |
23 | Kenneth Y. Yun, David L. Dill |
A high-performance asynchronous SCSI controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 44-49, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
peripheral interfaces, high-performance asynchronous SCSI controller, small computer systems interface, asynchronous pipeline, extended burst-mode machines, CMOS standard cell, data transfer throughput, distributed control scheme, extended burst-mode state machines, synchronisation, distributed control, CMOS integrated circuits, FIFO |
23 | Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie |
Fault-scalable Byzantine fault-tolerant services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK, October 23-26, 2005, pp. 59-74, 2005, ACM, 1-59593-079-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fault-scalability, replicated state machines, services, quorums, byzantine fault-tolerance |
23 | Yan Jin, Robert Esser, Jörn W. Janneck |
A method for describing the syntax and semantics of UML statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(2), pp. 150-163, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Syntax definition, Formal operational semantics, UML, Visual languages, Statecharts, Abstract State Machines, UML statecharts |
23 | Jessica Chen |
A study on static analysis in network of synchronizing FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 489-493, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
synchronizing FSMs, multithreaded systems, nondeterministic behavior, Java monitors, Java, static analysis, finite state machines, synchronisation, operational semantics, multi-threading, labeled transition systems, thread synchronization, design artifacts |
23 | Martin Kappes, Chandra M. R. Kintala, Reinhard Klemm |
Formal Limits on Determining Reliabilities of Component-Based Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA, pp. 356-364, 2000, IEEE Computer Society, 0-7695-0807-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Reliability Approximation, Software Reliability, Component-Based Software, Reliability Computation, Communicating Finite State Machines |
23 | Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev |
Synthesizing Petri nets from state-based models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 164-171, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Petri nets, Synthesis, Finite State Machines, Asynchronous Circuits, Transition Systems |
23 | Alfred Spalt |
Implementation of Finite-Memory Machines within CAST: FSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26 - March 4, 1989, Proceedings, pp. 86-94, 1989, Springer, 3-540-52215-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Zamira Daw, Marcus Vetter |
Deterministic UML Models for Interconnected Activities and State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 556-570, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
deterministic behavior, state machine, Activity |
22 | Vincent Hugel, Guillaume Amouroux, Thomas Costis, Patrick Bonnin, Pierre Blazevic |
Specifications and Design of Graphical Interface for Hierarchical Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2005: Robot Soccer World Cup IX, pp. 648-655, 2005, Springer, 3-540-35437-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Oscar H. Ibarra, Tao Jiang 0001, Hui Wang 0008 |
Parallel Parsing on a One-way Linear Array of Finite-State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings, pp. 291-300, 1989, Springer, 3-540-52048-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Srimat T. Chakradhar, Suman Kanjilal, Vishwani D. Agrawal |
Finite state machine synthesis with fault tolerant test function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 4(1), pp. 57-69, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Design for combinational test generation, finite state machine synthesis, test function embedding, synthesis for testability, fault-tolerant design |
22 | Tao Xie 0001, Evan Martin, Hai Yuan |
Automatic extraction of abstract-object-state machines from unit-test executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 835-838, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
software testing, debugging, program understanding |
22 | Markus Damm |
State Assignment for Detecting Erroneous Transitions in Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia, pp. 483-490, 2006, IEEE Computer Society, 0-7695-2609-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Jerzy Miescicki |
Verification of UML State Diagrams Using Concurrent State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SET ![In: Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland, pp. 261-271, 2006, Springer, 978-0-387-39387-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | David A. Bader, Kamesh Madduri |
A Parallel State Assignment Algorithm for Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2004, 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings, pp. 297-308, 2004, Springer, 3-540-24129-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Mariusz Chyzy, Witold Kosinski |
Evolutionary Algorithm for State Assignment of Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), Systems-on-Chip, 4-6 September 2002, Dortmund, Germany, pp. 359-363, 2002, IEEE Computer Society, 0-7695-1790-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Imtiaz Ahmad, Raza Ul-Mustafa |
On State Assignment of Finite State Machines Using Hypercube Embedding Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the IEEE International Conference On Computer Design, VLSI in Computers and Processors, ICCD '99, Austin, Texas, USA, October 10-13, 1999, pp. 608-613, 1999, IEEE Computer Society, 0-7695-0406-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
hypercube embedding, gradient projection method, Kernighan Lin algorithm, finite state machine, state assignment |
21 | Wuwei Shen, Kevin J. Compton, James Huggins |
A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, pp. 224-, 2003, IEEE Computer Society, 0-7695-2011-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A semantic framework for metamodel-based languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 16(3-4), pp. 415-454, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semantic (meta-)hooking, Weaving behaviour, Formal methods, Metamodelling, Model driven engineering, Abstract state machines, Model-based development, Language semantics |
21 | Michael F. Mc Bride, T. Martin McGinnity, Liam P. Maguire |
Robospike Sensory Processing for a Mobile Robot Using Spiking Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part II, pp. 794-803, 2009, Springer, 978-3-642-04276-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sensory Processing, Liquid State Machines, Spiking Neural Network, Cortical Columns |
Displaying result #201 - #300 of 3186 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|