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

Results (22)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala UniversitySweden Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Étienne AndréAndré, Étienne LIPN, CNRS UMR 7030, Université Paris 13France Steering Committee Chair in Steering Committee (and PC) within the SynCoP-track
Christian AttiogbeAttiogbe, Christian Parametric statistical model checking of UAV flightplan
B Christel BaierBaier, Christel TU Dresden, GermanyGermany Parametric Markov chains: algorithms, complexity and applications
Ran BaoBao, Ran Parametric statistical model checking of UAV flightplan
Nikola BenesBenes, Nikola Parameter Synthesis for Timed Automata with Clock-Aware LTL Properties
Luca BortolussiBortolussi, Luca University of TriesteItaly Parametric Verification and Synthesis based on Gaussian Processes
C Camille CotiCoti, Camille LIPN, Université Paris 13France Fault-tolerant matrix factorisation: a formal model and proof
D Benoit DelahayeDelahaye, Benoit Parametric statistical model checking of UAV flightplan
Giorgio DelzannoDelzanno, Giorgio DIBRIS, University of GenovaItaly Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
H Peter HabermehlHabermehl, Peter IRIFFrance On Parameterised Jobshop Scheduling Problems Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
J Nils JansenJansen, Nils Convex Optimization meets Parameter Synthesis for MDPs
Loïg JezequelJezequel, Loïg Université de Nantes, CNRS Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
K Jan KretinskyKretinsky, Jan Technical University of MunichGermany Learning-Based Mean-Payoff Optimization in an unknown MDP under Omega-Regular Constraints
L Kim LarsenLarsen, Kim Aalborg UniversityDenmark Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
M Artur MeskiMeski, Artur SMT-based bounded model checking for parametric reaction systems
N Laura NenziNenzi, Laura Parametric Verification and Synthesis based on Gaussian Processes
P Wojciech PenczekPenczek, Wojciech IPI-PANPoland SMT-based bounded model checking for parametric reaction systems Steering Committee Member in Steering Committee (and PC) within the SynCoP-track
Laure PetrucciPetrucci, Laure Université Paris 13France Fault-tolerant matrix factorisation: a formal model and proof Pruning NDFS for Parametric Timed Automata Organizing Committee in Organizing Committee within the SynCoP-track
S Simone SilvettiSilvetti, Simone Parametric Verification and Synthesis based on Gaussian Processes
T Daniel Alberto Torres GonzalezTorres Gonzalez, Daniel Alberto LIPN, Université Paris 13Mexico Fault-tolerant matrix factorisation: a formal model and proof
V Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Pruning NDFS for Parametric Timed Automata Committee Member in Organizing Committee within the SynCoP-track