Campus Event Calendar: Eyad Alkassar (07/04/2005 in 46.1

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

What and Who

Communicating Applications - Road to Verification

Eyad Alkassar

PhD Application Talk

AG 1, AG 2, AG 3, AG 4, AG 5

AG Audience

Note: We use this to send email in the morning.

Date, Time and Location

Monday, 4 July 2005

11:15

-- Not specified --

46.1 - MPII

024

Saarbrücken

Abstract

We show how to construct a formal model of concurrently executed and communicating applications in an operating system environment. We will identify the necessary steps for building and linking abstract models of a processor, a micro kernel, and a user level operating system. The result is the outline of a formal framework that allows to prove the pervasive correctness of applications running on top of the operating system.

Contact

Kerstin Meyer-Ross

9325-226

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Christine Kiesel, 06/30/2005 18:22
Christine Kiesel, 06/30/2005 18:17 -- Created document.

Imprint / Impressum | Data Protection / Datenschutzhinweis