VISUAL

International Workshop on

Visualization Issues for Formal Methods


Programme Committee

Lou Feijs (NL), Kathi Fisler (USA), Tiziana Margaria - (Co-Chair, D). Louise Moser (USA), Doron Peled (USA), Joachim Posegga (Co-Chair, D), Peter Reintjes (USA), Dave Robertson (UK)


PROGRAMME


SATURDAY, April 4th

09:00 ­ 10:30

Visualising action contracts in object-oriented modelling, S.Kent (U Brighton, UK)

Visualisation of executable formal specifications for user validation, M.Bulent Ozcan (Sheffield Hallam U, UK)

Engineering the usability of visual formalisms: a case study in real time logics, E.Vicario and M.Lusini (U Firenze, I)

10:30 ­ 11:00

Coffee

11:00­ 12:30

Joint Session with ACoS

Agent-based data services in future IN-platforms, J.Meinköhn (Deutsche Telekom, D) and S.Albayrak (TU Berlin, D)

Graphical input examples and case-based reasoning for identifying formalised behaviour, PJ.Funk and D.Robertson (U Edinburgh UK)

Visualising the behaviour of intelligent networks, C.Capellmann, U.Herzog (Deutsche Telekom AG, D) and S.Christensen (U Aarhus, DK)

12:30 ­ 14:30

Lunch

14:30 ­ 16:00

Using a visual formalism for system verification in an industrial environment, R. Schlör, B. Josko (OFFIS, D) and D.Werth (Siemens, D)

Symbolic model checking visualization, G.Kamhi, L.Fix and Z.Binyamini (Intel, IL)

Formal methods and customized visualization: a fruitful symbiosis, T.Margaria (U Passau, D) and V.Braun (U Dortmund, D)

16:00 ­ 16:30

Coffee

16:30 ­ 18:00

A graphical development process environment for formal methods, C.Blank Purper and S.Westmeier (U Bremen, D)

short contributions:

A logical foundation for object diagrams, AS.Evans (U Bradford, UK)