{"id":"https://openalex.org/W3204234981","doi":"https://doi.org/10.1007/s10009-021-00634-y","title":"Compositional learning of mutually recursive procedural systems","display_name":"Compositional learning of mutually recursive procedural systems","publication_year":2021,"publication_date":"2021-08-01","ids":{"openalex":"https://openalex.org/W3204234981","doi":"https://doi.org/10.1007/s10009-021-00634-y","mag":"3204234981"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-021-00634-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-021-00634-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-021-00634-y.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10009-021-00634-y.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085328570","display_name":"Markus Frohme","orcid":"https://orcid.org/0000-0001-6520-2410"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Markus Frohme","raw_affiliation_strings":["Chair of Programming Systems, Faculty of Computer Science, TU Dortmund, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"Chair of Programming Systems, Faculty of Computer Science, TU Dortmund, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078808456","display_name":"Bernhard Steffen","orcid":"https://orcid.org/0000-0001-9619-1558"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernhard Steffen","raw_affiliation_strings":["Chair of Programming Systems, Faculty of Computer Science, TU Dortmund, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"Chair of Programming Systems, Faculty of Computer Science, TU Dortmund, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5085328570"],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.2237,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.83507827,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"23","issue":"4","first_page":"521","last_page":"543"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9914000034332275,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9868000149726868,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/computer-science","display_name":"Computer science","score":0.873565673828125},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.641520619392395},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6185637712478638},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.585966944694519},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5517770648002625},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.5076092481613159},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3240966796875},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.30577749013900757},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09752655029296875}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.873565673828125},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.641520619392395},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6185637712478638},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.585966944694519},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5517770648002625},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5076092481613159},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3240966796875},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30577749013900757},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09752655029296875},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-021-00634-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-021-00634-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-021-00634-y.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10009-021-00634-y","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-021-00634-y","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10009-021-00634-y.pdf","source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320329559","display_name":"Technische Universit\u00e4t Dortmund","ror":"https://ror.org/01k97gp34"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3204234981.pdf","grobid_xml":"https://content.openalex.org/works/W3204234981.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W22002794","https://openalex.org/W82980056","https://openalex.org/W100976464","https://openalex.org/W106154156","https://openalex.org/W174725595","https://openalex.org/W186035943","https://openalex.org/W289958154","https://openalex.org/W315890393","https://openalex.org/W941301462","https://openalex.org/W1498432697","https://openalex.org/W1504739534","https://openalex.org/W1507905808","https://openalex.org/W1509343160","https://openalex.org/W1516541943","https://openalex.org/W1520252399","https://openalex.org/W1559950975","https://openalex.org/W1573881032","https://openalex.org/W1574991981","https://openalex.org/W1597210183","https://openalex.org/W1989445634","https://openalex.org/W1996917540","https://openalex.org/W2002089154","https://openalex.org/W2002934700","https://openalex.org/W2046160374","https://openalex.org/W2062143900","https://openalex.org/W2064689414","https://openalex.org/W2065948900","https://openalex.org/W2080001594","https://openalex.org/W2088432971","https://openalex.org/W2098095461","https://openalex.org/W2118229393","https://openalex.org/W2131966463","https://openalex.org/W2137370934","https://openalex.org/W2140606869","https://openalex.org/W2151033407","https://openalex.org/W2151780773","https://openalex.org/W2158487182","https://openalex.org/W2220772605","https://openalex.org/W2271603174","https://openalex.org/W2294348221","https://openalex.org/W2295513474","https://openalex.org/W2397059035","https://openalex.org/W2495729341","https://openalex.org/W2600860451","https://openalex.org/W2889082875","https://openalex.org/W2913459036","https://openalex.org/W3136212788","https://openalex.org/W4214774274","https://openalex.org/W4245106453"],"related_works":["https://openalex.org/W1514172519","https://openalex.org/W2570552138","https://openalex.org/W2116671687","https://openalex.org/W4286749359","https://openalex.org/W2898671538","https://openalex.org/W2965215954","https://openalex.org/W2945694234","https://openalex.org/W2146946740","https://openalex.org/W2004126468","https://openalex.org/W3204234981"],"abstract_inverted_index":{"Abstract":[0],"This":[1,113],"paper":[2],"presents":[3],"a":[4,120,176],"compositional":[5],"approach":[6,66],"to":[7,24,44,64,92,119,145,174],"active":[8],"automata":[9],"learning":[10,138,158],"of":[11,13,19,26,36,50,71,76,95,110,117,123,153],"Systems":[12],"Procedural":[14],"Automata":[15,22],"(SPAs),":[16],"an":[17,54,150],"extension":[18],"Deterministic":[20],"Finite":[21],"(DFAs)":[23],"systems":[25],"DFAs":[27,73,89,109,125],"that":[28,57,159],"can":[29,133],"mutually":[30],"call":[31],"each":[32,75],"other.":[33],"SPAs":[34,118],"are":[35,90,103,143],"high":[37],"practical":[38,180],"relevance,":[39],"as":[40],"they":[41],"allow":[42,148],"one":[43],"efficiently":[45],"learn":[46],"intuitive":[47,151],"recursive":[48,51,162],"models":[49,142],"programs":[52],"after":[53],"easy":[55,144],"instrumentation":[56],"makes":[58],"calls":[59],"and":[60,82,99,147],"returns":[61],"observable.":[62],"Key":[63],"our":[65],"is":[67,183],"the":[68,77,87,96,108,115,124,127,154,166,169],"simultaneous":[69,121],"inference":[70,116,122],"individual":[72,88],"for":[74,86,107,126,130,149,179,188],"involved":[78,128],"procedures":[79,129],"via":[80],"expansion":[81],"projection:":[83],"membership":[84,93],"queries":[85,94],"expanded":[91],"entire":[97],"SPA,":[98],"global":[100],"counterexample":[101],"traces":[102],"transformed":[104],"into":[105],"counterexamples":[106],"concerned":[111],"procedures.":[112],"reduces":[114],"which":[131,182],"we":[132],"utilize":[134],"various":[135],"existing":[136],"regular":[137],"algorithms.":[139],"The":[140],"inferred":[141],"understand":[146],"display":[152],"procedural":[155],"system":[156],"under":[157],"reveals":[160],"its":[161],"structure.":[163],"We":[164],"implemented":[165],"algorithm":[167],"within":[168],"LearnLib":[170],"framework":[171],"in":[172],"order":[173],"provide":[175],"ready-to-use":[177],"tool":[178],"application":[181],"publicly":[184],"available":[185],"on":[186],"GitHub":[187],"experimentation.":[189]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}