Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "QAPL@ETAPS"( http://dblp.L3S.de/Venues/QAPL@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2017 (8) 2019 (4) 2020 (1)
Publication types (Num. hits)
inproceedings(11) proceedings(2)
Venues (Conferences, Journals, ...)
QAPL@ETAPS(13)
Authors
Alessandro Aldini(2) Herbert Wiklicky(2) Ana Sokolova(1) Andrea Vandin(1) Barbara König 0001(1) Christina Mika(1) Diego Latella(1) Erik P. de Vink(1) Erika Ábrahám(1) Ezio Bartocci(1) Giorgio Bacci(1) Jacob Lidman(1) Jan Olaf Blech(1) Johanna Nellen(1) Josef Svenningsson(1) Kim G. Larsen(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alessandro Aldini, Herbert Wiklicky (eds.) Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jan Olaf Blech Towards Digital Twins for the Description of Automotive Software Systems. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maja Hanne Kirkeby Probabilistic Output Analyses for Deterministic Programs - Reusing Existing Non-probabilistic Analyses. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen A Faster-Than Relation for Semi-Markov Decision Processes. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Aldini Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Valentina Castiglioni, Simone Tini Logical Characterization of Trace Metrics. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Barbara König 0001, Sebastian Küpper, Christina Mika PAWS: A Tool for the Analysis of Weighted Systems. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jacob Lidman, Josef Svenningsson Bridging Static and Dynamic Program Analysis using Fuzzy Logic. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrea Vandin Language-based Abstractions for Dynamical Systems. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Herbert Wiklicky, Erik P. de Vink (eds.) Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Stefan Schupp, Johanna Nellen, Erika Ábrahám Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sebastian Arming, Ezio Bartocci, Ana Sokolova SEA-PARAM: Exploring Schedulers in Parametric MDPs. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Diego Latella, Mieke Massink Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination. Search on Bibsonomy QAPL@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license