Matches in SemOpenAlex for { <https://semopenalex.org/work/W3098782973> ?p ?o ?g. }
- W3098782973 endingPage "19" @default.
- W3098782973 startingPage "1" @default.
- W3098782973 abstract "Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliability and security. They are essential in characterizing the behaviour of many critical systems and in estimating their properties. Hence, they need to be integrated both at the level of system modeling and within the verification methodologies and tools. Along the last two decades a variety of theoretical achievements and automated techniques have contributed to make quantitative modeling and verification mainstream in the research community. In the same period, they represented the central theme of the series of workshops entitled Quantitative Aspects of Programming Languages and Systems (QAPL) and born in 2001. The aim of this survey is to revisit such achievements and results from the standpoint of QAPL and its community." @default.
- W3098782973 created "2020-11-23" @default.
- W3098782973 creator A5044960820 @default.
- W3098782973 date "2020-01-20" @default.
- W3098782973 modified "2023-10-16" @default.
- W3098782973 title "Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond" @default.
- W3098782973 cites W192542240 @default.
- W3098782973 cites W1964764902 @default.
- W3098782973 cites W1968827335 @default.
- W3098782973 cites W1970146550 @default.
- W3098782973 cites W1972362432 @default.
- W3098782973 cites W1974265644 @default.
- W3098782973 cites W1976080895 @default.
- W3098782973 cites W1976567548 @default.
- W3098782973 cites W1977678422 @default.
- W3098782973 cites W1980522848 @default.
- W3098782973 cites W1980964984 @default.
- W3098782973 cites W1986848695 @default.
- W3098782973 cites W1989095004 @default.
- W3098782973 cites W1996307212 @default.
- W3098782973 cites W1997561697 @default.
- W3098782973 cites W1998517487 @default.
- W3098782973 cites W2000280189 @default.
- W3098782973 cites W2003120459 @default.
- W3098782973 cites W2005625453 @default.
- W3098782973 cites W2010298731 @default.
- W3098782973 cites W2010426824 @default.
- W3098782973 cites W2011427634 @default.
- W3098782973 cites W2014582618 @default.
- W3098782973 cites W2014907753 @default.
- W3098782973 cites W2017994823 @default.
- W3098782973 cites W2018187447 @default.
- W3098782973 cites W2020876738 @default.
- W3098782973 cites W2022019677 @default.
- W3098782973 cites W2023011641 @default.
- W3098782973 cites W2025741235 @default.
- W3098782973 cites W2033771089 @default.
- W3098782973 cites W2037134823 @default.
- W3098782973 cites W2044774081 @default.
- W3098782973 cites W2047343396 @default.
- W3098782973 cites W2047901101 @default.
- W3098782973 cites W2053174510 @default.
- W3098782973 cites W2053335287 @default.
- W3098782973 cites W2054554886 @default.
- W3098782973 cites W2055687978 @default.
- W3098782973 cites W2056171903 @default.
- W3098782973 cites W2062724117 @default.
- W3098782973 cites W2062879889 @default.
- W3098782973 cites W2062936109 @default.
- W3098782973 cites W2063394671 @default.
- W3098782973 cites W2066079279 @default.
- W3098782973 cites W2070470314 @default.
- W3098782973 cites W2070721186 @default.
- W3098782973 cites W2071662215 @default.
- W3098782973 cites W2075154815 @default.
- W3098782973 cites W2078008021 @default.
- W3098782973 cites W2083576282 @default.
- W3098782973 cites W2086919345 @default.
- W3098782973 cites W2087871167 @default.
- W3098782973 cites W2088409631 @default.
- W3098782973 cites W2088701763 @default.
- W3098782973 cites W209443128 @default.
- W3098782973 cites W2094712524 @default.
- W3098782973 cites W2096094850 @default.
- W3098782973 cites W2101150281 @default.
- W3098782973 cites W2103759928 @default.
- W3098782973 cites W2104219297 @default.
- W3098782973 cites W2104647943 @default.
- W3098782973 cites W2106190666 @default.
- W3098782973 cites W2106265536 @default.
- W3098782973 cites W2106513521 @default.
- W3098782973 cites W2106573617 @default.
- W3098782973 cites W2107737377 @default.
- W3098782973 cites W2110697357 @default.
- W3098782973 cites W2113081700 @default.
- W3098782973 cites W2113317262 @default.
- W3098782973 cites W2115124728 @default.
- W3098782973 cites W2116834908 @default.
- W3098782973 cites W2120106863 @default.
- W3098782973 cites W2122241814 @default.
- W3098782973 cites W2125930621 @default.
- W3098782973 cites W2126143155 @default.
- W3098782973 cites W2126587215 @default.
- W3098782973 cites W2126908237 @default.
- W3098782973 cites W2127457786 @default.
- W3098782973 cites W2127540159 @default.
- W3098782973 cites W2128714826 @default.
- W3098782973 cites W2128746993 @default.
- W3098782973 cites W2129858673 @default.
- W3098782973 cites W2130241416 @default.
- W3098782973 cites W2130446660 @default.
- W3098782973 cites W2133013985 @default.
- W3098782973 cites W2133907059 @default.
- W3098782973 cites W2134121859 @default.
- W3098782973 cites W2134519120 @default.
- W3098782973 cites W2135115058 @default.
- W3098782973 cites W2137991784 @default.
- W3098782973 cites W2140597298 @default.