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

HyRG: a random generation tool for affine hybrid automata.

L. Nguyen, C. Schilling, S. Bogomolov, und T. Johnson. HSCC, Seite 289-290. ACM, (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.

Felix Schilling University of Stuttgart

Maximilian Schilling University of Stuttgart

Lukas Schilling University of Stuttgart

Alexander Schilling University of Stuttgart

Magdalena Schilling University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems.D. Bryce, S. Bogomolov, A. Heinz, und C. Schilling. CoRR, (2016)Membership-Based Synthesis of Linear Hybrid Automata.M. Soto, T. Henzinger, C. Schilling, und L. Zeleznik. CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 297-314. Springer, (2019)Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.S. Bogomolov, T. Henzinger, A. Podelski, J. Ruess, und C. Schilling. CMSB, Volume 9308 von Lecture Notes in Computer Science, Seite 77-89. Springer, (2015)Implementations of two algorithms for the threshold synthesis problem.J. Smaus, C. Schilling, und F. Wenzelmann. ISAIM, (2012)JuliaReach: a toolbox for set-based reachability.S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, und C. Schilling. HSCC, Seite 39-44. ACM, (2019)Verfahren zur Klassifikation des Verkehrs auf WLAN-Verbindungen.C. Schilling. Dortmund University of Technology, (2012)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D. Sanders, und C. Schilling. ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 41-61. EasyChair, (2019)Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen und 4 andere Autor(en). CCA, Seite 1024-1029. IEEE, (2016)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.M. Althoff, S. Bak, M. Forets, G. Frehse, N. Kochdumper, R. Ray, C. Schilling, und S. Schupp. ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 14-40. EasyChair, (2019)Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).M. Greitschus, D. Dietsch, M. Heizmann, A. Nutz, C. Schätzle, C. Schilling, F. Schüssele, und A. Podelski. TACAS (2), Volume 10206 von Lecture Notes in Computer Science, Seite 399-403. (2017)