{"id":"https://openalex.org/W4414473209","doi":"https://doi.org/10.46298/lmcs-21(3:31)2025","title":"FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata","display_name":"FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata","publication_year":2025,"publication_date":"2025-09-24","ids":{"openalex":"https://openalex.org/W4414473209","doi":"https://doi.org/10.46298/lmcs-21(3:31)2025"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-21(3:31)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(3:31)2025","pdf_url":"https://lmcs.episciences.org/16573/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/16573/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062870071","display_name":"Sicco Verwer","orcid":"https://orcid.org/0000-0002-3682-0962"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Sicco Verwer","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5004384801","display_name":"Christian Hammerschmidt","orcid":"https://orcid.org/0000-0003-2460-1997"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Christian Hammerschmidt","raw_affiliation_strings":["Department of Software Technology , Delft University of Technology , the Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Software Technology , Delft University of Technology , the Netherlands","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5062870071"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7453,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.92322652,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"Volume 21, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7046999931335449},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5748999714851379},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5293999910354614},{"id":"https://openalex.org/keywords/anomaly-detection","display_name":"Anomaly detection","score":0.4884999990463257},{"id":"https://openalex.org/keywords/probabilistic-automaton","display_name":"Probabilistic automaton","score":0.48399999737739563},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4799000024795532},{"id":"https://openalex.org/keywords/learning-automata","display_name":"Learning automata","score":0.4447999894618988},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.3801000118255615}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8259999752044678},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7046999931335449},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5748999714851379},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5439000129699707},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5425000190734863},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5293999910354614},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5105000138282776},{"id":"https://openalex.org/C739882","wikidata":"https://www.wikidata.org/wiki/Q3560506","display_name":"Anomaly detection","level":2,"score":0.4884999990463257},{"id":"https://openalex.org/C174784677","wikidata":"https://www.wikidata.org/wiki/Q176567","display_name":"Probabilistic automaton","level":3,"score":0.48399999737739563},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4799000024795532},{"id":"https://openalex.org/C2776807809","wikidata":"https://www.wikidata.org/wiki/Q6510160","display_name":"Learning automata","level":3,"score":0.4447999894618988},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3801000118255615},{"id":"https://openalex.org/C12997251","wikidata":"https://www.wikidata.org/wiki/Q567560","display_name":"Anomaly (physics)","level":2,"score":0.3799000084400177},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.3659000098705292},{"id":"https://openalex.org/C2983609787","wikidata":"https://www.wikidata.org/wiki/Q10534782","display_name":"Software implementation","level":3,"score":0.36550000309944153},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.3303999900817871},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.31949999928474426},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.31130000948905945},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.29490000009536743},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2924000024795532},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.26080000400543213}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.46298/lmcs-21(3:31)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(3:31)2025","pdf_url":"https://lmcs.episciences.org/16573/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-21(3:31)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(3:31)2025","pdf_url":"https://lmcs.episciences.org/16573/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414473209.pdf","grobid_xml":"https://content.openalex.org/works/W4414473209.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,30,46],"present":[1],"the":[2,78],"efficient":[3],"implementations":[4],"of":[5,80],"probabilistic":[6],"deterministic":[7],"finite":[8],"automaton":[9],"learning":[10,72],"methods":[11],"available":[12],"in":[13,28],"FlexFringe.":[14],"These":[15],"implement":[16],"well-known":[17],"strategies":[18],"for":[19,63],"state-merging":[20],"including":[21],"several":[22],"modifications":[23],"to":[24,50,53],"improve":[25],"their":[26],"performance":[27,79],"practice.":[29],"show":[31,70],"experimentally":[32],"that":[33,71],"these":[34,62],"algorithms":[35],"obtain":[36],"competitive":[37],"results":[38],"and":[39,60],"significant":[40],"improvements":[41],"over":[42],"a":[43],"default":[44],"implementation.":[45],"also":[47],"demonstrate":[48],"how":[49],"use":[51,61],"FlexFringe":[52,81],"learn":[54],"interpretable":[55],"models":[56,76],"from":[57],"software":[58],"logs":[59],"anomaly":[64,83],"detection.":[65],"Although":[66],"less":[67],"interpretable,":[68],"we":[69],"smaller":[73],"more":[74],"convoluted":[75],"improves":[77],"on":[82,90],"detection,":[84],"outperforming":[85],"an":[86],"existing":[87],"solution":[88],"based":[89],"neural":[91],"nets.":[92]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2025-10-10T00:00:00"}