|
|
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 |
21 | Diego Alonso, Cristina Vicente-Chicote, Juan Angel Pastor, Bárbara Álvarez |
StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 158-170, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model-To-Text Transformation, Thread-Safe Code Generation, Eclipse platform, Finite State Machines, Model-Driven Engineering |
21 | Angelo Gargantini |
Using Model Checking to Generate Fault Detecting Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers, pp. 189-206, 2007, Springer, 978-3-540-73769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
test, model based testing, Abstract State Machines, fault based testing |
21 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 363-419, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms |
21 | Timothy M. White, Thomas P. Way |
jFAST: a java finite automata simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, Houston, Texas, USA, March 3-5, 2006, pp. 384-388, 2006, ACM, 1-59593-259-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
theory of computation education, simulation, finite state machines, finite automata, educational software |
21 | Renaud Blanch, Michel Beaudouin-Lafon |
Programming rich interactions using the hierarchical state machine toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2006, Venezia, Italy, May 23-26, 2006, pp. 51-58, 2006, ACM Press, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
advanced interaction techniques, post-WIMP interaction, structured graphics, software architecture, scalable vector graphics, hierarchical state machines |
21 | Robi Malik, Partha S. Roop |
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, pp. 33-52, 2005, Springer, 3-540-30492-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
embedded systems, Formal verification, finite-state machines, bisimulation, supervisory control, specification matching |
21 | Kirsten Winter, Roger Duke |
Model Checking Object-Z Using ASM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 165-184, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
language transformation, automated tool support, model checking, Abstract State Machines, Object-Z |
21 | Francis Bordeleau, Jean-Pierre Corriveau, Bran Selic |
A Scenario-Based Approach to Hierarchical State Machine Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 78-85, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
patters, real-time systems, hierarchical state machines, scenario models |
21 | Frédéric Pétrot, Denis Hommais, Alain Greiner |
Cycle precise core based hardware/software system simulation with predictable event propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 182-187, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hardware software system simulation, predictable event propagation, cycle precise core based system simulator, digital embedded systems, Mealy signals, combinational signals, MIPS R3000, microprocessor core, PI-Bus, Pentium 120, communication, graph, C, high level synthesis, memories, directed graph, FSM, topological sort, compile-time, communicating finite state machines |
21 | Ashok Balivada, Yatin Vasant Hoskote, Jacob A. Abraham |
Verification of transient response of linear analog circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 13th IEEE VLSI Test Symposium (VTS'95), April 30 - May 3, 1995, Princeton, New Jersey, USA, pp. 42-47, 1995, IEEE Computer Society, 0-8186-7000-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
linear network analysis, circuit behavior, operational amplifier macro circuits, input waveforms, extracted state equations, Z-domain, digital representation, finite state machines, active networks, transfer functions, transfer function, transient analysis, operational amplifiers, frequency-domain analysis, formal techniques, state-space methods, analogue circuits, transient response, transient response, linear analog circuits, equivalent circuits |
21 | Shmuel S. Tyszberowicz, Amiram Yehudai |
OBSERV - A Prototyping Language and Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 1(3), pp. 269-309, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
CRUISE, interactive programming environments, modeling with finite state machines, static checker, simulator, real time systems, embedded systems, concurrency, logic programming, graphical user interface, software reuse, OBSERV, OBSERV, browsers, object-oriented approach |
21 | Rajeev Alur, Thomas A. Henzinger |
Logics and Models of Real Time: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 74-106, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
verification, real time, semantics, Temporal logic, finite-state machines, transition systems |
21 | Andreas Blass, Yuri Gurevich |
Abstract state machines capture parallel algorithms: Correction and extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(3), pp. 19:1-19:32, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ASM thesis, postulates for parallel computation, Parallel algorithm, parallel programming, abstract state machine |
21 | Darrell R. Raymond |
Grail: a C++ library for finite-state machines and regular expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 60, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
C++ |
21 | Michel Langevin, Eduard Cerny |
Comparing Generic State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, pp. 466-476, 1991, Springer, 3-540-55179-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Beierle, Klaus-Dieter Schewe |
Abstract State Machines with Exact Real Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 139-154, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres |
Systematic Refinement of Abstract State Machines with Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 204-218, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
AsmetaA: Animator for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, pp. 369-373, 2018, Springer, 978-3-319-91270-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Egon Börger |
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 3-34, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier |
Unified Syntax for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 231-236, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy |
A Universal Control Construct for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, pp. 37-53, 2016, Springer, 978-3-319-33599-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Marcel Dausend, Alexander Raschke |
Introducing Aspect-Oriented Specification for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, pp. 174-187, 2014, Springer, 978-3-662-43651-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Ilias Sakellariou |
Turtles as State Machines - Agent Programming in NetLogo using State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2 - Agents, Vilamoura, Algarve, Portugal, 6-8 February, 2012, pp. 375-378, 2012, SciTePress, 978-989-8425-96-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
21 | Paolo Arcaini, Francesco Bolis, Angelo Gargantini |
Test Generation for Sequential Nets of Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 36-50, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra |
A Reliability Prediction Method for Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, pp. 336-340, 2012, Springer, 978-3-642-30884-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Joëlle Cohen, Anatol Slissenko |
Stability of Real-Time Abstract State Machines under Desynchronization. ![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. 341, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Margus Veanes, Ando Saabas |
Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). ![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. 355, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
Generating finite state machines from abstract state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 112-122, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM |
21 | Christine Choppy, Gianna Reggio |
A method for developing UML state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 382-388, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML, state machine |
21 | Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko |
Symbolic Step Encodings for Object Based Communicating State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, pp. 96-112, 2008, Springer, 978-3-540-68862-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Hooman Shayani, Peter J. Bentley |
A more bio-plausible approach to the evolutionary inference of finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, Companion Material, pp. 2937-2944, 2007, ACM, 978-1-59593-698-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bio-plausibility, genetic algorithms, evolutionary algorithms, evolution, finite-state machine, fsm, metaphors, analogies, grammatical inference |
21 | Laura Bozzelli, Salvatore La Torre, Adriano Peron |
Verification of Well-Formed Communicating Recursive State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings, pp. 412-426, 2006, Springer, 3-540-31139-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic |
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 96-103, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Welf Löwe, Rainer Neumann, Martin Trapp 0002, Wolf Zimmermann |
Robust Dynamic Exchange of Implementation Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 351-360, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Implementation Exchange, Library Construction, Datastructures, Robustness |
21 | Graema Milligan, Wim Vanderbauwhede |
Implementation of Finite State Machines on a Reconfigurable Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), August 5-8, 2007, University of Edinburgh, Scotland, United Kingdom, pp. 386-396, 2007, IEEE Computer Society, 0-7695-2866-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ali Iranli, Massoud Pedram |
Cycle-Based Decomposition of Markov Chains With Applications to Low-Power Synthesis and Sequence Compaction for 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. 25(12), pp. 2712-2725, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Oliver Kasten, Kay Römer |
Beyond event handlers: programming wireless sensors with attributed state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, IPSN 2005, April 25-27, 2005, UCLA, Los Angeles, California, USA, pp. 45-52, 2005, IEEE, 0-7803-9202-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Christoforos N. Hadjicostis |
Encoded finite-state machines for non-concurrent error detection and identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 858-861, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns |
Analysis Problems for Sequential Dynamical Systems and Communicating State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings, pp. 159-172, 2001, Springer, 3-540-42496-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Montek Singh, Steven M. Nowick |
Synthesis for logical initializability of synchronous finite-state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 8(5), pp. 542-557, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Diana Marculescu, Radu Marculescu, Massoud Pedram |
Theoretical bounds for switching activity analysis in finite-state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 8(3), pp. 335-339, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Diana Marculescu, Radu Marculescu, Massoud Pedram |
Theoretical bounds for switching activity analysis in finite-state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 1998 International Symposium on Low Power Electronics and Design, 1998, Monterey, California, USA, August 10-12, 1998, pp. 36-41, 1998, ACM, 1-58113-059-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Tam-Anh Chu |
Synthesis of hazard-free control circuits from asynchronous finite state machines specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 7(1-2), pp. 61-84, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Christo Angelov, Xu Ke, Yu Guo, Krzysztof Sierszecki |
Reconfigurable State Machine Components for Embedded Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 34th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2008, September 3-5, 2008, Parma, Italy, pp. 51-58, 2008, IEEE Computer Society, 978-0-7695-3276-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Sezer Gören 0001, F. Joel Ferguson |
CHESMIN: A Heuristic for State Reduction in Incompletely Specified Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 248-254, 2002, IEEE Computer Society, 0-7695-1471-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Harald Störrle |
Model driven development of user interface prototypes: an integrated approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion Volume ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume, pp. 261-268, 2010, ACM, 978-1-4503-0179-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
WED, UML, state machines, GUI design |
20 | David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock |
Architecture for Hybrid Robotic Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAIS ![In: Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, pp. 145-156, 2009, Springer, 978-3-642-02318-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software engineering, software architecture, finite state machines, software patterns, Non-monotonic logics |
20 | Dolev Dotan, Andrei Kirshin |
Debugging and testing behavioral UML models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 838-839, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML, software development, debugging, profiles, state machines, activities |
20 | Miguel Ángel Pérez Toledano, Amparo Navasa Martínez, Juan Manuel Murillo, Carlos Canal |
TITAN: a Framework for Aspect Oriented System Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 4, 2007, IEEE Computer Society, 0-7695-2937-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
algebraic descriptions, UML, testing, Aspect-oriented programming, test generation, state machines, sequence diagrams |
20 | T. K. S. Lakshmi Priya, Ranjani Parthasarathi |
An ASM Model for an Autonomous Network-Infrastructure Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNS ![In: Third International Conference on Networking and Services (ICNS 2007), June 19-25, 2007, Athens, Greece, pp. 29, 2007, IEEE Computer Society, 978-0-7695-2858-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
network-layer grid, autonomic grid, formal model, Abstract State Machines |
20 | William Bail |
An Approach to Defining Requirements for Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Exception Handling Techniques ![In: Advanced Topics in Exception Handling Techniques (the book grow out of ECOOP workshops), pp. 243-254, 2006, Springer, 3-540-37443-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
exception handling, requirements specification, state machines, usage models |
20 | DaeEun Kim |
Memory analysis and significance test for agent behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 151-158, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
grid world problem, genetic programming, finite state machines, computational effort, internal states |
20 | Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz |
Generating optimal distinguishing sequences with a model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification |
20 | Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz |
Generating optimal distinguishing sequences with a model checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA, 2005, ACM, 1-59593-115-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification |
20 | Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao |
Quality Assurance in the Design of Web Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia, pp. 91-98, 2005, IEEE Computer Society, 0-7695-2472-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Quality Design, Refinement, Abstract State Machines, Web Information Systems |
20 | Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag |
Deductive Verification of UML Models in TLPVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, pp. 335-349, 2004, Springer, 3-540-23307-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS |
20 | Jovan Dj. Golic |
A Weakness of the Linear Part of Stream Cipher MUGI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 11th International Workshop, FSE 2004, Delhi, India, February 5-7, 2004, Revised Papers, pp. 178-192, 2004, Springer, 3-540-22171-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
combiners with memory, Stream ciphers, linear cryptanalysis, linear finite-state machines |
20 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Inference of Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(7), pp. 623-633, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
concurrent state machines, formal verification, synthesis, scenarios, requirements analysis, Message sequence charts, realizability, deadlock freedom |
20 | Ricardo Marcelín-Jiménez, Rolando Esquivel-Villafana, Sergio Rajsbaum |
A Flexible Simulator for Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: 4th Mexican International Conference on Computer Science (ENC 2003), 8-12 September 2003, Apizaco, Mexico, pp. 176-181, 2003, IEEE Computer Society, 0-7695-1915-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
distributed algorithms, discrete-event simulations, state machines |
20 | Jessica Chen, Suganthan Subramaniam |
Specification-based Testing for Gui-based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 10(3), pp. 205-224, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
java AWT and swing, finite state machines, specification-based testing, capture/replay |
20 | Jessica Chen, Steve Chovanec |
Towards Specification-based Web Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETWORKING Workshops ![In: Web Engineering and Peer-to-Peer Computing, NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers, pp. 165-171, 2002, Springer, 3-540-44177-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java AWT and Swing, Web applications, Finite state machines, Specification-based testing, Capture/Replay |
20 | Marie-Luce Bourguet |
Outil de prototypage pour la conception et l'evaluation d'interfaces utilisateur multimodales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 14th French-speaking conference on Human-computer interaction, Conference Francophone sur l'Interaction Homme-Machine, IHM 2002, Poitiers, France, November 26-29, 2002, pp. 239-242, 2002, ACM, 1-58113-615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
prototyping, finite state machines, interaction models, multimodal inputs |
20 | Renaud Blanch |
Programmer I'interaction avec des machines â états hiérarchiques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 14th French-speaking conference on Human-computer interaction, Conference Francophone sur l'Interaction Homme-Machine, IHM 2002, Poitiers, France, November 26-29, 2002, pp. 129-136, 2002, ACM, 1-58113-615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
advanced interaction techniques, software architecture, hierarchical state machines |
20 | Jessica Chen |
Expressing Graphical User's Input for Test Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCIS ![In: Engineering and Deployment of Cooperative Information Systems, First International Conference, EDCIS 2002, Beijing, China, September 17-20, 2002, Proceedings, pp. 347-359, 2002, Springer, 3-540-44222-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java Swing and AWT, Graphical User's Interface, Finite State Machines, Specification-based Testing, Capture/Replay |
20 | M. Tuan Tu, Eberhard Wolff, Winfried Lamersdorf |
Genetic Algorithms for Automated Negotiations: A FSM-Based Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 1029-1033, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
FSM based application approach, electronic commerce applications, GA principles, negotiating agents, genetic algorithms, electronic commerce, finite state machines, automated negotiations, negotiation strategy |
20 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Inference of message sequence charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 304-313, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom |
20 | Ileana Ober |
More Meaningful UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 146-157, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics |
20 | Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro |
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 19th International Conference of the Chilean Computer Science Society (SCCC '99), 11-13 November 1999, Talca, Chile, pp. 96-104, 1999, IEEE Computer Society, 0-7695-0296-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Software Testing, Tools, Finite State Machines, Reactive Systems, Mutation Testing |
20 | James K. Huggins, David Van Campenhout |
Specification and verification of pipelining in the ARM2 RISC microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 3(4), pp. 563-580, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
ARM processor, formal verification, pipelining, abstract state machines, design verification, pipelined processors |
20 | Jian-Cheng Dai, Gwo-Dong Chen, Chen-Chung Liu, Baw-Jhiune Liu |
A temporal behavioral object model for object-oriented databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 28-31, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
temporal behavioral object model, data history management, data value changes, DSS debugging systems, DSS maintenance systems, database debugging systems, database maintenance systems, method signatures, method invocation network, subtype object substitutability enforcement, class inheritance hierarchy, database application developers, event effect querying, decision support system, policies, finite state machines, object-oriented databases, object-oriented databases, type system, temporal databases, users, procedures, data objects, decision makers |
20 | Sien-An Ong, Kari Tiensyrjä, Lech Józwiak |
Interactive codesign for real-time embedded control systems: task graph generation from SA/VHDL models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 172-181, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
interactive codesign, real-time embedded control systems, task graph generation, InCo, textual functional specification method, linear control structures, static behavioral analysis, graphical functional specification method, high level synthesis, finite-state machines, VHDL, modular design, hierarchical decomposition, hardware software partitioning, cost-efficient |
20 | X. Wendling, Raphaël Rochet, Régis Leveugle |
Standard and ROM-based synthesis of FSMs with control flow checking capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 14th IEEE VLSI Test Symposium (VTS'96), April 28 - May 1, 1996, Princeton, NJ, USA, pp. 81-86, 1996, IEEE Computer Society, 0-8186-7304-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
read-only storage, sequencing error detection, ROM architecture, finite state machines, finite state machine, integrated circuit testing, error detection, automatic testing, integrated circuit design, FSM, automatic synthesis, control flow checking |
20 | P. A. Subrahmanyam, K. J. Singh, Guy A. Story, William M. Schell |
Quality Assurance in Scripting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Multim. ![In: IEEE Multim. 2(2), pp. 50-59, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
formal methods, finite state machines, scripting, interactive television |
20 | Mark Minas, Gerhard Viehstaedt |
DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 203-210, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
diagram editor generator, DiaGen, diagram execution, visual language systems, hypergraph grammar, user interfaces, formal specification, specification, graphical user interfaces, software tools, graphs, programming environments, finite state machines, trees, visual programming, visual languages, direct manipulation, diagrams, graph grammars, hierarchical structures, application specific, flowcharts |
20 | Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang |
Experience with Charlotte: Simplicity and Function in a Distributed Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(6), pp. 676-685, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Charlotte distributed operating system, computation-intensive problems, large-grain parallelism, Crystal multicomputer, VAX-11/750 computers, kernel/process interface, bidirectional communication paths, synchronous nonblocking communications, multitask kernel, absolute distributed information, high-level tools, Lynx distributed programming language, kernal primitives, concurrency, abstraction, finite-state machines, local area network, local area networks, operating systems (computers), software packages, multiprocessing programs, computer communications software |
20 | Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham |
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 301-316, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation |
19 | Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans |
Object Modelling in the SystemB Industrial Project. ![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. 359, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez |
Testing Finite State Machines Presenting Stochastic Time and Timeouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings, pp. 97-111, 2007, Springer, 978-3-540-75210-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Simon M. Lucas |
A statistically aligned recombination operator for finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 4554-4560, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Hemant Sengar, Duminda Wijesekera, Haining Wang, Sushil Jajodia |
VoIP Intrusion Detection Through Interacting Protocol State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings, pp. 393-402, 2006, IEEE Computer Society, 0-7695-2607-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ali Habibi, Haja Moinudeen, Sofiène Tahar |
Generating finite state machines from SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE Designers' Forum ![In: Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 76-81, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-0-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jon Whittle 0001, Praveen K. Jayaraman |
Generating Hierarchical State Machines from Use Case Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA, pp. 16-25, 2006, IEEE Computer Society, 0-7695-2555-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Frank Alexander Kraemer, Peter Herrmann, Rolv Bræk |
Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II, pp. 1613-1632, 2006, Springer, 3-540-48274-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums |
Interactive Verification of UML State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 434-448, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Elvinia Riccobene, Patrizia Scandurra |
Modelling SystemC Process Behavior by the UML Method State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers, pp. 112-121, 2004, Springer, 3-540-25812-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
Hierarchical and Recursive State Machines with Context-Dependent Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 776-789, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Model Checking, Temporal Logic, Automata |
19 | Jürgen Teich, Markus Köster |
(Self-)reconfigurable Finite State Machines: Theory and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 559-566, 2002, IEEE Computer Society, 0-7695-1471-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Alexander Knapp, Stephan Merz, Christopher Rauh |
Model Checking - Timed UML State Machines and Collaborations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 395-416, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Sezer Gören 0001, F. Joel Ferguson |
Testing Finite State Machines Based on a Structural Coverage Metric . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 2002, Baltimore, MD, USA, October 7-10, 2002, pp. 773-780, 2002, IEEE Computer Society, 0-7803-7543-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Michael Benedikt, Patrice Godefroid, Thomas W. Reps |
Model Checking of Unrestricted Hierarchical State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 652-666, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen |
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 10435-10444, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Mario Dal Cin |
Verifying Fault-Tolerant Behavior of State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings, pp. 94-99, 1997, IEEE Computer Society, 0-8186-7971-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Abderrahim Benslimane |
Deciding Boundedness for Systems of two Linear Communicating Fine State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAST ![In: Computer Aided System Theory - CASR '94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers, pp. 108-122, 1994, Springer, 3-540-61478-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Louis E. Rosier, Hsu-Chun Yen |
Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings, pp. 287-298, 1985, Springer, 3-540-13912-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Mar Yah Said, Michael J. Butler, Colin F. Snook |
Language and Tool Support for Class and State Machine Refinement in UML-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 579-595, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML, Formal specification, Refinement, Event-B, Visual modelling languages |
19 | Aritra Bandyopadhyay, Sudipto Ghosh |
Using UML Sequence Diagrams and State Machines for Test Input Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA, pp. 309-310, 2008, IEEE Computer Society, 978-0-7695-3405-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Therese Berg, Bengt Jonsson 0001, Harald Raffelt |
Regular Inference for State Machines with Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 107-121, 2006, Springer, 3-540-33093-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan |
On-the-Fly Reachability and Cycle Detection for Recursive State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 61-76, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Seung Ho Hwang, A. Richard Newton |
An efficient verifier for 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. 10(3), pp. 326-334, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Moez Krichen, Stavros Tripakis |
State Identification Problems for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom ![In: Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings, pp. 175-191, 2005, Springer, 3-540-26054-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 3186 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|