Program Synthesis for Program Analysis von David, Cristina, Kesseli, Pascal, Kroening, Daniel, Lewis, Matt

Volltext

Automated formal synthesis of provably safe digital controllers for continuous plants von Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

Volltext

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants von Abate, Alessandro, Bessa, Iury, Cattaruzza, Dario, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

Volltext

Learning the Language of Software Errors von Chockler, Hana, Kesseli, Pascal, Kroening, Daniel, Strichman, Ofer

Volltext

Synthesising Programs with Non-trivial Constants von Abate, Alessandro, Barbosa, Haniel, Barrett, Clark, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth, Reynolds, Andrew, Tinelli, Cesare

Volltext

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants von Abate, Alessandro, Bessa, Iury, Cattaruzza, Dario, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

Volltext

Danger Invariants von David, Cristina, Kesseli, Pascal, Kroening, Daniel, Lewis, Matt

Volltext

Learning the Language of Error von Chapman, Martin, Chockler, Hana, Kesseli, Pascal, Kroening, Daniel, Strichman, Ofer, Tautschnig, Michael

Volltext

Assisted Coverage Closure von Nellis, Adam, Kesseli, Pascal, Conmy, Philippa Ryan, Kroening, Daniel, Schrammel, Peter, Tautschnig, Michael

Volltext

Towards establishing formal verification and inductive code synthesis in the PLC domain von Weiß, Matthias, Marks, Philipp, Maschler, Benjamin, White, Dustin, Kesseli, Pascal, Weyrich, Michael

Volltext bestellen

Kayak: Safe Semantic Refactoring to Java Streams von David, Cristina, Kesseli, Pascal, Kroening, Daniel

Volltext bestellen

Automated formal synthesis of provably safe digital controllers for continuous plants von Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

Volltext bestellen

Automated formal synthesis of provably safe digital controllers for continuous plants von Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

Volltext bestellen

Automated formal synthesis of provably safe digital controllers for continuous plants von Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

Volltext bestellen

Danger Invariants von David, Cristina, Kesseli, Pascal, Kroening, Daniel, Lewis, Matt

Volltext bestellen

Kayak: Safe Semantic Refactoring to Java Streams von Cristina, David, Kesseli, Pascal, Kroening, Daniel

Volltext

Towards establishing formal verification and inductive code synthesis in the PLC domain von Weiß, Matthias, Marks, Philipp, Maschler, Benjamin, White, Dustin, Kesseli, Pascal, Weyrich, Michael

Volltext

Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants von Abate, Alessandro, Bessa, Iury, Cattaruzza, Dario, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth

Volltext bestellen

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants von Abate, Alessandro, Bessa, Iury, Cattaruzza, Dario, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel

Volltext bestellen

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants von Abate, Alessandro, Bessa, Iury, Cattaruzza, Dario, Cordeiro, Lucas, Cristina, David, Kesseli, Pascal, Kroening, Daniel

Volltext