{"id":"https://openalex.org/W2104229511","doi":"https://doi.org/10.4204/eptcs.154","title":"Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems","display_name":"Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems","publication_year":2014,"publication_date":"2014-06-06","ids":{"openalex":"https://openalex.org/W2104229511","doi":"https://doi.org/10.4204/eptcs.154","mag":"2104229511"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.154","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.154","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-issue"},"type":"paratext","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4204/eptcs.154","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019307337","display_name":"Nathalie Bertrand","orcid":"https://orcid.org/0000-0002-9957-5394"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Bertrand, Nathalie","raw_affiliation_strings":["SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060744592","display_name":"Luca Bortolussi","orcid":"https://orcid.org/0000-0001-8874-4001"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Bortolussi, Luca","raw_affiliation_strings":["Universit\u00e0 degli studi di Trieste = University of Trieste (Piazzale Europa, 1 - 34127 - Trieste - Italy)"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli studi di Trieste = University of Trieste (Piazzale Europa, 1 - 34127 - Trieste - Italy)","institution_ids":["https://openalex.org/I142444530"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5019307337"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"154","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.8464000225067139,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.8464000225067139,"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/T10260","display_name":"Software Engineering Research","score":0.7781999707221985,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.7466999888420105,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7107325792312622},{"id":"https://openalex.org/keywords/theme","display_name":"Theme (computing)","score":0.5449830293655396},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4882810115814209},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.43865978717803955},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.425581693649292},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42035117745399475},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.32155823707580566},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3179829716682434},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.128803551197052},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09855622053146362},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.08930730819702148}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7107325792312622},{"id":"https://openalex.org/C33566652","wikidata":"https://www.wikidata.org/wiki/Q1065927","display_name":"Theme (computing)","level":2,"score":0.5449830293655396},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4882810115814209},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.43865978717803955},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.425581693649292},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42035117745399475},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.32155823707580566},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3179829716682434},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.128803551197052},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09855622053146362},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.08930730819702148},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.4204/eptcs.154","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.154","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-issue"},{"id":"pmh:oai:arXiv.org:1406.1567","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1406.1567","pdf_url":"https://arxiv.org/pdf/1406.1567","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-01082133v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01082133","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Nathalie Bertrand; Luca Bortolussi. 154, 2014, Electronic Proceedings in Theoretical Computer Science (EPTCS), ⟨10.4204/EPTCS.154⟩","raw_type":"Books"}],"best_oa_location":{"id":"doi:10.4204/eptcs.154","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.154","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-issue"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1876039949","https://openalex.org/W2351167057","https://openalex.org/W570509144","https://openalex.org/W2356772582","https://openalex.org/W1499778516","https://openalex.org/W4200264008","https://openalex.org/W2739095861","https://openalex.org/W1992606257","https://openalex.org/W2356359262","https://openalex.org/W2788308474"],"abstract_inverted_index":{"This":[0],"volume":[1],"contains":[2],"the":[3,6,36,51,65,98,102,111,115,124,129,134,145,159,166],"proceedings":[4],"of":[5,12,35,44,50,55,58,67,104,113,117,133,139,148,168],"Twelfth":[7],"Workshop":[8],"on":[9,23,40],"Quantitative":[10],"Aspects":[11],"Programming":[13],"Languages":[14],"and":[15,25,42,82,87,89,100,123,126,131,154],"Systems":[16],"(QAPL":[17],"2014),":[18],"held":[19],"in":[20,96,158],"Grenoble,":[21],"France,":[22],"12":[24],"13":[26],"April,":[27],"2014.":[28],"QAPL":[29],"2014":[30],"was":[31],"a":[32,163],"satellite":[33],"event":[34],"European":[37],"Joint":[38],"Conferences":[39],"Theory":[41],"Practice":[43],"Software":[45],"(ETAPS).":[46],"The":[47,137],"central":[48,109],"theme":[49],"workshop":[52,141],"is":[53,142],"that":[54],"quantitative":[56,149],"aspects":[57,61],"computation.":[59],"These":[60],"are":[62,108],"related":[63],"to":[64,110,143],"use":[66,147],"physical":[68],"quantities":[69,79,107],"(storage":[70],"space,":[71],"time,":[72],"bandwidth,":[73],"etc.)":[74],"as":[75,77,152,162],"well":[76],"mathematical":[78],"(e.g.":[80],"probability":[81],"measures":[83],"for":[84,128,165],"reliability,":[85],"security":[86],"trust),":[88],"play":[90],"an":[91],"important":[92],"(sometimes":[93],"essential)":[94],"role":[95],"characterising":[97],"behaviour":[99],"determining":[101],"properties":[103],"systems.":[105,169],"Such":[106],"definition":[112],"both":[114],"model":[116,160],"systems":[118,135],"(architecture,":[119],"language":[120],"design,":[121],"semantics)":[122],"methodologies":[125],"tools":[127],"analysis":[130,167],"verification":[132],"properties.":[136],"aim":[138],"this":[140],"discuss":[144],"explicit":[146],"information":[150],"such":[151],"time":[153],"probabilities":[155],"either":[156],"directly":[157],"or":[161],"tool":[164]},"counts_by_year":[],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2016-06-24T00:00:00"}