|
|
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 |
15 | Anurag Tiwari, Karen A. Tomko |
Saving Power by Mapping Finite-State Machines into Embedded Memory Blocks in FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 916-921, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Maik Boden, Manfred Koegst, José Luis Tiburcio Badía, Steffen Rülke |
Cost-Efficient Implementation of Adaptive Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August - 3 September 2004, Rennes, France, pp. 144-151, 2004, IEEE Computer Society, 0-7695-2203-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Alireza Kaviani |
Phase Alignment Using Asynchronous State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 19-23 April 2004, Crete, Greece, pp. 86-94, 2004, IEEE Computer Society, 0-7695-2133-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Ricardo Nastas Acras, Silvia Regina Vergilio |
Splinter: A Generic Framework for Evolving Modular Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 356-365, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
modularity, evolutionary programming |
15 | Wojciech Debski, Wojciech Fraczak |
Concatenation State Machines and Simple Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers, pp. 113-124, 2004, Springer, 3-540-24318-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo 0001 |
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (2) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II, pp. 1429-1430, 2004, Springer, 3-540-22343-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Yun Zhai, Zeeshan Rasheed, Mubarak Shah |
A Framework for Semantic Classification of Scenes Using Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Image and Video Retrieval: Third International Conference, CIVR 2004, Dublin, Ireland, July 21-23, 2004. Proceedings, pp. 279-288, 2004, Springer, 3-540-22539-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Barbara Staudt Lerner |
Verifying process models built using parameterized state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004, pp. 274-284, 2004, ACM, 1-58113-820-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Little-JIL, SMC, finite state machine, software process, work flow, LTSA |
15 | Youngsik Kim, Shekhar Kopuri, Nazanin Mansouri |
Automated Formal Verification of Scheduling Process Using Finite State Machines with Datapath (FSMD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 5th International Symposium on Quality of Electronic Design (ISQED 2004), 22-24 March 2004, San Jose, CA, USA, pp. 110-115, 2004, IEEE Computer Society, 0-7695-2093-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Jane Zhao, Hui Ma 0001 |
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 4th International Conference on Quality Software (QSIC 2004), 8-10 September 2004, Braunschweig, Germany, pp. 224-231, 2004, IEEE Computer Society, 0-7695-2207-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Quality Design, Data Warehouse, Abstract State Machine, On-Line Analytical Processing |
15 | Angelo Furfaro, Libero Nigro, Francesco Pupo |
Real-Time Systems Development Using Hierarchical State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings, pp. 110-121, 2003, Springer, 3-540-40796-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | David von Oheimb |
Interacting State Machines: A Stateful Approach to Proving Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASec ![In: Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers, pp. 15-32, 2002, Springer, 3-540-20693-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | David von Oheimb, Volkmar Lotz |
Formal Security Analysis with Interacting State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2002, 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14-16, 2002, Proceedings, pp. 212-228, 2002, Springer, 3-540-44345-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Rim Belhassine-Cherif, Abderrazak Ghedamsi |
Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 3-5 July 2001, Hammamet, Tunisia, pp. 661-666, 2001, IEEE Computer Society, 0-7695-1177-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Communicating Nondetermistic Finite State Machine, Multiple faults, Diagnostic, Symptom |
15 | Werner Hartmann, Jürg Nievergelt, Raimond Reichert |
Kara, finite state machines, and the case for programming as part of general education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 135-141, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Marco Ottavi, Gian Carlo Cardarilli, D. Cellitti, Salvatore Pontarelli, Marco Re, Adelio Salsano |
Design of a Totally Self Checking Signature Analysis Checker for Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 16th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2001), 24-26 October 2001, San Francisco, CA, USA, Proceedings, pp. 403-411, 2001, IEEE Computer Society, 0-7695-1203-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
SSMM, fault tolerance, finite state machine, VHDL, signature analysis, self checking |
15 | Wuwei Shen, Kevin J. Compton, James Huggins |
A UML Validation Toolset Based on Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 315-318, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Umberto Cerruti, Mario Giacobini, Pierre Liardet |
Prediction of Binary Sequences by Evolving Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Evolution ![In: Artificial Evolution, 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001, Selected Papers, pp. 42-53, 2001, Springer, 3-540-43544-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Giancarlo Fortino, Libero Nigro |
Prototyping distributed multimedia systems using communicating real-time state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 19-21 June 2000, Stockholm, Sweden, Proceedings, pp. 273-280, 2000, IEEE Computer Society, 0-7695-0734-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Valery Sklyarov |
Hierarchical finite-state machines and their use for digital control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 7(2), pp. 222-228, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Alain Girault, Bilung Lee, Edward A. Lee |
Hierarchical finite state machines with multiple concurrency models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(6), pp. 742-760, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Marc Spielmann |
Automatic Verification of Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 431-442, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Youpyo Hong, Peter A. Beerel |
Symbolic Reachability Analysis of Large Finite State Machines Using Don't Cares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 13-, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Erich Grädel, Marc Spielmann |
Logspace Reducibility via Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1738-1757, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Egon Börger |
High Level System Design and Analysis Using Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Trends ![In: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, pp. 1-43, 1998, Springer, 3-540-66462-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Irith Pomeranz, Sudhakar M. Reddy |
On the use of reset to increase the testability of interconnected finite-state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ED&TC ![In: European Design and Test Conference, ED&TC '97, Paris, France, 17-20 March 1997, pp. 554-559, 1997, IEEE Computer Society, 0-8186-7786-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Klaus Schneider 0001, Ramayya Kumar, Thomas Kropf |
Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 213-226, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Günter Karjoth |
Implementing LOTOS Specifications by Communicating State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 386-400, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Doron Drusinsky-Yoresh |
Symbolic cover minimization of fully I/O specified 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. 9(7), pp. 779-781, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Wuxu Peng, S. Purushothaman |
A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 243-252, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Siegfried I. Mensch, Hans Martin Lipp |
Fuzzy specification of 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. 622-626, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Jan Van den Bergh 0001, Karin Coninx |
From Task to Dialog Model in the UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings, pp. 98-111, 2007, Springer, 978-3-540-77221-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Gérard P. Huet, Benoît Razet |
The Reactive Engine for Modular Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays Dedicated to Joseph A. Goguen ![In: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, pp. 355-374, 2006, Springer, 3-540-35462-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Testing from Partial Deterministic FSM Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(9), pp. 1154-1165, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
partially specified FSM, weak conformance testing, test generation, Finite State Machine, fault detection, checking experiment, state identification |
15 | Soon-Kyeong Kim, Luke Wildman, Roger Duke |
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia, pp. 100-109, 2005, IEEE Computer Society, 0-7695-2257-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Peter M. Maurer |
Efficient event-driven simulation by exploiting the output observability of gate clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(11), pp. 1471-1486, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Henry Muccini |
Detecting Implied Scenarios Analyzing Non-local Branching Choices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 372-386, 2003, Springer, 3-540-00899-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Karsten Strehl, Lothar Thiele, Matthias Gries, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich |
FunState-an internal design representation for codesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 9(4), pp. 524-544, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Markus Stumptner, Michael Schrefl |
Behavior Consistent Inheritance in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2000, 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000, Proceedings, pp. 527-542, 2000, Springer, 3-540-41072-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich |
FunState - an internal design representation for codesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999, pp. 558-565, 1999, IEEE Computer Society, 0-7803-5832-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Hwan Wook Sohn, David Chenho Kung, Pei Hsia |
CORBA Components Testing with Perception-Based State Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 116-121, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
perception-based state machine, program replay, CORBA, deterministic testing, dynamic testing |
15 | Enrico Macii, Bernard Plessier, Fabio Somenzi |
Formal verification of digital systems by automatic reduction of data paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(10), pp. 1136-1156, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Robert P. Kurshan |
Analysis of Discrete Event Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 414-453, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
coordination analysis, formal verification, refinement, reduction, homomorphism |
15 | Yongyi Yan, Peiji Xu, Jumei Yue, Zengqiang Chen 0001 |
Robust Control: From Continuous-State Systems to Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 21(2), pp. 2156-2163, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Tairi Chiba, Ren Ohmura, Junya Nakamura 0001 |
Network bandwidth variation-adapted state transfer for geo-replicated state machines and its application to dynamic replica replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 35(19), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Weiwei Han, Yi Li, Zhipeng Zhang, Chengyi Xia |
STP-based verification and synthesis of state opacity for logical finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 641, pp. 119130, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yongyi Yan, Daizhan Cheng, Jun-e Feng, Haitao Li 0001, Jumei Yue |
Survey on applications of algebraic state space theory of logical systems to finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 66(1), January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Louis Colaço, Michael Mendler, Baptiste Pauget, Marc Pouzet |
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(5s), pp. 152:1-152:26, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Gowthami Konganapalle, Sonali Shukla, Virendra Singh |
SMASh: A State Encoding Methodology Against Attacks on Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATS ![In: 32nd IEEE Asian Test Symposium, ATS 2023, Beijing, China, October 14-17, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-0310-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Tairi Chiba, Ren Ohmura, Junya Nakamura 0001 |
Network Bandwidth Variation-Adapted State Transfer for Geo-Replicated State Machines and its Application to Dynamic Replica Replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.08656, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Aleksandr S. Tvardovskii, Nina Yevtushenko 0001 |
Adaptive Experiments for State Identification in Finite State Machines with Timeouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality - 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings, pp. 172-188, 2022, Springer, 978-3-031-13501-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jumei Yue, Yongyi Yan, Zengqiang Chen 0001, He Deng |
State space optimization of finite state machines from the viewpoint of control theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Inf. Technol. Electron. Eng. ![In: Frontiers Inf. Technol. Electron. Eng. 22(12), pp. 1598-1609, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Nan Yang 0009, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik |
Single-state state machines in model-driven software engineering: an exploratory study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 26(6), pp. 124, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Pajot, Mounir Boukadoum |
Synchrony-Based State Representation for Classification by Liquid State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI*CC ![In: 20th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2021, Banff, AB, Canada, October 29-31, 2021, pp. 181-188, 2021, IEEE, 978-1-6654-2119-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Hideyuki Ichihara, Motoi Fukuda, Tsuyoshi Iwagaki, Tomoo Inoue |
Transient Fault Tolerant State Assignment for Stochastic Computing Based on Linear Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(12), pp. 1464-1471, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Adam Klimowicz |
Combined State Splitting and Merging for Implementation of Fast Finite State Machines in FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIM ![In: Computer Information Systems and Industrial Management - 19th International Conference, CISIM 2020, Bialystok, Poland, October 16-18, 2020, Proceedings, pp. 65-76, 2020, Springer, 978-3-030-47678-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Nan Yang 0009, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik |
Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: MSR '20: 17th International Conference on Mining Software Repositories, Seoul, Republic of Korea, 29-30 June, 2020, pp. 362-373, 2020, ACM, 978-1-4503-7517-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ajinkya Gorad, Vivek Saraswat, Udayan Ganguly |
Predicting Performance using Approximate State Space Model for Liquid State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.06240, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Tiago S. Curtinhas, Duarte Lopes de Oliveira, Gracieth Cavalcanti Batista, Vitor L. V. Torres, Leonardo Romano |
A State Assignment Method for Extended Burst-Mode gC Finite State Machines Based on Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LASCAS ![In: 10th IEEE Latin American Symposium on Circuits & Systems, LASCAS 2019, Armenia, Colombia, February 24-27, 2019, pp. 153-156, 2019, IEEE, 978-1-7281-0453-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Hideyuki Ichihara, Yuki Maeda, Tsuyoshi Iwagaki, Tomoo Inoue |
State Encoding with Stochastic Numbers for Transient Fault Tolerant Linear Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 2019 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2019, Noordwijk, Netherlands, October 2-4, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-2260-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ajinkya Gorad, Vivek Saraswat, Udayan Ganguly |
Predicting Performance using Approximate State Space Model for Liquid State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: International Joint Conference on Neural Networks, IJCNN 2019 Budapest, Hungary, July 14-19, 2019, pp. 1-8, 2019, IEEE, 978-1-7281-1985-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Krzysztof Kajstura, Dariusz Kania |
Low Power Synthesis of Finite State Machines - State Assignment Decomposition Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 27(3), pp. 1850041:1-1850041:14, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Nishat Anjum, Balwant Prajapat |
ANN-Based Predictive State Modeling of Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIR ![In: Data Science and Big Data Analytics, ACM-WIR 2018, Women In Research 2018, Indore, India, 5-6 January 2018, pp. 389-400, 2018, Springer, 978-981-10-7640-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Lesly-Ann Daniel, Erik Poll, Joeri de Ruiter |
Inferring OpenVPN State Machines Using Protocol State Fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P Workshops ![In: 2018 IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2018, London, United Kingdom, April 23-27, 2018, pp. 11-19, 2018, IEEE, 978-1-5386-5445-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Tomasz Grzes |
Multiple Codes State Assignment and Code Length Reduction for Power Minimization of Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIM ![In: Computer Information Systems and Industrial Management - 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings, pp. 341-353, 2018, Springer, 978-3-319-99953-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Sahar Mohajerani, Robi Malik, Martin Fabian |
Compositional synthesis of supervisors in the form of state machines and state maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 76, pp. 277-281, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti 0001, Pierre-Yves Strub, Jean Karim Zinzindohoue |
A messy state of the union: taming the composite state machines of TLS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 60(2), pp. 99-107, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Utesch, Andreas Hauer, Robert Heininger, Helmut Krcmar |
The Finite State Trading Game: Developing a Serious Game to Teach the Application of Finite State Machines in a Stock Trading Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REV ![In: Online Engineering & Internet of Things - Proceedings of the 14th International Conference on Remote Engineering and Virtual Instrumentation REV 2017, held 15-17 March 2017, Columbia University, New York, USA, pp. 570-582, 2017, Springer, 978-3-319-64351-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Adam Klimowicz |
Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIM ![In: Computer Information Systems and Industrial Management - 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings, pp. 526-535, 2017, Springer, 978-3-319-59104-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Valery Salauyou, Michal Ostapczuk |
State Assignment of Finite-State Machines by Using the Values of Input Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIM ![In: Computer Information Systems and Industrial Management - 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings, pp. 592-603, 2017, Springer, 978-3-319-59104-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Hideyuki Ichihara, Motoi Fukuda, Tsuyoshi Iwagaki, Tomoo Inoue |
State assignment for fault tolerant stochastic computing with linear finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC-Asia ![In: International Test Conference in Asia, ITC-Asia 2017, Taipei, Taiwan, September 13-15, 2017, pp. 156-161, 2017, IEEE, 978-1-5386-3051-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Adam Klimowicz |
On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIM ![In: Computer Information Systems and Industrial Management - 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings, pp. 493-503, 2016, Springer, 978-3-319-45377-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Valery Salauyou |
Synthesis of High-Speed Finite State Machines in FPGAs by State Splitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIM ![In: Computer Information Systems and Industrial Management - 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings, pp. 741-751, 2016, Springer, 978-3-319-45377-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Shilpa Pendyala, Srinivas Katkoori |
State encoding based NBTI optimization in finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 17th International Symposium on Quality Electronic Design, ISQED 2016, Santa Clara, CA, USA, March 15-16, 2016, pp. 416-422, 2016, IEEE, 978-1-5090-1213-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat |
Inferring Finite State Machines Without Reset Using State Identification Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, pp. 161-177, 2015, Springer, 978-3-319-25944-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti 0001, Pierre-Yves Strub, Jean Karim Zinzindohoue |
A Messy State of the Union: Taming the Composite State Machines of TLS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: 2015 IEEE Symposium on Security and Privacy, SP 2015, San Jose, CA, USA, May 17-21, 2015, pp. 535-552, 2015, IEEE Computer Society, 978-1-4673-6949-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Yanyun Tao, Lijun Zhang, Yuzhen Zhang |
An Evolutionary Strategy Based State Assignment for Area-Minimization Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSCI ![In: IEEE Symposium Series on Computational Intelligence, SSCI 2015, Cape Town, South Africa, December 7-10, 2015, pp. 1491-1498, 2015, IEEE, 978-1-4799-7560-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Giancarlo Fortino, Francesco Rango |
An application-level technique based on recursive hierarchical state machines for agent execution state capture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 78(6), pp. 725-746, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1st, 2013., pp. 31-40, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Werner Gabrisch |
Decomposition of verification of machine programs based on control-state Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCI (Local) ![In: Local Proceedings of the Sixth Balkan Conference in Informatics, Thessaloniki, Greece, September 19-21, 2013, pp. 9, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Priyanka Choudhury, Sambhu Nath Pradhan |
An Approach for Low Power Design of Power Gated Finite State Machines Considering Partitioning and State Encoding Together. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Low Power Electron. ![In: J. Low Power Electron. 8(4), pp. 452-463, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Tao Yue 0002, Shaukat Ali 0001, Lionel C. Briand |
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings, pp. 115-131, 2011, Springer, 978-3-642-21469-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Giancarlo Fortino, Francesco Rango |
A Technique based on Recursive Hierarchical State Machines for Application-level Capture of Agent Execution State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMCSIT ![In: Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2010, Wisla, Poland, 18-20 October 2010, pp. 181-188, 2010, IEEE, 978-83-60810-27-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Heckeler, Jörg Behrend, Thomas Kropf, Jürgen Ruf, Wolfgang Rosenstiel, Roland J. Weiss |
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM+AM ![In: FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy), pp. 49-62, 2010, GI, 978-3-88579-273-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
15 | Manjith Kumar, Samy Boshra-riad, Yasodha Nachimuthu, Marek A. Perkowski |
Comparison of state assignment methods for "quantum circuit" model of permutative quantum state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2010, Barcelona, Spain, 18-23 July 2010, pp. 1-8, 2010, IEEE, 978-1-4244-6909-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Robert Czerwinski, Dariusz Kania |
State assignment and logic optimization for finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDeS ![In: 9th IFAC Workshop on Programmable Devices and Embedded Systems, PDeS 2009, Ostrava, Czech Republic, February 10-12, 2009., pp. 39-44, 2009, International Federation of Automatic Control, 978-3-902661-41-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Marcos Paulo Mello Araujo, Nadia Nedjah, Luiza de Macedo Mourelle |
Quantum-Inspired Evolutionary State Assignment for Synchronous Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 14(15), pp. 2532-2548, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Martin Ouimet, Kristina Lundqvist |
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 14(12), pp. 2007-2033, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sezer Gören 0001, F. Joel Ferguson |
On state reduction of incompletely specified finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 33(1), pp. 58-69, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Herbert Jaeger, Wolfgang Maass 0001, José Carlos Príncipe |
Special issue on echo state networks and liquid state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 20(3), pp. 287-289, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Imtiaz Ahmad, Faridah M. Ali, A. Shoba Das |
Synthesis of finite state machines for improved state verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 32(5), pp. 349-363, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Mingtian Ni, Stephen E. Reichenbach |
GUI State-based Accessibility Control in Hierarchical State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP 2005, Las Vegas, Nevada, USA, June 27-29, 2005, Volume 1, pp. 239-245, 2005, CSREA Press, 1-932415-49-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | W. L. Yeung |
Comparing the State-Based and Behavioural Approaches to Checking Consistency between Associations and State Machines in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASSE ![In: Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, Nice, France, July 1-3, 2004, pp. 233-238, 2004, ISCA. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | T. Ramalingom, Krishnaiyan Thulasiraman, Anindya Das |
Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 26(14), pp. 1622-1633, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Imtiaz Ahmad |
HARD: A hypercube embedding algorithm for state assignment of finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 29(2), pp. 327-356, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Christoforos N. Hadjicostis |
Probabilistic fault detection in finite-state machines based on state occupancy measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002, pp. 3994-3999, 2002, IEEE, 0-7803-7516-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Dominikus Herzberg, André Marburger |
State Machine Modeling: From Synch States to Synchronized State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OMER ![In: OMER - Object-Oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2 May 28/29, 1999 & May 10-12, 2001, Herrsching am Amersee, Germany, pp. 175-185, 2001, GI. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
15 | Pabitra Pal Choudhury, Arup Roy Chowdhury |
Economic return to the previous state for any nearest neighbourhood reversible autonomous finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 126(1-4), pp. 129-136, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Riccardo Forth, Paul Molitor |
An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of ASP-DAC 2000, Asia and South Pacific Design Automation Conference 2000, Yokohama, Japan, pp. 61-66, 2000, ACM, 0-7803-5974-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Dionisis Skias, Th. Haniotakis, Y. Tsiatouhas, Angela Arapoyanni |
A state assignment algorithm for finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: Proceedings of the 2000 7th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2000, Jounieh, Lebanon, December 17-20, 2000, pp. 823-826, 2000, IEEE, 0-7803-6542-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 3186 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|