|
|
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. |
Ada-Europe |
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. |
TAP |
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. |
ACM Trans. Comput. Log. |
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. |
SIGCSE |
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. |
AVI |
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. |
IFM |
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. |
IFM |
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. |
ISORC |
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. |
EUROMICRO |
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. |
VTS |
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. |
ACM Trans. Softw. Eng. Methodol. |
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. |
REX Workshop |
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. |
ACM Trans. Comput. Log. |
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. |
CASCON |
1994 |
DBLP BibTeX RDF |
C++ |
21 | Michel Langevin, Eduard Cerny |
Comparing Generic State Machines. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Beierle, Klaus-Dieter Schewe |
Abstract State Machines with Exact Real Arithmetic. |
ABZ |
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. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor |
AsmetaA: Animator for Abstract State Machines. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Egon Börger |
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets. |
ABZ |
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. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy |
A Universal Control Construct for Abstract State Machines. |
ABZ |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Marcel Dausend, Alexander Raschke |
Introducing Aspect-Oriented Specification for Abstract State Machines. |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Ilias Sakellariou |
Turtles as State Machines - Agent Programming in NetLogo using State Machines. |
ICAART (2) |
2012 |
DBLP BibTeX RDF |
|
21 | Paolo Arcaini, Francesco Bolis, Angelo Gargantini |
Test Generation for Sequential Nets of Abstract State Machines. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra |
A Reliability Prediction Method for Abstract State Machines. |
ABZ |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Joëlle Cohen, Anatol Slissenko |
Stability of Real-Time Abstract State Machines under Desynchronization. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Margus Veanes, Ando Saabas |
Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
Generating finite state machines from abstract state machines. |
ISSTA |
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. |
SAC |
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. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Hooman Shayani, Peter J. Bentley |
A more bio-plausible approach to the evolutionary inference of finite state machines. |
GECCO (Companion) |
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. |
VMCAI |
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. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Welf Löwe, Rainer Neumann, Martin Trapp 0002, Wolf Zimmermann |
Robust Dynamic Exchange of Implementation Aspects. |
TOOLS (29) |
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. |
AHS |
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. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Oliver Kasten, Kay Römer |
Beyond event handlers: programming wireless sensors with attributed state machines. |
IPSN |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Christoforos N. Hadjicostis |
Encoded finite-state machines for non-concurrent error detection and identification. |
ISCAS (3) |
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. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Montek Singh, Steven M. Nowick |
Synthesis for logical initializability of synchronous finite-state machines. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Diana Marculescu, Radu Marculescu, Massoud Pedram |
Theoretical bounds for switching activity analysis in finite-state machines. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Diana Marculescu, Radu Marculescu, Massoud Pedram |
Theoretical bounds for switching activity analysis in finite-state machines. |
ISLPED |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Tam-Anh Chu |
Synthesis of hazard-free control circuits from asynchronous finite state machines specifications. |
J. VLSI Signal Process. |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Christo Angelov, Xu Ke, Yu Guo, Krzysztof Sierszecki |
Reconfigurable State Machine Components for Embedded Applications. |
EUROMICRO-SEAA |
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. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Harald Störrle |
Model driven development of user interface prototypes: an integrated approach. |
ECSA Companion Volume |
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. |
HAIS |
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. |
OOPSLA Companion |
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. |
ICSEA |
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. |
ICNS |
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. |
Advanced Topics in Exception Handling Techniques |
2006 |
DBLP DOI BibTeX RDF |
exception handling, requirements specification, state machines, usage models |
20 | DaeEun Kim |
Memory analysis and significance test for agent behaviours. |
GECCO |
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. |
ACM SIGSOFT Softw. Eng. Notes |
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. |
A-MOST |
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. |
QSIC |
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. |
UML |
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. |
FSE |
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. |
IEEE Trans. Software Eng. |
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. |
ENC |
2003 |
DBLP DOI BibTeX RDF |
distributed algorithms, discrete-event simulations, state machines |
20 | Jessica Chen, Suganthan Subramaniam |
Specification-based Testing for Gui-based Applications. |
Softw. Qual. J. |
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. |
NETWORKING Workshops |
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. |
IHM |
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. |
IHM |
2002 |
DBLP DOI BibTeX RDF |
advanced interaction techniques, software architecture, hierarchical state machines |
20 | Jessica Chen |
Expressing Graphical User's Input for Test Specifications. |
EDCIS |
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. |
DEXA Workshops |
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. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom |
20 | Ileana Ober |
More Meaningful UML Models. |
TOOLS (37) |
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. |
SCCC |
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. |
ACM Trans. Design Autom. Electr. Syst. |
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. |
COMPSAC |
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. |
EUROMICRO |
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. |
VTS |
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. |
IEEE Multim. |
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. |
VL |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Software Eng. |
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. |
ABZ |
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. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Simon M. Lucas |
A statistically aligned recombination operator for finite state machines. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Hemant Sengar, Duminda Wijesekera, Haining Wang, Sushil Jajodia |
VoIP Intrusion Detection Through Interacting Protocol State Machines. |
DSN |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Ali Habibi, Haja Moinudeen, Sofiène Tahar |
Generating finite state machines from SystemC. |
DATE Designers' Forum |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jon Whittle 0001, Praveen K. Jayaraman |
Generating Hierarchical State Machines from Use Case Charts. |
RE |
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. |
OTM Conferences (2) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums |
Interactive Verification of UML State Machines. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Elvinia Riccobene, Patrizia Scandurra |
Modelling SystemC Process Behavior by the UML Method State Machines. |
RISE |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
Hierarchical and Recursive State Machines with Context-Dependent Properties. |
ICALP |
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. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Alexander Knapp, Stephan Merz, Christopher Rauh |
Model Checking - Timed UML State Machines and Collaborations. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Sezer Gören 0001, F. Joel Ferguson |
Testing Finite State Machines Based on a Structural Coverage Metric . |
ITC |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Michael Benedikt, Patrice Godefroid, Thomas W. Reps |
Model Checking of Unrestricted Hierarchical State Machines. |
ICALP |
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. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Mario Dal Cin |
Verifying Fault-Tolerant Behavior of State Machines. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Abderrahim Benslimane |
Deciding Boundedness for Systems of two Linear Communicating Fine State Machines. |
CAST |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Louis E. Rosier, Hsu-Chun Yen |
Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. |
STACS |
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. |
FM |
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. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Therese Berg, Bengt Jonsson 0001, Harald Raffelt |
Regular Inference for State Machines with Parameters. |
FASE |
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. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Seung Ho Hwang, A. Richard Newton |
An efficient verifier for finite state machines. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Moez Krichen, Stavros Tripakis |
State Identification Problems for Timed Automata. |
TestCom |
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][ >>] |
|