PA 8001 Ed 2015 - Paper Presentation Groups Paper
| Date and Time | Group | Paper |
|---|---|---|
|
Oct. 15, 08:15-08:30 |
Wolfgang Hotze,
Robert Ernst, Sebastian Schöndorfer and Thomas Rosenstatter |
C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment", Journal of the ACM 20 (1): 46–61, 1973. |
|
Oct. 15, 08:35-08:50 |
Alexander Eliasson
Camilla Lenfors Mattias Sjögren |
D. Janzen and H. Saiedian. Test-Driven Development: Concepts, Taxonomy, and Future Direction. IEEE Computer 38(9):43--50, 2005. |
|
Oct. 15, 09:15-09:30 |
Balaji Kamalakkannan Akhil Augustine Anjo Steephan |
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. 15, 09:35-09:50 |
Hu Hao Hou Yuzhou Chandrashenkhar Nasurade Kan Chen Iyanu Akanbi |
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. 15, 09:55-10:10 |
Sowmya Narasimman Sowmya Tamidala Hina Mehboob |
L. Lamport. Specifying Concurrent Program Modules, ACM Tran. Prog. Lang. 5(2):190--222, 1983. (Only up to and including section 3.5)
|
|
Oct. 19, 08:15-08:30 |
Daniel Wikestad Amadeus Pawlik Henry Andersson Anders Nylander |
E.W. Dijkstra, The structure of THE multiprogramming system. Comm. ACM 11(5): 1--346, 1968. E.W. Dijkstra, Solution of a problem in concurrent programming control. Comm. ACM 8(9): 569, 1965. L. Lamport. A New Solution of Dijkstra's Concurrent Programming Problem. Comm. ACM 17(8):453--455, 1974.
|
|
|
Alexander Hellring Niklas Schedin Johan Svensson
|
John Hughes. Software Testing with QuickCheck. In Poc. of CEFP 2009, vol. 6299 of LNCS, pp. 183-223, 2009. |
|
Oct. 19, 08:55-09:10 |
Luay Alsahli Maher Mawed |
Robert I. Davis, Alan Burns, Reinder J. Bril, Johan J. Lukkien Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised.
|
|
Oct. 19, 09:15-09:30 |
Pruthvi Shantharaju Karthik BG Vamsi Krishna Nathani |
G.C. Buttazzo. Optimal Deadline Assignment for Scheduling Soft Aperiodic Tasks In Hard Real-Time Environments
|
|
Oct. 19, 09:35-09:50 |
Shreeelekha Sivakumar Lohit pashupathi Sai Krishna |
Performance-Effective and Low-Complexity Task Scheduling for Homogenous Computing
|
|
Oct. 19, 09:55-10:10 |
Muhammad Umar Akhil Kumar Kunche Sergey Luchinkin |
Robert France and Bernhard Rumpe. Model-driven Development of Complex Software: A Research Roadmap
|
|
Oct. 19, 10:15-10:30 |
Varun Vaidya Kushal Bheemesh Ramu G |
Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network. |
|
|
Shahibul Hasan
|
Concepts and Notations for Concurrent Programming, ACM Computing Surveys, 15(1):4--43, 1983 (sections 1--3)
|
|
|
Jayeshkumar k. Patel Zarafat Hussain
|
Concepts and Notations for Concurrent Programming, ACM Computing Surveys, 15(1):4--43, 1983 (sections 4--6)
|
|
Oct. 20, 11:15-11:30 |
Sowmya Narasimman Sowmya Tamidala Hina Mehboob |
L. Lamport. Specifying Concurrent Program Modules, ACM Tran. Prog. Lang. 5(2):190--222, 1983. (Only up to and including section 3.5)
|
|
Oct. 20, 11:35-11:50 |
Johannes van Esch Robin Ng |
Baker, An Analysis of an EDF Scheduling Algorithm on Multiprocessors
|
|
Oct. 20, 11:55-12:10 |
Tian Yi Zhang |
Janzen D S, Saiedian H. Does test-driven development really improve software design quality?[J]. Software, IEEE, 2008, 25(2): 77-84. Geras A, Smith M, Miller J. A prototype empirical evaluation of test driven development[C]//Software Metrics, 2004. Proceedings. 10th International Symposium on. IEEE, 2004: 405-416.
|
|
Oct. 20, 12:10-12:25 |
Guilherme Garcia Diogo Correa Igor Gomes Frederico Vieira |
