Inference of finite automata using homing sequences
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Crytographic limitations on learning Boolean formulae and finite automata
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Learnability and the Vapnik-Chervonenkis dimension
Journal of the ACM (JACM)
When won't membership queries help?
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Learning decision trees using the Fourier spectrum
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Computational learning theory: survey and selected bibliography
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Learning k-term DNF formulas with an incomplete membership oracle
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
A computational model of teaching
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
The minimum consistent DFA problem cannot be approximated within any polynomial
Journal of the ACM (JACM)
Learning read-once formulas with queries
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Synthesis of real time acceptors
Journal of Symbolic Computation - Special issue on automatic programming
Efficient learning of typical finite automata from random walks
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Cryptographic hardness of distribution-specific learning
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Learning sparse multivariate polynomials over a field with queries and counterexamples
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
Asking questions to minimize errors
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
Parameterized learning complexity
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
Learning fallible finite state automata
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
Learning two-tape automata from queries and counterexamples
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
Efficient identification of regular expressions from representative examples
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
Lower bounds for PAC learning with queries
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
Cryptographic limitations on learning Boolean formulae and finite automata
Journal of the ACM (JACM)
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Diversity-based inference of finite automata
Journal of the ACM (JACM)
Learning with malicious membership queries and exceptions (extended abstract)
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
An optimal-control application of two paradigms of on-line learning
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Inference and minimization of hidden Markov chains
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
An optimal parallel algorithm for learning DFA
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Learning with queries but incomplete information (extended abstract)
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Learning from a consistently ignorant teacher
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Optimality and domination in repeated games with bounded players
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
How many queries are needed to learn?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Generalized teaching dimensions and the query complexity of learning
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
Learning via queries and oracles
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
On learning bounded-width branching programs
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
Exactly learning automata with small cover time
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
How many queries are needed to learn?
Journal of the ACM (JACM)
Learning Sat-k-DNF formulas from membership queries
STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
A simple algorithm for learning O(log n)-term DNF
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Exactly Learning Automata of Small Cover Time
Machine Learning - Special issue on the eighth annual conference on computational learning theory, (COLT '95)
Malicious Omissions and Errors in Answers to Membership Queries
Machine Learning
Computational sample complexity
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
Learning from examples with unspecified attribute values (extended abstract)
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
Improved lower bounds for learning from noisy examples: an information-theoretic approach
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
The query complexity of finding local minima in the lattice
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
Hardness Results for Learning First-Order Representations and Programming by Demonstration
Machine Learning - Special issue on the ninth annual conference on computational theory (COLT '96)
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
A new algorithm for the reduction of incompletely specified finite state machines
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Learning threshold functions with small weights using membership queries
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
Machine Learning
Learning deterministic finite automata from smallest counterexamples
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Temporal sequence learning and data reduction for anomaly detection
ACM Transactions on Information and System Security (TISSEC)
More theory revision with queries (extended abstract)
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Learning functions represented as multiplicity automata
Journal of the ACM (JACM)
Implementation Issues in the Fourier Transform Algorithm
Machine Learning
Goal-driven combination of software comprehension approaches for component based development
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Theoretical Computer Science - Algorithmic learning theory
Aspects of complexity of probabilistic learning under monotonicity constraints
Theoretical Computer Science - Algorithmic learning theory
SIGACT News complexity theory column 32
ACM SIGACT News
Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering
ACM SIGSOFT Software Engineering Notes
Active learning in neural networks
New learning paradigms in soft computing
The query complexity of finding local minima in the lattice
Information and Computation
Using computational learning strategies as a tool for combinatorial optimization
Annals of Mathematics and Artificial Intelligence
Applying Learning by Examples for Digital Design Automation
Applied Intelligence
Automated Software Engineering
Synthesis of Supervisors Using Learning Algorithm of RegularLanguages
Discrete Event Dynamic Systems
Learning Regular Languages from Simple Positive Examples
Machine Learning
Learning DFA from Simple Examples
Machine Learning
Efficient Algorithms for the Inference of Minimum Size DFAs
Machine Learning
Exploration Strategies for Model-based Learning in Multi-agent Systems: Exploration Strategies
Autonomous Agents and Multi-Agent Systems
The consistency dimension and distribution-dependent learning from queries
Theoretical Computer Science
Best-Case Results for Nearest-Neighbor Learning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Learning cost-sensitive active classifiers
Artificial Intelligence
The power of a pebble: exploring and mapping directed graphs
Information and Computation
Even linear simple matrix languages: formal language properties and grammatical inference
Theoretical Computer Science
Model Generation by Moderated Regular Extrapolation
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A PAC Learnability of Simple Deterministic Languages
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
ISAAC '01 Proceedings of the 12th International Symposium on Algorithms and Computation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Learning Expressions over Monoids
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
How Many Missing Answers Can Be Tolerated by Query Learners?
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Behavior-Based Model Construction
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Algebraic Characterizations of Small Classes of Boolean Functions
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Learning Multiplicity Automata from Smallest Counterexamples
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
AMC: An Adaptive Model Checker
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Learning Unary Output Two-Tape Automata from Multiplicity and Equivalence Queries
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
The Consistency Dimension and Distribution-Dependent Learning from Queries (Extended Abstract)
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
Learning Minimal Covers of Functional Dependencies with Queries
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
Identification of Function Distinguishable Languages
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Learning by Switching Type of Information
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
On the Learnability of Vector Spaces
ALT '02 Proceedings of the 13th International Conference on Algorithmic Learning Theory
Empirical Comparison of Competing Query Learning Methods
DS '98 Proceedings of the First International Conference on Discovery Science
Prediction-Preserving Reducibility with Membership Queries on Formal Languages
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Learning Regular Sets with an Incomplete Membership Oracle
COLT '01/EuroCOLT '01 Proceedings of the 14th Annual Conference on Computational Learning Theory and and 5th European Conference on Computational Learning Theory
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Learning elementary formal systems with queries
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Polynomial-time identification of very simple grammars from positive data
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Identification of function distinguishable languages
Theoretical Computer Science
Learning by switching type of information
Information and Computation
On the complexity of schema inference from web pages in the presence of nullable data attributes
CIKM '03 Proceedings of the twelfth international conference on Information and knowledge management
A Machine Learning Approach to Rapid Development of XML Mapping Queries
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Learning regular languages using RFSAs
Theoretical Computer Science - Special issue: Algorithmic learning theory
Applying learning algorithms to preference elicitation
EC '04 Proceedings of the 5th ACM conference on Electronic commerce
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Learning intersections and thresholds of halfspaces
Journal of Computer and System Sciences - Special issue on FOCS 2002
Theory revision with queries: horn, read-once, and parity formulas
Artificial Intelligence
Synthesis of interface specifications for Java classes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polynomial time learning of simple deterministic languages via queries and a representative sample
Theoretical Computer Science
LearnLib: a library for automata learning and experimentation
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Learning via finitely many queries
Annals of Mathematics and Artificial Intelligence
Learning to verify branching time properties
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
An efficient query learning algorithm for ordered binary decision diagrams
Information and Computation
Learning expressions and programs over monoids
Information and Computation
Learning languages from positive data and a finite number of queries
Information and Computation
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Proceedings of the 2006 international symposium on Software testing and analysis
Interactive learning of node selecting tree transducer
Machine Learning
Active Coevolutionary Learning of Deterministic Finite Automata
The Journal of Machine Learning Research
The Journal of Machine Learning Research
On the learnability of vector spaces
Journal of Computer and System Sciences
On state reduction of incompletely specified finite state machines
Computers and Electrical Engineering
On the minimization of XML Schemas and tree automata for unranked trees
Journal of Computer and System Sciences
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
The Crystallizing Substochastic Sequential Machine Extractor: CrySSMEx
Neural Computation
Interactive presentation: Automatic model generation for black box real-time systems
Proceedings of the conference on Design, automation and test in Europe
Learning to verify branching time properties
Formal Methods in System Design
Learning tree languages from positive examples and membership queries
Theoretical Computer Science
Active learning for logistic regression: an evaluation
Machine Learning
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Real time identification of discrete event systems using Petri nets
Automatica (Journal of IFAC)
Learning indexed families of recursive languages from positive data: A survey
Theoretical Computer Science
Automated assumption generation for compositional verification
Formal Methods in System Design
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning
Formal Methods in System Design
Verification of evolving software via component substitutability analysis
Formal Methods in System Design
Three optimizations for Assume---Guarantee reasoning with L*
Formal Methods in System Design
Automatic symbolic compositional verification by learning assumptions
Formal Methods in System Design
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
The Problem of Learning the Semantics of Quantifiers
Logic, Language, and Computation
Learning Balls of Strings with Correction Queries
ECML '07 Proceedings of the 18th European conference on Machine Learning
Parameterized Learnability of k-Juntas and Related Problems
ALT '07 Proceedings of the 18th international conference on Algorithmic Learning Theory
ALT '07 Proceedings of the 18th international conference on Algorithmic Learning Theory
25 Years of Model Checking
Assume-Guarantee Verification for Interface Automata
FM '08 Proceedings of the 15th international symposium on Formal Methods
Modular System Verification by Inference, Testing and Reachability Analysis
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Automated Assume-Guarantee Reasoning by Abstraction Refinement
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Architecting Dependable Systems V
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Minimizing Deterministic Weighted Tree Automata
Language and Automata Theory and Applications
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Query Learning and Certificates in Lattices
ALT '08 Proceedings of the 19th international conference on Algorithmic Learning Theory
A Learning Algorithm for Multi-dimensional Trees, or: Learning Beyond Context-Freeness
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
On Learning Regular Expressions and Patterns Via Membership and Correction Queries
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Polynomial Time Probabilistic Learning of a Subclass of Linear Languages with Queries
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
A Note on the Relationship between Different Types of Correction Queries
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Learning Subclasses of Pure Pattern Languages
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
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
Applied Artificial Intelligence
Learning deterministically recognizable tree series
Journal of Automata, Languages and Combinatorics
Decomposition for Compositional Verification
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Learning Minimal Separating DFA's for Compositional Verification
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Interface Generation and Compositional Verification in JavaPathfinder
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Proceedings of the 2009 conference on Finite-State Methods and Natural Language Processing: Post-proceedings of the 7th International Workshop FSMNLP 2008
A Learning Algorithm for Deterministic Finite Automata using JFLAP
Electronic Notes in Theoretical Computer Science (ENTCS)
An effective framework for assume-guarantee verification of evolving component-based software
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops
On the relationship between lexical semantics and syntax for the inference of context-free grammars
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Compositional CSP Traces Refinement Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
MAPO: Mining and Recommending API Usage Patterns
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
A Minimized Assumption Generation Method for Component-Based Software Verification
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
IRST-BP: preposition disambiguation based on chain clarifying relationships contexts
SemEval '07 Proceedings of the 4th International Workshop on Semantic Evaluations
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Minimizing deterministic weighted tree automata
Information and Computation
Parameterized learnability of juntas
Theoretical Computer Science
Necessary and sufficient conditions for learning with correction queries
Theoretical Computer Science
A program that acquires how to execute sentences
WSEAS Transactions on Computers
Inferring Finite-State Models with Temporal Constraints
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Learning dynamics: system identification for perceptually challenged agents
Artificial Intelligence
An approach for generating state machine designs from scenarios
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Automated Behavioral Fingerprinting
RAID '09 Proceedings of the 12th International Symposium on Recent Advances in Intrusion Detection
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Inference of Timed Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Insights to Angluin's Learning
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient learning of context-free grammars from positive structural examples
Information and Computation
An efficient query learning algorithm for ordered binary decision diagrams
Information and Computation
Learning expressions and programs over monoids
Information and Computation
Learning languages from positive data and a finite number of queries
Information and Computation
Models of active learning in group-structured state spaces
Information and Computation
Inference of regular languages using state merging algorithms with search
Pattern Recognition
Heuristics for ioco-based test-based modelling
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Learning a regular tree language from a teacher
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Model checking and testing combined
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Optimized L*-based assume-guarantee reasoning
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Refining interface alphabets for compositional verification
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Replaying play in and play out: synthesis of design models from scenarios by learning
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Effiscient learning of some linear matrix languages
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
Learning assumptions for compositional verification
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
A characterization of the language classes learnable with correction queries
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Algorithms for interface synthesis
CAV'07 Proceedings of the 19th international conference on Computer aided verification
SAT-based compositional verification using lazy learning
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Automated assumption generation for compositional verification
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Extraction of component-environment interaction model using state space traversal
Proceedings of the 2010 ACM Symposium on Applied Computing
MAT learners for recognizable tree languages and tree series
Acta Cybernetica
Learning deterministically recognizable tree series: revisited
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Dynamic testing via automata learning
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Learning from a smarter teacher
IDEAL'09 Proceedings of the 10th international conference on Intelligent data engineering and automated learning
Extending automated compositional verification to the full class of omega-regular languages
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Regular inference for state machines using domains with equality tests
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
50 years of artificial intelligence
A learning algorithm for top-down XML transformations
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Legacy component integration by the Fujaba real-time tool suite
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
An algebraic perspective on Boolean function learning
ALT'09 Proceedings of the 20th international conference on Algorithmic learning theory
Learning and teaching as a game: a sabotage approach
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Active learning of plans for safety and reachability goals with partial observability
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Dimensions in program synthesis
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
On (Omega-)regular model checking
ACM Transactions on Computational Logic (TOCL)
Probably approximately correct learning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Inference and analysis of formal models of botnet command and control protocols
Proceedings of the 17th ACM conference on Computer and communications security
Inferring finite automata with stochastic output functions and an application to map learning
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
A framework for the competitive evaluation of model inference techniques
Proceedings of the First International Workshop on Model Inference In Testing
Angluin style finite state machine inference with non-optimal counterexamples
Proceedings of the First International Workshop on Model Inference In Testing
Learning of event-recording automata
Theoretical Computer Science
Efficient, correct, unsupervised learning of context-sensitive languages
CoNLL '10 Proceedings of the Fourteenth Conference on Computational Natural Language Learning
Algorithms and theory of computation handbook
Process-based derivation of requirements for medical devices
Proceedings of the 1st ACM International Health Informatics Symposium
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
Distributional learning of some context-free languages with a minimally adequate teacher
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
Learning regular expressions from representative examples and membership queries
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
Learning of church-Rosser tree rewriting systems
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
Generalizing over several learning settings
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
Learning subclasses of parallel communicating grammar systems
ICGI'10 Proceedings of the 10th international colloquium conference on Grammatical inference: theoretical results and applications
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Learning models of intelligent agents
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Towards general algorithms for grammatical inference
ALT'10 Proceedings of the 21st international conference on Algorithmic learning theory
Automating string processing in spreadsheets using input-output examples
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Generating models of infinite-state communication protocols using regular inference with abstraction
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
Comparing learning algorithms in automated assume-guarantee reasoning
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Inferring compact models of communication protocol entities
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Inference and abstraction of the biometric passport
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
From ZULU to RERS: lessons learned in the ZULU challenge
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
On handling data in automata learning: considerations from the CONNECT perspective
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Automata learning with automated alphabet abstraction refinement
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
FSM model abstraction for analog/mixed-signal circuits by learning from I/O trajectories
Proceedings of the 16th Asia and South Pacific Design Automation Conference
Using Contextual Representations to Efficiently Learn Context-Free Languages
The Journal of Machine Learning Research
Covariance in Unsupervised Learning of Probabilistic Grammars
The Journal of Machine Learning Research
Reachability games on automatic graphs
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Types of trusted information that make DFA identification with correction queries feasible
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
A randomised inference algorithm for regular tree languages
Natural Language Engineering
Predicate generation for learning-based quantifier-free loop invariant inference
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Automated learning of probabilistic assumptions for compositional reasoning
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Learning regular tree languages from correction and equivalence queries
Journal of Automata, Languages and Combinatorics
Scientific Theories of Computational Systems in Model Checking
Minds and Machines
Automated assume-guarantee reasoning for omega-regular systems and specifications
Innovations in Systems and Software Engineering
Bio-inspired grammatical inference
IWINAC'11 Proceedings of the 4th international conference on Interplay between natural and artificial computation - Volume Part I
Automatic learning of subclasses of pattern languages
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Towards a bio-computational model of natural language learning
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part I
Incremental learning-based testing for reactive systems
TAP'11 Proceedings of the 5th international conference on Tests and proofs
MACE: model-inference-assisted concolic exploration for protocol and vulnerability discovery
SEC'11 Proceedings of the 20th USENIX conference on Security
Inference of residual finite-state tree automata from membership queries and finite positive data
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Automatic learners with feedback queries
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Robust learning of automatic classes of languages
ALT'11 Proceedings of the 22nd international conference on Algorithmic learning theory
Algorithms for synthesizing priorities in component-based systems
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Small strategies for safety games
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
An efficient algorithm for learning event-recording automata
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Learning-based compositional verification for synchronous probabilistic systems
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Learning system abstractions for human operators
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
Efficient induction of finite state automata
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
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
Program compatibility approaches
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Minimizing tree automata for unranked trees
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
On optimal learning algorithms for multiplicity automata
COLT'06 Proceedings of the 19th annual conference on Learning Theory
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Assume-guarantee software verification based on game semantics
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A memetic grammar inference algorithm for language learning
Applied Soft Computing
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Integration testing of distributed components based on learning parameterized i/o models
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On PAC learning algorithms for rich boolean function classes
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Dynamic component substitutability analysis
FM'05 Proceedings of the 2005 international conference on Formal Methods
Learning stochastic logical automaton
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
LEVER: a tool for learning based verification
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Inferring network invariants automatically
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
On the correspondence between conformance testing and regular inference
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Using language inference to verify omega-regular properties
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Automated assume-guarantee reasoning through implicit learning
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Learning component interfaces with may and must abstractions
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
A dash of fairness for compositional reasoning
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Securing netlist-level FPGA design through exploiting process variation and degradation
Proceedings of the ACM/SIGDA international symposium on Field Programmable Gate Arrays
Automated assume-guarantee reasoning for simulation conformance
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Symbolic compositional verification by learning assumptions
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Black box checking for biochemical networks
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Learning-based assume-guarantee verification (tool paper)
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Learning languages from positive data and a finite number of queries
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Actively learning to verify safety for FIFO automata
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Minimization, learning, and conformance testing of boolean programs
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Inference of event-recording automata using timed decision trees
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Inferring grammar rules of programming language dialects
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Learning multiplicity tree automata
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Learning DFA from correction and equivalence queries
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Iso-array acceptors and learning
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Learning finite-state machines from inexperienced teachers
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Learning-based symbolic assume-guarantee reasoning with automatic decomposition
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Learnability of automatic classes
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
String extension learning using lattices
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
An algebraic view on exact learning from queries
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Exploratory analysis system for semi-structured engineering logs
DAS'06 Proceedings of the 7th international conference on Document Analysis Systems
Regular inference for state machines with parameters
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
LearnLib: a library for automata learning and experimentation
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Inferring canonical register automata
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Proceedings of the 49th Annual Design Automation Conference
Integration of the dual approaches in the distributional learning of context-free grammars
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Demonstrating learning of register automata
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Learning twig and path queries
Proceedings of the 15th International Conference on Database Theory
Polynomial characteristic sets for DFA identification
Theoretical Computer Science
Statistical estimation with bounded memory
Statistics and Computing
Learn and test for event-b --- a rodin plugin
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Logical grammars, logical theories
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Learning Probabilistic Systems from Tree Samples
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Learning boolean functions incrementally
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Asynchronous learning for service composition
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Learning in the limit with lattice-structured hypothesis spaces
Theoretical Computer Science
Polynomial time learning of some multiple context-free languages with a minimally adequate teacher
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
Learnability of automatic classes
Journal of Computer and System Sciences
Automatic learning of subclasses of pattern languages
Information and Computation
Structural reconfiguration of systems under behavioral adaptation
Science of Computer Programming
Learning and integration of parameterized components through testing
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
A theory of history dependent abstractions for learning interface automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
A succinct canonical register automaton model for data domains with binary relations
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
On the learnability of shuffle ideals
ALT'12 Proceedings of the 23rd international conference on Algorithmic Learning Theory
Automated inference of models for black box systems based on interface descriptions
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Model-Based testing and model inference
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
An incremental learning algorithm for extended mealy automata
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Learning minimal deterministic automata from inexperienced teachers
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Model learning and test generation for event-b decomposition
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Inferring semantic interfaces of data structures
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Learning-Based test programming for programmers
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
The RERS grey-box challenge 2012: analysis of event-condition-action systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Symbolic learning of component interfaces
SAS'12 Proceedings of the 19th international conference on Static Analysis
Sigma*: symbolic learning of input-output specifications
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Active continuous quality control
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Four one-shot learners for regular tree languages and their polynomial characterizability
Theoretical Computer Science
Learning equilibria of games via payoff queries
Proceedings of the fourteenth ACM conference on Electronic commerce
Hybrid learning: interface generation through static, dynamic, and symbolic analysis
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Query induction with schema-guided pruning strategies
The Journal of Machine Learning Research
Guided GUI testing of android apps with minimal restart and approximate learning
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Automatic generation of quality specifications
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Learning universally quantified invariants of linear data structures
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Minimization of symbolic automata
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Learning regular expressions to template-based FAQ retrieval systems
Knowledge-Based Systems
Automated testing of graphical user interfaces: a new algorithm and challenges
Proceedings of the 2013 ACM workshop on Mobile development lifecycle
On the learnability of shuffle ideals
The Journal of Machine Learning Research
Automatic learners with feedback queries
Journal of Computer and System Sciences
Robust learning of automatic classes of languages
Journal of Computer and System Sciences
Hi-index | 0.01 |