Paper 1:
Jagun
Kwon, Andy Wellings and Steve King,
"Ravenscar-Java:
a high integrity profile for real-time Java".
In JGI
'02: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande,
pp. 131--140, ACM Press, 2002.
Paper 2:
Martin
Odersky and Matthias Zenger,
"Scalable
component abstractions".
In OOPSLA
'05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented
programming, systems, languages, and applications, pp. 41--57, ACM Press,
2005.
Paper 3:
P. J. Landin,
"The next 700 programming
languages",
Communication of the ACM, Vol. 9, No. 3, 1966, pp. 157--166.
Paper 4:
Nick
Benton, Luca Cardelli and Cedric Fournet,
"Modern concurrency abstractions for
C#",
ACM Trans. Program. Lang. Syst., Vol. 26, No. 5, 2004, pp. 769--804
Paper 5:
N. Wirth,
"Recollections
about the development of Pascal".
In HOPL-II:
The second ACM SIGPLAN conference on History of programming languages, pp.
333--342, ACM Press, 1993.
Paper 6:
Lt. Col.
Thomas M. Schorsch and David A. Cook,
"Evolutionary Trends of Programming
Languages",
2003
Paper 7:
Mycroft, A.
Programming Language Design and
Analysis motivated by Hardware Evolution (Invited Presentation)
Proc. SAS'07,
Springer-Verlag LNCS vol. 3634: 18-33, August 2007
Paper 8:
Pizlo, F., Hosking, A. L., and Vitek, J.
2007.
Hierarchical real-time garbage collection.
In Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages,
Compilers, and Tools (
DOI=
http://doi.acm.org/10.1145/1254766.1254784
Paper 9:
Hoare, C.
A. 1978.
Communicating
sequential processes.
Commun. ACM 21, 8 (Aug. 1978), 666-677.
DOI=
http://doi.acm.org/10.1145/359576.359585
Paper 10:
Godefroid, P.,
Klarlund, N., and Sen, K. 2005.
DART: directed
automated random testing.
In Proceedings of the 2005 ACM SIGPLAN Conference on Programming
Language Design and Implementation (
DOI=
http://doi.acm.org/10.1145/1065010.1065036
Paper 11:
Sandén,
B. I. 2003.
Real-time programming
safety in Java and Ada.
DOI=
http://doi.acm.org/10.1145/882033.882035
Paper 12:
Leitner, A., Ciupa,
Contract driven
development = test driven development - writing test cases.
In Proceedings
of the the 6th Joint Meeting of the European Software
Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of
Software Engineering (Dubrovnik, Croatia, September 03 - 07, 2007).
ESEC-FSE '07. ACM Press,
DOI= http://doi.acm.org/10.1145/1287624.1287685
Paper 13:
Buttazzo,
G. 2006.
Research
trends in real-time computing for embedded systems.
SIGBED Rev. 3, 3 (Jul. 2006), 1-10.
DOI=
http://doi.acm.org/10.1145/1164050.1164052
Paper 14:
Meyer, B. 1993.
Systematic concurrent object-oriented programming.
Commun. ACM 36, 9 (Sep. 1993), 56-80.
DOI= http://doi.acm.org/10.1145/162685.162705
Paper 15:
Schoeberl, M. and Pedersen, R. 2006.
WCET analysis for a Java processor.
In Proceedings
of the 4th international Workshop on Java Technologies For
Real-Time and Embedded Systems (
DOI=
http://doi.acm.org/10.1145/1167999.1168033
Paper 16:
Tim Harris,
Simon Marlow, Simon Peyton Jones og
Maurice Herlihy:
Composable Memory Transactions,
ACM
Conference on Principles and Practice of Parallel Programming 2005 (PPoPP'05)
http://research.microsoft.com/~simonpj/papers/stm/stm.pdf
Paper 17:
K. E. Gray
and M. Felleisen.
Linguistic support for unit testing.
Technical
Report UUCS-07-013,
http://www.cs.utah.edu/research/techreports/2007/pdf/UUCS-07-013.pdf
Paper 18:
Schoeberl, M., Sondergaard, H., Thomsen, B.,
and Ravn, A. P. 2007.
A Profile for Safety Critical Java.
In Proceedings of the 10th IEEE international Symposium on Object and
Component-Oriented Real-Time Distributed Computing (May 07 - 09, 2007). ISORC. IEEE Computer Society, Washington, DC, 94-101.
DOI=
http://dx.doi.org/10.1109/ISORC.2007.9
Paper 19:
Professor
Edward A. Lee
Technical
report, published in IEEE Computer 39(5):33-42, May 2006.
http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-1.pdf
Paper 20:
Reza Meimandi
Parizi, Abdul Azim Ghani
A Survey on Aspect-Oriented Testing
Approaches
Fifth International Conference on
Computational Science and Applications
http://ieeexplore.ieee.org/iel5/4301108/4301109/04301128.pdf?tp=&isnumber=&arnumber=4301128
Paper 21:
Nilsen, K. 2007.
Improving
abstraction, encapsulation, and performance within mixed-mode real-time Java
applications.
In Proceedings of the 5th
international Workshop on Java Technologies For
Real-Time and Embedded Systems (
DOI= http://doi.acm.org/10.1145/1288940.1288943