Auflistung nach Autor:in "Margaria, Tiziana"
1 - 3 von 3
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragDatenflussanalyse als Modelchecking im jABC(Software Engineering 2006, Proceedings der Fachtagung des GI-Fachbereichs Softwaretechnik, 2006) Lamprecht, Anna-Lena; Margaria, Tiziana; Steffen, BernhardDieses Papier beschreibt wie das jABC (eine generische Umgebung für bibliotheksbasierte Programmentwicklung) zusammen mit zwei seiner Plugins (der Modelchecker und ein Flussgraph-Konverter) ein Framework, DFA-MC, für intraprozedurale Datenflussanalyse als Modelchecking bildet. Basierend auf Funktionalitäten, die von der Programmanalyseplattform Soot bereitgestellt werden, generiert der Konverter Graphstrukturen aus Java-Klassen. Die Datenflussanalysen werden dann als Formeln im modalen μ-Kalkül ausgedrückt. Die Analyse selbst wird ausgeführt, indem der Modelchecker die Gültigkeit der Formel auf dem Flussgraphen überprüft.
- KonferenzbeitragTest your strategy – Intuitive strategy definition and evaluation for novices and experts(Informatik 2009 – Im Focus das Leben, 2009) Jörges, Sven; Bakera, Marco; Margaria, Tiziana; Lattemann, Christoph
- KonferenzbeitragUsing games for improved diagnosis in trustworthy design of autonomic systems(Informatik 2009 – Im Focus das Leben, 2009) Margaria, Tiziana; Wagner, Christian; Bakera, Marco