{"id":"https://openalex.org/W2945844330","doi":"https://doi.org/10.1109/tse.2019.2917202","title":"The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems","display_name":"The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems","publication_year":2019,"publication_date":"2019-05-22","ids":{"openalex":"https://openalex.org/W2945844330","doi":"https://doi.org/10.1109/tse.2019.2917202","mag":"2945844330"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2019.2917202","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2019.2917202","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://flore.unifi.it/bitstream/2158/1160178/1/19_PBCV_TSE.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036380703","display_name":"Marco Paolieri","orcid":"https://orcid.org/0000-0001-5110-203X"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marco Paolieri","raw_affiliation_strings":["Department of Computer Science, University of Southern California, Los Angeles, CA, USA"],"raw_orcid":"https://orcid.org/0000-0001-5110-203X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020365703","display_name":"Marco Biagi","orcid":"https://orcid.org/0000-0002-8956-1175"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Biagi","raw_affiliation_strings":["Department of Information Engineering, University of Florence, Firenze, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8956-1175","affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of Florence, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023394171","display_name":"Laura Carnevali","orcid":"https://orcid.org/0000-0002-5896-4860"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Laura Carnevali","raw_affiliation_strings":["Department of Information Engineering, University of Florence, Firenze, Italy"],"raw_orcid":"https://orcid.org/0000-0002-5896-4860","affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of Florence, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037029993","display_name":"Enrico Vicario","orcid":"https://orcid.org/0000-0002-4983-4386"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enrico Vicario","raw_affiliation_strings":["Department of Information Engineering, University of Florence, Firenze, Italy"],"raw_orcid":"https://orcid.org/0000-0002-4983-4386","affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of Florence, Firenze, Italy","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2778,"has_fulltext":true,"cited_by_count":46,"citation_normalized_percentile":{"value":0.92805129,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"47","issue":"6","first_page":"1211","last_page":"1225"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","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.9983999729156494,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8724312782287598},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.5741392374038696},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.49011215567588806},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.47451847791671753},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.4508492648601532},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.449053555727005},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.44652771949768066},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42958196997642517},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.41701436042785645},{"id":"https://openalex.org/keywords/graphical-user-interface","display_name":"Graphical user interface","score":0.4113962948322296},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3968762159347534},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.3113246560096741},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13652199506759644}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8724312782287598},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.5741392374038696},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.49011215567588806},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.47451847791671753},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4508492648601532},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.449053555727005},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.44652771949768066},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42958196997642517},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.41701436042785645},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.4113962948322296},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3968762159347534},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.3113246560096741},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13652199506759644},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2019.2917202","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2019.2917202","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:flore.unifi.it:2158/1160178","is_oa":true,"landing_page_url":"https://hdl.handle.net/2158/1160178","pdf_url":"https://flore.unifi.it/bitstream/2158/1160178/1/19_PBCV_TSE.pdf","source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:flore.unifi.it:2158/1160178","is_oa":true,"landing_page_url":"https://hdl.handle.net/2158/1160178","pdf_url":"https://flore.unifi.it/bitstream/2158/1160178/1/19_PBCV_TSE.pdf","source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2945844330.pdf","grobid_xml":"https://content.openalex.org/works/W2945844330.grobid-xml"},"referenced_works_count":72,"referenced_works":["https://openalex.org/W162091539","https://openalex.org/W1482233117","https://openalex.org/W1485650462","https://openalex.org/W1511538751","https://openalex.org/W1514324734","https://openalex.org/W1573553330","https://openalex.org/W1580462277","https://openalex.org/W1850048324","https://openalex.org/W1862398452","https://openalex.org/W1874259713","https://openalex.org/W1874725288","https://openalex.org/W1962072139","https://openalex.org/W1982005224","https://openalex.org/W1984096017","https://openalex.org/W1990874150","https://openalex.org/W1992580876","https://openalex.org/W2000336338","https://openalex.org/W2012907054","https://openalex.org/W2022106311","https://openalex.org/W2036426733","https://openalex.org/W2039784168","https://openalex.org/W2060367925","https://openalex.org/W2063917454","https://openalex.org/W2070996046","https://openalex.org/W2072488475","https://openalex.org/W2076879074","https://openalex.org/W2079636926","https://openalex.org/W2084791569","https://openalex.org/W2084792074","https://openalex.org/W2090311494","https://openalex.org/W2094764124","https://openalex.org/W2101121418","https://openalex.org/W2106641552","https://openalex.org/W2107360681","https://openalex.org/W2109192777","https://openalex.org/W2110167495","https://openalex.org/W2110484089","https://openalex.org/W2113780769","https://openalex.org/W2117886447","https://openalex.org/W2118390486","https://openalex.org/W2124065284","https://openalex.org/W2126484555","https://openalex.org/W2132056455","https://openalex.org/W2135753519","https://openalex.org/W2147622026","https://openalex.org/W2151612633","https://openalex.org/W2152863619","https://openalex.org/W2155652247","https://openalex.org/W2156138095","https://openalex.org/W2161436545","https://openalex.org/W2166071597","https://openalex.org/W2166137700","https://openalex.org/W2175681524","https://openalex.org/W2179159883","https://openalex.org/W2225161587","https://openalex.org/W2293229327","https://openalex.org/W2322092322","https://openalex.org/W2410243683","https://openalex.org/W2560553801","https://openalex.org/W2593267253","https://openalex.org/W2709727938","https://openalex.org/W2737151265","https://openalex.org/W2742724389","https://openalex.org/W2744096318","https://openalex.org/W2791021840","https://openalex.org/W2887472368","https://openalex.org/W2904415701","https://openalex.org/W2928628365","https://openalex.org/W2963467757","https://openalex.org/W4299326032","https://openalex.org/W6639417163","https://openalex.org/W6689151177"],"related_works":["https://openalex.org/W2018707057","https://openalex.org/W152523404","https://openalex.org/W3043763760","https://openalex.org/W2019361913","https://openalex.org/W1581947609","https://openalex.org/W4289874384","https://openalex.org/W2171468557","https://openalex.org/W1990325313","https://openalex.org/W2912813000","https://openalex.org/W1517948404"],"abstract_inverted_index":{"We":[0,177],"present":[1],"the":[2,57,91,103,179,183,188],"next":[3],"generation":[4],"of":[5,12,122,129,139,150,156,185,192,195],"ORIS,":[6],"a":[7,31,40],"toolbox":[8],"for":[9,109,162,182],"quantitative":[10],"evaluation":[11,191],"concurrent":[13],"models":[14,25],"with":[15,168],"non-Markovian":[16],"timers.":[17],"The":[18,118],"tool":[19],"shifts":[20],"its":[21],"focus":[22],"from":[23],"timed":[24],"to":[26,71,85,105,187],"stochastic":[27],"ones,":[28],"it":[29],"includes":[30],"new":[32,36,107,111,115],"graphical":[33,58],"user":[34,104],"interface,":[35],"analysis":[37,116,128,138,149,160],"methods":[38],"and":[39,66,114,126,136,158,190],"Java":[41,83,92],"Application":[42],"Programming":[43],"Interface":[44],"(API).":[45],"Models":[46],"can":[47,78],"be":[48,80],"specified":[49],"as":[50,82,96],"Stochastic":[51],"Time":[52,151],"Petri":[53,152],"Nets":[54,153],"(STPNs)":[55],"through":[56,68,90],"editor,":[59],"validated":[60],"using":[61],"an":[62],"interactive":[63],"token":[64],"game,":[65],"analyzed":[67],"several":[69],"techniques":[70,161],"compute":[72],"instantaneous":[73],"or":[74,166],"cumulative":[75],"rewards.":[76],"STPNs":[77,130,140],"also":[79,146],"exported":[81],"code":[84],"conduct":[86],"extensive":[87],"parametric":[88],"studies":[89],"library,":[93],"now":[94],"distributed":[95],"open-source.":[97],"A":[98],"well-engineered":[99],"software":[100],"architecture":[101],"allows":[102],"implement":[106],"features":[108,121],"STPNs,":[110,157],"modeling":[112,131,141,189],"formalisms,":[113],"methods.":[117],"most":[119,170],"distinctive":[120],"ORIS":[123,145,186],"include":[124],"transient":[125,137],"steady-state":[127],"Markov":[132,164],"Regenerative":[133],"Processes":[134],"(MRPs),":[135],"generalized":[142],"semi-Markov":[143],"processes.":[144],"supports":[147],"state-space":[148],"(TPNs),":[154],"simulation":[155],"standard":[159],"continuous-time":[163],"chains":[165],"MRPs":[167],"at":[169],"one":[171],"non-exponential":[172],"timer":[173],"in":[174],"each":[175],"state.":[176],"illustrate":[178],"general":[180],"workflow":[181],"application":[184],"non-functional":[193],"requirements":[194],"software-intensive":[196],"systems.":[197]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":12},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":7},{"year":2019,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2019-05-29T00:00:00"}