Talks and Poster Presentations (with Proceedings-Entry):
P. Fenkam, M. Jazayeri:
"Towards a Lightweight Formal Approach to Constructing Dependable Event-Based Applications";
Talk: IEEE International Conference on Dependable Systems and Networks,
- 2004-07-01; in: "DSN 2004 Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks",
IEEE Computer Society,
We proposed a formal framework (SEATY) for constructing dependable event-based applications. On the other hand, techniques such as formal testing and model checking are more used in practice. Such lightweight approaches to formal methods represent valuable ways of bringing the experiences gained in the development of the formal techniques towards a novel framework called EPSA which consists of the application of formal testing and automatic analysis to the stepwise development of dependable event-based applications.
Online library catalogue of the TU Vienna:
Project Head Mehdi Jazayeri:
Ray: Framework für korrekte ereignisbasi
Created from the Publication Database of the Vienna University of Technology.