{"id":"https://openalex.org/W3200786082","doi":"https://doi.org/10.1515/itit-2021-0011","title":"Infinite-state graph transformation systems under adverse conditions","display_name":"Infinite-state graph transformation systems under adverse conditions","publication_year":2021,"publication_date":"2021-09-22","ids":{"openalex":"https://openalex.org/W3200786082","doi":"https://doi.org/10.1515/itit-2021-0011","mag":"3200786082"},"language":"en","primary_location":{"id":"doi:10.1515/itit-2021-0011","is_oa":false,"landing_page_url":"https://doi.org/10.1515/itit-2021-0011","pdf_url":null,"source":{"id":"https://openalex.org/S4210229153","display_name":"it - Information Technology","issn_l":"1611-2776","issn":["1611-2776","2196-7032"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319967","host_organization_name":"R. Oldenbourg Verlag","host_organization_lineage":["https://openalex.org/P4310319967"],"host_organization_lineage_names":["R. Oldenbourg Verlag"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"it - Information Technology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061972365","display_name":"Okan \u00d6zkan","orcid":"https://orcid.org/0000-0002-4345-1472"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Okan \u00d6zkan","raw_affiliation_strings":["Universit\u00e4t Oldenburg , Department of Computing Science , Oldenburg , Germany"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Oldenburg , Department of Computing Science , Oldenburg , Germany","institution_ids":["https://openalex.org/I129877168"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5061972365"],"corresponding_institution_ids":["https://openalex.org/I129877168"],"apc_list":null,"apc_paid":null,"fwci":0.6033,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.7016107,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"63","issue":"5-6","first_page":"311","last_page":"320"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"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.9994999766349792,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9932000041007996,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8727819323539734},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.8162891268730164},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.8074724674224854},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6404096484184265},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.629706084728241},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5876013040542603},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.577781081199646},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5516579151153564},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5501851439476013},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.46612074971199036},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.45943233370780945},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4500638544559479},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34872570633888245},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10597583651542664}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8727819323539734},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.8162891268730164},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.8074724674224854},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6404096484184265},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.629706084728241},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5876013040542603},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.577781081199646},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5516579151153564},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5501851439476013},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.46612074971199036},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.45943233370780945},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4500638544559479},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34872570633888245},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10597583651542664},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1515/itit-2021-0011","is_oa":false,"landing_page_url":"https://doi.org/10.1515/itit-2021-0011","pdf_url":null,"source":{"id":"https://openalex.org/S4210229153","display_name":"it - Information Technology","issn_l":"1611-2776","issn":["1611-2776","2196-7032"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319967","host_organization_name":"R. Oldenbourg Verlag","host_organization_lineage":["https://openalex.org/P4310319967"],"host_organization_lineage_names":["R. Oldenbourg Verlag"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"it - Information Technology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G845080533","display_name":null,"funder_award_id":"GRK 1765","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W93294302","https://openalex.org/W790013656","https://openalex.org/W1483113404","https://openalex.org/W1498432697","https://openalex.org/W1553756861","https://openalex.org/W1554599106","https://openalex.org/W1560050980","https://openalex.org/W1590315663","https://openalex.org/W1612453857","https://openalex.org/W1967174286","https://openalex.org/W2041203617","https://openalex.org/W2079370090","https://openalex.org/W2123910665","https://openalex.org/W2124749939","https://openalex.org/W2127455123","https://openalex.org/W2131637630","https://openalex.org/W2145270986","https://openalex.org/W2152106193","https://openalex.org/W2171877225","https://openalex.org/W2266216663","https://openalex.org/W2275786693","https://openalex.org/W2298187920","https://openalex.org/W2342011962","https://openalex.org/W2521296615","https://openalex.org/W2902494068","https://openalex.org/W2933507570","https://openalex.org/W2972743294","https://openalex.org/W3108913233","https://openalex.org/W3110341461","https://openalex.org/W3189430904","https://openalex.org/W4205916380"],"related_works":["https://openalex.org/W858755136","https://openalex.org/W1981889059","https://openalex.org/W3005864166","https://openalex.org/W2143025323","https://openalex.org/W31328628","https://openalex.org/W3091862538","https://openalex.org/W1969550103","https://openalex.org/W1031601050","https://openalex.org/W2105438026","https://openalex.org/W1546948343"],"abstract_inverted_index":{"Abstract":[0],"We":[1,92],"present":[2,41],"an":[3,26,30],"approach":[4],"for":[5,95],"modeling":[6,32],"adverse":[7,46],"conditions":[8],"by":[9],"graph":[10,19,37,72,100],"transformation":[11,20,38,73,101],"systems.":[12],"To":[13,81],"this":[14],"end,":[15],"we":[16,40,86],"introduce":[17],"joint":[18,36,71,99],"systems":[21,74,102],"which":[22],"involve":[23],"a":[24],"system,":[25],"interfering":[27],"environment,":[28],"and":[29],"automaton":[31],"their":[33],"interaction.":[34],"For":[35],"systems,":[39],"notions":[42],"of":[43,50,70,90,98],"correctness":[44,51],"under":[45],"conditions.":[47],"Some":[48],"instances":[49],"are":[52],"expressible":[53],"in":[54,60],"LTL":[55],"(linear":[56],"temporal":[57,78],"logic),":[58,64],"or":[59],"CTL":[61],"(computation":[62],"tree":[63],"respectively.":[65],"In":[66],"these":[67],"cases,":[68],"verification":[69,97],"is":[75],"reduced":[76],"to":[77],"model":[79],"checking.":[80],"handle":[82],"infinite":[83],"state":[84],"spaces,":[85],"incorporate":[87],"the":[88,96],"concept":[89],"well-structuredness.":[91,107],"discuss":[93],"ideas":[94],"using":[103],"results":[104],"based":[105],"on":[106]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}