Scientific Publications

Publications and Publication Statistics on Google Scholar
Access Papers on ResearchGate


Publications on Digitalization

  1. M. Broy, C. Prehofer, H. Engesser, Digitalisierung und die Rolle der Informatik in Anwendung und Forschung, Informatik Spektrum, Springer-Verlag, 2016. 
  2. Digitale Transformation: Wie Informations- und Kommunikationstechnologie etablierte Branchen grundlegend verändern,  Alejandro Arreola González et al., Publication of the BMWi Project IKT-Wandel, https://www.fortiss.org/ueber-uns/aktuelles/studie-digitale-transformation/, 2016

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. S. Amini, K. Beckers, M. Böhm, F. Busch, N. Celikkaya, V. Cozzolino, A. Faber, M. Haus, D. Huth, A. Kemper, A. Kipf, H. Krcmar, F. Matthes, J. Ott, C.  Prehofer, A. Pretschner, Ö. Uludağ, W. Wörndl, Informatikforschung für digitale Mobilitätsplattformen, Informatik-Spektrum 40.2, 2017
  2. C. Prehofer, I. Gerostathopoulos, Modeling RESTful WoT Services: Concepts and Tools, 33 S., erscheint in: Managing the Web of Things: Linking the Real World to the Web, Morgan Kaufmann, Elsevier, 2016 
  3. K. Mu, F. Hui, X. Zhao, C.  Prehofer, Multiscale edge fusion for vehicle detection based on difference of Gaussian. Optik-International Journal for Light and Electron Optics 127.11, S. 4794-4798. 2016
  4. B. Paech, S. Apel, L. Grunske, C. Prehofer, Empirische Forschung zu Software-Evolution, Informatik Spektrum, (in German), 2015
  5. 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
  6. M. Zeller, C. Prehofer, D. Krefft, G. Weiss; Towards Runtime Adaptation in AUTOSAR, 6 p.,  ACM SIGBED review, 2013.
  7. C. Prehofer. 2013. Behavioral Refinement and Compatibility of Statechart Extensions. Electron. Notes Theor. Comput. Sci. Vol. 295, p. 65-78, Elsevier 2013.
  8. 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.
  9. 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.
  10. P. Heinrich, C. Prehofer, Network-Wide Energy Optimization for Adaptive Embedded Systems, ACM SIGBED review, Vol. 10, p. 33-36, 2013. 
  11. 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.
  12. P. Heinrich, C. Prehofer, Network-Wide Energy Optimization for Adaptive Embedded Systems, to appear in ACM SIGBED review. 
  13. 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
  14. 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.
  15. 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.
  16. Y. Zheng, C. Prehofer, Autonomic Trust Management for a Component Based Software System IEEE Transactions on Dependable and Secure Computing, 2011.
  17. 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.
  18. C. Prehofer, J. van Gurp, V. Stirbu, S. Sathish, P. Liimatainen, C. di Flora, S. Tarkoma, Practical Web­ based Smart SpacesIEEE Pervasive Computing, ISSN: 1536-1268, 2010
  19. V. Vianello, C. di Flora, C. Prehofer, A Comparison of GIS Architectures for Implementing Indoor Location-based Services, Journal of Software , 2009. 
  20. C. Prehofer, J. van Gurp, J. Bosch, Compositionality in Software Platforms, in Emerging Methods, Technologies and Process Management in Software Engineering, Wiley, 2008.
  21. C. Prehofer, C. Bettstetter, Wireless Communiation Networks, in 4G Mobile Technology: Services with Initiative, H. Berndt (Ed.), Wiley, 2008.
  22. C. Prehofer, Context-aware Mobility Management, in 4G Mobile Technology: Services with Initiative, H. Berndt (Ed.), Wiley, Feb. 2008.
  23. 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.
  24. 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.
  25. S. Tarkoma, C. Prehofer, S. Sovio, P. Laitinen. Composable Mediation for Security-aware Mobile Services. IEEE Communications Magazine, 2007.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. J. Hillebrand, C.Prehofer, R. Bless, M. Zitterbart, Quality-of-Service Signaling for Next-Generation IP-based Mobile Networks, IEEE Communications Magazine, 2004.
  31. 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.
  32. C. Prehofer, Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams, Journal on Software & System Modeling, Springer-Verlag, 2004.
  33. 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. 
  34. C. Prehofer, Feature-Oriented Programming: A New Way of Object Composition, Concurrency and Computation, Vol. 13, 2001. 
  35. 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.
  36. B. Koch, C. Prehofer, Internet Service Architectures and ATM – the ELISA Approach, Flexible Working: New Network Technologies, IOS Press, 1999.  
  37. M. Hanus, C. Prehofer, Higher-Order Narrowing with Definitional Trees, Journal of Functional Programming, Vol. 9, No. 1, 1999. 
  38. 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. 
  39. T. Nipkow, C. Prehofer, Type Reconstruction for Type Classes, J. Functional Programming, Vol. 5 (2), 1995.  

Reviewed Publications

  1. O. Horst, U. Baumgarten, C. Prehofer, Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms.  Proceedings of the 8th Real-Time Scheduling Open Problems Seminar (RTSOPS) held in conjunction with the 29th Euromicro Conference on Real-Time Systems (ECRTS), 2017
  2. A. Amini, I. Gerostathopoulos, C. Prehofer, Big Data Analytics Architecture for Real-Time Traffic Control, 5th International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS 2017)
  3. S. Schmid, I. Gerostathopoulos, C. Prehofer, T. Bures, Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool,  12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’17) 
  4. V. Theodorou, I. Gerostathopoulos, S. Amini, R. Scandariato, C. Prehofer, M. Staron, Theta Architecture: Preserving the Quality of Analytics in Data-Driven Systems, Workshop on Novel Techniques for Integrating Big Data (BigNovelTI 2017), colocated with ADBIS 2017
  5. I. Gerostathopoulos, T. Bures, S. Schmid, V. Horky, C. Prehofer, P. Tuma, Towards Systematic Live Experimentation in Software-Intensive Systems of Systems, International Colloquium on Software-intensive Systems-of-Systems, colocated with ECSA 2016
  6. A Novel,  Approach for Dynamic Vertical Indoor Mapping through Crowd-sourced Smartphone Sensor Data, Georgios Pipelidis, Omid Reza Moslehi Rad, Dorota Iwaszczuk, Christian Prehofer, and Urs Hugentobler, IPIN 2017 
  7. X. Su, P. Li,  Y. Li, H. Flores, J. Riekki, C. Prehofer, Transferring Remote Ontologies to the Edge of Internet of Things Systems. Su, X., Li, P., Flores, H., Riekki, J., Liu, X., Li, Y., & Prehofer, C., In International Conference on Green, Pervasive, and Cloud Computing (pp. 538-552). Springer, Cham.
  8. X. Su, P. Li,  Y. Li, H. Flores, J. Riekki, C. Prehofer,  Towards semantic reasoning on the edge of IoT systems. In Proceedings of the 6th International Conference on the Internet of Things (pp. 171-172). 2016, ACM.
  9. C. Prehofer, A. Wagner, Y. Jin, A Model-based Approach for Multi-Device User Interactions, ACM/IEEE 19th International Conference Model Driven Engineering Languages and Systems (MODELS), 2016
  10. A. Wager, C. Prehofer, Translating Task Models to State Machines, IEEE Modelsward 2016, S. 201-208, SciTePress 2016.
  11. C. Prehofer, Property Preservation for Extension Patterns of State Transition Diagrams, 12th International Conference on integrated Formal Methods (iFM 2016), S. 260-274, Springer-Verlag, 2016.
  12. C. Prehofer, et al, Towards Trusted Apps Platforms for Open CPS, International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC’ 16), S. 23-28, IEEE 2016.
  13. A. Ruhland, C. Prehofer, O. Horst, embSFI: An Approach for Software Fault Isolation in Embedded Systems, Workshop on Security and Dependability of Critical Embedded Real-Time Systems, 6 S., 2016.
  14. K. Napier, O. Horst, C. Prehofer, Comparably Evaluating Communication Performance within Mixed-Criticality Systems, Workshop on Mixed Criticality Systems, 2016.
  15. M. Jobst, C. Prehofer, Towards Hierarchical Information Architectures in Automotive, International IFIP Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC’ 16), S. 41-46, IEEE 2016
  16. T. Mahapatra, I. Gerostathopoulos, C. Prehofer, Towards Integration of Big Data Analytics in Internet of Things Mashup Tools. 7th International Workshop on the Web of Things. 5 S., ACM, 2016. 
  17. S. Schmid, I. Gerostathopoulos, C. Prehofer, QryGraph: A Graphical Tool for Big Data Analytics, 2016 IEEE International Conference on Systems, Man, and Cybernetics, 6 S., 2016. 
  18. C. Prehofer, Models At REST or Modelling RESTful Interfaces for the Internet of Things, IEEE World Forum on Internet of Things, S. 251-255, IEEE 2015.
  19. C. Prehofer, D. Schinner, Generic Operations on RESTful Resources in Mashup Tools. 6th International Workshop on the Web of Things. 6 S., ACM, 2015. 
  20. J. Kroß, A. Brunnert, C. Prehofer, T. A. Runkler, H.  Krcmar, Stream Processing on Demand for Lambda Architectures, European Workshop Computer Performance Engineering, S. 9-12, Springer-Verlag, 2015.
  21. C. Prehofer, G. Kornaros, M. Paolino,  TAPPS – Trusted Apps for Open Cyber-Physical Systems, e-Democracy 2015, Athen, S. 213-216, Springer-Verlag, 2015
  22. C. Prehofer, L. Chiarabini, From Internet of Things Mashups to Model-based Development, IEEE COMPSAC BIoT workshop, S. 499-504, IEEE 2015
  23. 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     
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. C. Prehofer, Feature-based Development of State Transition Diagrams with Property Preservation, MoDeVVa, 10 p., CEUR-WS 2013.
  30. C. Prehofer, From the Internet of Things to trusted Apps for Things, SeIoTA 2013, 6 p., IEEE, 2013.
  31. C. Prehofer, P. Scholz, Behavioral Refinement of Non-deterministic State Transition Diagrams based on Behavior Elimination, FMSPLE 2013, p. 26-33, ACM 2013.
  32. 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
  33. 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
  34. C. Prehofer, Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement, 10th International Conference on integrated Formal Methods (iFM 2013), 2013
  35. M. Zeller, C. Prehofer, D. Krefft, G. Weiss; Towards Runtime Adaptation in AUTOSAR 5th Workshop on Adaptive and Reconfigurable Embedded Systems, APRES 2013
  36. 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.
  37. 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.
  38. 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
  39. 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.
  40. C. Prehofer, M. Zeller, Torwards runtime adaptation in real-time, networked embedded systems, 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012.
  41. 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.
  42. 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.
  43. 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.
  44. P. Heinrich, C. Prehofer, Network-Wide Energy Optimization for Adaptive Embedded Systems. APRES 2012. 
  45. R. Strebelow, C. Prehofer, Analysis of event processing design patterns and their performance dependency on I/O notification mechanisms, MSEPT, 2012.
  46. 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.
  47. 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.
  48. 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.
  49. F. Langer, C. Prehofer, Anomaly Detection in Embedded Safety Critical Software, 22nd International Workshop on Principles of Diagnosis, 2011.
  50. O. Horst, C. Prehofer, Multi-Staged Virtualization for Embedded Systems, 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2011.
  51. S. Tarkoma, C. Prehofer, Techniques for Content Subscription Anonymity with Distributed Brokers, PSD 2010 – Privacy in Statistical Databases, 2010.
  52. C. Prehofer,  S. Tarkoma, A New Approach for Privacy in the Cloud: Context-aware Obfuscation, IFIP International Conference on Trust Management (IFIPTM2010), 2010.
  53. 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.
  54. 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.
  55. 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.
  56. 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
  57. 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).
  58. Christian Prehofer, Semantic Reasoning about Feature Composition via Multiple Aspect-weavings, Conference on Generative Programming and Component Engineering (GPCE’06) October 2006, Portland, Oregon
  59. 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
  60.  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
  61. 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
  62. 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
  63. 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
  64. 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
  65. Qing Wei, Martin Kappes, Christian Prehofer, Shi Zhong, Tim Farnham, A Hierarchical General Purpose Optimisation Framework for Wireless Networks, European Wireless, April, 2005
  66. N. Niebert, T. Norp and R. Hancok, Ambient Networks – A New Concept for Mobile Networking, Eurescom Summit 2005, April 2005
  67. 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
  68. 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
  69. 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
  70. Norbert Niebert, Hannu Flinck, Robert Hancock, Holger Karl, Christian Prehofer, Ambient Networks – Research for Communication Networks Beyond 3G, IST Summit 2004, Lyon
  71. Henrik Abramowicz, Christian Prehofer et al., The Wireless World Initiative: A Framework for Research on Systems Beyond 3G, IST Summit 2004, Lyon
  72. 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,
  73. 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
  74. S. Thakolsri, C. Prehofer and W. Kellerer, Transition Mechanism in IP-based Wireless Networks, SAINT 2004, Tokyo, Japan 
  75. P. Hofmann, C. Prehofer, Gateway-Controlled Accounting for Global Connectivity in Ad Hoc Networks, ICMU 2004, Yokosuka  
  76. M. Ghassemian, P. Hofmann, C. Prehofer, V. Friderikos, H. Aghvami, Performance Analysis of Internet Gateway Discovery Protocols in Ad Hoc Networks, WCNC 2004, IEEE
  77. 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
  78. 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,
  79. L. Yao, C. Prehofer, Local Software Update for Terminal Reconfiguration using Ad Hoc Networks. SDR’03 Technical Conference, Orlando, USA, 17-19 November 2003,
  80. Paulo Mendes, Christian Prehofer, Qing Wei, Context Management with Programmable Mobile Networks, IEEE Computer Communication Workshop, 2003.
  81. Q. Wei, C. Prehofer: Context Management in Mobile Networks, in Proc. of ANwire Workshop, Paris, France, November 18, 2003.
  82. 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,
  83. C. Prehofer, N. Nafisi and Q. Wei, A Framework for Context-aware Handover Decisions, PIMRC 2003, Beijing, China, September 7-10, 2003, IEEE Press
  84. 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
  85. C. Prehofer and B Souville, Synchronized Reconfiguration of a group of mobile nodes in ad-hoc networks, ICT 2003, 2003, IEEE
  86. 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
  87. 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
  88. Christian Prehofer, Qing Wei, „Active Networks for 4G Mobile Communication: Motivation, Architecture and Application Scenarios”,  In: International Working Conference on Active Networks,  2002
  89. Christian Prehofer, Lian Yao, Bertrand Souville, Katsuya Kawamura, „Middleware and networking support for re-configurable terminals”, SDR Forum Conference 2002
  90. Christian Prehofer, „Active Network Technology and Reconfigurability”, Second European Colloquium on Reconfigurable Radio”, Athen, Juni 2002.
  91. 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.
  92. Robert Hirschfeld, Wolfgang Kellerer, Christian Prehofer and Hendrik Berndt, „An Integrated System Concept for Fourth Generation Mobile Communication”, Eurescom Summit 2002
  93. Christian Prehofer, Harald Müller and Josef Glasmann,  „A Scalable Resource Management Architecture for VoIP“,  In: Protocols for Multimedia Systems,  2000.
  94. 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.
  95. Christian Prehofer, „From Inheritance to Feature Interaction or Composing Monads“, In: Arbeitstagung Programmiersprachen,  Tagungsband der GI-Jahrestagung,  Springer-Verlag, 1997.
  96. 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.
  97. 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.
  98. Christian Prehofer, „Feature-Oriented Programming: A Fresh Look at Objects“, In: ECOOP ’97 – Object-Oriented Programming,  Springer LNCS 1241, 1997.
  99. Christian Prehofer, „Higher-Order Functional-Logic Programming: A Systematic Development“,   Second Fuji International Workshop on Functional and Logic Programming,  World Scientific, 1997.
  100. 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.
  101. 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.
  102. 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.
  103. 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.
  104. Christian Prehofer,  „Higher-Order Narrowing with Convergent Systems“,  In: Algebraic Methodology and Software Technology ’95, Springer LNCS 936, 1995.
  105. 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
  106. Christian Prehofer, „On Modularity in Term Rewriting and Narrowing“,  In: 1st International Conference on Constraints in Computational Logics,  Springer LNCS 845, 1994.
  107. Christian Prehofer,  „Higher-order Narrowing“,  In: Ninth Annual IEEE Symposium on Logic in Computer Science,  IEEE Computer Society Press, 1994.
  108. Christian Prehofer,  „Decidable Higher-order Unification Problems“, In: Automated Deduction — CADE-12,  Springer LNAI 814, 1994.
  109. Tobias Nipkow and Christian Prehofer,  „Type Checking Type Classes“, In: 20th ACM Symp. Principles of Programming Languages, ACM Press, 1993.
  110. Christian Prehofer,  „An Efficient Constraint Language for Order-sorted Polymorphic  Resolution“,  In: Logics in AI,  Springer LNCS 633, 1992.

Impressum

Erstelle deine Website auf WordPress.com
Jetzt starten
%d Bloggern gefällt das: