SynCoP 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

Affiliation

Name

Results (22)

Parosh Aziz Abdulla Uppsala University Sweden Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Étienne André LIPN, CNRS UMR 7030, Université Paris 13 France Steering Committee Chair in Steering Committee (and PC) within the SynCoP-track
Christian Attiogbe Author of Parametric statistical model checking of UAV flightplan within the SynCoP-track in SynCoP 2019
Christel Baier TU Dresden, Germany Germany Author of Parametric Markov chains: algorithms, complexity and applications within the SynCoP-track in SynCoP 2019
Ran Bao Author of Parametric statistical model checking of UAV flightplan within the SynCoP-track in SynCoP 2019
Nikola Benes Author of Parameter Synthesis for Timed Automata with Clock-Aware LTL Properties within the SynCoP-track in SynCoP 2019
Luca Bortolussi University of Trieste Italy Author of Parametric Verification and Synthesis based on Gaussian Processes within the SynCoP-track in SynCoP 2019
Camille Coti LIPN, Université Paris 13 France Author of Fault-tolerant matrix factorisation: a formal model and proof within the SynCoP-track in SynCoP 2019
Benoit Delahaye Author of Parametric statistical model checking of UAV flightplan within the SynCoP-track in SynCoP 2019
Giorgio Delzanno DIBRIS, University of Genova Italy Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Peter Habermehl IRIF France Author of On Parameterised Jobshop Scheduling Problems within the SynCoP-track in SynCoP 2019 Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Nils Jansen Author of Convex Optimization meets Parameter Synthesis for MDPs within the SynCoP-track in SynCoP 2019
Loïg Jezequel Université de Nantes, CNRS Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Jan Kretinsky Technical University of Munich Germany Author of Learning-Based Mean-Payoff Optimization in an unknown MDP under Omega-Regular Constraints within the SynCoP-track in SynCoP 2019
Kim Larsen Aalborg University Denmark Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Artur Meski Author of SMT-based bounded model checking for parametric reaction systems within the SynCoP-track in SynCoP 2019
Laura Nenzi Author of Parametric Verification and Synthesis based on Gaussian Processes within the SynCoP-track in SynCoP 2019
Wojciech Penczek IPI-PAN Poland Author of SMT-based bounded model checking for parametric reaction systems within the SynCoP-track in SynCoP 2019 Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Laure Petrucci Université Paris 13 France Author of Fault-tolerant matrix factorisation: a formal model and proof within the SynCoP-track in SynCoP 2019 Author of Pruning NDFS for Parametric Timed Automata within the SynCoP-track in SynCoP 2019 Organizing Committee in Organizing Committee within the SynCoP-track
Simone Silvetti Author of Parametric Verification and Synthesis based on Gaussian Processes within the SynCoP-track in SynCoP 2019
Daniel Alberto Torres Gonzalez LIPN, Université Paris 13 Mexico Author of Fault-tolerant matrix factorisation: a formal model and proof within the SynCoP-track in SynCoP 2019
Jaco van de Pol Aarhus University Denmark Author of Pruning NDFS for Parametric Timed Automata within the SynCoP-track in SynCoP 2019 Committee Member in Organizing Committee within the SynCoP-track