{"id":"https://openalex.org/W1842754478","doi":"https://doi.org/10.1007/s10009-015-0393-y","title":"Guided search for hybrid systems based on coarse-grained space abstractions","display_name":"Guided search for hybrid systems based on coarse-grained space abstractions","publication_year":2015,"publication_date":"2015-08-06","ids":{"openalex":"https://openalex.org/W1842754478","doi":"https://doi.org/10.1007/s10009-015-0393-y","mag":"1842754478","pmid":"https://pubmed.ncbi.nlm.nih.gov/27445640","pmcid":"https://www.ncbi.nlm.nih.gov/pmc/articles/4937103"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-015-0393-y","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-015-0393-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/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-015-0393-y.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055381376","display_name":"Sergiy Bogomolov","orcid":"https://orcid.org/0000-0002-0686-0365"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Sergiy Bogomolov","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria"],"affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081324945","display_name":"Alexandre Donz\u00e9","orcid":"https://orcid.org/0000-0002-1138-5458"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexandre Donz\u00e9","raw_affiliation_strings":["University of California, Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039488370","display_name":"Goran Frehse","orcid":"https://orcid.org/0000-0002-5441-0481"},"institutions":[{"id":"https://openalex.org/I177483745","display_name":"Universit\u00e9 Joseph Fourier","ror":"https://ror.org/02aj0kh94","country_code":"FR","type":"education","lineage":["https://openalex.org/I177483745"]},{"id":"https://openalex.org/I4210156361","display_name":"Verimag","ror":"https://ror.org/05afmzm11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Goran Frehse","raw_affiliation_strings":["Universit\u00e9 Joseph Fourier Grenoble 1 \u2013 Verimag, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Joseph Fourier Grenoble 1 \u2013 Verimag, Grenoble, France","institution_ids":["https://openalex.org/I177483745","https://openalex.org/I4210156361","https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034362557","display_name":"Radu Grosu","orcid":"https://orcid.org/0000-0001-5715-2142"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Radu Grosu","raw_affiliation_strings":["Vienna University of Technology, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Vienna University of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["University of Texas at Arlington, Arlington, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, Arlington, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006724471","display_name":"Hamed Ladan","orcid":null},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hamed Ladan","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062411838","display_name":"Andreas Podelski","orcid":"https://orcid.org/0000-0003-2540-9489"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andreas Podelski","raw_affiliation_strings":["University of Freiburg, Freiburg, Germany"],"affiliations":[{"raw_affiliation_string":"University of Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020261327","display_name":"Martin Wehrle","orcid":null},"institutions":[{"id":"https://openalex.org/I1850255","display_name":"University of Basel","ror":"https://ror.org/02s6k3f65","country_code":"CH","type":"education","lineage":["https://openalex.org/I1850255"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Martin Wehrle","raw_affiliation_strings":["University of Basel, Basel, Switzerland"],"affiliations":[{"raw_affiliation_string":"University of Basel, Basel, Switzerland","institution_ids":["https://openalex.org/I1850255"]}]}],"institution_assertions":[],"countries_distinct_count":5,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5055381376"],"corresponding_institution_ids":["https://openalex.org/I157556583"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990,"provenance":"doaj"},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990,"provenance":"doaj"},"fwci":4.638,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":27,"citation_normalized_percentile":{"value":0.891626,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":92,"max":93},"biblio":{"volume":"18","issue":"4","first_page":"449","last_page":"467"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9999,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9999,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9984,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9984,"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/granularity","display_name":"Granularity","score":0.6484144},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.63336486},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5081992},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.49690798}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8734702},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.82000494},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6675645},{"id":"https://openalex.org/C177774035","wikidata":"https://www.wikidata.org/wiki/Q1246948","display_name":"Granularity","level":2,"score":0.6484144},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.63336486},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5081992},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.50673896},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.49690798},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4810691},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.42262214},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.42086828},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4166993},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3501156},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12741563},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-015-0393-y","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-015-0393-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/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://europepmc.org/articles/pmc4937103","pdf_url":"https://europepmc.org/articles/pmc4937103?pdf=render","source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"host_organization_lineage_names":["European Bioinformatics Institute"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4937103","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":["National Institutes of Health"],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/27445640","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":["National Institutes of Health"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10009-015-0393-y","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10009-015-0393-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/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":51,"referenced_works":["https://openalex.org/W107960161","https://openalex.org/W147683296","https://openalex.org/W1481467550","https://openalex.org/W1488872683","https://openalex.org/W1504317179","https://openalex.org/W1505083629","https://openalex.org/W1521939022","https://openalex.org/W1522448884","https://openalex.org/W1530240157","https://openalex.org/W1538133856","https://openalex.org/W1553814243","https://openalex.org/W1571851487","https://openalex.org/W1573344143","https://openalex.org/W1583497301","https://openalex.org/W1591241081","https://openalex.org/W1600504946","https://openalex.org/W1606346370","https://openalex.org/W17135747","https://openalex.org/W1726255445","https://openalex.org/W1793594870","https://openalex.org/W1808949452","https://openalex.org/W1842754478","https://openalex.org/W1844911504","https://openalex.org/W1865218796","https://openalex.org/W1972972000","https://openalex.org/W198091129","https://openalex.org/W2004463571","https://openalex.org/W2031397756","https://openalex.org/W2042835403","https://openalex.org/W2060369194","https://openalex.org/W2068864491","https://openalex.org/W2080932760","https://openalex.org/W2098916117","https://openalex.org/W2101155486","https://openalex.org/W2119571962","https://openalex.org/W2131441094","https://openalex.org/W2138988438","https://openalex.org/W2143861079","https://openalex.org/W2152533774","https://openalex.org/W2154679417","https://openalex.org/W2176215692","https://openalex.org/W2343779038","https://openalex.org/W2489001267","https://openalex.org/W2750879512","https://openalex.org/W2904270376","https://openalex.org/W2904982962","https://openalex.org/W4234988641","https://openalex.org/W4249771336","https://openalex.org/W4388013161","https://openalex.org/W89579886","https://openalex.org/W94971406"],"related_works":["https://openalex.org/W856973001","https://openalex.org/W78063724","https://openalex.org/W4249426951","https://openalex.org/W2952920810","https://openalex.org/W2884574904","https://openalex.org/W2357387646","https://openalex.org/W2172357028","https://openalex.org/W2103488150","https://openalex.org/W1604596197","https://openalex.org/W1598511836"],"abstract_inverted_index":{"Hybrid":[0],"systems":[1],"represent":[2],"an":[3,79,125,163],"important":[4],"and":[5,113],"powerful":[6],"formalism":[7],"for":[8,134],"modeling":[9],"real-world":[10],"applications":[11],"such":[12],"as":[13],"embedded":[14],"systems.":[15],"A":[16,86],"verification":[17,36,54],"tool":[18,55],"like":[19,65],"SpaceEx":[20,185],"is":[21,39,56,75,92,156,162],"based":[22,93,129],"on":[23,94,100,130],"the":[24,44,53,68,83,136,148,184],"exploration":[25],"of":[26,46,151,166],"a":[27,35,59,72,101,142],"symbolic":[28],"search":[29,98],"space":[30,132],"(the":[31],"region":[32,84],"space).":[33],"As":[34],"tool,":[37],"it":[38],"typically":[40],"optimized":[41,76],"towards":[42,77],"proving":[43],"absence":[45],"errors.":[47],"In":[48,120],"some":[49],"settings,":[50],"e.g.,":[51],"when":[52],"employed":[57],"in":[58,82,89,175,183],"feedback-directed":[60],"design":[61],"cycle,":[62],"one":[63],"would":[64],"to":[66,70,110],"have":[67,171],"option":[69],"call":[71],"version":[73],"that":[74,104,146,170],"finding":[78],"error":[80],"trajectory":[81],"space.":[85],"recent":[87],"approach":[88,179],"this":[90,121,140],"direction":[91],"guided":[95],"search.":[96],"Guided":[97],"relies":[99],"cost":[102,127,160],"function":[103,128,161],"indicates":[105],"which":[106],"states":[107,118],"are":[108],"promising":[109,117],"be":[111],"explored,":[112],"preferably":[114],"explores":[115],"more":[116],"first.":[119],"paper,":[122],"we":[123],"propose":[124],"abstraction-based":[126],"coarse-grained":[131],"abstractions":[133],"guiding":[135],"reachability":[137,153],"analysis.":[138],"For":[139],"purpose,":[141],"suitable":[143],"abstraction":[144],"technique":[145],"exploits":[147],"flexible":[149],"granularity":[150],"modern":[152],"analysis":[154],"algorithms":[155],"introduced.":[157],"The":[158,178,188],"new":[159],"effective":[164],"extension":[165],"pattern":[167],"database":[168],"approaches":[169],"been":[172,181],"successfully":[173],"applied":[174],"other":[176],"areas.":[177],"has":[180],"implemented":[182],"model":[186],"checker.":[187],"evaluation":[189],"shows":[190],"its":[191],"practical":[192],"potential.":[193]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1842754478","counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":1}],"updated_date":"2024-12-05T23:18:55.568135","created_date":"2016-06-24"}