Collaborated with:D.Kroening A.Abate L.C.Cordeiro C.David E.Polgreen I.Bessa D.Cattaruzza P.Schrammel M.Trtík L.C.Chaves
Talks about:synthesi (3) control (2) physic (2) plant (2) digit (2) autom (2) tool (2) counterexampl (1) bytecod (1) verifi (1)
Person: Pascal Kesseli
DBLP: Kesseli:Pascal
Contributed to:
2017
20172018Wrote 4 papers:
- ASE-2017-AbateBCCCDKKP #automation #named #physics #synthesis
- DSSynth: an automated digital controller synthesis tool for physical plants (AA, IB, DC, LCC, LCC, CD, PK, DK, EP), pp. 919–924.
- CAV-2017-AbateBCCDKKP #automation #physics #synthesis
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants (AA, IB, DC, LCC, CD, PK, DK, EP), pp. 462–482.
- CAV-2018-AbateDKKP #induction #modulo theories #synthesis
- Counterexample Guided Inductive Synthesis Modulo Theories (AA, CD, PK, DK, EP), pp. 270–288.
- CAV-2018-CordeiroKKST #bound #bytecode #java #model checking #named #verification
- JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode (LCC, PK, DK, PS, MT), pp. 183–190.