QAPL 2019 Contributors -

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (26)

A Alessandro AldiniAldini, Alessandro University of UrbinoItaly Steering Committee Member in Steering Committee within the QAPL-track Co-chair in Organizing Committee within the QAPL-track
B Giorgio BacciBacci, Giorgio Aalborg University A Faster-Than Relation for Semi-Markov Decision Processes
Kevin BatzBatz, Kevin RWTH Aachen University Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
Gina BelmonteBelmonte, Gina Recent Applications and Quantitative Aspects of Spatial Model Checking
Marco BernardoBernardo, Marco University of Urbino Coherent Resolutions of Nondeterminism Equational Characterization Metaresults for Bisimulation and Trace Semantics in ULTraS
Nathalie BertrandBertrand, Nathalie INRIA Rennes Steering Committee Member in Steering Committee within the QAPL-track
Jan Olaf BlechBlech, Jan Olaf Aalto University Towards Digital Twins for the Description of Automotive Software Systems
Luca BortolussiBortolussi, Luca University of TriesteItaly Steering Committee Member in Steering Committee within the QAPL-track
C Vincenzo CianciaCiancia, Vincenzo Recent Applications and Quantitative Aspects of Spatial Model Checking
D Alessandra Di PierroDi Pierro, Alessandra University of Verona, Italy Steering Committee Member in Steering Committee within the QAPL-track
G Sergey GoncharovGoncharov, Sergey FAU Erlangen-Nürnberg, Lehrstuhl 8Germany An Adequate Semantics for Hybrid While
K Benjamin Lucien KaminskiKaminski, Benjamin Lucien RWTH Aachen University; University College London Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
Maja KirkebyKirkeby, Maja Roskilde University Probabilistic output analyses for deterministic programs -reusing existing non-probabilistic analyses
L Kim LarsenLarsen, Kim Aalborg UniversityDenmark A Faster-Than Relation for Semi-Markov Decision Processes
Diego LatellaLatella, Diego Recent Applications and Quantitative Aspects of Spatial Model Checking
M Mieke MassinkMassink, Mieke CNR-ISTI Pisa, Italy Recent Applications and Quantitative Aspects of Spatial Model Checking Steering Committee Member in Steering Committee within the QAPL-track
Christoph MathejaMatheja, Christoph RWTH Aachen UniversityGermany Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
N Renato NevesNeves, Renato University of Minho & INESC TEC An Adequate Semantics for Hybrid While
Thomas NollNoll, Thomas RWTH Aachen University Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs
O C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
P Mathias Ruggaard PedersenPedersen, Mathias Ruggaard Aalborg University A Faster-Than Relation for Semi-Markov Decision Processes
S Anne SchreuderSchreuder, Anne Technischen Universität KaiserslauternGermany Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
T Mirco TribastoneTribastone, Mirco IMT Institute for Advanced Studies Lucca, Italy Steering Committee Member in Steering Committee within the QAPL-track
Max TschaikowskiTschaikowski, Max TU Wien Invited talk: Exact and Approximate Reductions of Quantitative Models
W Herbert WiklickyWiklicky, Herbert Imperial College LondonUnited Kingdom Principles of QAPL: What I learned in nearly 20 years and what I still don’t understand Steering Committee Member in Steering Committee within the QAPL-track Co-chair in Organizing Committee within the QAPL-track