{"id":"https://openalex.org/W2903983980","doi":"https://doi.org/10.1109/access.2018.2885249","title":"Discrete-Time Systems Modeling and Verification With Alvis Language and Tools","display_name":"Discrete-Time Systems Modeling and Verification With Alvis Language and Tools","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2903983980","doi":"https://doi.org/10.1109/access.2018.2885249","mag":"2903983980"},"language":"en","primary_location":{"id":"doi:10.1109/access.2018.2885249","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2885249","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2018.2885249","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037638397","display_name":"Marcin Szpyrka","orcid":"https://orcid.org/0000-0003-4925-3271"},"institutions":[{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Marcin Szpyrka","raw_affiliation_strings":["Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Krak\u00f3w, Poland","Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland","ORCiD"],"raw_orcid":"https://orcid.org/0000-0003-4925-3271","affiliations":[{"raw_affiliation_string":"Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Krak\u00f3w, Poland","institution_ids":["https://openalex.org/I686019"]},{"raw_affiliation_string":"Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland","institution_ids":["https://openalex.org/I686019"]},{"raw_affiliation_string":"ORCiD","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014537752","display_name":"Micha\u0142 Wypych","orcid":null},"institutions":[{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Michal Wypych","raw_affiliation_strings":["Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Krak\u00f3w, Poland","Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Krak\u00f3w, Poland","institution_ids":["https://openalex.org/I686019"]},{"raw_affiliation_string":"Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland","institution_ids":["https://openalex.org/I686019"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012219812","display_name":"Jerzy Biernacki","orcid":null},"institutions":[{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Jerzy Biernacki","raw_affiliation_strings":["Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Krak\u00f3w, Poland","Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Krak\u00f3w, Poland","institution_ids":["https://openalex.org/I686019"]},{"raw_affiliation_string":"Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland","institution_ids":["https://openalex.org/I686019"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072742407","display_name":"\u0141ukasz Podolski","orcid":null},"institutions":[{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Lukasz Podolski","raw_affiliation_strings":["Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Applied Computer Science, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology, Kraków, Poland","institution_ids":["https://openalex.org/I686019"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I686019"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.7581,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.75541085,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"6","issue":null,"first_page":"78766","last_page":"78779"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9994000196456909,"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.8589630126953125},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6343150734901428},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5958822965621948},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.4542553424835205},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43245142698287964},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.41338926553726196},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4116029739379883},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36928844451904297},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3336030840873718}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8589630126953125},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6343150734901428},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5958822965621948},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.4542553424835205},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43245142698287964},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41338926553726196},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4116029739379883},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36928844451904297},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3336030840873718}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2018.2885249","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2885249","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:8c9ed3c70c5b4657b040157e5d4d9cb7","is_oa":true,"landing_page_url":"https://doaj.org/article/8c9ed3c70c5b4657b040157e5d4d9cb7","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 6, Pp 78766-78779 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2018.2885249","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2885249","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W133711158","https://openalex.org/W189322906","https://openalex.org/W233122475","https://openalex.org/W1498432697","https://openalex.org/W1501640954","https://openalex.org/W1533382912","https://openalex.org/W1568573127","https://openalex.org/W1582292473","https://openalex.org/W1587782590","https://openalex.org/W1589034549","https://openalex.org/W1675907549","https://openalex.org/W1862398452","https://openalex.org/W1996109622","https://openalex.org/W2001289891","https://openalex.org/W2086673120","https://openalex.org/W2099529102","https://openalex.org/W2101508170","https://openalex.org/W2142340571","https://openalex.org/W2150220388","https://openalex.org/W2152988203","https://openalex.org/W2489834867","https://openalex.org/W2503470518","https://openalex.org/W2504786471","https://openalex.org/W2525851848","https://openalex.org/W2536437107","https://openalex.org/W2618737378","https://openalex.org/W2744224538","https://openalex.org/W2810491896","https://openalex.org/W4234958120","https://openalex.org/W4249484115","https://openalex.org/W4285719527","https://openalex.org/W6605481203","https://openalex.org/W6609061849","https://openalex.org/W6631983136","https://openalex.org/W6635169470","https://openalex.org/W6728295860"],"related_works":["https://openalex.org/W2788308474","https://openalex.org/W1863382110","https://openalex.org/W2162604396","https://openalex.org/W2362341649","https://openalex.org/W2107238869","https://openalex.org/W4253208194","https://openalex.org/W1586621202","https://openalex.org/W4324054641","https://openalex.org/W2156223462","https://openalex.org/W2146445117"],"abstract_inverted_index":{"Alvis":[0,27],"is":[1,29,37],"a":[2],"formal":[3,48],"modeling":[4,32],"language":[5],"intended":[6],"for":[7,31],"developing":[8],"systems":[9],"consisting":[10],"of":[11,26,43,52,58],"concurrently":[12],"operating":[13],"units":[14],"(real-time,":[15],"embedded,":[16],"and":[17,50,55,63],"distributed":[18],"systems).":[19],"This":[20,35],"paper":[21,36],"describes":[22],"the":[23,38,56,65],"timed":[24,44,53],"version":[25],"that":[28,68],"suitable":[30],"discrete-time":[33],"systems.":[34],"first":[39],"relatively":[40],"complete":[41],"description":[42],"Alvis.":[45,73],"We":[46],"present":[47],"definition":[49],"semantics":[51],"models":[54],"algorithm":[57],"labeled":[59],"transition":[60],"system":[61],"generation":[62],"introduce":[64],"computer":[66],"software":[67],"we":[69],"developed":[70],"to":[71],"support":[72],"All":[74],"concepts":[75],"are":[76],"illustrated":[77],"by":[78],"examples.":[79]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-27T08:26:11.824852","created_date":"2025-10-10T00:00:00"}