Copyright Notice: Copyright and all rights of the documents on this site are retained by authors or by other copyright holders (IEEE, ACM, Springer, Kluwer, ..). The documents may not be reposted without the explicit permission of the copyright holder.

IEEE Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therin are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of the works published in IEEE publications in other works must be obtained from the IEEE. If you have any questions about this please contact the authors.

ACM Copyright Notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

 


Books & Thesis


  1. •Christian Prehofer,  „Solving Higher-Order Equations: From Logic to Programming“, Birkhäuser PTCS Series, 1997.  

  2. •Christian Prehofer, Flexible Construction of Software Components: A Feature-Oriented Approach, Habilitation Thesis, Technical University of Munich, 1999


Journals, Magazines and Book Contributions


  1. •B. Paech, S. Apel, L. Grunske, C. Prehofer, Empirische Forschung zu Software-Evolution, Informatik Spektrum, (in German), to appear

  2. •M. Kowal, C. Prehofer, I, Schaefer, M. Tribastone, Model-based Development and Performance Analysis for Evolving Manufacturing Systems.at - Automatisierungstechnik. Vol 62, p 794–802, ISSN (Online) 2196-677X, ISSN (Print) 0178-2312, DOI: 10.1515/auto-2014-1098, October 2014

  3. •M. Zeller, C. Prehofer, D. Krefft, G. Weiss; Towards Runtime Adaptation in AUTOSAR, 6 p.,  ACM SIGBED review, 2013.

  4. •C. Prehofer. 2013. Behavioral Refinement and Compatibility of Statechart Extensions. Electron. Notes Theor. Comput. Sci. Vol. 295, p. 65-78, Elsevier 2013.

  5. •D. Weyns, B. Schmerl, V. Grassi, S. Malek, R. Mirandola, C. Prehofer, J. Wuttke, J. Andersson, H. Giese, K. G, On Patterns for Decentralized Control in Self-Adaptive Systems, in Software Engineering for Self-Adaptive Systems 2, R. de Lemos, H. Giese, H. Müller and M. Shaw (Hrsg.), p. 76-107, Springer-Verlag, 2013.

  6. •J. Andersson, L. Baresi, B. Becker, N. Bencomo, Y. Brun, G. Tamura, K. Geihs, K. M. Goeschka, A. Gorla, V. Grassi, M. Litoiu, S. Malek, R. Mirandola, C. Prehofer, B, Schmerl, J. P. Sousa, N. M. Villegas, T. Vogel, D. Weyns, J. Wuttke, Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, in Software Engineering for Self-Adaptive Systems 2, R. de Lemos, H. Giese, H. Müller and M. Shaw (Hrsg.), p. 1-32, Springer-Verlag, 2013.

  7. •P. Heinrich, C. Prehofer, Network-Wide Energy Optimization for Adaptive Embedded Systems, ACM SIGBED review, Vol. 10, p. 33-36, 2013.

  8. •M. Zeller, C. Prehofer, Modeling and Efficient Solving of Extra-Functional Properties for Adaptation in  Networked Embedded Real-Time Systems, Journal of Systems Architecture, special issue on Embedded Systems Software Architecture, Elsevier, 2013.

  9. •P. Heinrich, C. Prehofer, Network-Wide Energy Optimization for Adaptive Embedded Systems, to appear in ACM SIGBED review.

  10. •M. Zeller, C. Prehofer, A Multi-Layered Control Approach for Self-Adaptation in Automotive Embedded Systems, to appear in Advances in Software Engineering, Hindawi Publishing. 2012

  11. •D. Weyns, B. Schmerl, V. Grassi, S. Malek, R. Mirandola, C. Prehofer, J. Wuttke, J. Andersson, H. Giese, K. G, On Patterns for Decentralized Control in Self-Adaptive Systems, Software Engineering for Self-Adaptive Systems 2, R. de Lemos, H. Giese, H. Müller and M. Shaw (Ed..), Springer-Verlag, 2013.

  12. •J. Andersson, L. Baresi, B. Becker, N. Bencomo, Y. Brun, G. Tamura, K. Geihs, K. M. Goeschka, A. Gorla, V. Grassi, M. Litoiu, S. Malek, R. Mirandola, C. Prehofer, B, Schmerl, J. P. Sousa, N. M. Villegas, T. Vogel, D. Weyns, J. Wuttke, Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, Software Engineering for Self-Adaptive Systems 2, R. de Lemos, H. Giese, H. Müller and M. Shaw (Ed.), Springer-Verlag, 2013.

  13. •Y. Zheng, C. Prehofer, Autonomic Trust Management for a Component Based Software System IEEE Transactions on Dependable and Secure Computing, 2011.

  14. •J. van Gurp, C. Prehofer, J. Bosch, Comparing Practices for Reuse in Integration-oriented Software Product Lines and Large Open Source Software Projects, Software Practice & Experience, 2010.

  15. •C. Prehofer, J. van Gurp, V. Stirbu, S. Sathish, P. Liimatainen, C. di Flora, S. Tarkoma, Practical Web­ based Smart Spaces, IEEE Pervasive Computing, ISSN: 1536-1268, 2010

  16. •V. Vianello, C. di Flora, C. Prehofer, A Comparison of GIS Architectures for Implementing Indoor Location-based Services, Journal of Software , 2009.

  17. •C. Prehofer, J. van Gurp, J. Bosch, Compositionality in Software Platforms, in Emerging Methods, Technologies and Process Management in Software Engineering, Wiley, 2008.

  18. •C. Prehofer, C. Bettstetter, Wireless Communiation Networks, in 4G Mobile Technology: Services with Initiative, H. Berndt (Ed.), Wiley, 2008.

  19. •C. Prehofer, Context-aware Mobility Management, in 4G Mobile Technology: Services with Initiative, H. Berndt (Ed.), Wiley, Feb. 2008.

  20. •R. Bless, J. Hillebrand, C. Prehofer, M. Zitterbart, A Quality-of-Service Signaling Architecture for Next Generation, IP-based Mobile Networks, Wireless Personal Communications, Volume 43, No. 3, Springer Verlag, 2007.

  21. •S. Tarkoma, C. Prehofer, A. Zhdanova, H. Rajasekaran. SPICE: Towards Next Generation IMS-based Service Platforms. International Engineering Consortium (IEC) “Business Models and Drivers for Next Generation IMS Services” report, 2008.

  22. •S. Tarkoma, C. Prehofer, S. Sovio, P. Laitinen. Composable Mediation for Security-aware Mobile Services. IEEE Communications Magazine, 2007.

  23. •Q. Wei, K. Farkas, C. Prehofer, P. Mendes, B. Plattner, Context-aware Handover Using Active Network Technology, Elsevier Computer Networks Journal, Volume 50, Issue 14, 2006.

  24. •E. Carlson, C. Prehofer, C. Bettstetter, H. Karl, A. Wolisz, A Distributed End-to-End Reservation Protocol for Wireless IEEE 802.11 based Mesh Networks, IEEE Journal on Selected Areas in Communications (JSAC), Special Issue on Multi-Hop Wireless Mesh Networks, 2006.

  25. •P. Hoffmann, C. Bettstetter, C. Prehofer, Performance Impact of Multihop Handovers in an IP-based Multihop Radio Access Network, ACM SIGMOBILE Mobile Computing and Communications Review (MC2R), 2006.

  26. •C. Prehofer, C. Bettstetter. Self-Organization in Communication Networks: Principles and Design Paradigms. IEEE Communications Magazine, Feature Topic on Advances in Self-Organizing Networks, 2005.

  27. •J. Hillebrand, C.Prehofer, R. Bless, M. Zitterbart, Quality-of-Service Signaling for Next-Generation IP-based Mobile Networks, IEEE Communications Magazine, 2004.

  28. •N. Niebert, A. Schieder, H. Abramowicz, G. Malmgren, J. Sachs, U. Horn, C. Prehofer, H. Karl, Ambient Networks – An Architecture for Communication Networks Beyond 3G, IEEE Wireless Communication Magazine, 2004.

  29. •C. Prehofer, Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams, Journal on Software & System Modeling, Springer-Verlag, 2004.

  30. •C. Prehofer, E. Kellerer, R. Hirschfeld, H. Berndt, K. Kawamura, An Architecture Supporting Adaptation and Evolution in Fourth Generation Mobile Communication Systems, Journal of Communications and Networks, Volume 4 Number 4, 2002.

  31. •C. Prehofer, Feature-Oriented Programming: A New Way of Object Composition, Concurrency and Computation, Vol. 13, 2001.

  32. •G. Eichler, H. Hussmann, G. Mamais, I. Venieris, C. Prehofer, S. Salsano, Implementing Integrated and Differentiated Services for the Internet with ATM Networks: A Practical Approach, IEEE Communications Magazine, 2000.

  33. •B. Koch, C. Prehofer, Internet Service Architectures and ATM – the ELISA Approach, Flexible Working: New Network Technologies, IOS Press, 1999. 

  34. •M. Hanus, C. Prehofer, Higher-Order Narrowing with Definitional Trees, Journal of Functional Programming, Vol. 9, No. 1, 1999.

  35. •T. Nipkow, C. Prehofer, Higher-Order Rewriting and Equational Reasoning, W. Bibel, P. Schmitt (Eds.), Automated Deduction - A Basis for Applications. Volume I, Kluwer, 1998.

  36. •T. Nipkow, C. Prehofer, Type Reconstruction for Type Classes, J. Functional Programming, Vol. 5 (2), 1995. 


Reviewed Publications

  1. •C. Prehofer, L. Chiarabini , From Internet of Things Mashups to Model-based Development, IEEE COMPSAC BIoT workshop, 2015, to appear

  2. •C. Prehofer, K. Schorp, S. Kugele, D. Clarke, M. Duchon. Towards a 3-Tier Architecture for Connected Vehicles. In 2014 International Conference on Connected Vehicles and Expo (ICCVE), Vienna, Austria, November 3-7, 2014. Proceedings, IEEE, 2014    

  3. •J. Kroß, A. Brunnert, C. Prehofer, T. A. Runkler, H.  Krcmar, Model-based Performance Evaluation of Large-Scale Smart Metering Architectures. In Proceedings of the 4th International Workshop on Large-Scale Testing (pp. 9-12). 2014, ACM.

  4. •M. Kowal, C. Legat, D. Lorefice, C. Prehofer, I. Schaefer, B. Vogel-Heuser, Delta modeling for variant-rich and evolving manufacturing systems. In Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation (pp. 32-41). 2014 ACM.

  5. •Prehofer, Christian, and Alois Zoitl. "Towards flexible and adaptive productions systems based on virtual cloud-based control." Emerging Technology and Factory Automation (ETFA), 2014 IEEE. IEEE, 2014.

  6. •Y. Jin, C. T. Dang, C. Prehofer, E. André, A Multi-Display System for Deploying and Controlling Home Automation. In Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces (pp. 399-402). 2014, ACM.

  7. •A. Mituca, A. H. Moin,  C. Prehofer. Access Control for Apps Running on Constrained Devices in the Internet of Things. Secure Internet of Things (SIoT), 2014 International Workshop on. IEEE, 2014.

  8. •C. Prehofer, Feature-based Development of State Transition Diagrams with Property Preservation, MoDeVVa, 10 p., CEUR-WS 2013.

  9. •C. Prehofer, From the Internet of Things to trusted Apps for Things, SeIoTA 2013, 6 p., IEEE, 2013.

  10. •C. Prehofer, P. Scholz, Behavioral Refinement of Non-deterministic State Transition Diagrams based on Behavior Elimination, FMSPLE 2013, p. 26-33, ACM 2013.

  11. •M. Manderscheid, C. Prehofer, Network Performance Evaluation for Distributed Embedded Systems Using Feature Models, Eighteenth International Conference on Engineering of Complex Computer Systems (ICECCS 2013), 2013

  12. •W. A. Heidrich, D. Seydel, C. Prehofer, Improving Rescue Information Using C2C and C2I Communication 5th International Symposium on Wireless Vehicular Communications: WIVEC2013, Dresden, Germany, 2013

  13. •C. Prehofer, Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement, 10th International Conference on integrated Formal Methods (iFM 2013), 2013

  14. •M. Zeller, C. Prehofer, D. Krefft, G. Weiss; Towards Runtime Adaptation in AUTOSAR 5th Workshop on Adaptive and Reconfigurable Embedded Systems, APRES 2013

  15. •P. Heinrich, C. Prehofer, Early energy estimation in the design process of networked embedded systems, PECCS 2013, 3rd International Conference on Perasive and Embedded Computing and Communication Systems. 2013.

  16. •C. Prehofer, M. Zeller, A hierarchical transaction concept for runtime adaptation in real-time, networked embedded systems, IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012), September 2012.

  17. •R. Strebelow, M. Tribastone, C. Prehofer. Performance modelling of design patterns for distributed computation. In 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 2012

  18. •C. Prehofer. Behavioral refinement and compatibility of statechart extensions. In Workshop on Formal Engineering approaches to Software Components and Architectures. Electronic Notes in Theoretical Computer Science (ENTCS), 2012.

  19. •C. Prehofer, M. Zeller, Torwards runtime adaptation in real-time, networked embedded systems, 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012.

  20. •T. Repasi, S. Gießl, C. Prehofer, Using model-checking for the detection of non-functional feature interactions, IEEE 16th International Conference on Intelligent Engineering Systems, 2012.

  21. •P. Heinrich, C. Prehofer, F. Langer, D. Eilers, R. Knorr, Formale Systembeschreibung von Steuergeräten und Kommunikationsnetzwerken zur automatisierten Optimierung des Energieverbrauchs. VDI-Kongress AUTOMATION 2012 "Komplexität beherrschen - Zukunft sichern", Baden-Baden, Germany, 2012.

  22. •M. Zeller, C. Prehofer, Self-Adaptation in Automotive Embedded Systems using a Multi-Layered Control Approach, PECCS 2012 - Special Session on Self-Adaptive Networked Embedded Systems, 2012.

  23. •P. Heinrich, C. Prehofer, Network-Wide Energy Optimization for Adaptive Embedded Systems. APRES 2012.

  24. •R. Strebelow, C. Prehofer, Analysis of event processing design patterns and their performance dependency on I/O notification mechanisms, MSEPT, 2012.

  25. •M. Zeller, C. Prehofer, Timing Constraints for Runtime Adaptation in Real-time, Networked Embedded Systems, 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’12), 2012.

  26. •M. Zeller, C. Prehofer, G. Weiss, D. Eilers, R. Knorr. Towards Self-Adaptation in Real-time, Networked Systems: Efficient Solving of System Constraints for Automotive Embedded Systems. In Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2011.

  27. •C. Prehofer. An adaptive control model for non-functional feature interactions. International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE), 2011.

  28. •F. Langer, C. Prehofer, Anomaly Detection in Embedded Safety Critical Software, 22nd International Workshop on Principles of Diagnosis, 2011.

  29. •O. Horst, C. Prehofer, Multi-Staged Virtualization for Embedded Systems, 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2011.

  30. •S. Tarkoma, C. Prehofer, Techniques for Content Subscription Anonymity with Distributed Brokers, PSD 2010 - Privacy in Statistical Databases, 2010.

  31. •C. Prehofer,  S. Tarkoma, A New Approach for Privacy in the Cloud: Context-aware Obfuscation, IFIP International Conference on Trust Management (IFIPTM2010), 2010.

  32. •C. di Flora, C. Prehofer, Leveraging GIS Technologies for Web-based Smart Places Services, 6th IFIP Workshop on Software Technologies for Future Embedded & Uiquitous Systems, 2008.

  33. •V. Myllärniemi, C. Prehofer, M. Raatikainen, J. van Gurp, T. Männistö, An Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints, ECSA 2008 - First European Conference on Software Architecture, 2008.

  34. •Y. Zheng,  C. Prehofer, An Adaptive Trust Control Model for a Trustworthy Component Software Platform, 4th International Conference on Autonomic and Trusted Computing (ATC-07), Hong Kong, 2007.

  35. •Y. Zheng, C. Prehofer, V. Niemi, Trust4All: a trustworthy middleware platform for component software. 7th Conference on 7th WSEAS international Conference on Applied informatics and Communications, 2007

  36. •S. Tarkoma, C. Prehofer, A. Zhdanova, K. Moessner, E. Kovacs. SPICE: Evolving IMS to Next Generation Service Platforms. IEEE workshop on Next Generation Service Platforms for Future Mobile Systems (SPMS 2007).

  37. •Christian Prehofer, Semantic Reasoning about Feature Composition via Multiple Aspect-weavings, Conference on Generative Programming and Component Engineering (GPCE'06) October 2006, Portland, Oregon

  38. •Jilles van Gurp, Christian Prehofer, Version management tools as a basis for integrating Product Derivation and Software Product Families, Variability Management at the Software Product Line Conference 2006, Baltimore, 2006

  39. • Fasolo, Christian Prehofer, Michele Rossi, Qing Wei, Jörg Widmer, Andrea Zanella and Michele Zorzi, Challenges and New Approaches for Efficient Data Gathering and Dissemination in Pervasive Wireless Networks, to appear in Intersense 2006, Nice, France, May 2006

  40. •Mona Ghassemian, Philipp Hofmann, Vasilis Friderikos, Christian Prehofer, A. Hamid Aghvami, An Optimised Gateway Selection Mechanism for Wireless Ad hoc Networks Connected to the Internet, VTC Spring 2006

  41. •C. Prehofer, N. Papadoglou, M. Johnson, On the Evolution of a Naming & Addressing Architecture in View of Dynamic Network Interconnection, Communications and Computer Networks (CCN 2005), Los Angeles, Oct. 2005

  42. •E. Carlson, C. Bettstetter, C. Prehofer, A. Wolisz, A Performance Comparison of QoS Approaches for Ad Hoc Networks: 802.11e versus Distributed Resource Allocation, European Wireless, April, 2005

  43. •N. Niebert, M. Prytz, A. Schieder, N. Papadoglou, L. Eggert, F. Pittmann, C. Prehofer, Ambient Networks: A Framework for Future Wireless Internetworking, VTC Spring 2005, Stockholm, June 2005

  44. •Qing Wei, Martin Kappes, Christian Prehofer, Shi Zhong, Tim Farnham, A Hierarchical General Purpose Optimisation Framework for Wireless Networks, European Wireless, April, 2005

  45. •N. Niebert, T. Norp and R. Hancok, Ambient Networks – A New Concept for Mobile Networking, Eurescom Summit 2005, April 2005

  46. •C. Kappler, P. Mendes, C. Prehofer, P. Pöyhönen and Di Zhou, A Framework for Self-organized Network Composition, International Workshop on Autonomic Communication, Berlin, October 18-19, 2004

  47. •E. Carlson, C. Bettstetter, H. Karl, C. Prehofer, A. Wolisz, Distributed MAC for Real-Time Traffic in Multi-Hop Wireless Networks - Protection of an End-to-End Resource Reservation, Conference Poster, IEEE Conf. on Sensor and Ad Hoc Communications and Networks (SECON), Oct 4-7 2004, Santa Clara, USA

  48. •M. Ghassemian, P. Hofmann, C. Prehofer, V. Friderikos, H. Aghvami, Performance Analysis of Internet Gateway Discovery Protocols in Ad Hoc Networks, WCNC 2004, Atlanta, USA, March 21-25, 2004

  49. •Norbert Niebert, Hannu Flinck, Robert Hancock, Holger Karl, Christian Prehofer, Ambient Networks – Research for Communication Networks Beyond 3G, IST Summit 2004, Lyon

  50. •Henrik Abramowicz, Christian Prehofer et al., The Wireless World Initiative: A Framework for Research on Systems Beyond 3G, IST Summit 2004, Lyon

  51. •Emma Carlson, Christian Bettstetter, Holger Karl, Christian Prehofer, and Adam Wolisz, Distributed Maintenance of Resource Reservation Paths in Multihop 802.11 Networks, IEEE Vehicular Technology Conf. (VTC), Los Angeles, USA, Sept 26-29, 2004,

  52. •P. Hofmann, C. Bettstetter, J. Wehren, C. Prehofer, Performance Impact of Mobility in an Emulated IP-based Multihop Radio Access Network, Proc. IEEE/IFIP Intern. Conf. on Mobile and Wireless Communication Networks (MWCN), Paris, France, Oct 25-27, 2004

  53. •S. Thakolsri, C. Prehofer and W. Kellerer, Transition Mechanism in IP-based Wireless Networks, SAINT 2004, Tokyo, Japan 

  54. •P. Hofmann, C. Prehofer, Gateway-Controlled Accounting for Global Connectivity in Ad Hoc Networks, ICMU 2004, Yokosuka  

  55. •M. Ghassemian, P. Hofmann, C. Prehofer, V. Friderikos, H. Aghvami, Performance Analysis of Internet Gateway Discovery Protocols in Ad Hoc Networks, WCNC 2004, IEEE

  56. •Emma Carlson, Holger Karl, Adam Wolisz, Christian Prehofer, Distributed allocation of time slots for real-time traffic in a wireless multi-hop network, European Wireless, Barcelona, 2004

  57. •Q. Wei, K. Farkas, P. Mendes, C. Prehofer, B. Plattner and N. Nafisi, Context-aware Handover Based on Active Network Technology, IWAN 2003, Springer-Verlag,

  58. •L. Yao, C. Prehofer, Local Software Update for Terminal Reconfiguration using Ad Hoc Networks. SDR'03 Technical Conference, Orlando, USA, 17-19 November 2003,

  59. •Paulo Mendes, Christian Prehofer, Qing Wei, Context Management with Programmable Mobile Networks, IEEE Computer Communication Workshop, 2003.

  60. •Q. Wei, C. Prehofer: Context Management in Mobile Networks, in Proc. of ANwire Workshop, Paris, France, November 18, 2003.

  61. •C. Prehofer, Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams, International Workshop on Feature Interaction in Telecommunications and Software Systems, Ottawa, Canada, June, 2003, IOS Press,

  62. •C. Prehofer, N. Nafisi and Q. Wei, A Framework for Context-aware Handover Decisions, PIMRC 2003, Beijing, China, September 7-10, 2003, IEEE Press

  63. •J. Hillebrand, C. Prehofer, R. Bless and M. Zitterbart, Design of Quality-of-Service Signaling for IP-based Mobile Networks, WPMC 03, Yokosuka, Japan, October 19-22, 2003 f

  64. •C. Prehofer and B Souville, Synchronized Reconfiguration of a group of mobile nodes in ad-hoc networks, ICT 2003, 2003, IEEE

  65. •M. Ghassemian, P. Hofmann, H. Aghvami and C. Prehofer, Analyses of Addressing and QoS Approaches for Ad Hoc Connectivity with the Internet, PIMRC 2003, Beijing, China, September 7-10, 2003, IEEE

  66. •R. Bless, M. Zitterbart, J. Hillebrand and C. Prehofer, Quality-of-Service Signaling in Wireless IP-based Mobile Networks, VTC2003-Fall, Orlando, FL, USA, October 6-9, 2003, IEEE

  67. •Christian Prehofer, Qing Wei, „Active Networks for 4G Mobile Communication: Motivation, Architecture and Application Scenarios”,  In: International Working Conference on Active Networks,  2002

  68. •Christian Prehofer, Lian Yao, Bertrand Souville, Katsuya Kawamura, „Middleware and networking support for re-configurable terminals”, SDR Forum Conference 2002

  69. •Christian Prehofer, „Active Network Technology and Reconfigurability”, Second European Colloquium on Reconfigurable Radio”, Athen, Juni 2002.

  70. •R. Hirschfeld, M. Wagner, W. Kellerer, C. Prehofer: AOSD for System Integration and Personalization, in Proc. of AOSD Workshop on Commercialization of AOSD Technology, Boston, MA, USA, March 17-21, 2003.

  71. •Robert Hirschfeld, Wolfgang Kellerer, Christian Prehofer and Hendrik Berndt, „An Integrated System Concept for Fourth Generation Mobile Communication”, Eurescom Summit 2002

  72. •Christian Prehofer, Harald Müller and Josef Glasmann,  „A Scalable Resource Management Architecture for VoIP“,  In: Protocols for Multimedia Systems,  2000.

  73. •Bert Koch, Christian Prehofer et al., „ELISA: QoS for IP over ATM - a Combined IntServ/DiffServ Approach“, In: Next Generation Networks in Europe, InfoWin, 2000.

  74. •Christian Prehofer, „From Inheritance to Feature Interaction or Composing Monads“, In: Arbeitstagung Programmiersprachen,  Tagungsband der GI-Jahrestagung,  Springer-Verlag, 1997.

  75. •Christian Prehofer, „An Object-Oriented Approach to Feature Interaction“, In: Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems, IOS-Press, 1997.

  76. •Cornel Klein, Christian Prehofer and Bernhard Rumpe, „Feature Specification and Refinement with State Transition Diagrams“, In: Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems,  IOS-Press, 1997.

  77. •Christian Prehofer, „Feature-Oriented Programming: A Fresh Look at Objects“, In: ECOOP '97 - Object-Oriented Programming,  Springer LNCS 1241, 1997.

  78. •Christian Prehofer, „Higher-Order Functional-Logic Programming: A Systematic Development“,   Second Fuji International Workshop on Functional and Logic Programming,  World Scientific, 1997.

  79. •Christian Prehofer, „From Inheritance to Feature Interaction“,  In: Special Issues in Object-Oriented Programming. ECOOP '96 Workshop on Composability Issues in Object-Orientation, dpunkt-Verlag, 1997.

  80. •Henrik Linnestad, Christian Prehofer and Olav Lysne, „Higher-Order Proof by Consistency“, In: Proc. 16th Conf. Foundations of Software Technology and Theoretical Computer Science, Springer LNCS 1180, 1996.

  81. •Michael Hanus and Christian Prehofer,  „Higher-Order Narrowing with Definitional Trees“, In: Seventh International Conference on Rewriting Techniques and Applications (RTA'96), Springer LNCS 1103,  1996.

  82. •Christian Prehofer,  „A Call-by-Need Strategy for Higher-Order Functional-Logic Programming“, In: Logic Programming. Proc. of the 1995 International Symposium,  MIT Press, 1995.

  83. •Christian Prehofer,  „Higher-Order Narrowing with Convergent Systems“,  In: Algebraic Methodology and Software Technology '95, Springer LNCS 936, 1995.

  84. •Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer and Birgit Schieder, „Interpreter Verification for a Functional Language“,  In: 14th Conf. Foundations of Software Technology and Theoretical Computer Science, Springer LNCS 880,  1994

  85. •Christian Prehofer, „On Modularity in Term Rewriting and Narrowing“,  In: 1st International Conference on Constraints in Computational Logics,  Springer LNCS 845, 1994.

  86. •Christian Prehofer,  „Higher-order Narrowing“,  In: Ninth Annual IEEE Symposium on Logic in Computer Science,  IEEE Computer Society Press, 1994.

  87. •Christian Prehofer,  „Decidable Higher-order Unification Problems“, In: Automated Deduction -- CADE-12,  Springer LNAI 814, 1994.

  88. •Tobias Nipkow and Christian Prehofer,  „Type Checking Type Classes“, In: 20th ACM Symp. Principles of Programming Languages, ACM Press, 1993.

  89. •Christian Prehofer,  „An Efficient Constraint Language for Order-sorted Polymorphic  Resolution“,  In: Logics in AI,  Springer LNCS 633, 1992.

Technical Reports & Other Workshops


  1. •C. Prehofer, L. Chiarabini, From IoT Mashups to Model-based IoT, W3C Workshop on the Web of Things, 2014

  2. •Vom Internet der Dinge zu Apps für Dinge, Computerwoche, 2014 (in German)

  3. •P. Heinrich, C. Prehofer, Network-Wide Energy Optimization for Adaptive Embedded Systems. 4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES) 2012.

  4. •P. Heinrich, C. Prehofer, F. Langer, D. Eilers, R. Knorr, Formale Systembeschreibung von Steuergeräten und Kommunikationsnetzwerken zur automatisierten Optimierung des Energieverbrauchs. VDI-Kongress AUTOMATION 2012 "Komplexität beherrschen - Zukunft sichern", Baden-Baden, Germany, 2012.

  5. •R. Strebelow, C. Prehofer, Work in Progress: Evaluation of Parallel Design Patterns for Message, Processing Systems on Embedded Multicore Systems, First Workshop on Systems for Future Multi-Core Architectures, 2011

  6. •Cristiano di Flora, Jilles van Gurp, Christian Prehofer, Towards Effective Smart Space Application Development: Impediments and Research Challenges, accepted for CMPPC'07: Common Models and Patterns for Pervasive Computing Workshop, at Pervasive 2007 in Toronto, Ontario, Canada, May 13-16 2007 

  7. •Christian Prehofer, Sasu Tarkoma, Margareta Björksten, SPICE: A service platform for future mobile communication services, Nokia Advance Magazine, 2007 no. 1 - Next generation systems,

  8. •Jilles van Gurp, Christian Prehofer, Version management tools as a basis for integrating Product Derivation and Software Product Families, Variability Management at the Software Product Line Conference 2006, Baltimore, 2006

  9. •C. Prehofer, S. Tarkoma, A. V. Zhdanova, F. Rajasekaran, SPICE: A Service Platform for Future Mobile Communication Services, 17th Wireless World Research Forum, 15-17 November 2006, Heidelberg, 2006

  10. •Christian Prehofer, Bernhard Hurler, Qing Wei, Martina Zitterbart , A Framework for Network Mode Control inWireless Sensor Networks, Universität Karlsruhe (TH), December 2005, Technical Report TM-2005-5, ISSN 1613-849X, http://doc.tm.uka.de/tr/

  11. •C. Prehofer, Plug-and-Play Composition of Features and Feature Interactions
    with  Statechart Diagrams, Dagstuhl Seminar 03081, “Objects, Agents and Features”, Feb 2003

  12. •R. Hirschfeld, M. Wagner, W. Kellerer and C. Prehofer, AOSD for System Integration and Personalization, AOSD Workshop on Commercialization of AOSD Technology, Boston, USA, March 17-21, 2003

  13. •W. Kellerer, H. Berndt, R. Hirschfeld, C. Prehofer, „Configurable 4G System Architecture”, WWRF London, Juni 2002

  14. •C. Prehofer, „Feature Interactions in Statechart Diagrams or Graphical Composition of Components”, Second International Workshop on Aspect-oriented Modeling with UML, Dresden 2002

  15. •C. Prehofer, „Active Network Technology and Programmability in Future Mobile Networks” OpenSig, Lexington, Kentucky, 2002

  16. •T. V. Do, H. Hussmann, B. Koch, C. Prehofer, I. S. Venieris, G. Mamais, S. Salsano, J.-J. Tchouto, C. Tittel and P. Todorova, „ELISA: European Linkage between Internet Integrated and Differentiated Services over ATM“, IEEE Workshop on QoS Support for Real-Time Internet Applications, Vancouver, 1999.

  17. •Christian Prehofer,   Solving Higher-order Equations: From Logic to Programming, Dissertation, TU München, 1995.Technical Report TUM-I9508.

  18. •Michael Hanus and Christian Prehofer, „Higher-Order Narrowing with Definitional Trees“,  Technical Report 96-2, RWTH Aachen, 1996.

  19. •Christian Prehofer, „From Inheritance to Feature-Interaction or Composing Monads“,  Technical Report TUM-I9715,  TU München, 1997.

  20. •Christian Prehofer, „Some Applications of Functional Logic Programming“,In: Proc. JICSLP'96 Workshop on Multi-Paradigm Logic Programming, Pages 35-45, Technical Report 96-28,  TU Berlin, 1996.

  21. •Christian Prehofer, „An Efficient Constraint Language for Order-sorted Polymorphic Resolution“, In:   Sprachen für KI-Anwendungen, Konzepte - Methoden - Implementierungen, M Lippe (Ed.), Technical Report 12/92-I, Universität Münster, 1992.

OLD Research Home Page of
Christian Prehofer
Link to New Page