Autor der Publikation

Ticc: A Tool for Interface Compatibility and Composition.

, , , , , , und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 59-62. Springer, (2006)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Solving Games Via Three-Valued Abstraction Refinement., und . CONCUR, Volume 4703 von Lecture Notes in Computer Science, Seite 74-89. Springer, (2007)Modified shuffled frog leaping algorithm with genetic algorithm crossover for solving economic load dispatch problem with valve-point effect., , und . Appl. Soft Comput., 13 (11): 4244-4252 (2013)Adapting Futures: Scalability for Real-World Computing., , , und . RTSS, Seite 105-118. IEEE Computer Society, (2007)Interface Building for Software by Modular Three-Valued Abstraction Refinement.. CoRR, (2010)Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives, , und . CoRR, (2011)Safety-Guarantee Controller Synthesis for Cyber-Physical Systems, , und . CoRR, (2010)Solving games via three-valued abstraction refinement., und . Inf. Comput., 208 (6): 666-676 (2010)Magnifying-Lens Abstraction for Markov Decision Processes., und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 325-338. Springer, (2007)Ticc: A Tool for Interface Compatibility and Composition., , , , , , und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 59-62. Springer, (2006)High Coverage Concolic Equivalence Checking., , und . DATE, Seite 462-467. IEEE, (2019)