( en | de | ru )

 

Disambiguierung von "Frias, Marcelo F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.

, , , und . IEEE Trans. Software Eng., 39 (9): 1283-1307 (2013)

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.

Marcelo Trallero

Marcelo Ephraim

Marcelo Giovannetti

Marcelo Klötzle

Marcelo Bertasso

 

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)A calculus for program construction based on fork algebras, generic algorithms and design strategies., , und . RelMiCS, Seite 75-79. (1998)Inference engine based on closure and join operators over Truth Table Binary Relations., , , , , und . J. Log. Algebraic Methods Program., 83 (2): 180-193 (2014)Completeness of a relational calculus for program schemes., und . Theor. Comput. Sci., 254 (1-2): 543-556 (2001)Editorial., und . Logic Journal of the IGPL, 6 (2): 151-156 (1998)Bounded Exhaustive Search of Alloy Specification Repairs., , , , , , und . ICSE, Seite 1135-1147. IEEE, (2021)EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)., , , und . ICSE (Companion Volume), Seite 185-186. IEEE, (2021)LISSA: Lazy Initialization with Specialized Solver Aid., , , , und . ASE, Seite 67:1-67:12. ACM, (2022)How to say Greedy in Fork Algebras., , und . RelMiCS, Seite 75-84. (2000)