Publications in 2002 at CS 4 at FAU

Golm, Michael ; Felser, Meik ; Wawersich, Christian ; Kleinöder, Jürgen:
A Java Operating System as the Foundation of a Secure Network Operating System.
Erlangen : FAU. 2002
(TR-I4-02-05). - Internal report
Keywords: JX, Sicherheit, security (BibTeX)

Mahrenholz, Daniel ; Spinczyk, Olaf ; Gal, Andreas ; Schröder-Preikschat, Wolfgang:
An Aspect-Oriented Implementation of Interrupt Synchronization in the PURE Operating System Family.
In: - (Ed.) : Proc. of the 5th ECOOP Workshop on Object Orientation and Operating Systems
(-, Malaga, Spain, June 11, 2002).
- : -, 2002. - ISBN 84-699-8733-X (BibTeX)

Spinczyk, Olaf ; Gal, Andreas ; Schröder-Preikschat, Wolfgang:
AspectC++: An Aspect-Oriented Extension to C++.
In: - (Ed.) : Proc. of the 40th Intern. Conf. on Technology of Object-Oriented Languages and Systems
(TOOLS Pacific 2002, Sydney, Australia, Feb. 18-21, 2002).
- : -, 2002. (BibTeX)

Weißel, Andreas ; Beutel, Björn ; Bellosa, Frank:
Cooperative I/O - A Novel I/O Semantics for Energy-Aware Applications.
In: USENIX (Org.):
Proceedings of the
(Fifth Symposium on Operating Systems Design and Implementation (OSDI '02), Boston, MA, 8.12.2002).
2002, pp 1-300. (BibTeX)

Kapitza, Rüdiger ; Hauck, Franz J.:
DLS: a CORBA Service for Dynamic Loading of Code.
Erlangen : FAU. 2002
(TR-I4-02-06). - Internal report (BibTeX)

Felser, Meik ; Golm, Michael ; Wawersich, Christian ; Kleinöder, Jürgen:
Execution Time Limitation of Interrupt Handlers in a Java Operating System.
In: ACM (Ed.) : Tenth ACM SIGOPS European Workshop
(Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, 22-25 Sept. 2002).
2002, pp 190 - 193.
Keywords: JX, verifier, driver (BibTeX)

Beuche, Danilo ; Spinczyk, Olaf ; Schröder-Preikschat, Wolfgang:
Finegrain Application Specific Customization for Embedded Software.
In: Kluwer Academic Publishers (Ed.) : Proc. of the Intern. IFIP TC10 Workshop on Distributed and Parallel Embedded Systems
(DIPES 2002, Montreal, Canada, August 2002).
Montreal : Kluwer Academic Publishers, 2002. - ISBN 0-140207156-6 (BibTeX)

Reiser, Hans P.:
Malicious Fault Tolerance: From Theoretical Algorithms to an Efficient Application Development Process.
Erlangen : FAU. 2002
(TR-I4-02-02). - Internal report. 10 pages (BibTeX)

Lohmann, Daniel:
Multidimensionales Trennen der Belange im Softwareentwurf.
Koblenz, Koblenz-Landau, Dipl. thesis, 2002.
- 119 pages.
Keywords: AOP;AOSD;Hyperspace;Entwurfssprachen (BibTeX)

Becker, Ulrich:
Nauru: A concept for the management of object distribution.
Erlangen : FAU. 2002
(TR-I4-02-01). - Internal report. 19 pages (BibTeX)

Gal, Andreas ; Schröder-Preikschat, Wolfgang ; Spinczyk, Olaf:
On Aspect-Orientation in Distributed Real-time Dependable Systems.
In: - (Ed.) : Proc. of the 7th IEEE Intern. Workshop on Object-oriented Real-time Dependable Systems
(WORDS 2002, San Diego, USA, Jan. 7-9, 2002).
- : -, 2002. (BibTeX)

Bolch, Gunter ; Essafi, Lassaad ; de Meer, Hermann:
Performance Evaluation of Priority based Schedulers.
In: Wolfinger, Bernd (Ed.) : Bericht 242 des Fachbereichs Informatik der Universität Hamburg
(2. MMB-Workshop: Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen, Hamburg, 19./20. September 2002).
2002, pp 77-84. (BibTeX)

Barner, Jörg ; Bolch, Gunter:
Performance Modeling of Retrial Systems using the MOSEL Language.
In: SCS Europe (Org.):
Proceedings of the European Simulation Multiconference
(ESM '2002, Darmstadt, 3.-5. Juni).
2002, pp 6. (BibTeX)

Weißel, Andreas ; Bellosa, Frank:
Process Cruise Control: Event-Driven Clock Scaling for Dynamic Power Management.
In: ACM Press (Ed.) : Proceedings of
(International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES 2002), Grenoble, 8.10.2002).
2002, pp 238-246. (BibTeX)

Mahrenholz, Daniel ; Spinczyk, Olaf ; Schröder-Preikschat, Wolfgang:
Program Instrumentation for Debugging and Monitoring with AspectC++.
In: - (Ed.) : Proc. of the 5th IEEE Intern. Symp. on Object-Oriented Real-time Distributed Computing
(-, Washington, USA, April 29-May 1, 2002).
- : -, 2002. (BibTeX)

Bolch, Gunter ; Kuki, Attila ; Sztrik, Janos:
Solving Queueing Problems by the Help of WINPEPSY.
In: University of Debrecen (Org.):
Proceedings of Informatics in the Hungarian Higher Education
(Informatics in the Hungarian Higher Education, Debrecen, Hungary).
2002, pp 47-51. (BibTeX)

Almasi, Bela ; Bolch, Gunter ; Tutsch, Dietmar:
Stochastic Modeling of Multistage Interconnection Networks with MOSEL.
In: unbekannt (Ed.) : Proceedings of the XXII International Seminar on Stability Problems for Stochastic Models
(XXII International Seminar on Stability Problems for Stochastic Models, Varna, May 2002).
2002, pp 85-92. (BibTeX)

Golm, Michael ; Felser, Meik ; Wawersich, Christian ; Kleinöder, Jürgen:
The JX Operating System.
In: USENIX Association (Ed.) : General Track 2002 USENIX Annual Technical Conference
(2002 USENIX Annual Technical Conference, Monterey, CA, 10-15 June 2002). 1. Edition
2002, pp 45-58. - ISBN 1-880446-00-6
Keywords: JX, operating system (BibTeX)

Al-Begain, Khalid ; Barner, Jörg ; Bolch, Gunter ; Zreikat, Aymen:
The Performance and Reliability Modelling Language MOSEL and its Applications.
In: International on Simulation: Systems, Science, and Technology 3 (2002), No. 3-4, pp 69-79 (BibTeX)

Wawersich, Christian ; Felser, Meik ; Golm, Michael ; Kleinöder, Jürgen:
The Role of IPC in the Component-Based Operating System JX.
In: Gutierrez, Dario ; Spinczyk, Olaf ; Gal, Andreas ; Paniti, Netinant (Ed.) : Proceedings of the 5th ECOOP Workshop on Object-Orientation and Operating Systems
(The 5th ECOOP Workshop on Object-Orientation and Operating Systems, Malaga, 11 Juni 2002). 1. Edition
Malaga, Spain : SERVITEC, 2002, pp pp. 43-48. - ISBN 84-699-8733-X
Keywords: JX (BibTeX)

Golm, Michael:
The Structure of a Type-Safe Operating System.
Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Ph.D. thesis, 2002 (BibTeX)

Golm, Michael ; Wawersich, Christian ; Felser, Meik ; Kleinöder, Jürgen:
Understanding the Performance of the Java Operating System JX using Visualization Techniques.
In: ACM (Ed.) : Proceedings of the Joint ACM Java Grande - ISCOPE 2002 Conference
(JGI 02, Seattle, WA, 3-5. 11. 2002).
New York : ACM Press, 2002, pp 230. - ISBN 1-58113-599-8
Keywords: JX, Performance, GC, Garbage collection, visualization (BibTeX)