Christian Prehofer

Christian Prehofer: Behavioral Refinement and Compatibility of Statechart Extensions. Electr. Notes Theor. Comput. Sci. 295: 65-78 (2013)

Christian Prehofer: Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement. IFM 2013: 31-45

Marc Zeller, Christian Prehofer: A Multi-Layered Control Approach for Self-Adaptation in Automotive Embedded Systems. Adv. Software Engineering 2012 (2012)

Christian Prehofer, Marc Zeller: A hierarchical transaction concept for runtime adaptation in real-time, networked embedded systems. ETFA 2012: 1-8

Ronald Strebelow, Mirco Tribastone, Christian Prehofer: Performance Modeling of Design Patterns for Distributed Computation. MASCOTS 2012: 251-258

Ronald Strebelow, Christian Prehofer: Analysis of Event Processing Design Patterns and Their Performance Dependency on I/O Notification Mechanisms. MSEPT 2012: 54-65

Marc Zeller, Christian Prehofer: Self-adaptation in Automotive Embedded Systems using a Multi-layered Control Approach. PECCS 2012: 459-468

Christian Prehofer, Marc Zeller: Towards runtime adaptation in real-time, networked embedded systems. SIES 2012: 271-274

Zheng Yan, Christian Prehofer: Autonomic Trust Management for a Component-Based Software System. IEEE Trans. Dependable Sec. Comput. 8(6): 810-823 (2011)

Christian Prehofer: An Adaptive Control Model for Non-functional Feature Interactions. EUROMICRO-SEAA 2011: 501-507

Marc Zeller, Christian Prehofer, Gereon Weiss, Dirk Eilers, Rudi Knorr: Towards Self-Adaptation in Real-Time, Networked Systems: Efficient Solving of System Constraints for Automotive Embedded Systems. SASO 2011: 79-88

Christian Prehofer, Jilles van Gurp, Vlad Stirbu, Sailesh Sathish, Sasu Tarkoma, Cristiano di Flora, Pasi P. Liimatainen: Practical Web-Based Smart Spaces. IEEE Pervasive Computing 9(3): 72-80 (2010)

Jilles van Gurp, Christian Prehofer, Jan Bosch: Comparing practices for reuse in integration-oriented software product lines and large open source software projects. Softw., Pract. Exper. 40(4): 285-312 (2010)

Christian Prehofer: Feature oriented-programming: back to the future. FOSD 2010: 1

Valerio Vianello, Cristiano di Flora, Christian Prehofer: A Comparison of GIS Architectures for Implementing Indoor Location-based Services. JSW 4(7): 664-674 (2009)

Gerd Kortuem, Henk Eertink, Christian Prehofer, Martin Strohbach: Introduction. Euro-Par 2009: 1103

Varvana Myllärniemi, Christian Prehofer, Mikko Raatikainen, Jilles van Gurp, Tomi Männistö: Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints. ECSA 2008: 180-195

Filip Suba, Christian Prehofer, Jilles van Gurp: Towards a Common Sensor Network API: Practical Experiences. SAINT 2008: 185-188

Cristiano di Flora, Christian Prehofer: Leveraging GIS Technologies for Web-Based Smart Places Services. SEUS 2008: 256-267

Roland Bless, Joachim Hillebrand, Christian Prehofer, Martina Zitterbart: A quality-of-service signaling architecture for seamless handover support in next generation, IP-based mobile networks. Wireless Personal Communications 43(3): 817-835 (2007)

Zheng Yan, Christian Prehofer: An Adaptive Trust Control Model for a Trustworthy Component Software Platform. ATC 2007: 226-238

Sasu Tarkoma, Christian Prehofer, Anna V. Zhdanova, Klaus Moessner, Ernö Kovacs: SPICE: Evolving IMS to Next Generation Service Platforms. SAINT Workshops 2007: 6

Qing Wei, Károly Farkas, Christian Prehofer, Paulo Mendes, Bernhard Plattner: Context-aware handover using active network technology. Computer Networks 50(15): 2855-2872 (2006)

E. Carlson, Christian Prehofer, Christian Bettstetter, Holger Karl, Adam Wolisz: A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks. IEEE Journal on Selected Areas in Communications 24(11): 2018-2027 (2006)

Philipp Hofmann, Christian Bettstetter, Christian Prehofer: Performance impact of multihop handovers in an IP-based multihop radio access network. Mobile Computing and Communications Review 10(2): 13-25 (2006)

Christian Prehofer: Semantic reasoning about feature composition via multiple aspect-weavings. GPCE 2006: 237-242

Elena Fasolo, Christian Prehofer, Michele Rossi, Qing Wei, Jörg Widmer, Andrea Zanella, Michele Zorzi: Challenges and new approaches for efficient data gathering and dissemination in pervasive wireless networks. InterSense 2006: 25

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: 782-787

Christian Prehofer, Nick Papadoglou, Martin Johnsson: On the evolution of a naming and addressing architecture in view of dynamic network interconnection. Communications and Computer Networks 2005: 374-379

Joachim Hillebrand, Christian Prehofer, Roland Bless, Martina Zitterbart: Quality-of-service management for IP-based mobile networks. WCNC 2005: 1248-1253

Christian Prehofer: Plug-and-play composition of features and feature interactions with statechart diagrams. Software and System Modeling 3(3): 221-234 (2004)

Philipp Hofmann, Christian Bettstetter, Jeremie Wehren, Christian Prehofer: Performance Impact of Mobility in an Emulated IP-Based Multihop Radio Access Network. MWCN 2004: 395-406

Srisakul Thakolsri, Christian Prehofer, Wolfgang Kellerer: Transition Mechanism in IP-Based Wireless Networks. SAINT Workshops 2004: 112-119

Cornelia Kappler, Paulo Mendes, Christian Prehofer, Petteri Pöyhönen, Di Zhou: A Framework for Self-organized Network Composition. WAC 2004: 139-151

Mona Ghassemian, Philipp Hofmann, Christian Prehofer, Vasilis Friderikos, Hamid Aghvami: Performance analysis of Internet gateway discovery protocols in ad hoc networks. WCNC 2004: 120-125

Christian Prehofer: Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams. FIW 2003: 43-58

Qing Wei, Károly Farkas, Paulo Mendes, Christian Prehofer, Bernhard Plattner, Nima Nafisi: Context-Aware Handover Based on Active Network Technology. IWAN 2003: 280-291

Christian Prehofer, Wolfgang Kellerer, Robert Hirschfeld, Hendrik Berndt, Katsuya Kawamura: An Architecture Supporting Adaptation and Evolution in Fourth Generation Mobile Communication Systems. Journal of Communications and Networks 4(4): 336-343 (2002)

Christian Prehofer, Qing Wei: Active Networks for 4G Mobile Communication: Motivation, Architecture, and Application Scenarios. IWAN 2002: 132-145

Christian Prehofer: Feature-oriented programming: A new way of object composition. Concurrency and Computation: Practice and Experience 13(6): 465-501 (2001)

Michael Hanus, Christian Prehofer: Higher-Order Narrowing with Definitional Trees. J. Funct. Program. 9(1): 33-75 (1999)

Berthold F. Koch, Christian Prehofer: Internet Service Architectures and ATM - The ELISA Approach. Flexible Working - New Network Technologies 1999: 179-194

Christian Prehofer: Feature-Oriented Programming: A Fresh Look at Objects. ECOOP 1997: 419-443

Cornel Klein, Christian Prehofer, Bernhard Rumpe: Feature Specification and Refinement with State Transition Diagrams. FIW 1997: 284-297

Christian Prehofer: An Object-Oriented Approach to Feature Interaction. FIW 1997: 313-325

Christian Prehofer: From Inheritance to Feature Interaction or Composing Monads. GI Jahrestagung 1997: 562-571

Henrik Linnestad, Christian Prehofer, Olav Lysne: Higher-Order Proof by Consistency. FSTTCS 1996: 274-285

Michael Hanus, Christian Prehofer: Higher-Order Narrowing with Definitional Trees. RTA 1996: 138-152

Tobias Nipkow, Christian Prehofer: Type Reconstruction for Type Classes. J. Funct. Program. 5(2): 201-224 (1995)

Christian Prehofer: Higher-Order Narrowing with Convergent Systems. AMAST 1995: 199-213

Christian Prehofer: A Call-by-Need Strategy for Higher-Order Functional-Logic Programming. ILPS 1995: 147-161

Christian Prehofer: Decidable Higher-Order Unification Problems. CADE 1994: 635-649

Christian Prehofer: On Modularity in Term Rewriting and Narrowing. CCL 1994: 253-268

Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder: Interpreter Verification for a Functional Language. FSTTCS 1994: 77-88

Christian Prehofer: Higher-Order Narrowing. LICS 1994: 507-516

Tobias Nipkow, Christian Prehofer: Type Checking Type Classes. POPL 1993: 409-418

Christian Prehofer: An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. JELIA 1992: 319-338