On the public citation graph
Model learning
0 signed · 241 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/stvr.1491openalex-snapshot
Analysis and testing of black‐box component‐based systems by inferring partial models
inferredcites →https://doi.org/10.1006/inco.1993.1021openalex-snapshot
Inference of Finite Automata Using Homing Sequences
inferredcites →https://doi.org/10.1007/3-540-45923-5_6openalex-snapshot
Model Generation by Moderated Regular Extrapolation
inferredcites →https://doi.org/10.1007/978-3-319-11164-3_26openalex-snapshot
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning
inferredcites →https://doi.org/10.1007/978-3-319-25150-9_11openalex-snapshot
Learning Register Automata with Fresh Value Generation
inferredcites →https://doi.org/10.1007/978-3-319-33693-0_20openalex-snapshot
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report
inferredcites →https://doi.org/10.1007/978-3-319-41540-6_25openalex-snapshot
Combining Model Learning and Model Checking to Analyze TCP Implementations
inferredcites →https://doi.org/10.1007/978-3-540-31984-9_14openalex-snapshot
On the Correspondence Between Conformance Testing and Regular Inference
inferredcites →https://doi.org/10.1007/978-3-540-45069-6_31openalex-snapshot
Domain-Specific Optimization in Automata Learning
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_32openalex-snapshot
libalf: The Automata Learning Framework
inferredcites →https://doi.org/10.1007/978-3-642-41707-8_11openalex-snapshot
Case Studies in Learning-Based Testing
inferredcites →https://doi.org/10.1007/s00165-016-0355-5openalex-snapshot
Active learning for extended finite state machines
inferredcites →https://doi.org/10.1007/s10703-014-0216-xopenalex-snapshot
Generating models of infinite-state communication protocols using regular inference with abstraction
inferredcites →https://doi.org/10.1016/0890-5401(87)90052-6openalex-snapshot
Learning regular sets from queries and counterexamples
inferredcites →https://doi.org/10.1016/j.jlamp.2014.07.004openalex-snapshot
A succinct canonical register automaton model
inferredcites →https://doi.org/10.1016/j.tcs.2010.07.008openalex-snapshot
Learning of event-recording automata
inferredcites →https://doi.org/10.1109/5.533956openalex-snapshot
Principles and methods of testing finite state machines-a survey
inferredcites →https://doi.org/10.1109/52.363157openalex-snapshot
Legacy systems: coping with success
inferredcites →https://doi.org/10.1109/hldvt.2004.1431246openalex-snapshot
Efficient test-based model generation for legacy reactive systems
inferredcites →https://doi.org/10.1109/icstw.2013.60openalex-snapshot
Formal Models of Bank Cards for Free
inferredcites →https://doi.org/10.1145/1866307.1866355openalex-snapshot
Inference and analysis of formal models of botnet command and control protocols
inferredcites →https://doi.org/10.1145/2465449.2465469openalex-snapshot
Active continuous quality control
inferredcites →https://doi.org/10.14279/tuj.eceasst.72.1008openalex-snapshot
Approximate Active Learning of Nondeterministic Input Output Transition Systems
inferredcites →https://doi.org/10.1515/9781400882618-006openalex-snapshot
Gedanken-Experiments on Sequential Machines
inferredcites →https://doi.org/10.17877/de290r-16359openalex-snapshot
Foundations of active automata learning: an algorithmic perspective
inferredcites →https://doi.org/10.7551/mitpress/3897.001.0001openalex-snapshot
An Introduction to Computational Learning Theory
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4864943openalex-extracted
An Automated Security Properties Verification Framework for Cryptographic Protocol Implementations
inferred← citeshttps://doi.org/10.1007/978-3-030-02508-3_26openalex-snapshot
Fast Computations on Ordered Nominal Sets
inferred← citeshttps://doi.org/10.1007/978-3-030-03427-6_13openalex-snapshot
Pitfalls in Applying Model Learning to Industrial Legacy Software
inferred← citeshttps://doi.org/10.1007/978-3-030-17127-8_4openalex-snapshot
Coalgebra Learning via Duality
inferred← citeshttps://doi.org/10.1007/978-3-030-17462-0_23openalex-snapshot
ROLL 1.0: $$\omega $$ -Regular Language Learning Library
inferred← citeshttps://doi.org/10.1007/978-3-030-17601-3_2openalex-snapshot
Learning Büchi Automata and Its Applications
inferred← citeshttps://doi.org/10.1007/978-3-030-22348-9_23openalex-snapshot
Benchmarks for Automata Learning and Conformance Testing
inferred← citeshttps://doi.org/10.1007/978-3-030-23703-5_2openalex-snapshot
Challenges in Digital Twin Development for Cyber-Physical Production Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-28730-6_27openalex-snapshot
Towards a Cost Model to Optimize User-Defined Functions in an ETL Workflow Based on User-Defined Performance Metrics
inferred← citeshttps://doi.org/10.1007/978-3-030-31280-0_1openalex-snapshot
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
inferred← citeshttps://doi.org/10.1007/978-3-030-31517-7_7openalex-snapshot
Active Learning of Industrial Software with Data
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_8openalex-snapshot
Learning to Reuse: Adaptive Model Learning for Evolving Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-41418-4_18openalex-snapshot
Combining Model Learning and Model Checking to Analyze Java Libraries
inferred← citeshttps://doi.org/10.1007/978-3-030-45190-5_25openalex-snapshot
Learning One-Clock Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-45231-5_31openalex-snapshot
Learning Weighted Automata over Principal Ideal Domains
inferred← citeshttps://doi.org/10.1007/978-3-030-45237-7_20openalex-snapshot
Polynomial Identification of $$\omega $$-Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-50995-8_1openalex-snapshot
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
inferred← citeshttps://doi.org/10.1007/978-3-030-57201-3_5openalex-snapshot
Learning Automata with Side-Effects
inferred← citeshttps://doi.org/10.1007/978-3-030-59065-9_13openalex-snapshot
Data Engineering for Data Science: Two Sides of the Same Coin
inferred← citeshttps://doi.org/10.1007/978-3-030-63406-3_8openalex-snapshot
PAC Learning of Deterministic One-Clock Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-63461-2_2openalex-snapshot
Grey-Box Learning of Register Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-63461-2_22openalex-snapshot
PALM: A Technique for Process ALgebraic Specification Mining
inferred← citeshttps://doi.org/10.1007/978-3-030-64276-1_3openalex-snapshot
A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages
inferred← citeshttps://doi.org/10.1007/978-3-030-68195-1_13openalex-snapshot
Learning Mealy Machines with One Timer
inferred← citeshttps://doi.org/10.1007/978-3-030-71995-1_26openalex-snapshot
Learning Pomset Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-81508-0_5openalex-snapshot
Active Learning of Sequential Transducers with Side Information About the Domain
inferred← citeshttps://doi.org/10.1007/978-3-030-88494-9_19openalex-snapshot
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance
inferred← citeshttps://doi.org/10.1007/978-3-030-99524-9_12openalex-snapshot
A New Approach for Active Automata Learning Based on Apartness
inferred← citeshttps://doi.org/10.1007/978-3-031-04673-5_7openalex-snapshot
Improving Model Inference via W-Set Reduction
inferred← citeshttps://doi.org/10.1007/978-3-031-08202-3_11openalex-snapshot
MEAU: A Method for the Evaluation of the Artificial Unintelligence
inferred← citeshttps://doi.org/10.1007/978-3-031-10736-8_4openalex-snapshot
A Categorical Framework for Learning Generalised Tree Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-15629-8_10openalex-snapshot
Tree-Based Adaptive Model Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-15629-8_17openalex-snapshot
Active Automata Learning as Black-Box Search and Lazy Partition Refinement
inferred← citeshttps://doi.org/10.1007/978-3-031-15629-8_20openalex-snapshot
Learning Language Intersections
inferred← citeshttps://doi.org/10.1007/978-3-031-15629-8_29openalex-snapshot
Discovering Directly-Follows Complete Petri Nets from Event Data
inferred← citeshttps://doi.org/10.1007/978-3-031-15629-8_5openalex-snapshot
A Survey of Model Learning Techniques for Recurrent Neural Networks
inferred← citeshttps://doi.org/10.1007/978-3-031-15629-8_8openalex-snapshot
Family-Based Fingerprint Analysis: A Position Paper
inferred← citeshttps://doi.org/10.1007/978-3-031-19762-8_20openalex-snapshot
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
inferred← citeshttps://doi.org/10.1007/978-3-031-19849-6_20openalex-snapshot
Automata Learning Meets Shielding
inferred← citeshttps://doi.org/10.1007/978-3-031-19992-9_15openalex-snapshot
Learning Deterministic One-Clock Timed Automata via Mutation Testing
inferred← citeshttps://doi.org/10.1007/978-3-031-19992-9_16openalex-snapshot
Active Learning of One-Clock Timed Automata Using Constraint Solving
inferred← citeshttps://doi.org/10.1007/978-3-031-19992-9_17openalex-snapshot
Learning and Characterizing Fully-Ordered Lattice Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-27481-7_3openalex-snapshot
Intelligent and Dependable Decision-Making Under Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-031-30829-1_20openalex-snapshot
Compositional Learning for Interleaving Parallel Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-40132-9_1openalex-snapshot
On Testing Ethical Autonomous Decision-Making
inferred← citeshttps://doi.org/10.1007/978-3-031-49252-5_13openalex-snapshot
Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example
inferred← citeshttps://doi.org/10.1007/978-3-031-54049-3_13openalex-snapshot
Approaches for Automating Cybersecurity Testing of Connected Vehicles
inferred← citeshttps://doi.org/10.1007/978-3-031-57249-4_5openalex-snapshot
Scalable Tree-based Register Automata Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-57249-4_6openalex-snapshot
Small Test Suites for Active Automata Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-66149-5_9openalex-snapshot
Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study
inferred← citeshttps://doi.org/10.1007/978-3-031-71162-6_14openalex-snapshot
State Matching and Multiple References in Adaptive Active Automata Learning
inferred← citeshttps://doi.org/10.1007/978-3-031-72044-4_1openalex-snapshot
Efficient Temporal Logic Runtime Monitoring for Tiny Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-75778-5_4openalex-snapshot
Malwa: Learnability by Design
inferred← citeshttps://doi.org/10.1007/978-3-031-77382-2_8openalex-snapshot
Validating Traces of Distributed Programs Against TLA+ Specifications
inferred← citeshttps://doi.org/10.1007/978-3-031-78709-6_12openalex-snapshot
Greybox Learning of Languages Recognizable by Event-Recording Automata
inferred← citeshttps://doi.org/10.1007/978-3-031-90897-2_10openalex-snapshot
Complete Test Suites for Automata in Monoidal Closed Categories
inferred← citeshttps://doi.org/10.1007/978-3-031-90900-9_6openalex-snapshot
Compositional Learning for Synchronous Parallel Automata
inferred← citeshttps://doi.org/10.1007/978-3-032-05792-1_3openalex-snapshot
Active Learning of Mealy Machines with Timers
inferred← citeshttps://doi.org/10.1007/978-3-032-08707-2_2openalex-snapshot
Learning Event-Recording Automata Passively
inferred← citeshttps://doi.org/10.1007/978-3-032-08707-2_9openalex-snapshot
Learning Verified Monitors for Hidden Markov Models
inferred← citeshttps://doi.org/10.1007/978-3-032-10759-6_20openalex-snapshot
Insights into Learning Broadcast Protocols
inferred← citeshttps://doi.org/10.1007/978-3-032-12086-1_10openalex-snapshot
Inference of Deterministic Finite Automata via Q-Learning
inferred← citeshttps://doi.org/10.1007/978-3-032-22720-1_1openalex-snapshot
Formal Methods meet Digital Twins: Challenges and Opportunities
inferred← citeshttps://doi.org/10.1007/978-3-032-26204-2_27openalex-snapshot
Error-Awareness Accelerates Active Automata Learning
inferred← citeshttps://doi.org/10.1007/978-3-032-26220-2_17openalex-snapshot
Active Automata Learning with Noisy Data: From Big to Small Data
inferred← citeshttps://doi.org/10.1007/978-3-032-32519-8_25openalex-snapshot
The Simulator’s Blueprint: Automata Learning from Cybersecurity Logs
inferred← citeshttps://doi.org/10.1007/978-3-032-32519-8_9openalex-snapshot
PSF: A Generic and Extensible Framework for Protocol State Fuzzing
inferred← citeshttps://doi.org/10.1007/978-3-032-32526-6_15openalex-snapshot
SMT-Based Active Learning of Weighted Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-68270-9_5openalex-snapshot
On the Existence of Practical Testers
inferred← citeshttps://doi.org/10.1007/978-3-319-68270-9_7openalex-snapshot
Model-Based Testing Without Models: The TodoMVC Case Study
inferred← citeshttps://doi.org/10.1007/978-3-319-77313-1_14openalex-snapshot
Model Learning as a Satisfiability Modulo Theories Problem
inferred← citeshttps://doi.org/10.1007/978-3-319-91908-9_26openalex-snapshot
Combining Black-Box and White-Box Techniques for Learning Register Automata
inferred← citeshttps://doi.org/10.1007/978-981-95-7826-9_10openalex-snapshot
Efficient Decomposition Identification of Deterministic Finite Automata from Examples
inferred← citeshttps://doi.org/10.1007/s00165-021-00536-5openalex-snapshot
L∗-based learning of Markov decision processes (extended version)
inferred← citeshttps://doi.org/10.1007/s00165-021-00542-7openalex-snapshot
Inferring Switched Nonlinear DynamicalSystems
inferred← citeshttps://doi.org/10.1007/s10009-019-00544-0openalex-snapshot
Learning Moore machines from input–output traces
inferred← citeshttps://doi.org/10.1007/s10009-022-00684-wopenalex-snapshot
Analysis of recurrent neural networks via property-directed verification of surrogate models
inferred← citeshttps://doi.org/10.1007/s10009-023-00704-3openalex-snapshot
Decision-making under uncertainty: beyond probabilities
inferred← citeshttps://doi.org/10.1007/s10009-025-00797-yopenalex-snapshot
Learning single and compound-protocol automata and checking behavioral equivalences
inferred← citeshttps://doi.org/10.1007/s10009-026-00839-zopenalex-snapshot
A research agenda for active automata learning
inferred← citeshttps://doi.org/10.1007/s10270-020-00809-2openalex-snapshot
Interface protocol inference to aid understanding legacy software components
inferred← citeshttps://doi.org/10.1007/s10270-024-01199-5openalex-snapshot
Efficient construction of family-based behavioral models from adaptively learned models
inferred← citeshttps://doi.org/10.1007/s10489-025-07066-0openalex-snapshot
Using transformers to learn system models
inferred← citeshttps://doi.org/10.1007/s10515-026-00650-9openalex-snapshot
Synthesizing behavioural models of cyber-physical systems using automata learning and statistical machine learning
inferred← citeshttps://doi.org/10.1007/s10664-020-09912-wopenalex-snapshot
Learning by sampling: learning behavioral family models from software product lines
inferred← citeshttps://doi.org/10.1007/s10817-026-09758-9openalex-snapshot
$${SL}^{\lambda }$$: A Scalable Algorithm for Register Automata Learning
inferred← citeshttps://doi.org/10.1007/s11334-019-00349-zopenalex-snapshot
Model-based testing of stochastically timed systems
inferred← citeshttps://doi.org/10.1007/s11432-024-4393-8openalex-snapshot
Active learning of deterministic timed automata via timed classification tree
inferred← citeshttps://doi.org/10.1007/s11704-019-9212-zopenalex-snapshot
Model learning: a survey of foundations, tools and applications
inferred← citeshttps://doi.org/10.1016/b978-0-12-821343-8.00019-8openalex-snapshot
Human-inspired models for tactile computing
inferred← citeshttps://doi.org/10.1016/j.future.2018.06.045openalex-snapshot
A self-organized resource provisioning for cloud block storage
inferred← citeshttps://doi.org/10.1016/j.ic.2020.104678openalex-snapshot
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
inferred← citeshttps://doi.org/10.1016/j.ic.2022.104981openalex-snapshot
Learning residual alternating automata
inferred← citeshttps://doi.org/10.1016/j.ic.2023.105013openalex-snapshot
Learning Mealy machines with one timer
inferred← citeshttps://doi.org/10.1016/j.is.2023.102180openalex-snapshot
Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis
inferred← citeshttps://doi.org/10.1016/j.is.2025.102667openalex-snapshot
Improving the understandability of declarative process discovery results using easyDeclare
inferred← citeshttps://doi.org/10.1016/j.jisa.2025.104079openalex-snapshot
Combining model learning and formal analysis: A framework for protocol implementation verification
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.03.002openalex-snapshot
Inferring regular languages and ω -languages
inferred← citeshttps://doi.org/10.1016/j.jss.2019.110426openalex-snapshot
hW-inference: A heuristic approach to retrieve models through black box testing
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112576openalex-snapshot
Automated spectrum-based model fault localization within a search framework
inferred← citeshttps://doi.org/10.1016/j.tcs.2019.11.009openalex-snapshot
The power of random counterexamples
inferred← citeshttps://doi.org/10.1016/j.tcs.2022.01.015openalex-snapshot
A Myhill-Nerode theorem for register automata and symbolic trace languages
inferred← citeshttps://doi.org/10.1016/j.tcs.2022.09.002openalex-snapshot
Fast computations on ordered nominal sets
inferred← citeshttps://doi.org/10.1017/s0960129523000373openalex-snapshot
Learning quantum finite automata with queries
inferred← citeshttps://doi.org/10.1089/big.2022.0158openalex-snapshot
IDLIQ: An Incremental Deterministic Finite Automaton Learning Algorithm Through Inverse Queries for Regular Grammar Inference
inferred← citeshttps://doi.org/10.1109/access.2020.2987108openalex-snapshot
Mining Component-Based Software Behavioral Models Using Dynamic Analysis
inferred← citeshttps://doi.org/10.1109/access.2020.3000907openalex-snapshot
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions
inferred← citeshttps://doi.org/10.1109/access.2021.3070510openalex-snapshot
Towards Automated Assessment Generation in e-Learning Systems Using Combinatorial Testing and Formal Concept Analysis
inferred← citeshttps://doi.org/10.1109/access.2023.3242124openalex-snapshot
A Reinforcement Learning Based Grammatical Inference Algorithm Using Block-Based Delta Inverse Strategy
inferred← citeshttps://doi.org/10.1109/compsac.2018.10250openalex-snapshot
Situ-Centric Reinforcement Learning for Recommendation of Tasks in Activities of Daily Living In Smart Homes
inferred← citeshttps://doi.org/10.1109/cscn67557.2025.11230763openalex-snapshot
State Fuzzing DTLS 1.3 Implementations
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00023openalex-snapshot
Bridging the Gap: Automated Analysis of Sancus
inferred← citeshttps://doi.org/10.1109/ibcast.2019.8667149openalex-snapshot
Testing-based Model Learning Approach for Legacy Components
inferred← citeshttps://doi.org/10.1109/iccisci.2019.8716446openalex-snapshot
An Effective Model-Based Integration Testing Technique for Component-Based Software
inferred← citeshttps://doi.org/10.1109/icphys.2018.8387644openalex-snapshot
Data-driven and model-based design
inferred← citeshttps://doi.org/10.1109/icpm53251.2021.9576870openalex-snapshot
Discovering Declarative Process Model Behavior from Event Logs via Model Learning
inferred← citeshttps://doi.org/10.1109/icsme.2017.58openalex-snapshot
flexfringe: A Passive Automaton Learning Package
inferred← citeshttps://doi.org/10.1109/icsme.2018.00076openalex-snapshot
Software Process Analysis Methodology – A Methodology Based on Lessons Learned in Embracing Legacy Software
inferred← citeshttps://doi.org/10.1109/icsme52107.2021.00083openalex-snapshot
Logs and models in engineering complex embedded systems
inferred← citeshttps://doi.org/10.1109/icst53961.2022.00051openalex-snapshot
DTLS-Fuzzer: A DTLS Protocol State Fuzzer
inferred← citeshttps://doi.org/10.1109/icstw.2019.00030openalex-snapshot
Case Studies in Learning Models and Testing Without Reset
inferred← citeshttps://doi.org/10.1109/ijcnn.2018.8489466openalex-snapshot
Learning Device Models with Recurrent Neural Networks
inferred← citeshttps://doi.org/10.1109/isctis58954.2023.10213038openalex-snapshot
A Cryptographic Protocol Vulnerability Analysis Framework based on Fuzz Testing and Model Learning
inferred← citeshttps://doi.org/10.1109/lics65433.2025.00038openalex-snapshot
Learning Weighted Automata over Number Rings, Concretely and Categorically
inferred← citeshttps://doi.org/10.1109/mc.2020.3017343openalex-snapshot
Controller Resynthesis for Multirobot System When Changes Happen
inferred← citeshttps://doi.org/10.1109/mm.2022.3178037openalex-snapshot
Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning
inferred← citeshttps://doi.org/10.1109/models58315.2023.00012openalex-snapshot
An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning
inferred← citeshttps://doi.org/10.1109/qrs54544.2021.00093openalex-snapshot
MINTS: Unsupervised Temporal Specifications Miner
inferred← citeshttps://doi.org/10.1109/saner.2019.8668007openalex-snapshot
Improving Model Inference in Industry by Combining Active and Passive Learning
inferred← citeshttps://doi.org/10.1109/tdsc.2023.3340563openalex-snapshot
IoTa: Fine-Grained Traffic Monitoring for IoT Devices via Fully Packet-Level Models
inferred← citeshttps://doi.org/10.1109/tse.2019.2939526openalex-snapshot
ProXray: Protocol Model Learning and Guided Firmware Analysis
inferred← citeshttps://doi.org/10.1111/exsy.12487openalex-snapshot
Situation‐centered goal reinforcement of activities of daily living in smart home environments
inferred← citeshttps://doi.org/10.1145/3092282.3092289openalex-snapshot
Model learning and model checking of SSH implementations
inferred← citeshttps://doi.org/10.1145/3183895.3183897openalex-snapshot
Industrial Experience with the Migration of Legacy Models using a DSL
inferred← citeshttps://doi.org/10.1145/3196959.3196974openalex-snapshot
Active Learning of GAV Schema Mappings
inferred← citeshttps://doi.org/10.1145/3276954.3276959openalex-snapshot
Active learning for inference and regeneration of computer programs that store and retrieve data
inferred← citeshttps://doi.org/10.1145/3314221.3314591openalex-snapshot
Using active learning to synthesize models of applications that access databases
inferred← citeshttps://doi.org/10.1145/3365438.3410936openalex-snapshot
Synthesis of state machine models
inferred← citeshttps://doi.org/10.1145/3372020.3391560openalex-snapshot
Active Learning of Decomposable Systems
inferred← citeshttps://doi.org/10.1145/3373376.3378503openalex-snapshot
Accelerating Legacy String Kernels via Bounded Automata Learning
inferred← citeshttps://doi.org/10.1145/3381991.3395614openalex-snapshot
Active Learning of Relationship-Based Access Control Policies
inferred← citeshttps://doi.org/10.1145/3385412.3386008openalex-snapshot
CacheQuery: learning replacement policies from hardware caches
inferred← citeshttps://doi.org/10.1145/3430952openalex-snapshot
Active Learning for Inference and Regeneration of Applications that Access Databases
inferred← citeshttps://doi.org/10.1145/3460120.3485388openalex-snapshot
Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices
inferred← citeshttps://doi.org/10.1145/3460866.3461771openalex-snapshot
On discovering semantics of user-defined functions in data processing workflows
inferred← citeshttps://doi.org/10.1145/3477030openalex-snapshot
Learning Nondeterministic Real-Time Automata
inferred← citeshttps://doi.org/10.1145/3477244.3477985openalex-snapshot
Model-driven system-performance engineering for cyber-physical systems
inferred← citeshttps://doi.org/10.1145/3510003.3510082openalex-snapshot
Linear-time temporal logic guided greybox fuzzing
inferred← citeshttps://doi.org/10.1145/3517121openalex-snapshot
Learning Relationship-Based Access Control Policies from Black-Box Systems
inferred← citeshttps://doi.org/10.1145/3531130.3533342openalex-snapshot
Active learning for sound negotiations✱
inferred← citeshttps://doi.org/10.1145/3546932.3546991openalex-snapshot
Adaptive behavioral model learning for software product lines
inferred← citeshttps://doi.org/10.1145/3546932.3547014openalex-snapshot
A benchmark for active learning of variability-intensive systems
inferred← citeshttps://doi.org/10.1145/3571249openalex-snapshot
Combining Functional and Automata Synthesis to Discover Causal Reactive Programs
inferred← citeshttps://doi.org/10.1145/3579027.3609001openalex-snapshot
Automata Learning for Dynamic Software Product Lines
inferred← citeshttps://doi.org/10.1145/3597926.3604922openalex-snapshot
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
inferred← citeshttps://doi.org/10.1145/3605360openalex-snapshot
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
inferred← citeshttps://doi.org/10.1145/3622758.3622888openalex-snapshot
Towards an Industrial Stateful Software Rejuvenation Toolchain using Model Learning
inferred← citeshttps://doi.org/10.1145/3639478.3639793openalex-snapshot
Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis
inferred← citeshttps://doi.org/10.1145/3640310.3674087openalex-snapshot
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
inferred← citeshttps://doi.org/10.1145/3641513.3650124openalex-snapshot
Learning Deterministic Multi-Clock Timed Automata
inferred← citeshttps://doi.org/10.1145/3650212.3685310openalex-snapshot
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
inferred← citeshttps://doi.org/10.1145/3708821.3736222openalex-snapshot
An Automated Blackbox Noncompliance Checker for QUIC Server Implementations
inferred← citeshttps://doi.org/10.1145/3757458openalex-snapshot
Bridging the Technical Gap: A Unified Representation Framework for Voice-based Community Engagement Platforms
inferred← citeshttps://doi.org/10.1145/3772356.3772404openalex-snapshot
A Case for Learned Cloud Emulators
inferred← citeshttps://doi.org/10.1145/3820441.3820465openalex-snapshot
Towards Learned Switch Behavior Modeling
inferred← citeshttps://doi.org/10.1145/3832783.3834347openalex-snapshot
Quick Bug Detection through Black-Box Checking
inferred← citeshttps://doi.org/10.1145/3832783.3834490openalex-snapshot
Why Is This on My Bill? Documentation-Grounded Rule Learning for Itemized Bill Explanation
inferred← citeshttps://doi.org/10.11606/t.55.2020.tde-02092020-091958openalex-snapshot
Learning finite state machine models of evolving systems: From evolution over time to variability in space
inferred← citeshttps://doi.org/10.14722/ndss.2023.23068openalex-snapshot
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations
inferred← citeshttps://doi.org/10.15439/2018f64openalex-snapshot
Reverse Engineering of Legacy Software Interfaces to a Model-Based Approach
inferred← citeshttps://doi.org/10.1609/icaps.v29i1.3529openalex-snapshot
Learning Interpretable Models Expressed in Linear Temporal Logic
inferred← citeshttps://doi.org/10.23638/lmcs-15(3:21)2019openalex-snapshot
Query learning of derived $\omega$-tree languages in polynomial time
inferred← citeshttps://doi.org/10.23919/fmcad.2018.8602991openalex-snapshot
Automata Learning for Symbolic Execution
inferred← citeshttps://doi.org/10.24963/ijcai.2021/256openalex-snapshot
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25cc5openalex-snapshot
Learning Pomset Automata
inferred← citeshttps://doi.org/10.26226/morressier.604907f51a80aac83ca25da6openalex-snapshot
Learning One-Clock Timed Automata
inferred← citeshttps://doi.org/10.3390/a17050210openalex-snapshot
Particle Swarm Optimization-Based Model Abstraction and Explanation Generation for a Recurrent Neural Network
inferred← citeshttps://doi.org/10.3390/jtaer20020073openalex-snapshot
Automated Runtime Verification of Security for E-Commerce Smart Contracts
inferred← citeshttps://doi.org/10.4204/eptcs.248.7openalex-snapshot
Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems
inferred← citeshttps://doi.org/10.4204/eptcs.390.10openalex-snapshot
Conflict-Aware Active Automata Learning
inferred← citeshttps://doi.org/10.4271/2024-01-2807openalex-snapshot
Vulnerability analysis of DoIP implementation based on model learning
inferred← citeshttps://doi.org/10.46298/entics.10505openalex-snapshot
Guarded Kleene Algebra with Tests: Automata Learning
inferred← citeshttps://doi.org/10.46298/lmcs-19(2:5)2023openalex-snapshot
Inferring Symbolic Automata
inferred← citeshttps://doi.org/10.48550/arxiv.1704.08055openalex-snapshot
Optimizing Automata Learning via Monads
inferred← citeshttps://doi.org/10.48550/arxiv.1705.08320openalex-snapshot
Explaining Transition Systems through Program Induction
inferred← citeshttps://doi.org/10.48550/arxiv.1707.09430openalex-snapshot
Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms
inferred← citeshttps://doi.org/10.48550/arxiv.1708.00376openalex-snapshot
Using Program Induction to Interpret Transition System Dynamics
inferred← citeshttps://doi.org/10.48550/arxiv.1901.01910openalex-snapshot
Model Learning: A Survey on Foundation, Tools and Applications
inferred← citeshttps://doi.org/10.48550/arxiv.1907.04708openalex-snapshot
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
inferred← citeshttps://doi.org/10.48550/arxiv.1911.02714openalex-snapshot
Modularity in Query-Based Concept Learning
inferred← citeshttps://doi.org/10.48550/arxiv.2001.09293openalex-snapshot
Learning Non-Markovian Reward Models in MDPs
showing the first 200 of 208 · page through all 208
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.