Efficient TCTL Model Checking Algorithm for Timed Actors (AGERE! - Papers) - AGERE!

Mon 20 - Tue 21 October 2014 Portland, Oregon, United States

co-located with SPLASH 2014

Who

Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

Track

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 20 Oct 2014 14:37 - 15:00 at Salon D - Full-Papers III

Ehsan Khamespanah

Ramtin Khosravi

Marjan Sirjani

Reykjavik University

Iceland

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Mon 20 Oct
Displayed time zone: Tijuana, Baja California change

	13:30 - 15:00	Full-Papers IIIAGERE! at Salon D

	13:30 22m Talk		CAF - The C++ Actor Framework for Scalable and Resource-efficient Applications AGERE! Dominik Charousset , Raphael Hiesgen , Thomas Schmidt
	13:52 22m Talk		An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks AGERE! Ganesha Upadhyaya , Hridesh Rajan
	14:15 22m Talk		Event-based Analysis of Timed Rebeca Models using SQL AGERE! Brynjar Magnusson , Ehsan Khamespanah , Marjan Sirjani Reykjavik University, Ramtin Khosravi
	14:37 22m Talk		Efficient TCTL Model Checking Algorithm for Timed Actors AGERE! Ehsan Khamespanah , Ramtin Khosravi , Marjan Sirjani Reykjavik University