Seitenbereiche:



Menü des aktuellen Bereichs:

Zusatzinformationen:

JKU-Fangemeinde auf Facebook

Werde JKU-Fan auf Facebook!

Werde JKU-Fan auf Facebook! ...  mehr zu JKU-Fangemeinde auf Facebook (Titel)

Social Media


Positionsanzeige:

Inhalt:

"Test of Time Award" geht an JKU

Der ETAPS'17 "Test of Time Award" ging an das Institut für Formale Modelle und Verifikation (Vorstand: Univ.-Prof. Armin Biere).

Biere hat das Award-Komittee gemeinsam mit Alessandro Cimatti, Edmund M. Clarke und Yunshan Zhu überzeugen können. Ihr Paper "Symbolic model-checking without BDDs" wurde als besonders wichtig erachtet. Das Komittee lobte, die Arbeit habe "zwei fundamentale Beiträge zum "model checking and automated verification" geleistet.

Der ETAPS Test of Time Award hebt wissenschaftliche Beiträge hervor, die vor mindestens zehn Jahren auf einer ETAPS-Konferenz veröffentlicht worden sind und seither einen besonders großen Einfluss auf die Forschung gehabt haben.

Das preisgekrönte Paper finden Sie hier.


Mehr zum Institut finden Sie hier.

 

[Christian Savoy]