Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik

Publications in 2003 at CS 4 at FAU

Clemente, Pedro J. ; Pérez, Miguel A. ; Lujan, Sergio ; Reiser, Hans P.:
13th Workshop for Phd Students in Object Oriented Programming: Summary and Accepted Papers.
Erlangen : FAU. 2003
(TR-04-03-03). - Internal report. 92 pages (BibTeX)

Lohmann, Daniel ; Ebert, Jürgen:
A Generalization of the Hyperspace Approach using Meta-Models.
In: Araújo, J. ; Rashid, A. ; Moreira, A. ; Tekinerdogan, B (Org.):
Early Aspects 2003: Aspect-Oriented Requirements Engineering and Architecture Design
(2nd International ACM SIGPLAN Conference on Aspect-Oriented Software Development (AOSD 2003), Boston, 17.-21.3.2003).
2003, pp 1-6.
Keywords: AOSD;Design Language;Hyperspace (BibTeX)

Almasi, Bela ; Bolch, Gunter ; Sztrik, Janos:
Analyzing Markov-modulated finite-source queueing systems.
In: Annales Univ. Sci. Budapest., Sect. Comp. 22 (2003), pp 23-33 (BibTeX)

Lohmann, Daniel ; Spinczyk, Olaf:
Architecture-Neutral Operating System Components.
In: ACM SIGOPS (Org.):
SOSP '03: Work-in-Progress Session
(19th ACM Symposium on Operating Systems Principles (SOSP '03), Bolton Landing, NY, USA, 19.-22.10.2003).
Keywords: AOP;OS Design (BibTeX)

Spinczyk, Olaf:
Aspektorientierung und Programmfamilien im Betriebssystembau.
In: Gesellschaft für Informatik (Ed.) : Wagner, Dorothea (Arr.):
Ausgezeichnete Informatikdissertationen 2002.
Bonn : Köllen Druck + Verlag GmbH, 2003, (Lecture Notes in Informatics (LNI) - Dissertations), pp 173-183. - ISBN 3-88579-407-1
Keywords: Dissertation;Betriebssysteme;AOP;Aspektorientierte Programmierung (BibTeX)

Kapitza, Rüdiger ; Hauck, Franz J.:
DLS: a CORBA service for dynamic loading of code.
In: Meersmann, Robert ; Tahir, Zahir ; Schmidt, Douglas C. (Ed.) : On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE
(OTM Confederated International Conferences, Sicily, Nov 3-7, 2003).
2003, pp 1333-1350.
Keywords: AspectIX; Migration; CORBA;AOM (BibTeX)

Wüchner, Patrick:
Erweiterung der Schnittstelle zwischen den Modellierungssprachen MOSEL und CSPL um Simulationskonstrukte.
Erlangen, FAU, Stud. thesis, 2003.
- 97 pages. (BibTeX)

Bellosa, Frank ; Simon Kellner ; Waitz, Martin ; Weißel, Andreas:
Event-Driven Energy Accounting for Dynamic Thermal Management.
In: Diana Marculescu ; J. Ramanujam (Org.):
Proceedings of the Fourth Workshop on Compilers and Operating Systems for Low Power (COLP'03)
(Fourth Workshop on Compilers and Operating Systems for Low Power (COLP'03), New Orleans, Louisiana, USA, 27.09.2003).
2003, pp 1-10.
Keywords: power management; thermal management (BibTeX)

Bolch, Gunter ; Roszik, Janos ; Sztrik, Janos:
Heterogeneous Finite-Source Retrial Queues in the Analysis of Communication Systems with CSMA/CD Protocols.
In: Dudin, Alexander (Ed.) : Proceedings of the International Conference "Modern Mathematical Methods of Analysis and Optimization of Telecomunication Networks
(Modern Mathematical Methods of Analysis and Optimization of Telecomunication Networks, Gomel (Belarussia), 23 - 25. 9.2003).
2003, pp 146-155. (BibTeX)

Reiser, Hans P. ; Hauck, Franz J. ; Kapitza, Rüdiger ; Schmied, Andreas I.:
Integrating Fragmented Objects into a CORBA Environment.
In: Net.ObjectDays (Ed.) : Net Object Days - Tagungsband
(Net.ObjectDays 2003, Erfurt, 22.-25.09.2003).
Erfurt : tranSIT GmbH, 2003. - ISBN 3-9808628-2-8
Keywords: AspectIX; Fragmentierte Objekte; CORBA (BibTeX)

Beutel, Björn:
Integration des Petrinetz-Analysators TimeNET in die Modellanalyseumgebung MOSEL.
Erlangen, FAU, Dipl. thesis, 2003.
- 110 pages. (BibTeX)

Dressler, Falko:
Monitoring of Multicast Networks for Time-Synchronous Communication.
Erlangen, FAU, Ph.D. thesis, 2003
(Arbeitsberichte des Instituts für Informatik Vol. 36, No. 4).
- 239 pages. ISSN 1611-4205
Keywords: Quality of Service, (BibTeX)

Barner, Jörg ; Bolch, Gunter:
MOSEL- MOdelling, Specification and Evaluation Language.
Talk: Universität Debrecen/Ungarn, Institut für Informatik,
7.11.2003 (BibTeX)

Barner, Jörg ; Bolch, Gunter:
MOSEL-2: Modeling, Specification and Evaluation Language, Revision 2.
In: Sanders, William (Ed.) : Proceedngs of the 13th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation
(Performance TOOLS 2003, Urbana-Champaign, Illinois,, 2 - 5.9 2003).
2003, pp 222-230. (BibTeX)

Barner, Jörg:
Performance and reliability modelling with MOSEL-2.
Talk: Tutorial Session, ASMTA-Track of the 17th European Simulation Multiconference: Foundations for Successful Modelling & Simulation (ESM'03)., Nottingham Trent University,
Nottingham, England, 9.6.2003
Keywords: Performance; Reliability; lightweight formal method; modelling language (BibTeX)

Essafi, Lassaad ; Bolch, Gunter:
Performance Evaluation of Priority based Schedulers in the Internet.
In: Al-Dabass, David (Ed.) : 17th European Simulation Multiconference
(ESM 2003, Nottingham/UK, June 9 -11, 2003).
Nottingham : SCS-European Publishing House, 2003, pp 15 - 33. - ISBN 3-936150-25-7 (BibTeX)

Bolch, Gunter ; Sztrik, Janos ; Zreikat, Aymen:
Performance Modeling of Non-homogeneous Unreliable Multi-Server Systems Using MOSEL.
In: Computers and Mathematics with Applications 46 (2003), pp 293-312 (BibTeX)

Spinczyk, Olaf ; Schröder-Preikschat, Wolfgang ; Beuche, Danilo ; Papajewski, Holger:
PURE/OSEK - Eine aspektorientierte Betriebssystemfamilie für Kraftfahrzeuge.
In: Gesellschaft für Informatik (Ed.) : Dittrich, Klaus ; König, Wolfgang ; Oberweis, Andreas ; Rannenberg, Kai ; Wahlster, Wolfgang (Arr.):
INFORMATIK 2003 - Innovative Informatikanwendungen.
Vol. 1. Bonn : Köllen Druck + Verlag GmbH, 2003, (Lecture Notes in Informatics (LNI) - Proceedings), pp 330-334. - ISBN 3-88579-363-6. ISSN 1617-5468
Keywords: OSEK; PURE; Betriebssysteme; Automotive; Software Engineering (BibTeX)

Felser, Meik ; Wawersich, Christian ; Golm, Michael:
The Security Architecture of the Java Operating System JX.
In: Zhou, X. ; Jähnichen, S. ; Xu, M. ; Cao, J. (Ed.) : Advanced Parallel Programming Technologies, 5th International Workshop
(APPT 2003, Xiamen, China, 2003). 1. Edition
Berlin : Springer, 2003, pp 85-95. (Lecture Notes in Computer Science Vol. 2834) - ISBN 3-540-20054-1
Keywords: JX, Security, Distributed, Java, Operating System (BibTeX)

Golm, Michael:
The Structure of a Type-Safe Operating System.
Erlangen, Friedrich-Alexander-Universität, Ph.D. thesis, 2003
(Arbeitsberichte des Instituts für Informatik Vol. 36, No. 6).
- 172 pages. ISSN 1611-4205 (BibTeX)

Beuche, Danilo ; Papajewski, Holger ; Schröder-Preikschat, Wolfgang:
Variability management with feature models.
In: Technical Report RUG Groningen (Ed.) : Proc. of the Software Variability Management Workshop
(SVM 03, Groningen, February 2003).
Groningen : -, 2003. (BibTeX)

Spinczyk, Olaf ; Beuche, Danilo:
Variant Management for Embedded Software Product Lines with Pure::Consul and AspectC++.
In: Association for Computing Machinery (ACM) (Ed.) : OOPSLA '03 COMPANION
(18th Condference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '03), 26.-30. Oktober 2003).
USA : ACM, 2003, pp 108-109. - ISBN 1-58113-751-6 (BibTeX)

Becker, Ulrich:
Verteilung von objektorientierten Anwendungen auf der Basis des Entwurfs-Modells.
Erlangen, Friedrich-Alexander-Universität, Ph.D. thesis, 2003
(Arbeitsberichte des Instituts für Informatik Vol. 36, No. 7).
- 175 pages. ISSN 1611-4205 (BibTeX)