Autor der Publikation

A strategy for efficient verification of relational specifications, based on monotonicity analysis.

, , , und . ASE, Seite 305-308. ACM, (2005)

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

A strategy for efficient verification of relational specifications, based on monotonicity analysis., , , und . ASE, Seite 305-308. ACM, (2005)A Dataflow Analysis to Improve SAT-Based Bounded Program Verification., , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 138-154. Springer, (2011)Inference engine based on closure and join operators over Truth Table Binary Relations., , , , , und . J. Log. Algebraic Methods Program., 83 (2): 180-193 (2014)EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)., , , und . ICSE (Companion Volume), Seite 185-186. IEEE, (2021)Bounded Exhaustive Search of Alloy Specification Repairs., , , , , , und . ICSE, Seite 1135-1147. IEEE, (2021)LISSA: Lazy Initialization with Specialized Solver Aid., , , , und . ASE, Seite 67:1-67:12. ACM, (2022)A calculus for program construction based on fork algebras, generic algorithms and design strategies., , und . RelMiCS, Seite 75-79. (1998)How to say Greedy in Fork Algebras., , und . RelMiCS, Seite 75-84. (2000)FLACK: Localizing Faults in Alloy Models., , , , , , und . ASE, Seite 1218-1222. IEEE, (2021)Adding Design Strategies to Fork Algebras., , und . Ershov Memorial Conference, Volume 1181 von Lecture Notes in Computer Science, Seite 214-226. Springer, (1996)