{"id":"https://openalex.org/W6908572586","doi":"https://doi.org/10.26092/elib/3299","title":"Counting and sliding verifying and restoring healthy systems","display_name":"Counting and sliding verifying and restoring healthy systems","publication_year":2024,"publication_date":"2024-09-02","ids":{"openalex":"https://openalex.org/W6908572586","doi":"https://doi.org/10.26092/elib/3299"},"language":"en","primary_location":{"id":"pmh:oai:media.suub.uni-bremen.de:elib/8265","is_oa":true,"landing_page_url":"https://media.suub.uni-bremen.de/handle/elib/8265","pdf_url":"http://media.suub.uni-bremen.de/bitstreams/bad5261e-0a66-4a2d-9371-2178a0116ecf/download","source":{"id":"https://openalex.org/S4306402486","display_name":"Media (https://www.suub.uni-bremen.de/)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I180437899","host_organization_name":"University of Bremen","host_organization_lineage":["https://openalex.org/I180437899"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://media.suub.uni-bremen.de/bitstreams/bad5261e-0a66-4a2d-9371-2178a0116ecf/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Grobler, Mario","orcid":"https://orcid.org/0000-0001-8103-6440"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Grobler, Mario","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-8103-6440","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9490000009536743,"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.9490000009536743,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.03400000184774399,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.004000000189989805,"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.8313999772071838},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7171000242233276},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5855000019073486},{"id":"https://openalex.org/keywords/mistake","display_name":"Mistake","score":0.5587000250816345},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.5131999850273132},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45019999146461487},{"id":"https://openalex.org/keywords/deterministic-finite-automaton","display_name":"Deterministic finite automaton","score":0.40700000524520874}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8313999772071838},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7171000242233276},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.63919997215271},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5855000019073486},{"id":"https://openalex.org/C2777179996","wikidata":"https://www.wikidata.org/wiki/Q911222","display_name":"Mistake","level":2,"score":0.5587000250816345},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5131999850273132},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45019999146461487},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.40700000524520874},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3871000111103058},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3790999948978424},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.35929998755455017},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.3508000075817108},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.3409999907016754},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.3393999934196472},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2849000096321106},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2750999927520752}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:media.suub.uni-bremen.de:elib/8265","is_oa":true,"landing_page_url":"https://media.suub.uni-bremen.de/handle/elib/8265","pdf_url":"http://media.suub.uni-bremen.de/bitstreams/bad5261e-0a66-4a2d-9371-2178a0116ecf/download","source":{"id":"https://openalex.org/S4306402486","display_name":"Media (https://www.suub.uni-bremen.de/)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I180437899","host_organization_name":"University of Bremen","host_organization_lineage":["https://openalex.org/I180437899"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},{"id":"doi:10.26092/elib/3299","is_oa":true,"landing_page_url":"https://doi.org/10.26092/elib/3299","pdf_url":null,"source":{"id":"https://openalex.org/S7407052977","display_name":"Staats- und Universit\u00e4tsbibliothek Bremen","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:media.suub.uni-bremen.de:elib/8265","is_oa":true,"landing_page_url":"https://media.suub.uni-bremen.de/handle/elib/8265","pdf_url":"http://media.suub.uni-bremen.de/bitstreams/bad5261e-0a66-4a2d-9371-2178a0116ecf/download","source":{"id":"https://openalex.org/S4306402486","display_name":"Media (https://www.suub.uni-bremen.de/)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I180437899","host_organization_name":"University of Bremen","host_organization_lineage":["https://openalex.org/I180437899"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W6908572586.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Reactive":[0],"systems":[1,14,31,57,68],"play":[2,33],"a":[3,34,50,86,131,147,153,161,178,181,195,202,235,263,267,272,279],"significant":[4],"role":[5],"in":[6,26,49,149],"the":[7,136,139,144,150,165,185,188,198,210,217,242,253],"daily":[8],"life":[9],"of":[10,60,66,89,138,159,168,197,256,274],"every":[11,24],"person.":[12],"Such":[13],"include":[15],"personal":[16],"computers,":[17],"automatic":[18],"teller":[19],"machines,":[20],"devices":[21,44,169,190,228],"we":[22,251],"use":[23],"day":[25],"our":[27],"households,":[28],"and":[29,116,247],"also":[30],"that":[32,63,146,175,221,238],"less":[35],"active":[36],"but":[37],"still":[38],"important":[39],"role,":[40],"for":[41,46,54,101,171,261,266],"example":[42,167],"monitoring":[43],"scanning":[45,170],"environmental":[47,172],"threats":[48],"country.":[51],"In":[52],"particular":[53],"safety-critical":[55],"reactive":[56],"it":[58,141,222,230],"is":[59,81,223,231,239],"enormous":[61],"importance":[62],"correctness":[64],"properties":[65],"such":[67,78,160,227,249],"have":[69],"been":[70,192],"verified.":[71],"A":[72],"very":[73],"prominent":[74],"technique":[75],"to":[76,96,121,152,164,177,187,206,225,233,241],"tackle":[77],"verification":[79],"tasks":[80],"called":[82],"model":[83,91,122],"checking.":[84,123],"From":[85],"theoretical":[87],"point":[88],"view,":[90],"checking":[92],"commonly":[93],"boils":[94],"down":[95],"solving":[97],"classical":[98,127],"decision":[99],"problems":[100],"finite":[102,115,128],"automata;":[103],"usually":[104],"automata":[105,113,125,129],"operating":[106],"on":[107,114],"infinite":[108,117],"words.":[109],"We":[110],"study":[111],"Parikh":[112],"words":[118],"with":[119,130],"applications":[120],"These":[124],"extend":[126],"Counting":[132],"mechanism.":[133],"Still,":[134],"due":[135,176],"dynamics":[137],"realworld":[140],"might":[142],"be":[143,207],"case":[145],"change":[148],"environmentleads":[151],"faulty":[154],"or":[155],"even":[156],"dangerous":[157],"state":[158],"system.":[162],"Referring":[163],"above":[166],"threats,":[173],"assume":[174],"mistake":[179],"at":[180],"local":[182],"construction":[183],"site":[184],"connection":[186],"other":[189],"has":[191,205],"cut,":[193],"leaving":[194],"part":[196],"country":[199],"unmonitored.":[200],"Hence,":[201],"new":[203,211,236,254],"solution":[204,212,237,257,265],"computed.":[208],"However,":[209],"can":[213],"differ":[214],"arbitrarily":[215],"from":[216,278],"current":[218,243],"state.":[219,244,281],"Given":[220],"costly":[224],"move":[226],"around,":[229],"desirable":[232],"compute":[234],"close":[240],"To":[245],"capture":[246],"formalize":[248],"scenarios,":[250],"introduce":[252],"framework":[255],"discovery":[258],"via":[259],"reconfiguration":[260],"constructing":[262],"feasible":[264],"given":[268,280],"problem":[269],"by":[270],"executing":[271],"sequence":[273],"small":[275],"modifications":[276],"starting":[277]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}