A new algorithm for the reduction of incompletely specified finite state machines
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
IEEE Transactions on Pattern Analysis and Machine Intelligence
Simple, state-based approaches to program-based anomaly detection
ACM Transactions on Information and System Security (TISSEC)
Efficient Algorithms for the Inference of Minimum Size DFAs
Machine Learning
On Sufficient Conditions to Identify in the Limit Classes of Grammars from Polynomial Time and Data
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
Stochastic Grammatical Inference with Multinomial Tests
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
Inferring Subclasses of Regular Languages Faster Using RPNI and Forbidden Configurations
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
Learning Probabilistic Residual Finite State Automata
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
Shallow Parsing Using Probabilistic Grammatical Inference
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
Using Finite Automata to Mine Execution Data for Intrusion Detection: A Preliminary Report
RAID '00 Proceedings of the Third International Workshop on Recent Advances in Intrusion Detection
Behavior-Based Model Construction
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Inference of omega-Languages from Prefixes
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
Learning Regular Languages Using RFSA
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
Inducing grammars from sparse data sets: a survey of algorithms and results
The Journal of Machine Learning Research
Learning regular languages using RFSAs
Theoretical Computer Science - Special issue: Algorithmic learning theory
Inference of W-languages from prefixes
Theoretical Computer Science - Special issue: Algorithmic learning theory
Boosting grammatical inference with confidence oracles
ICML '04 Proceedings of the twenty-first international conference on Machine learning
Learning Deterministic Finite Automata with a Smart State Labeling Evolutionary Algorithm
IEEE Transactions on Pattern Analysis and Machine Intelligence
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
LARS: A learning algorithm for rewriting systems
Machine Learning
Interactive learning of node selecting tree transducer
Machine Learning
Active Coevolutionary Learning of Deterministic Finite Automata
The Journal of Machine Learning Research
Learning DFA representations of HTTP for protecting web applications
Computer Networks: The International Journal of Computer and Telecommunications Networking
A more bio-plausible approach to the evolutionary inference of finite state machines
Proceedings of the 9th annual conference companion on Genetic and evolutionary computation
Improving RPNI algorithm using minimal message length
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Improving dynamic software analysis by applying grammar inference principles
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
A note on phase transitions and computational pitfalls of learning from sequences
Journal of Intelligent Information Systems
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Learning Regular Languages Using Nondeterministic Finite Automata
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Learning Commutative Regular Languages
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
State-Merging DFA Induction Algorithms with Mandatory Merge Constraints
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Polynomial Distinguishability of Timed Automata
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Evaluation and Comparison of Inferred Regular Grammars
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Learning Balls of Strings from Edit Corrections
The Journal of Machine Learning Research
Universal automata and NFA learning
Theoretical Computer Science
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
MODELING WEB NAVIGATION USING GRAMMATICAL INFERENCE
Applied Artificial Intelligence
AN UNSUPERVISED INCREMENTAL LEARNING ALGORITHM FOR DOMAIN-SPECIFIC LANGUAGE DEVELOPMENT
Applied Artificial Intelligence
Grammar-based classifier system: a universal tool for grammatical inference
WSEAS Transactions on Computers
Grid management support by means of collaborative learning agents
GMAC '09 Proceedings of the 6th international conference industry session on Grids meets autonomic computing
Journal of Artificial Intelligence Research
Phase transitions within grammatical inference
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Inferring Finite-State Models with Temporal Constraints
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Approximation of the two-part MDL code
IEEE Transactions on Information Theory
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A Technique for Verifying Component-Based Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Satin: A high-level and efficient grid programming model
ACM Transactions on Programming Languages and Systems (TOPLAS)
A bibliographical study of grammatical inference
Pattern Recognition
Natural language grammar induction with a generative constituent-context model
Pattern Recognition
Inference of regular languages using state merging algorithms with search
Pattern Recognition
A framework for the competitive evaluation of model inference techniques
Proceedings of the First International Workshop on Model Inference In Testing
Detection of high-level execution patterns in reactive behavior of control programs
Proceedings of the Eighth International Workshop on Dynamic Analysis
The practical assessment of test sets with inductive inference techniques
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Grammatical inference and games: extended abstract
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
Exact DFA identification using SAT solvers
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
Grammatical inference algorithms in MATLAB
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
Learning finite state machines
FSMNLP'09 Proceedings of the 8th international conference on Finite-state methods and natural language processing
Increasing functional coverage by inductive testing: a case study
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Incrementally discovering testable specifications from program executions
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
The efficiency of identifying timed automata and the power of clocks
Information and Computation
Using Contextual Representations to Efficiently Learn Context-Free Languages
The Journal of Machine Learning Research
A randomised inference algorithm for regular tree languages
Natural Language Engineering
Assessing test adequacy for black-box systems without specifications
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Learning finite cover automata from queries
Journal of Computer and System Sciences
A similar fragments merging approach to learn automata on proteins
ECML'05 Proceedings of the 16th European conference on Machine Learning
Identification in the limit of systematic-noisy languages
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
The tenjinno machine translation competition
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Using MDL for grammar induction
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Classifying sentences using induced structure
SPIRE'05 Proceedings of the 12th international conference on String Processing and Information Retrieval
Polynomial characteristic sets for DFA identification
Theoretical Computer Science
Regular inference as vertex coloring
ALT'12 Proceedings of the 23rd international conference on Algorithmic Learning Theory
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure
ACM Transactions on Software Engineering and Methodology (TOSEM)
MuACOsm: a new mutation-based ant colony optimization algorithm for learning finite-state machines
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Software model synthesis using satisfiability solvers
Empirical Software Engineering
Empirical Software Engineering
| Hi-index | 0.06 |