{"id":"https://openalex.org/W2167687546","doi":"https://doi.org/10.15439/2014f267","title":"Alvis Virtual Machine","display_name":"Alvis Virtual Machine","publication_year":2014,"publication_date":"2014-09-29","ids":{"openalex":"https://openalex.org/W2167687546","doi":"https://doi.org/10.15439/2014f267","mag":"2167687546"},"language":"en","primary_location":{"id":"doi:10.15439/2014f267","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2014f267","pdf_url":"https://annals-csis.org/proceedings/2014/pliks/267.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://annals-csis.org/proceedings/2014/pliks/267.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020933387","display_name":"Piotr Matyasik","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":true,"raw_author_name":"Piotr Matyasik","raw_affiliation_strings":["AGH University of Science and Technology Department of Applied Computer Science Al. Mickiewicza 30, 30-059 Krakow, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AGH University of Science and Technology Department of Applied Computer Science Al. Mickiewicza 30, 30-059 Krakow, Poland","institution_ids":["https://openalex.org/I686019"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5020933387"],"corresponding_institution_ids":["https://openalex.org/I686019"],"apc_list":null,"apc_paid":null,"fwci":0.8889,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.68358209,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"2","issue":null,"first_page":"1639","last_page":"1645"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9976999759674072,"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.9937000274658203,"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.7495035529136658}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7495035529136658}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.15439/2014f267","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2014f267","pdf_url":"https://annals-csis.org/proceedings/2014/pliks/267.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.657.5406","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.657.5406","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://fedcsis.org/proceedings/2014/pliks/267.pdf","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:fdb60c108fb74fc89c116b1831a2a43d","is_oa":false,"landing_page_url":"https://doaj.org/article/fdb60c108fb74fc89c116b1831a2a43d","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Annals of computer science and information systems, Vol 2, Pp 1639-1645 (2014)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.15439/2014f267","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2014f267","pdf_url":"https://annals-csis.org/proceedings/2014/pliks/267.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2167687546.pdf","grobid_xml":"https://content.openalex.org/works/W2167687546.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W189322906","https://openalex.org/W1498432697","https://openalex.org/W1507281497","https://openalex.org/W1533382912","https://openalex.org/W1587782590","https://openalex.org/W1675907549","https://openalex.org/W2003385111","https://openalex.org/W2026591657","https://openalex.org/W2103362863","https://openalex.org/W2130585794","https://openalex.org/W2399755206","https://openalex.org/W2995900119","https://openalex.org/W6631983136","https://openalex.org/W6635088135"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Alvis":[0,27,53,68,83],"is":[1,61,75],"a":[2,14,38,86,92],"formal":[3],"modelling":[4,9],"language.":[5,69],"It":[6],"combines":[7],"graphical":[8],"of":[10,22,51,58,72],"communication":[11],"schema":[12],"and":[13,47],"high":[15],"level":[16],"programming":[17],"language":[18],"to":[19,62,76,81],"describe":[20],"behaviour":[21],"individual":[23],"system":[24,39],"entities.":[25],"An":[26],"model":[28],"can":[29],"be":[30],"verified":[31],"formally":[32],"by":[33],"using":[34],"methods":[35],"based":[36],"on":[37],"state":[40],"space.":[41],"The":[42,56],"paper":[43],"presents":[44],"the":[45,48,52,59,73],"design":[46],"command":[49],"list":[50],"Virtual":[54],"Machine.":[55],"aim":[57],"project":[60],"provide":[63],"an":[64],"execution":[65],"environment":[66],"for":[67],"Moreover,":[70],"one":[71],"goals":[74],"allow":[77],"different":[78],"hardware":[79],"units":[80],"run":[82],"models.":[84],"Thus,":[85],"virtual":[87],"machine":[88],"was":[89],"chosen":[90],"as":[91],"solution.":[93]},"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}