Christian Prehofer

Affiliations:
  • Ludwig Maximilians University Munich, Germany


According to our database1, Christian Prehofer authored at least 149 papers between 1992 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Shirac: A linear algebra for event-based system modeling.
CoRR, 2023

Combining Verifiable Credentials and Blockchain Tokens for Traceable and Offline Token Operations.
Proceedings of the 9th IEEE World Forum on Internet of Things, 2023

Worst-Case Response Time Analysis of Earliest Deadline First in an Industrial Case Study.
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2023

Federated Learning for Drowsiness Detection in Connected Vehicles.
Proceedings of the Intelligent Transport Systems - 7th EAI International Conference, 2023

Histogram-Based Federated XGBoost using Minimal Variance Sampling for Federated Tabular Data.
Proceedings of the Eighth International Conference on Fog and Mobile Edge Computing, 2023

A Federated Learning Benchmark on Tabular Data: Comparing Tree-Based Models and Neural Networks.
Proceedings of the Eighth International Conference on Fog and Mobile Edge Computing, 2023

2022
Predictive Energy Management for Battery Electric Vehicles with Hybrid Models.
Proceedings of the Intelligent Transport Systems - 6th EAI International Conference, 2022

Federated Learning for Tabular Data using TabNet: A Vehicular Use-Case.
Proceedings of the 18th IEEE International Conference on Intelligent Computer Communication and Processing, 2022

2021
Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects.
IEEE Access, 2021

Federated Learning for Driver Status Monitoring.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

A Scalable Data Analytics Framework for Connected Vehicles Using Apache Spark.
Proceedings of the ISEEIE 2021: International Symposium on Electrical, Electronics and Information Engineering, Seoul Republic of Korea, February 19, 2021

Evaluation of Non-Intrusive Positioning for Public Environments.
Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2021

Challenges of Big Data and Vehicle Data.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020
Enhancing the Internet of Things with Knowledge-Driven Software-Defined Networking Technology: Future Perspectives.
Sensors, 2020

Graphical Flow-based Spark Programming.
J. Big Data, 2020

Efficient and Selective Upload of Data from Connected Vehicles.
Proceedings of the 6th International Conference on Vehicle Technology and Intelligent Transport Systems, 2020

Big Data Architectures for Vehicle Data Analysis.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019
aFlux: Graphical flow-based data analytics.
Softw. Impacts, 2019

HuMAn: Human Movement Analytics via WiFi Probes.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

Adaptable Anomaly Detection in Traffic Flow Time Series.
Proceedings of the 6th International Conference on Models and Technologies for Intelligent Transportation Systems, 2019

Cross-Device Radio Map Generation via Crowdsourcing.
Proceedings of the 2019 International Conference on Indoor Positioning and Indoor Navigation, 2019

A Novel Lightweight Particle Filter for Indoor Localization.
Proceedings of the 2019 International Conference on Indoor Positioning and Indoor Navigation, 2019

A Framework for Tunable Anomaly Detection.
Proceedings of the IEEE International Conference on Software Architecture, 2019

2018
Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017).
ACM SIGSOFT Softw. Eng. Notes, 2018

Dynamic Vertical Mapping with Crowdsourced Smartphone Sensor Data.
Sensors, 2018

Stream Analytics in IoT Mashup Tools.
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

A Tool for Online Experiment-Driven Adaptation.
Proceedings of the 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2018

Distribution of Semantic Reasoning on the Edge of Internet of Things.
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications, 2018

Extracting Semantics of Indoor Places based on Context Recognition.
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

Translating Multi-device Task Models to State Machines.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Graphical Spark Programming in IoT Mashup Tools.
Proceedings of the 2018 Fifth International Conference on Internet of Things: Systems, 2018

Adapting a system with noisy outputs with statistical guarantees.
Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 2018

Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results.
Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

Application of IEC 61499 to develop apps for open platforms.
Proceedings of the IEEE International Conference on Industrial Technology, 2018

2017
Informatikforschung für digitale Mobilitätsplattformen - Am Beispiel des TUM Living Lab Connected Mobility.
Inform. Spektrum, 2017

Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact).
Dagstuhl Artifacts Ser., 2017

Big data analytics architecture for real-time traffic control.
Proceedings of the 5th IEEE International Conference on Models and Technologies for Intelligent Transportation Systems, 2017

A novel approach for dynamic vertical indoor mapping through crowd-sourced smartphone sensor data.
Proceedings of the 2017 International Conference on Indoor Positioning and Indoor Navigation, 2017

Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool.
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Transferring Remote Ontologies to the Edge of Internet of Things Systems.
Proceedings of the Green, Pervasive, and Cloud Computing - 12th International Conference, 2017

Bootstrapping the Dynamic Generation of Indoor Maps with Crowdsourced Smartphone Sensor Data.
Proceedings of the Geographical Information Systems Theory, Applications and Management, 2017

Adaptive Bootstrapping for Crowdsourced Indoor Maps.
Proceedings of the GISTAM 2017, 2017

Theta Architecture: Preserving the Quality of Analytics in Data-Driven Systems.
Proceedings of the New Trends in Databases and Information Systems, 2017


Modeling RESTful Web of Things Services: Concepts and Tools.
Proceedings of the Managing the Web of Things: Linking the Real World to the Web, 2017

2016
Empirische Forschung zu Software-Evolution - Bestandsaufnahme und Vision aus dem DFG-Schwerpunktprogramm Design for Future - Managed Software Evolution.
Inform. Spektrum, 2016

Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung und Forschung.
Inform. Spektrum, 2016

Towards Integration of Big Data Analytics in Internet of Things Mashup Tools.
Proceedings of the Seventh International Workshop on the Web of Things, 2016

QryGraph: A graphical tool for Big Data analytics.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Generation of indoor navigable maps with crowdsourcing.
Proceedings of the 15th International Conference on Mobile and Ubiquitous Multimedia, 2016

Translating Task Models to State Machines.
Proceedings of the MODELSWARD 2016, 2016

A model-based approach for multi-device user interactions.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Towards Semantic Reasoning on the Edge of IoT Systems.
Proceedings of the 6th International Conference on the Internet of Things, 2016

Property Preservation for Extension Patterns of State Transition Diagrams.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Towards systematic live experimentation in software-intensive systems of systems.
Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016

Towards Trusted Apps platforms for open CPS.
Proceedings of the 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, 2016

Towards hierarchical information architectures in automotive systems.
Proceedings of the 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, 2016

2015
Generic Operations on RESTful Resources in Mashup Tools.
Proceedings of the 6th International Workshop on the Web of Things, 2015

Model-based Performance Evaluation of Large-Scale Smart Metering Architectures.
Proceedings of the 4th International Workshop on Large-Scale Testing, 2015

Models at REST or modelling RESTful interfaces for the Internet of Things.
Proceedings of the 2nd IEEE World Forum on Internet of Things, 2015

Stream Processing on Demand for Lambda Architectures.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

TAPPS - Trusted Apps for Open Cyber-Physical Systems.
Proceedings of the E-Democracy - Citizen Rights in the World of the New Computing Paradigms, 2015

From Internet of Things Mashups to Model-Based Development.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014
Model-based Development and Performance Analysis for Evolving Manufacturing Systems.
Autom., 2014

A Multi-Display System for Deploying and Controlling Home Automation.
Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, 2014

Access Control for Apps Running on Constrained Devices in the Internet of Things.
Proceedings of the 2014 International Workshop on Secure Internet of Things, 2014

Delta modeling for variant-rich and evolving manufacturing systems.
Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, 2014

Towards a 3-tier architecture for connected vehicles.
Proceedings of the International Conference on Connected Vehicles and Expo, 2014

Towards flexible and adaptive productions systems based on virtual cloud-based control.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Towards runtime adaptation in AUTOSAR.
SIGBED Rev., 2013

Network-wide energy optimization for adaptive embedded systems.
SIGBED Rev., 2013

Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems.
J. Syst. Archit., 2013

Improving rescue information using C2C and C2I communication.
Proceedings of the 5th IEEE International Symposium on Wireless Vehicular Communications, 2013

Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Early Energy Estimation in the Design Process of Networked Embedded Systems.
Proceedings of the PECCS 2013, 2013

Feature-based Development of State Transition Diagrams with Property Preservation.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Network Performance Evaluation for Distributed Embedded Systems Using Feature Models.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

From the Internet of Things to Trusted Apps for Things.
Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

2012
Behavioral Refinement and Compatibility of Statechart Extensions.
Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

A Multi-Layered Control Approach for Self-Adaptation in Automotive Embedded Systems.
Adv. Softw. Eng., 2012

Towards runtime adaptation in real-time, networked embedded systems.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Self-adaptation in Automotive Embedded Systems using a Multi-layered Control Approach.
Proceedings of the PECCS 2012, 2012

Analysis of Event Processing Design Patterns and Their Performance Dependency on I/O Notification Mechanisms.
Proceedings of the Multicore Software Engineering, Performance, and Tools, 2012

Performance Modeling of Design Patterns for Distributed Computation.
Proceedings of the 20th IEEE International Symposium on Modeling, 2012

Timing constraints for runtime adaptation in real-time, networked embedded systems.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

A hierarchical transaction concept for runtime adaptation in real-time, networked embedded systems.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
Autonomic Trust Management for a Component-Based Software System.
IEEE Trans. Dependable Secur. Comput., 2011

Towards Self-Adaptation in Real-Time, Networked Systems: Efficient Solving of System Constraints for Automotive Embedded Systems.
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011

An Adaptive Control Model for Non-functional Feature Interactions.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010
Comparing practices for reuse in integration-oriented software product lines and large open source software projects.
Softw. Pract. Exp., 2010

Practical Web-Based Smart Spaces.
IEEE Pervasive Comput., 2010

Feature oriented-programming: back to the future.
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

On Patterns for Decentralized Control in Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010


2009
A Comparison of GIS Architectures for Implementing Indoor Location-based Services.
J. Softw., 2009

Real-world experiences with indoor location based services.
Proceedings of the 2009 international conference on Pervasive services, 2009

Introduction.
Proceedings of the Euro-Par 2009 Parallel Processing, 2009

2008
Leveraging GIS Technologies for Web-Based Smart Places Services.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Towards a Common Sensor Network API: Practical Experiences.
Proceedings of the 2008 International Symposium on Applications and the Internet, 2008

Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints.
Proceedings of the Software Architecture, Second European Conference, 2008

From SPLs to Open, Compositional Platforms.
Proceedings of the Combining the Advantages of Product Lines and Open Source, 02.04., 2008

Experiences with Realizing Smart Space Web Service Applications.
Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

2007
A quality-of-service signaling architecture for seamless handover support in next generation, IP-based mobile networks.
Wirel. Pers. Commun., 2007

Composable Mediation for Security-Aware Mobile Services.
IEEE Commun. Mag., 2007

SPICE: Evolving IMS to Next Generation Service Platforms.
Proceedings of the 2007 International Symposium on Applications and the Internet, 2007

An Adaptive Trust Control Model for a Trustworthy Component Software Platform.
Proceedings of the Autonomic and Trusted Computing, 4th International Conference, 2007

2006
Performance impact of multihop handovers in an IP-based multihop radio access network.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2006

A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks.
IEEE J. Sel. Areas Commun., 2006

Context-aware handover using active network technology.
Comput. Networks, 2006

An Optimised Gateway Selection Mechanism for Wireless Ad hoc Networks Connected to the Internet.
Proceedings of the 63rd IEEE Vehicular Technology Conference, 2006

Challenges and new approaches for efficient data gathering and dissemination in pervasive wireless networks.
Proceedings of the First International Conference in Integrated Internet Ad Hoc and Sensor Networks, 2006

Semantic reasoning about feature composition via multiple aspect-weavings.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
Self-organization in communication networks: principles and design paradigms.
IEEE Commun. Mag., 2005

Quality-of-service management for IP-based mobile networks.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2005

Visions for dynamic network scenarios in ubiquitous environments: applications and research issues.
Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, 2005

On the evolution of a naming and addressing architecture in view of dynamic network interconnection.
Proceedings of the Third IASTED International Conference on Communications and Computer Networks, 2005

2004
Ambient networks: an architecture for communication networks beyond 3G.
IEEE Wirel. Commun., 2004

Plug-and-play composition of features and feature interactions with statechart diagrams.
Softw. Syst. Model., 2004

Quality-of-service signaling for next-generation IP-based mobile networks.
IEEE Commun. Mag., 2004

Performance analysis of Internet gateway discovery protocols in ad hoc networks.
Proceedings of the 2004 IEEE Wireless Communications and Networking Conference , 2004

A Framework for Self-organized Network Composition.
Proceedings of the Autonomic Communication, First International IFIP Workshop, 2004

Transition Mechanism in IP-Based Wireless Networks.
Proceedings of the 2004 Symposium on Applications and the Internet Workshops (SAINT 2004 Workshops), 2004

Performance Impact of Mobility in an Emulated IP-Based Multihop Radio Access Network.
Proceedings of the Mobile and Wireless Communication Networks, 2004

2003
A framework for context-aware handover decisions.
Proceedings of the IEEE 14th International Symposium on Personal, 2003

Analyses of addressing and QoS approaches for ad hoc connectivity with the Internet.
Proceedings of the IEEE 14th International Symposium on Personal, 2003

Context-Aware Handover Based on Active Network Technology.
Proceedings of the Active Networks, IFIP TC6 5th International Workshop, 2003

2002
An architecture supporting adaptation and evolution in fourth generation mobile communication systems.
J. Commun. Networks, 2002

Active Networks for 4G Mobile Communication: Motivation, Architecture, and Application Scenarios.
Proceedings of the Active Networks, IFIP-TC6 4th International Working Conference, 2002

2001
Feature-oriented programming: A new way of object composition.
Concurr. Comput. Pract. Exp., 2001

2000
Implementing integrated and differentiated services for the Internet with ATM networks: a practical approach.
IEEE Commun. Mag., 2000

1999
Higher-Order Narrowing with Definitional Trees.
J. Funct. Program., 1999

Internet Service Architectures and ATM - The ELISA Approach.
Proceedings of the Flexible Working - New Network Technologies, 1999

1998
Solving higher order equations: from logic to programming.
Birkhäuser, ISBN: 978-3-7643-4032-2, 1998

1997
From Inheritance to Feature Interaction or Composing Monads.
Proceedings of the Informatik '97, 1997

An Object-Oriented Approach to Feature Interaction.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Feature Specification and Refinement with State Transition Diagrams.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Feature-Oriented Programming: A Fresh Look at Objects.
Proceedings of the ECOOP'97, 1997

1996
Higher-Order Proof by Consistency.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995
Solving higher order equations: from logic to programming.
PhD thesis, 1995

Type Reconstruction for Type Classes.
J. Funct. Program., 1995

A Call-by-Need Strategy for Higher-Order Functional-Logic Programming.
Proceedings of the Logic Programming, 1995

Higher-Order Narrowing with Convergent Systems.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
Higher-Order Narrowing
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Interpreter Verification for a Functional Language.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

On Modularity in Term Rewriting and Narrowing.
Proceedings of the Constraints in Computational Logics, First International Conference, 1994

Decidable Higher-Order Unification Problems.
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1993
Type Checking Type Classes.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

1992
An Efficient Constraint Language for Polymorphic Order-sorted Resoluton.
Proceedings of the Logics in AI, European Workshop, 1992


  Loading...