|
Prof. Dr.-Ing. Klaus Ostermann |
| New Homepage | |
|
|
|
Publications
[2008]
Nominal and Structural Subtyping in Component-Based Programming
Journal of Object Technology, to appear in the Jan/Feb issue 2008
Nominal and Structural Subtyping in Component-Based Programming
Journal of Object Technology, to appear in the Jan/Feb issue 2008
[2007]
Dependent Classes
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2007
[depcls-oopsla07.pdf]
Dependent Classes
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2007
[depcls-oopsla07.pdf]
[2007]
Clustering for Generating Framework Top-Level Views
Proceedings of 14th Conference on Reverse Engineering, October 2007; Vancouver, Canada; IEEE Computer Society Press, pages 239-248.
Clustering for Generating Framework Top-Level Views
Proceedings of 14th Conference on Reverse Engineering, October 2007; Vancouver, Canada; IEEE Computer Society Press, pages 239-248.
[2007]
On the relation of aspects and monads
Workshop on Foundations of Aspect-Oriented Languages (FOAL), Vancouver, Canada, 2007
[aspects_and_monads.pdf]
On the relation of aspects and monads
Workshop on Foundations of Aspect-Oriented Languages (FOAL), Vancouver, Canada, 2007
[aspects_and_monads.pdf]
[2007]
Aspects and Modular Reasoning in Nonmonotonic Logic
Workshop on Foundations of Aspect-Oriented Languages (FOAL), Vancouver, Canada, 2007
[foal07.pdf]
Aspects and Modular Reasoning in Nonmonotonic Logic
Workshop on Foundations of Aspect-Oriented Languages (FOAL), Vancouver, Canada, 2007
[foal07.pdf]
[2007]
Partial Evaluation of Pointcuts
Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL), Springer, January 2007
[padl07partial.pdf]
Partial Evaluation of Pointcuts
Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL), Springer, January 2007
[padl07partial.pdf]
[2007]
Automatic Incrementalization of Prolog based Static Analyses
Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL), Springer, January 2007
[Main.pdf] [BibTeX]
Automatic Incrementalization of Prolog based Static Analyses
Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL), Springer, January 2007
[Main.pdf] [BibTeX]
[2006]
Software Extension and Integration with Type Classes
ACM Conference on Generative Programming and Component Engineering (GPCE'06), 2006.
[gpce06.pdf]
Software Extension and Integration with Type Classes
ACM Conference on Generative Programming and Component Engineering (GPCE'06), 2006.
[gpce06.pdf]
[2006]
Integrating and Scheduling an Open Set of Static Analyses
21st IEEE/ACM International Conference on Automated Software Engineering
[CalulatingSchedules.pdf] [BibTeX]
Integrating and Scheduling an Open Set of Static Analyses
21st IEEE/ACM International Conference on Automated Software Engineering
[CalulatingSchedules.pdf] [BibTeX]
[2006]
Multidimensional Virtual Classes
Techinical Report TR TUD-ST-2006-03, 2006
- superceded by our OOPSLA'07 paper
[multivc06.pdf]
Multidimensional Virtual Classes
Techinical Report TR TUD-ST-2006-03, 2006
- superceded by our OOPSLA'07 paper
[multivc06.pdf]
[2006]
An Overview of CaesarJ
Transactions on Aspect-Oriented Software Development I. LNCS, Vol. 3880, Feb 2006, pp. 135 - 173
[overview-of-caesarj-2005.pdf] [BibTeX]
An Overview of CaesarJ
Transactions on Aspect-Oriented Software Development I. LNCS, Vol. 3880, Feb 2006, pp. 135 - 173
[overview-of-caesarj-2005.pdf] [BibTeX]
[2006]
A virtual class calculus
ACM Symposium on Principles of Programming Languages (POPL'06)
ACM SIGPLAN-SICACT, 2006
[popl06-virtualclasses.pdf]
A virtual class calculus
ACM Symposium on Principles of Programming Languages (POPL'06)
ACM SIGPLAN-SICACT, 2006
[popl06-virtualclasses.pdf]
[2005]
A Comparison of Program Generation with Aspect-Oriented Programming
Proceedings of the EU-NSF Strategic Research Workshop on Unconventional Programming Paradigms. Springer Verlag LNCS 3566
[BibTeX]
A Comparison of Program Generation with Aspect-Oriented Programming
Proceedings of the EU-NSF Strategic Research Workshop on Unconventional Programming Paradigms. Springer Verlag LNCS 3566
[BibTeX]
[2005]
Aspektorientierte Softwareentwicklung mit CaesarJ
JavaSpektrum Dec 2005
[groher_gasiunas_JS_06_05.pdf]
Aspektorientierte Softwareentwicklung mit CaesarJ
JavaSpektrum Dec 2005
[groher_gasiunas_JS_06_05.pdf]
[2005]
Expressive Pointcuts for Increased Modularity
European Conference on Object-Oriented Programming (ECOOP), Springer LNCS, 2005
[ecoop05paper.pdf] [BibTeX]
Expressive Pointcuts for Increased Modularity
European Conference on Object-Oriented Programming (ECOOP), Springer LNCS, 2005
[ecoop05paper.pdf] [BibTeX]
[2005]
Back to the Future: Pointcuts as Predicates over Traces
Workshop on Foundations of Aspect-Oriented Languages (FOAL'05), Chicago, USA, 2005.
[foal.pdf]
Back to the Future: Pointcuts as Predicates over Traces
Workshop on Foundations of Aspect-Oriented Languages (FOAL'05), Chicago, USA, 2005.
[foal.pdf]
[2004]
Untangling Crosscutting Models with Caesar
Chapter 8 in Aspect-Oriented Software Development; Addison-Wesley, 2004
Untangling Crosscutting Models with Caesar
Chapter 8 in Aspect-Oriented Software Development; Addison-Wesley, 2004
[2004]
Pointcuts as Functional Queries
In The Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Springer, LNCS
[PQL.pdf] [BibTeX]
Pointcuts as Functional Queries
In The Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Springer, LNCS
[PQL.pdf] [BibTeX]
[2004]
Variability Management with Feature-Oriented Programming and Aspects
Foundations of Software Engineering (FSE-12), ACM SIGSOFT, 2004.
[fse.pdf]
Variability Management with Feature-Oriented Programming and Aspects
Foundations of Software Engineering (FSE-12), ACM SIGSOFT, 2004.
[fse.pdf]
[2004]
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments
In Proceedings of 11th IEEE Working Conference on Reverse Engineering; November 2004, Delft, Netherlands
[XIRC.pdf] [BibTeX]
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments
In Proceedings of 11th IEEE Working Conference on Reverse Engineering; November 2004, Delft, Netherlands
[XIRC.pdf] [BibTeX]
[2004]
Bessere Software durch Querschneidende Module
Ausgezeichnete Informatikdissertationen 2003, GI-Edition Lecture Notes in Informatics, 2004.
[gi-diss.pdf]
Bessere Software durch Querschneidende Module
Ausgezeichnete Informatikdissertationen 2003, GI-Edition Lecture Notes in Informatics, 2004.
[gi-diss.pdf]
[2004]
Simple Dependent Types: Concord
Workshop on Formal Techniques for Java-like Programs at ECOOP 2004
[concord_workshop.pdf]
Simple Dependent Types: Concord
Workshop on Formal Techniques for Java-like Programs at ECOOP 2004
[concord_workshop.pdf]
[2004]
Virtual Machine Support for Dynamic Join Points
in Proceedings of International Conference on Aspect-Oriented Software Development (AOSD'04)
[Steamloom.pdf] [BibTeX]
Virtual Machine Support for Dynamic Join Points
in Proceedings of International Conference on Aspect-Oriented Software Development (AOSD'04)
[Steamloom.pdf] [BibTeX]
[2003]
On Aspectualizing Component Models
in Software Practice and Experience, Volume 33, Issue 10, pp. 957-974, Wiley Publishers, 2003
[spe.pdf]
On Aspectualizing Component Models
in Software Practice and Experience, Volume 33, Issue 10, pp. 957-974, Wiley Publishers, 2003
[spe.pdf]
[2003]
Modules for Hierarchical and Crosscutting Models
Ph.D. thesis, Computer Science Department, Darmstadt University of Technology, 2003
[thesis_klaus.pdf]
Modules for Hierarchical and Crosscutting Models
Ph.D. thesis, Computer Science Department, Darmstadt University of Technology, 2003
[thesis_klaus.pdf]
[2003]
Modules for Crosscutting Models
Invited Paper at 8th International Conference on Reliable Software Technologies, LNCS 2655, Toulouse, France, June 16-20, 2003
[ada03.pdf]
Modules for Crosscutting Models
Invited Paper at 8th International Conference on Reliable Software Technologies, LNCS 2655, Toulouse, France, June 16-20, 2003
[ada03.pdf]
[2003]
Towards Aspect-Aware Execution Models
Technical Report TUD-ST-2003-01
[ObjectModel-TR.pdf] [BibTeX]
Towards Aspect-Aware Execution Models
Technical Report TUD-ST-2003-01
[ObjectModel-TR.pdf] [BibTeX]
[2003]
Conquering Aspects with Caesar
in (M. Aksit ed.) Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD), March 17-21, 2003, Boston, USA. ACM Press, pp. 90-100
[aosd03.pdf]
Conquering Aspects with Caesar
in (M. Aksit ed.) Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD), March 17-21, 2003, Boston, USA. ACM Press, pp. 90-100
[aosd03.pdf]
[2002]
Integrating Independent Components with On-Demand Remodularisation
Proceedings of the 17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOSPLA), Seattle, Washington, USA, November 4-8, 2002, Sigplan Notices, 37 (11), pp. 52 - 67
[oopsla02.pdf] [BibTeX]
Integrating Independent Components with On-Demand Remodularisation
Proceedings of the 17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOSPLA), Seattle, Washington, USA, November 4-8, 2002, Sigplan Notices, 37 (11), pp. 52 - 67
[oopsla02.pdf] [BibTeX]
[2002]
Dynamically Composable Collaborations with Delegation Layers
Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP), Malaga, Spain, LNCS 2374, pp. 89 – 110Springer, 2002
[delglayers.pdf]
Dynamically Composable Collaborations with Delegation Layers
Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP), Malaga, Spain, LNCS 2374, pp. 89 – 110Springer, 2002
[delglayers.pdf]
[2001]
Implementing Reusable Collaborations with Delegation Layers
First Workshop on Language Mechanisms for Programming Software Components at OOPSLA 2001, Tampa Bay, FL, USA
[oopsla01ws.pdf]
Implementing Reusable Collaborations with Delegation Layers
First Workshop on Language Mechanisms for Programming Software Components at OOPSLA 2001, Tampa Bay, FL, USA
[oopsla01ws.pdf]
[2001]
Object-Oriented Composition Untangled
in Proceedings of ACM 16th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '01), Tampa, Sigplan Notices, Vol. 36, No. 10
[oopsla01.pdf]
Object-Oriented Composition Untangled
in Proceedings of ACM 16th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '01), Tampa, Sigplan Notices, Vol. 36, No. 10
[oopsla01.pdf]
[2001]
Object-Oriented Composition is Tangled
Workshop on Advanced Separation of Concerns at ECOOP 2001, Budapest, Hungary
[asocws.pdf]
Object-Oriented Composition is Tangled
Workshop on Advanced Separation of Concerns at ECOOP 2001, Budapest, Hungary
[asocws.pdf]
[2001]
Joint efforts to dispel an approaching modularity crisis
Sixth International Workshop on Component-Oriented Programming (WCOP) 2001, Budapest, Hungary
[wcop01.pdf]
Joint efforts to dispel an approaching modularity crisis
Sixth International Workshop on Component-Oriented Programming (WCOP) 2001, Budapest, Hungary
[wcop01.pdf]
[2000]
Supporting Extension of Components with new Paradigms
Workshop on Advanced Separation of Concerns at OOPSLA 2000, Minneapolis, MN, USA
[oopsla00ws.pdf]
Supporting Extension of Components with new Paradigms
Workshop on Advanced Separation of Concerns at OOPSLA 2000, Minneapolis, MN, USA
[oopsla00ws.pdf]
[2000]
Independent Extensibility - an open challenge for AspectJ and Hyper/J
Aspects and Dimensions of Concern workshop at ECOOP 2000, Cannes, France
[ecoop00ws.pdf]
Independent Extensibility - an open challenge for AspectJ and Hyper/J
Aspects and Dimensions of Concern workshop at ECOOP 2000, Cannes, France
[ecoop00ws.pdf]

