DT 8025 2016 - Paper Presentation Groups Paper

From CERES
Jump to: navigation, search
Date and Time Group Paper

Oct. 18, 14:00-14:15

Boris Brankovic

Muhammad Daud

Yassin Atwa

Wouter Dankers

D. Janzen and H. Saiedian.

Test-Driven Development: Concepts, Taxonomy, and Future Direction. IEEE Computer 38(9):43--50, 2005.

Oct. 18, 14:15-14:30

Alexander Galozy

Dirar Sweidan

Daniel Dahlberg

Can Yang

Oct. 18, 14:30-14:45


Oct. 18, 14:45-15:00


Oct. 18, 15:00-15:15


Oct. 20, 14:00-14:15

Mohammad Mirian

Mehdi Mohammad Nezhad

Mehdi Sagar

Mahamud Jusuf Jamac

W. Taha, V. Gaspes, and R. Page.

Accurate Programming: Thinking about programs in terms of properties, Proc. of DSL'11, vol. 66 of EPTCS, pp. 236-260, 2011.

Oct. 20, 14:15-14:30

Monica Jayadevappa Meera

Suhas Srinivasapur Amaranath

Ashutoshkumar Rameshkumar Mewada

Karthik Kiran Raghuram

S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, T. Anderson.

Eraser: a dynamic data race detector for multi-threaded programs, ACM Transactions on Computer Systems 15(4), 1997.

Oct. 20, 14:30-14:45

Abhilash Padi Siva

Sanjana Arunesh

Ravi Raja Nunna Gajula

Karthik Veeraghandam

L. Sha, R. Rajkumar, and J.P. Lehoczky.

Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers 39 (9): 1175–1185, 1990.

Oct. 20, 14:45-15:00

Dhanesh Jayachandran

Job Maya

Victor Vincent

Prasanth Sasikumar

H. Chetto, M. Silly, and T. Bouchentouf.

Dynamic Scheduling of Real-Time Tasks under Precedence Constraint, Journal of Real-Time Systems (2), 181-194, 1990.

Oct. 20, 15:00-15:15