Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: jFAST: a java finite automata simulator
A visual and interactive automata theory course with JFLAP 4.0
Java Simulation Library (JSL): an open-source object-oriented library for discrete-event simulation in Java
Bandera: a source-level interface for model checking Java programs
Exact finite-state machine identification from scenarios and temporal properties
NPDA: A Tool for Visualizing and Simulating Nondeterministic Pushdown Automata.
Verifying simulink stateflow model: timed automata approach
On Communicating Finite-State Machines
Synchronizable Test Sequences of Finite State Machines
Automatic verification of probabilistic concurrent finite state programs
Construction of a Minimal Deterministic Finite Automaton from a Regular Expression
automata for modeling real - time systems .
timed automata : semantics , algorithms and tools .
Learning Extended Finite State Machines
An overlay automata approach to regular expression matching
Regular Functions and Cost Register Automata
K-Java: A Complete Semantics of Java
Inferring extended finite state machine models from software executions
Finite Automata, Digraph Connectivity, and Regular Expression Size
Patterns in Property Specifications for Finite-State Verification
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
An Ontology-Based Approach for Optimal Resource Allocation in Vehicular Cloud Computing
The algorithmic beauty of plants
Preprocessing and Classification of Data Analysis in Institutional System using Weka
Reader-Aware Multi-Document Summarization via Sparse Coding
Disentangling Multiple Conditional Inputs in GANs