Christian Prehofer

Christian Prehofer, Ilias Gerostathopoulos, Sasan Amini, 2017, 2017 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS).

Comparing practices for reuse in integration-oriented software product lines and large open source software projects

Jan Bosch, Jilles van Gurp, Christian Prehofer, 2010 .

From Internet of Things Mashups to Model-Based Development

Christian Prehofer, Luca Chiarabini, 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

Performance Impact of Mobility in an Emulated IP-Based Multihop Radio Access Network

Christian Bettstetter, Christian Prehofer, Philipp Hofmann, 2004, MWCN.

Practical Web-Based Smart Spaces

Sasu Tarkoma, Jilles van Gurp, Christian Prehofer, 2010, IEEE Pervasive Computing.

Researchers from Nokia propose a Web-based framework that applies a resource-based HTTP style called Representational State Transfer (REST) to enable smart spaces to support pervasive applications in various devices.

Sasu Tarkoma, Jilles van Gurp, Christian Prehofer, 2010 .

Adapting a System with Noisy Outputs with Statistical Guarantees

Christian Prehofer, Ilias Gerostathopoulos, Tomás Bures, 2018, 2018 IEEE/ACM 13th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Towards Trusted Apps platforms for open CPS

George Kornaros, Arjan Geven, Christian Prehofer, 2016, 2016 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC).

Real-world experiences with indoor location based services

Christian Prehofer, 2009, ICPS '09.

Comparing practices for reuse in integration‐oriented software product lines and large open source software projects

Jan Bosch, Jilles van Gurp, Christian Prehofer, 2010, Softw. Pract. Exp..

Early Energy Estimation in the Design Process of Networked Embedded Systems

Christian Prehofer, Patrick Heinrich, 2013, PECCS.

Higher-order narrowing with definitional trees

Christian Prehofer, Michael Hanus, M. Hanus, 1999, Journal of Functional Programming.

Adaptive Bootstrapping for Crowdsourced Indoor Maps

Christian Prehofer, Ilias Gerostathopoulos, Georgios Pipelidis, 2017, GISTAM.

Model-based Development and Performance Analysis for Evolving Manufacturing Systems

Christian Prehofer, Ina Schaefer, Mirco Tribastone, 2014, Autom..

Das Interview

Manfred Broy, Christian Prehofer, Hermann Engesser, 2016, Informatik-Spektrum.

A novel approach for dynamic vertical indoor mapping through crowd-sourced smartphone sensor data

Christian Prehofer, Urs Hugentobler, Georgios Pipelidis, 2017, 2017 International Conference on Indoor Positioning and Indoor Navigation (IPIN).

Higher-Order Proof by Consistency

Christian Prehofer, Olav Lysne, Henrik Linnestad, 1996, FSTTCS.

Multiscale edge fusion for vehicle detection based on difference of Gaussian

Christian Prehofer, Xiangmo Zhao, Fei Hui, 2016 .

Graphical Spark Programming in IoT Mashup Tools

Christian Prehofer, Ilias Gerostathopoulos, Tanmaya Mahapatra, 2018, 2018 Fifth International Conference on Internet of Things: Systems, Management and Security.

Adaptive routing system that is zwischenverstärker- and operable in a router mode in a

Gerhard Bauch, Christian Bettstetter, Christian Prehofer, 2004 .

Transition mechanism in IP-based wireless networks

Wolfgang Kellerer, Christian Prehofer, Srisakul Thakolsri, 2004, 2004 International Symposium on Applications and the Internet Workshops. 2004 Workshops..

Feature-Oriented Programming: A Fresh Look at Objects

Christian Prehofer, C. Prehofer, 1997, ECOOP.

Translating Multi-device Task Models to State Machines

Christian Prehofer, Andreas Wagner, 2018, MODELSWARD.

From Inheritance to Feature Interaction or Composing Monads

Christian Prehofer, 1997, GI Jahrestagung.

Context-aware handover using active network technology

Bernhard Plattner, Paulo Mendes, Christian Prehofer, 2006, Comput. Networks.

Extracting Semantics of Indoor Places based on Context Recognition

Christian Prehofer, Georgios Pipelidis, Frederik Fraaz, 2018, 2018 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops).

Variations of Higher-Order Narrowing

Christian Prehofer, 1998 .

Proceedings of the 1st ACM workshop on Dynamic interconnection of networks

Cornelia Kappler, Christian Prehofer, 2005 .

An Object-Oriented Approach to Feature Interaction

Christian Prehofer, 1997, FIW.

Performance impact of multihop handovers in an IP-based multihop radio access network

Christian Bettstetter, Christian Prehofer, Philipp Hofmann, 2006, MOCO.

Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems

Christian Prehofer, Marc Zeller, 2013, J. Syst. Archit..

On Modularity in Term Rewriting and Narrowing

Christian Prehofer, C. Prehofer, 1994, CCL.

Feature oriented-programming: back to the future

Christian Prehofer, 2010, FOSD '10.

Mobile Communication Networks

Christian Bettstetter, Christian Prehofer, Jörg Widmer, 2008 .

A model-based approach for multi-device user interactions

Christian Prehofer, Andreas Wagner, Yucheng Jin, 2016, MoDELS.

A quality-of-service signaling architecture for seamless handover support in next generation, IP-based mobile networks

Martina Zitterbart, Christian Prehofer, Roland Bless, 2007, Wirel. Pers. Commun..

AOSD for System Integration and Personalization

Wolfgang Kellerer, Christian Prehofer, Robert Hirschfeld, 2003 .

Active Networks for 4G Mobile Communication: Motivation, Architecture, and Application Scenarios

Christian Prehofer, Qing Wei, 2002, IWAN.

Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination

Christian Prehofer, Peter Scholz, 2013, SPLC '13 Workshops.

A Framework for Tunable Anomaly Detection

Christian Prehofer, Ilias Gerostathopoulos, Tomás Bures, 2019, 2019 IEEE International Conference on Software Architecture (ICSA).

On the evolution of a naming and addressing architecture in view of dynamic network interconnection

Christian Prehofer, Martin Johnsson, Nick Papadoglou, 2005, Communications and Computer Networks.

Autonomic Trust Management for a Component-Based Software System

Zheng Yan, Christian Prehofer, C. Prehofer, 2011, IEEE Transactions on Dependable and Secure Computing.

HuMAn: Human Movement Analytics via WiFi Probes

Christian Prehofer, Georgios Pipelidis, Nikolaos Tsiamitros, 2019, 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops).

Solving higher order equations: from logic to programming

Christian Prehofer, C. Prehofer, 2012 .

A Comparison of GIS Architectures for Implementing Indoor Location-based Services

Christian Prehofer, Valerio Vianello, Cristiano di Flora, 2009, J. Softw..

Accurate control of information transmissions in ad hoc networks

Christian Prehofer, Philipp Hofmann, 2003 .

SCALABLE RESOURCE MANAGEMENT ARCHITECTURE FOR VoIP

Christian Prehofer, Josef Glasmann, Harald Müller, 2000 .

Leveraging GIS Technologies for Web-Based Smart Places Services

Christian Prehofer, Cristiano di Flora, 2008, SEUS.

Towards flexible and adaptive productions systems based on virtual cloud-based control

Alois Zoitl, Christian Prehofer, 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

Network-wide energy optimization for adaptive embedded systems

Christian Prehofer, Patrick Heinrich, 2013, SIGBED.

Towards runtime adaptation in AUTOSAR

Christian Prehofer, Marc Zeller, Gereon Weiss, 2013, SIGBED.

An Adaptive Control Model for Non-functional Feature Interactions

Christian Prehofer, C. Prehofer, 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.

Towards a Common Sensor Network API: Practical Experiences

Jilles van Gurp, Christian Prehofer, Filip Suba, 2008, 2008 International Symposium on Applications and the Internet.

An architecture supporting adaptation and evolution in fourth generation mobile communication systems

Wolfgang Kellerer, Christian Prehofer, Robert Hirschfeld, 2002, Journal of Communications and Networks.

Method and apparatus for integrating routing between verwalterbetreibaren networks and self-organizing networks

Christian Prehofer, Philipp Hofmann, 2002 .

Towards Integration of Big Data Analytics in Internet of Things Mashup Tools

Christian Prehofer, Ilias Gerostathopoulos, Tanmaya Mahapatra, 2016, WoT.

Internet Service Architectures and ATM - The ELISA Approach

Christian Prehofer, Berthold F. Koch, B. Koch, 1999, Flexible Working - New Network Technologies.

Towards Self-Adaptation in Real-Time, Networked Systems: Efficient Solving of System Constraints for Automotive Embedded Systems

Christian Prehofer, Marc Zeller, Gereon Weiss, 2011, 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems.

Behavioral Refinement and Compatibility of Statechart Extensions

Christian Prehofer, 2013, Electron. Notes Theor. Comput. Sci..

On Patterns for Decentralized Control in Self-Adaptive Systems

Bradley R. Schmerl, Jesper Andersson, Sam Malek, 2010, Software Engineering for Self-Adaptive Systems.

Context management with programmable mobile networks

Paulo Mendes, Christian Prehofer, Qing Wei, 2003, 2002 14th International Conference on Ion Implantation Technology Proceedings (IEEE Cat. No.02EX505).

Estimating Worst-Case Bounds for Open CPS Runtimes with Genetic Algorithms

Uwe Baumgarten, Christian Prehofer, Oliver Horst, 2017 .

A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks

Adam Wolisz, Christian Bettstetter, Christian Prehofer, 2006, IEEE Journal on Selected Areas in Communications.

Generation of indoor navigable maps with crowdsourcing

Christian Prehofer, Xiang Su, Georgios Pipelidis, 2016, MUM.

Property Preservation for Extension Patterns of State Transition Diagrams

Christian Prehofer, 2016, IFM.

Towards hierarchical information architectures in automotive systems

Christian Prehofer, Martin E. Jobst, 2016, 2016 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC).

Self-adaptation in Automotive Embedded Systems using a Multi-layered Control Approach

Christian Prehofer, Marc Zeller, C. Prehofer, 2017, PECCS.

An Integrated System Concept for Fourth Generation Mobile Communication

Wolfgang Kellerer, Christian Prehofer, Robert Hirschfeld, 2002 .

Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement

Christian Prehofer, 2013, IFM.

Models at REST or modelling RESTful interfaces for the Internet of Things

Christian Prehofer, C. Prehofer, 2015, 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT).

Towards runtime adaptation in real-time, networked embedded systems

Christian Prehofer, Marc Zeller, 2012, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12).

Stream Analytics in IoT Mashup Tools

Christian Prehofer, Ilias Gerostathopoulos, Tanmaya Mahapatra, 2018, 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

Semantic reasoning about feature composition via multiple aspect-weavings

Christian Prehofer, C. Prehofer, 2006, GPCE '06.

Towards a 3-tier architecture for connected vehicles

Daniel Clarke, Christian Prehofer, Markus Duchon, 2014, 2014 International Conference on Connected Vehicles and Expo (ICCVE).

A cooperative vehicle-infrastructure based urban driving environment perception method using a D-S theory-based credibility map

Christian Prehofer, Xiangmo Zhao, Fei Hui, 2017 .

Comparably Evaluating Communication Performance within Mixed-Criticality Systems

Christian Prehofer, Oliver Horst, Keegan Napier, 2016 .

Analysis of Event Processing Design Patterns and Their Performance Dependency on I/O Notification Mechanisms

Christian Prehofer, Ronald Strebelow, 2012, MSEPT.

Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact)

Christian Prehofer, Ilias Gerostathopoulos, Tomás Bures, 2017, Dagstuhl Artifacts Ser..

QryGraph: A graphical tool for Big Data analytics

Christian Prehofer, Ilias Gerostathopoulos, Sanny Schmid, 2016, 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Timing constraints for runtime adaptation in real-time, networked embedded systems

Christian Prehofer, Marc Zeller, 2012, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Visions for dynamic network scenarios in ubiquitous environments: applications and research issues

Cornelia Kappler, Jean-Pierre Hubaux, Christian Prehofer, 2005, DIN '05.

Secure and Trusted Open CPS Platforms

George Kornaros, Marcello Coppola, Nora Koch, 2018 .

Stream Processing on Demand for Lambda Architectures

Thomas A. Runkler, Helmut Krcmar, Christian Prehofer, 2015, EPEW.

Modeling RESTful Web of Things Services: Concepts and Tools

Christian Prehofer, Ilias Gerostathopoulos, 2017, Managing the Web of Things.

Context-Aware Handover Based on Active Network Technology

Bernhard Plattner, Paulo Mendes, Christian Prehofer, 2003, IWAN.

TAPPS - Trusted Apps for Open Cyber-Physical Systems

George Kornaros, Christian Prehofer, Michele Paolino, 2015, e-Democracy.

Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool

Christian Prehofer, Ilias Gerostathopoulos, Tomás Bures, 2017, 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

Application of IEC 61499 to develop apps for open platforms

Christian Prehofer, Ernest Wozniak, Taha Abdelmoutaleb Cherfia, 2018, 2018 IEEE International Conference on Industrial Technology (ICIT).

Model-based Performance Evaluation of Large-Scale Smart Metering Architectures

Thomas A. Runkler, Helmut Krcmar, Christian Prehofer, 2015, LT@ICPE.

Feature Specification and Refinement with State Transition Diagrams pdf

Bernhard Rumpe, Christian Prehofer, Cornel Klein, 1997, FIW.

Generic Operations on RESTful Resources in Mashup Tools

Christian Prehofer, Dominik Schinner, C. Prehofer, 2015, WoT '15.

A Multi-Layered Control Approach for Self-Adaptation in Automotive Embedded Systems

Christian Prehofer, Marc Zeller, C. Prehofer, 2012, Adv. Softw. Eng..

From SPLs to Open, Compositional Platforms

Jilles van Gurp, Christian Prehofer, 2008, Combining the Advantages of Product Lines and Open Source.

Ambient Networks-Research for Communication Networks Beyond 3G

Christian Prehofer, Hannu Flinck, Holger Karl, 2004 .

A hierarchical transaction concept for runtime adaptation in real-time, networked embedded systems

Christian Prehofer, Marc Zeller, 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

Quality-of-service management for IP-based mobile networks

Martina Zitterbart, Christian Prehofer, Roland Bless, 2005, IEEE Wireless Communications and Networking Conference, 2005.

Type Reconstruction for Type Classes

Tobias Nipkow, Christian Prehofer, T. Nipkow, 1993 .

SPICE: Evolving IMS to Next Generation Service Platforms

Klaus Moessner, Sasu Tarkoma, Anna Fensel, 2007, 2007 International Symposium on Applications and the Internet Workshops.

Interpreter Verification for a Functional Language

Manfred Broy, Tobias Nipkow, Christian Prehofer, 1994, FSTTCS.

An Efficient Constraint Language for Polymorphic Order-sorted Resoluton

Christian Prehofer, C. Prehofer, 1992, JELIA.

Transferring Remote Ontologies to the Edge of Internet of Things Systems

Jukka Riekki, Xiaoli Liu, Yuhong Li, 2017, GPC.

Quality-of-service signaling in wireless IP-based mobile networks

Martina Zitterbart, Christian Prehofer, Roland Bless, 2003, 2003 IEEE 58th Vehicular Technology Conference. VTC 2003-Fall (IEEE Cat. No.03CH37484).

Performance analysis of Internet gateway discovery protocols in ad hoc networks

Vasilis Friderikos, Hamid Aghvami, Christian Prehofer, 2004, 2004 IEEE Wireless Communications and Networking Conference (IEEE Cat. No.04TH8733).

Performance Modeling of Design Patterns for Distributed Computation

Christian Prehofer, Mirco Tribastone, Ronald Strebelow, 2012, 2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017)

Claudia Raibulet, Klaus Moessner, Khalil Drira, 2019, SOEN.

Analyses of addressing and QoS approaches for ad hoc connectivity with the Internet

Hamid Aghvami, Christian Prehofer, Mona Ghassemian, 2003, 14th IEEE Proceedings on Personal, Indoor and Mobile Radio Communications, 2003. PIMRC 2003..

IEEE Wireless Communications and Networking Conference (WCNC2004), CD proceedings

Vasilis Friderikos, Hamid Aghvami, Christian Prehofer, 2004 .

A Performance Comparison of QoS Approaches for Ad Hoc Networks: 802.11e versus Distributed Resource Allocation

Adam Wolisz, Christian Bettstetter, Christian Prehofer, 2005 .

Ambient networks: an architecture for communication networks beyond 3G

Joachim Sachs, Christian Prehofer, Holger Karl, 2004, IEEE Wireless Communications.

Theta Architecture: Preserving the Quality of Analytics in Data-Driven Systems

Miroslaw Staron, Riccardo Scandariato, Vasileios Theodorou, 2017, ADBIS.

Quality-of-service signaling for next-generation IP-based mobile networks

Martina Zitterbart, Christian Prehofer, Roland Bless, 2004, IEEE Communications Magazine.

Decidable Higher-Order Unification Problems

Christian Prehofer, C. Prehofer, 1994, CADE.

Feature-based Development of State Transition Diagrams with Property Preservation

Christian Prehofer, 2013, MoDeVVa@MoDELS.

A framework for context-aware handover decisions

Christian Prehofer, Qing Wei, Nima Nafisi, 2003, 14th IEEE Proceedings on Personal, Indoor and Mobile Radio Communications, 2003. PIMRC 2003..

Towards Semantic Reasoning on the Edge of IoT Systems

Jukka Riekki, Yuhong Li, Christian Prehofer, 2016, IOT.

From the Internet of Things to Trusted Apps for Things

Christian Prehofer, 2013, 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing.

Empirische Forschung zu Software-Evolution

Sven Apel, Lars Grunske, Barbara Paech, 2015, Informatik-Spektrum.

Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results

Petr Tuma, Christian Prehofer, Ilias Gerostathopoulos, 2018, 2018 IEEE International Conference on Software Architecture Companion (ICSA-C).

Type checking type classes

Tobias Nipkow, Christian Prehofer, 1993, POPL '93.

Higher-order narrowing with definitional trees

Christian Prehofer, Michael Hanus, 1999 .

Crossing the Chasm with Ad hoc Networks - The Provider-mediated Communication Paradigm (Extended Abstract and Post)

Christian Prehofer, Matthias Hollick, Ralf Steinmetz, 2006 .

Access Control for Apps Running on Constrained Devices in the Internet of Things

Christian Prehofer, Amir H. Moin, Andrei Mituca, 2014, 2014 International Workshop on Secure Internet of Things.

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap

Bradley R. Schmerl, Jesper Andersson, Yuriy Brun, 2010, Software Engineering for Self-Adaptive Systems.

An Adaptive Trust Control Model for a Trustworthy Component Software Platform

Zheng Yan, Christian Prehofer, 2007, ATC.

A Framework for Self-organized Network Composition

Cornelia Kappler, Di Zhou, Paulo Mendes, 2004, WAC.

A method for establishing connections with guaranteed quality of service for a communication network with a Resource Manager

Christian Prehofer, Karl Klaghofer, Harald Mueller, 2000 .

Dynamic Vertical Mapping with Crowdsourced Smartphone Sensor Data

Christian Prehofer, Urs Hugentobler, Georgios Pipelidis, 2018, Sensors.

Translating task models to state machines

Christian Prehofer, Andreas Wagner, 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Towards systematic live experimentation in software-intensive systems of systems

Petr Tuma, Christian Prehofer, Ilias Gerostathopoulos, 2016, SiSoS@ECSA '16.

Network Performance Evaluation for Distributed Embedded Systems Using Feature Models

Christian Prehofer, Martin Manderscheid, 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

A Tool for Online Experiment-Driven Adaptation

Christian Prehofer, Ilias Gerostathopoulos, Tomás Bures, 2018, 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W).

Solving Higher-Order Equations

Christian Prehofer, Christian Prehofer, 1998, Progress in Theoretical Computer Science.

Plug-and-play composition of features and feature interactions with statechart diagrams

Christian Prehofer, 2003, Software & Systems Modeling.

Higher-order narrowing

Christian Prehofer, C. Prehofer, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

Federated Learning for Driver Status Monitoring

Christian Prehofer, Chih-Hong Cheng, Atiqa Zafar, 2021, 2021 IEEE International Intelligent Transportation Systems Conference (ITSC).

A Scalable Data Analytics Framework for Connected Vehicles Using Apache Spark

Christian Prehofer, Shumail Mohyuddin, C. Prehofer, 2021, ISEEIE.

Evaluation of Non-Intrusive Positioning for Public Environments

Christian Prehofer, Georgios Pipelidis, Nikolaos Tsiamitros, 2021, 2021 International Conference on Indoor Positioning and Indoor Navigation (IPIN).

Towards the Web as a Platform for Ubiquitous Applications in Smart Spaces

Jilles van Gurp, Christian Prehofer, J. V. Gurp, 2007 .

Feature Interactions in Statechart Diagrams or Graphical Composition of Components

Christian Prehofer, 2002 .

1 Version management tools as a basis for integrating Product Deri- vation and Software Product Families

Jilles van Gurp, Christian Prehofer, J. V. Gurp, 2006 .

Graphical Composition of Components with Feature Interactions

Christian Prehofer, 2002 .

Compositionality in Software Platforms

Jan Bosch, Jilles van Gurp, Christian Prehofer, 2007 .

Multi-paradigm Logic Programming Some Applications of Functional-logic Programming

Christian Prehofer, C. Prehofer, 1996 .