( en | de | ru )

 

Disambiguierung von "Collavizza, Hélène"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A dynamic constraint-based BMC strategy for generating counterexamples.

, , , , und . SAC, Seite 1633-1638. ACM, (2011)

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.

Hélène Esnault

Hélène Bernatchez

Hélène Martinez

Hélène Leroux

Hélène Jaudoin

 

Weitere Publikationen von Autoren mit dem selben Namen

Contribution à la vérication formelle et programmation par contraintes.. (2009)A dynamic constraint-based BMC strategy for generating counterexamples., , , , und . SAC, Seite 1633-1638. ACM, (2011)A Note on Partial Consistencies over Continuous Domains., , und . CP, Volume 1520 von Lecture Notes in Computer Science, Seite 147-161. Springer, (1998)Relationships between Partial Consistencies over Continuous Domains., , und . IJCSLP, Seite 345-346. MIT Press, (1998)Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level., und . CHARME, Volume 683 von Lecture Notes in Computer Science, Seite 109-121. Springer, (1993)Towards verifying VHDL descriptions of processors., und . EURO-DAC, Seite 414-419. IEEE Computer Society, (1995)LocFaults: a new flow-driven and constraint-based error localization approach., , und . SAC, Seite 1773-1780. ACM, (2015)CPBPV: a constraint-programming framework for bounded program verification., , und . Constraints An Int. J., 15 (2): 238-264 (2010)Searching input values hitting suspicious Intervals in programs with floating-point operations., , und . CoRR, (2015)CPBPV: A Constraint-Programming Framework for Bounded Program Verification., , und . CP, Volume 5202 von Lecture Notes in Computer Science, Seite 327-341. Springer, (2008)