Pascal Kesseli

Affiliations
  • Lacework Ltd, Mountain View, CA, UK.

Publications (2)

Synthesising Programs with Non-trivial Constants.

Journal of automated reasoning
Avec: Alessandro Abate , Haniel Barbosa , Clark Barrett , Cristina David , Pascal Kesseli , Daniel Kroening , Elizabeth Polgreen , Andrew Reynolds , Cesare Tinelli

Automated formal synthesis of provably safe digital controllers for continuous plants.

Acta informatica
Avec: Alessandro Abate , Iury Bessa , Lucas Cordeiro , Cristina David , Pascal Kesseli , Daniel Kroening , Elizabeth Polgreen

Réseau de co-auteurs

Alessandro Abate 2 collaborations
Cristina David 2 collaborations
Daniel Kroening 2 collaborations
Elizabeth Polgreen 2 collaborations
Haniel Barbosa 1 collaboration
Clark Barrett 1 collaboration
Andrew Reynolds 1 collaboration
Cesare Tinelli 1 collaboration
Iury Bessa 1 collaboration
Lucas Cordeiro 1 collaboration