Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Assisted Coverage Closure.

A. Nellis, P. Kesseli, P. Conmy, D. Kroening, P. Schrammel, und M. Tautschnig. CoRR, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pascal Goldschmid University of Stuttgart

Reinforcement learning based autonomous multi-rotor landing on moving platformsP. Goldschmid, und A. Ahmad. Autonomous Robots, 48 (4): 13 (06.06.2024)

Pascal Gröger University of Stuttgart

Pascal Heinzelmann University of Stuttgart

Pascal Strobel University of Stuttgart

Pascal Mossier University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.A. Abate, I. Bessa, D. Cattaruzza, L. Cordeiro, C. David, P. Kesseli, und D. Kroening. CoRR, (2016)Program Synthesis for Program Analysis.C. David, P. Kesseli, D. Kroening, und M. Lewis. ACM Trans. Program. Lang. Syst., 40 (2): 5:1-5:45 (2018)Towards establishing formal verification and inductive code synthesis in the PLC domainM. Weiß, P. Marks, B. Maschler, D. White, P. Kesseli, und M. Weyrich. (2021)DSSynth: an automated digital controller synthesis tool for physical plants.A. Abate, I. Bessa, D. Cattaruzza, L. Chaves, L. Cordeiro, C. David, P. Kesseli, D. Kroening, und E. Polgreen. ASE, Seite 919-924. IEEE Computer Society, (2017)Kayak: Safe Semantic Refactoring to Java Streams.C. David, P. Kesseli, und D. Kroening. CoRR, (2017)Assisted Coverage Closure.A. Nellis, P. Kesseli, P. Conmy, D. Kroening, P. Schrammel, und M. Tautschnig. CoRR, (2015)Assisted Coverage Closure.A. Nellis, P. Kesseli, P. Conmy, D. Kroening, P. Schrammel, und M. Tautschnig. NFM, Volume 9690 von Lecture Notes in Computer Science, Seite 49-64. Springer, (2016)JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.L. Cordeiro, P. Kesseli, D. Kroening, P. Schrammel, und M. Trtík. CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 183-190. Springer, (2018)Danger Invariants.C. David, P. Kesseli, D. Kroening, und M. Lewis. FM, Volume 9995 von Lecture Notes in Computer Science, Seite 182-198. (2016)Learning the Language of Error.M. Chapman, H. Chockler, P. Kesseli, D. Kroening, O. Strichman, und M. Tautschnig. ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 114-130. Springer, (2015)