FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3085431377> ?p ?o ?g. }

• W3085431377 abstract "Quantitative analysis of computing systems is an emerging area in automated formal analysis. Such properties address aspects such as costs and rewards, quality measures, resource consumption, distance metrics, etc. Existing solutions for problems in quantitative analysis face two challenges, namely lack of generalizability and separation-of-techniques. Lack of generalizability refers to the issue that solution approaches are specialized to cost model. Different cost models deploy such disparate algorithms that there is no transfer of knowledge from one cost model to another. Separation-of-techniques refers to the inherent dichotomy in solving problems in quantitative analysis. Most algorithms comprise of a structural phase which reasons about the structure of the quantitative system(s) using techniques from automata or graphs, and a numerical phase, which reasons about the quantitative dimension/cost model using numerical methods. The techniques used in both phases are so unlike each other that they are difficult to combine, thereby impacting scalability. This thesis contributes to a novel framework that addresses these challenges. The introduced framework, called comparator automata or comparators in short, builds on automata-theoretic foundations to generalize across a variety of cost models. Comparators enable automata-based methods in the numerical phase, hence eradicating the dependence on numerical methods. In doing so, comparators are able to integrate the structural and numerical phases. On the theoretical front, we demonstrate that these have the advantage of generalizable results, and yield complexity-theoretic improvements over a range of problems in quantitative analysis. On the empirical front, we demonstrate that comparator-based solutions render more efficient, scalable, and robust performance, and are able to integrate quantitative with qualitative objectives." @default.
• W3085431377 created "2020-09-21" @default.
• W3085431377 creator A5063106552 @default.
• W3085431377 date "2020-05-13" @default.
• W3085431377 modified "2023-09-27" @default.
• W3085431377 title "Automata-Based Quantitative Verification" @default.
• W3085431377 cites W142385736 @default.
• W3085431377 cites W1497067119 @default.
• W3085431377 cites W1497805930 @default.
• W3085431377 cites W1498432697 @default.
• W3085431377 cites W1506193208 @default.
• W3085431377 cites W1506225460 @default.
• W3085431377 cites W1515851193 @default.
• W3085431377 cites W1553940723 @default.
• W3085431377 cites W1588454361 @default.
• W3085431377 cites W1589996173 @default.
• W3085431377 cites W1601155136 @default.
• W3085431377 cites W1605697145 @default.
• W3085431377 cites W1629199664 @default.
• W3085431377 cites W1757114815 @default.
• W3085431377 cites W1761635979 @default.
• W3085431377 cites W1765180305 @default.
• W3085431377 cites W1786377004 @default.
• W3085431377 cites W1817451992 @default.
• W3085431377 cites W1835836356 @default.
• W3085431377 cites W1852784691 @default.
• W3085431377 cites W1979078717 @default.
• W3085431377 cites W1982129592 @default.
• W3085431377 cites W1984478483 @default.
• W3085431377 cites W2011065519 @default.
• W3085431377 cites W2012312630 @default.
• W3085431377 cites W2019881090 @default.
• W3085431377 cites W2020430463 @default.
• W3085431377 cites W2023808162 @default.
• W3085431377 cites W2026128612 @default.
• W3085431377 cites W2036772106 @default.
• W3085431377 cites W2046932483 @default.
• W3085431377 cites W2059045337 @default.
• W3085431377 cites W2061438988 @default.
• W3085431377 cites W2065595179 @default.
• W3085431377 cites W2070937106 @default.
• W3085431377 cites W2080267935 @default.
• W3085431377 cites W2088432971 @default.
• W3085431377 cites W2102589262 @default.
• W3085431377 cites W2106388690 @default.
• W3085431377 cites W2109100253 @default.
• W3085431377 cites W2109187338 @default.
• W3085431377 cites W2112347632 @default.
• W3085431377 cites W2116820075 @default.
• W3085431377 cites W2117189826 @default.
• W3085431377 cites W2125422788 @default.
• W3085431377 cites W2130429059 @default.
• W3085431377 cites W2141076336 @default.
• W3085431377 cites W2147436337 @default.
• W3085431377 cites W2148195254 @default.
• W3085431377 cites W2161687198 @default.
• W3085431377 cites W2162943184 @default.
• W3085431377 cites W2166996723 @default.
• W3085431377 cites W2182989809 @default.
• W3085431377 cites W2294334272 @default.
• W3085431377 cites W2334782222 @default.
• W3085431377 cites W2486590439 @default.
• W3085431377 cites W2547665360 @default.
• W3085431377 cites W2555835184 @default.
• W3085431377 cites W2575731723 @default.
• W3085431377 cites W2576017016 @default.
• W3085431377 cites W2724242804 @default.
• W3085431377 cites W2741588746 @default.
• W3085431377 cites W2775497185 @default.
• W3085431377 cites W2787259638 @default.
• W3085431377 cites W2796674918 @default.
• W3085431377 cites W2803455449 @default.
• W3085431377 cites W2803993242 @default.
• W3085431377 cites W2810178509 @default.
• W3085431377 cites W2884407740 @default.
• W3085431377 cites W2884604380 @default.
• W3085431377 cites W2884889320 @default.
• W3085431377 cites W2893132739 @default.
• W3085431377 cites W2962398095 @default.
• W3085431377 cites W2963056188 @default.
• W3085431377 cites W2963604565 @default.
• W3085431377 cites W2989358546 @default.
• W3085431377 cites W2996896666 @default.
• W3085431377 cites W3014072505 @default.
• W3085431377 cites W2133162674 @default.
• W3085431377 hasPublicationYear "2020" @default.
• W3085431377 type Work @default.
• W3085431377 sameAs 3085431377 @default.
• W3085431377 citedByCount "0" @default.
• W3085431377 crossrefType "journal-article" @default.
• W3085431377 hasAuthorship W3085431377A5063106552 @default.
• W3085431377 hasConcept C105795698 @default.
• W3085431377 hasConcept C112505250 @default.
• W3085431377 hasConcept C136197465 @default.
• W3085431377 hasConcept C154945302 @default.
• W3085431377 hasConcept C159985019 @default.
• W3085431377 hasConcept C192562407 @default.
• W3085431377 hasConcept C204323151 @default.
• W3085431377 hasConcept C27158222 @default.
• W3085431377 hasConcept C33923547 @default.

• next