PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Alberti, Francesco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Polyhedra to the rescue of array interpolants.

, und . SAC, Seite 1745-1750. 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.

Francesco Virgili University of Stuttgart

Francesco Salerno University of Stuttgart

Francesco Cucinotta University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Booster: An Acceleration-Based Verification Framework for Array Programs., , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 18-23. Springer, (2014)A Simple Abstraction of Arrays and Maps by Program Translation., und . SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 217-234. Springer, (2015)Definability of Accelerated Relations in a Theory of Arrays and Its Applications., , und . FroCos, Volume 8152 von Lecture Notes in Computer Science, Seite 23-39. Springer, (2013)An extension of lazy abstraction with interpolation for programs with arrays., , , , und . Formal Methods in System Design, 45 (1): 63-109 (2014)Verige: verification with invariant generation engine., , und . SPIN, Seite 121-124. ACM, (2014)Polyhedra to the rescue of array interpolants., und . SAC, Seite 1745-1750. ACM, (2015)Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies., , , und . CILC, Volume 1645 von CEUR Workshop Proceedings, Seite 102-117. CEUR-WS.org, (2016)Cardinality constraints for arrays (decidability results and applications)., , und . Formal Methods in System Design, 51 (3): 545-574 (2017)Counting Constraints in Flat Array Fragments., , und . IJCAR, Volume 9706 von Lecture Notes in Computer Science, Seite 65-81. Springer, (2016)A Framework for the Verification of Parameterized Infinite-state Systems., , und . Fundam. Inform., 150 (1): 1-24 (2017)