Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Christian Prehofer
@inproceedings{DBLP:conf/fmec/LindskogPS23,
author = {William Lindskog and
Christian Prehofer and
Sarandeep Singh},
title = {Histogram-Based Federated XGBoost using Minimal Variance Sampling
for Federated Tabular Data},
booktitle = {Eighth International Conference on Fog and Mobile Edge Computing,
{FMEC} 2023, Tartu, Estonia, September 18-20, 2023},
pages = {182--189},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FMEC59375.2023.10306242},
doi = {10.1109/FMEC59375.2023.10306242},
timestamp = {Thu, 16 Nov 2023 09:03:44 +0100},
biburl = {https://dblp.org/rec/conf/fmec/LindskogPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmec/LindskogP23,
author = {William Lindskog and
Christian Prehofer},
title = {A Federated Learning Benchmark on Tabular Data: Comparing Tree-Based
Models and Neural Networks},
booktitle = {Eighth International Conference on Fog and Mobile Edge Computing,
{FMEC} 2023, Tartu, Estonia, September 18-20, 2023},
pages = {239--246},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/FMEC59375.2023.10305887},
doi = {10.1109/FMEC59375.2023.10305887},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmec/LindskogP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/FattohiPS23,
author = {Iwan Feras Fattohi and
Christian Prehofer and
Frank Slomka},
title = {Worst-Case Response Time Analysis of Earliest Deadline First in an
Industrial Case Study},
booktitle = {Methods and Description Languages for Modelling and Verification of
Circuits and Systems, {MBMV} 2023, 26th Workshop, Freiburg, Germany,
23-24 March 2023},
pages = {1--8},
publisher = {{VDE/IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10173062},
timestamp = {Fri, 12 Jan 2024 09:53:18 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/FattohiPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-16604,
author = {Iwan Feras Fattohi and
Christian Prehofer and
Frank Slomka},
title = {Shirac: {A} linear algebra for event-based system modeling},
journal = {CoRR},
volume = {abs/2307.16604},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.16604},
doi = {10.48550/ARXIV.2307.16604},
eprinttype = {arXiv},
eprint = {2307.16604},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-16604.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccp2/LindskogP22,
author = {William Lindskog and
Christian Prehofer},
title = {Federated Learning for Tabular Data using TabNet: {A} Vehicular Use-Case},
booktitle = {18th {IEEE} International Conference on Intelligent Computer Communication
and Processing, {ICCP} 2022, Cluj-Napoca, Romania, September 22-24,
2022},
pages = {105--111},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCP56966.2022.10053975},
doi = {10.1109/ICCP56966.2022.10053975},
timestamp = {Mon, 06 Mar 2023 11:35:12 +0100},
biburl = {https://dblp.org/rec/conf/iccp2/LindskogP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/Gerostathopoulos21,
author = {Ilias Gerostathopoulos and
Frantisek Pl{\'{a}}sil and
Christian Prehofer and
Janek Thomas and
Bernd Bischl},
title = {Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects},
journal = {{IEEE} Access},
volume = {9},
pages = {58079--58087},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3071809},
doi = {10.1109/ACCESS.2021.3071809},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/Gerostathopoulos21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/Prehofer21,
author = {Christian Prehofer},
editor = {Esam El{-}Araby and
Vana Kalogeraki and
Danilo Pianini and
Fr{\'{e}}d{\'{e}}ric Lassabe and
Barry Porter and
Sona Ghahremani and
Ingrid Nunes and
Mohamed Bakhouya and
Sven Tomforde},
title = {Challenges of Big Data and Vehicle Data},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September
27 - Oct. 1, 2021},
pages = {287--288},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ACSOS-C52956.2021.00070},
doi = {10.1109/ACSOS-C52956.2021.00070},
timestamp = {Tue, 30 Nov 2021 17:31:23 +0100},
biburl = {https://dblp.org/rec/conf/acsos/Prehofer21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipin/TsiamitrosRPBWP21,
author = {Nikolaos Tsiamitros and
Wasiq Rumaney and
Christian Prehofer and
J{\"{u}}rgen Brunke and
Ingo Wilz and
Georgios Pipelidis},
title = {Evaluation of Non-Intrusive Positioning for Public Environments},
booktitle = {International Conference on Indoor Positioning and Indoor Navigation,
{IPIN} 2021, Lloret de Mar, Spain, November 29 - Dec. 2, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IPIN51156.2021.9662623},
doi = {10.1109/IPIN51156.2021.9662623},
timestamp = {Wed, 12 Jan 2022 09:10:06 +0100},
biburl = {https://dblp.org/rec/conf/ipin/TsiamitrosRPBWP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iseeie/MohyuddinP21,
author = {Shumail Mohyuddin and
Christian Prehofer},
title = {A Scalable Data Analytics Framework for Connected Vehicles Using Apache
Spark},
booktitle = {{ISEEIE} 2021: International Symposium on Electrical, Electronics
and Information Engineering, Seoul Republic of Korea, February 19
- 21, 2021},
pages = {322--329},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3459104.3459156},
doi = {10.1145/3459104.3459156},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iseeie/MohyuddinP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/ZafarPC21,
author = {Atiqa Zafar and
Christian Prehofer and
Chih{-}Hong Cheng},
title = {Federated Learning for Driver Status Monitoring},
booktitle = {24th {IEEE} International Intelligent Transportation Systems Conference,
{ITSC} 2021, Indianapolis, IN, USA, September 19-22, 2021},
pages = {1463--1469},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ITSC48978.2021.9564936},
doi = {10.1109/ITSC48978.2021.9564936},
timestamp = {Wed, 03 Nov 2021 08:38:45 +0100},
biburl = {https://dblp.org/rec/conf/itsc/ZafarPC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbd/MahapatraP20,
author = {Tanmaya Mahapatra and
Christian Prehofer},
title = {Graphical Flow-based Spark Programming},
journal = {J. Big Data},
volume = {7},
number = {1},
pages = {4},
year = {2020},
url = {https://doi.org/10.1186/s40537-019-0273-5},
doi = {10.1186/S40537-019-0273-5},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jbd/MahapatraP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/LiSDLLPRRTH20,
author = {Yuhong Li and
Xiang Su and
Aaron Yi Ding and
Anders Lindgren and
Xiaoli Liu and
Christian Prehofer and
Jukka Riekki and
Rahim Rahmani and
Sasu Tarkoma and
Pan Hui},
title = {Enhancing the Internet of Things with Knowledge-Driven Software-Defined
Networking Technology: Future Perspectives},
journal = {Sensors},
volume = {20},
number = {12},
pages = {3459},
year = {2020},
url = {https://doi.org/10.3390/s20123459},
doi = {10.3390/S20123459},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/LiSDLLPRRTH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/PrehoferM20,
author = {Christian Prehofer and
Shafqat Mehmood},
editor = {Xintao Wu and
Chris Jermaine and
Li Xiong and
Xiaohua Hu and
Olivera Kotevska and
Siyuan Lu and
Weija Xu and
Srinivas Aluru and
Chengxiang Zhai and
Eyhab Al{-}Masri and
Zhiyuan Chen and
Jeff Saltz},
title = {Big Data Architectures for Vehicle Data Analysis},
booktitle = {2020 {IEEE} International Conference on Big Data {(IEEE} BigData 2020),
Atlanta, GA, USA, December 10-13, 2020},
pages = {3404--3412},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/BigData50022.2020.9378397},
doi = {10.1109/BIGDATA50022.2020.9378397},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/PrehoferM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vehits/KhanP20,
author = {Zaryab Khan and
Christian Prehofer},
editor = {Karsten Berns and
Markus Helfert and
Oleg Gusikhin},
title = {Efficient and Selective Upload of Data from Connected Vehicles},
booktitle = {Proceedings of the 6th International Conference on Vehicle Technology
and Intelligent Transport Systems, {VEHITS} 2020, Prague, Czech Republic,
May 2-4, 2020},
pages = {559--566},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009790105590566},
doi = {10.5220/0009790105590566},
timestamp = {Thu, 04 Jun 2020 17:25:40 +0200},
biburl = {https://dblp.org/rec/conf/vehits/KhanP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpa/MahapatraP19,
author = {Tanmaya Mahapatra and
Christian Prehofer},
title = {aFlux: Graphical flow-based data analytics},
journal = {Softw. Impacts},
volume = {2},
year = {2019},
url = {https://doi.org/10.1016/j.simpa.2019.100007},
doi = {10.1016/J.SIMPA.2019.100007},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/simpa/MahapatraP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/AlamGPAB19,
author = {Md Rakibul Alam and
Ilias Gerostathopoulos and
Christian Prehofer and
Alessandro Attanasi and
Tom{\'{a}}s Bures},
title = {A Framework for Tunable Anomaly Detection},
booktitle = {{IEEE} International Conference on Software Architecture, {ICSA} 2019,
Hamburg, Germany, March 25-29, 2019},
pages = {201--210},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICSA.2019.00029},
doi = {10.1109/ICSA.2019.00029},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsa/AlamGPAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipin/PipelidisTGAP19,
author = {Georgios Pipelidis and
Nikolaos Tsiamitros and
Christian Gentner and
Dina Bousdar Ahmed and
Christian Prehofer},
editor = {Francesco Potort{\`{\i}} and
Val{\'{e}}rie Renaudin and
Kyle O'Keefe and
Filippo Palumbo},
title = {A Novel Lightweight Particle Filter for Indoor Localization},
booktitle = {2019 International Conference on Indoor Positioning and Indoor Navigation,
{IPIN} 2019, Pisa, Italy, September 30 - October 3, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IPIN.2019.8911744},
doi = {10.1109/IPIN.2019.8911744},
timestamp = {Thu, 05 Dec 2019 18:18:21 +0100},
biburl = {https://dblp.org/rec/conf/ipin/PipelidisTGAP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipin/PipelidisTUKNFP19,
author = {Georgios Pipelidis and
Nikolaos Tsiamitros and
Efdal Ustaoglu and
Romeo Kienzler and
Petteri Nurmi and
Huber Flores and
Christian Prehofer},
editor = {Francesco Potort{\`{\i}} and
Val{\'{e}}rie Renaudin and
Kyle O'Keefe and
Filippo Palumbo},
title = {Cross-Device Radio Map Generation via Crowdsourcing},
booktitle = {2019 International Conference on Indoor Positioning and Indoor Navigation,
{IPIN} 2019, Pisa, Italy, September 30 - October 3, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IPIN.2019.8911766},
doi = {10.1109/IPIN.2019.8911766},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipin/PipelidisTUKNFP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtits/AlamGAPA19,
author = {Md Rakibul Alam and
Ilias Gerostathopoulos and
Sasan Amini and
Christian Prehofer and
Alessandro Attanasi},
title = {Adaptable Anomaly Detection in Traffic Flow Time Series},
booktitle = {6th International Conference on Models and Technologies for Intelligent
Transportation Systems, {MT-ITS} 2019, Cracow, Poland, June 5-7, 2019},
pages = {1--9},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MTITS.2019.8883338},
doi = {10.1109/MTITS.2019.8883338},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtits/AlamGAPA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/PipelidisTKP19,
author = {Georgios Pipelidis and
Nikolaos Tsiamitros and
Malte Kessner and
Christian Prehofer},
title = {HuMAn: Human Movement Analytics via WiFi Probes},
booktitle = {{IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019},
pages = {370--372},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PERCOMW.2019.8730703},
doi = {10.1109/PERCOMW.2019.8730703},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/percom/PipelidisTKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/PipelidisRIPH18,
author = {Georgios Pipelidis and
Omid Reza Moslehi Rad and
Dorota Iwaszczuk and
Christian Prehofer and
Urs Hugentobler},
title = {Dynamic Vertical Mapping with Crowdsourced Smartphone Sensor Data},
journal = {Sensors},
volume = {18},
number = {2},
pages = {480},
year = {2018},
url = {https://doi.org/10.3390/s18020480},
doi = {10.3390/S18020480},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/PipelidisRIPH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/RaibuletFDPGPM18,
author = {Claudia Raibulet and
Mariagrazia Fugini and
Khalil Drira and
Patrizio Pelliccione and
Ilias Gerostathopoulos and
Christian Prehofer and
Klaus Moessner},
title = {Report of the 1st International Workshop on Context-aware Autonomous
and Smart Architectures (CASA@ECSA 2017)},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {24--27},
year = {2018},
url = {https://doi.org/10.1145/3282517.3302396},
doi = {10.1145/3282517.3302396},
timestamp = {Fri, 13 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/RaibuletFDPGPM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/WozniakCP18,
author = {Ernest Wozniak and
Taha Abdelmoutaleb Cherfia and
Christian Prehofer},
title = {Application of {IEC} 61499 to develop apps for open platforms},
booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2018,
Lyon, France, February 20-22, 2018},
pages = {1574--1579},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICIT.2018.8352416},
doi = {10.1109/ICIT.2018.8352416},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/icit2/WozniakCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/Gerostathopoulos18,
author = {Ilias Gerostathopoulos and
Christian Prehofer and
Lubom{\'{\i}}r Bulej and
Tom{\'{a}}s Bures and
Vojtech Hork{\'{y}} and
Petr Tuma},
title = {Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results},
booktitle = {2018 {IEEE} International Conference on Software Architecture Companion,
{ICSA} Companion 2018, Seattle, WA, USA, April 30 - May 4, 2018},
pages = {72--75},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICSA-C.2018.00027},
doi = {10.1109/ICSA-C.2018.00027},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsa/Gerostathopoulos18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Gerostathopoulos18,
author = {Ilias Gerostathopoulos and
Christian Prehofer and
Tom{\'{a}}s Bures},
editor = {Jesper Andersson and
Danny Weyns},
title = {Adapting a system with noisy outputs with statistical guarantees},
booktitle = {Proceedings of the 13th International Conference on Software Engineering
for Adaptive and Self-Managing Systems, SEAMS@ICSE 2018, Gothenburg,
Sweden, May 28-29, 2018},
pages = {58--68},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194133.3194152},
doi = {10.1145/3194133.3194152},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Gerostathopoulos18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotsms/MahapatraGPG18,
author = {Tanmaya Mahapatra and
Ilias Gerostathopoulos and
Christian Prehofer and
Shilpa Ghanashyam Gore},
title = {Graphical Spark Programming in IoT Mashup Tools},
booktitle = {2018 Fifth International Conference on Internet of Things: Systems,
Management and Security, IoTSMS 2018, Valencia, Spain, October 15-18,
2018},
pages = {163--170},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IoTSMS.2018.8554665},
doi = {10.1109/IOTSMS.2018.8554665},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iotsms/MahapatraGPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/WagnerP18,
author = {Andreas Wagner and
Christian Prehofer},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Translating Multi-device Task Models to State Machines},
booktitle = {Proceedings of the 6th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal,
January 22-24, 2018},
pages = {420--428},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006604704200428},
doi = {10.5220/0006604704200428},
timestamp = {Wed, 11 Apr 2018 15:38:59 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/WagnerP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/SuLRLKSPFL18,
author = {Xiang Su and
Pingjiang Li and
Jukka Riekki and
Xiaoli Liu and
Jussi Kiljander and
Juha{-}Pekka Soininen and
Christian Prehofer and
Huber Flores and
Yuhong Li},
title = {Distribution of Semantic Reasoning on the Edge of Internet of Things},
booktitle = {2018 {IEEE} International Conference on Pervasive Computing and Communications,
PerCom 2018, Athens, Greece, March 19-23, 2018},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PERCOM.2018.8444596},
doi = {10.1109/PERCOM.2018.8444596},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/SuLRLKSPFL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/PipelidisFP18,
author = {Georgios Pipelidis and
Frederik Fraaz and
Christian Prehofer},
title = {Extracting Semantics of Indoor Places based on Context Recognition},
booktitle = {2018 {IEEE} International Conference on Pervasive Computing and Communications
Workshops, PerCom Workshops 2018, Athens, Greece, March 19-23, 2018},
pages = {464--467},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/PERCOMW.2018.8480187},
doi = {10.1109/PERCOMW.2018.8480187},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/PipelidisFP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/Gerostathopoulos18,
author = {Ilias Gerostathopoulos and
Ali Naci Uysal and
Christian Prehofer and
Tom{\'{a}}s Bures},
title = {A Tool for Online Experiment-Driven Adaptation},
booktitle = {2018 {IEEE} 3rd International Workshops on Foundations and Applications
of Self* Systems (FAS*W), Trento, Italy, September 3-7, 2018},
pages = {100--105},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/FAS-W.2018.00032},
doi = {10.1109/FAS-W.2018.00032},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saso/Gerostathopoulos18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/MahapatraPGV18,
author = {Tanmaya Mahapatra and
Christian Prehofer and
Ilias Gerostathopoulos and
Ioannis Varsamidakis},
editor = {J{\'{a}}come Cunha and
Jo{\~{a}}o Paulo Fernandes and
Caitlin Kelleher and
Gregor Engels and
Jorge Mendes},
title = {Stream Analytics in IoT Mashup Tools},
booktitle = {2018 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2018, Lisbon, Portugal, October 1-4, 2018},
pages = {227--231},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/VLHCC.2018.8506548},
doi = {10.1109/VLHCC.2018.8506548},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/MahapatraPGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SchmidGPB17,
author = {Sanny Schmid and
Ilias Gerostathopoulos and
Christian Prehofer and
Tom{\'{a}}s Bures},
title = {Model Problem (CrowdNav) and Framework {(RTX)} for Self-Adaptation
Based on Big Data Analytics (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {05:1--05:3},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.5},
doi = {10.4230/DARTS.3.1.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SchmidGPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/AminiBBBCCFHHKK17,
author = {Sasan Amini and
Kristian Beckers and
Markus B{\"{o}}hm and
Fritz Busch and
Nihan Celikkaya and
Vittorio Cozzolino and
Anne Faber and
Michael Haus and
Dominik Huth and
Alfons Kemper and
Andreas Kipf and
Helmut Krcmar and
Florian Matthes and
J{\"{o}}rg Ott and
Christian Prehofer and
Alexander Pretschner and
{\"{O}}mer Uludag and
Wolfgang W{\"{o}}rndl},
title = {Informatikforschung f{\"{u}}r digitale Mobilit{\"{a}}tsplattformen
- Am Beispiel des {TUM} Living Lab Connected Mobility},
journal = {Inform. Spektrum},
volume = {40},
number = {2},
pages = {180--191},
year = {2017},
url = {https://doi.org/10.1007/s00287-017-1029-2},
doi = {10.1007/S00287-017-1029-2},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/AminiBBBCCFHHKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/TheodorouGASPS17,
author = {Vasileios Theodorou and
Ilias Gerostathopoulos and
Sasan Amini and
Riccardo Scandariato and
Christian Prehofer and
Miroslaw Staron},
editor = {Marite Kirikova and
Kjetil N{\o}rv{\aa}g and
George A. Papadopoulos and
Johann Gamper and
Robert Wrembel and
J{\'{e}}r{\^{o}}me Darmont and
Stefano Rizzi},
title = {Theta Architecture: Preserving the Quality of Analytics in Data-Driven
Systems},
booktitle = {New Trends in Databases and Information Systems - {ADBIS} 2017 Short
Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus,
September 24-27, 2017, Proceedings},
series = {Communications in Computer and Information Science},
volume = {767},
pages = {186--198},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67162-8\_19},
doi = {10.1007/978-3-319-67162-8\_19},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/TheodorouGASPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gistam/PipelidisPG17,
author = {Georgios Pipelidis and
Christian Prehofer and
Ilias Gerostathopoulos},
editor = {Lemonia Ragia and
Jorge Gustavo Rocha and
Robert Laurini},
title = {Adaptive Bootstrapping for Crowdsourced Indoor Maps},
booktitle = {{GISTAM} 2017 - Proceedings of the 3rd International Conference on
Geographical Information Systems Theory, Applications and Management,
Porto, Portugal, 27-28 April, 2017},
pages = {284--289},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006369302840289},
doi = {10.5220/0006369302840289},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gistam/PipelidisPG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpc/SuLFRLLP17,
author = {Xiang Su and
Pingjiang Li and
Huber Flores and
Jukka Riekki and
Xiaoli Liu and
Yuhong Li and
Christian Prehofer},
editor = {Man Ho Allen Au and
Arcangelo Castiglione and
Kim{-}Kwang Raymond Choo and
Francesco Palmieri and
Kuan{-}Ching Li},
title = {Transferring Remote Ontologies to the Edge of Internet of Things Systems},
booktitle = {Green, Pervasive, and Cloud Computing - 12th International Conference,
{GPC} 2017, Cetara, Italy, May 11-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10232},
pages = {538--552},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57186-7\_39},
doi = {10.1007/978-3-319-57186-7\_39},
timestamp = {Wed, 06 Jan 2021 11:52:38 +0100},
biburl = {https://dblp.org/rec/conf/gpc/SuLFRLLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SchmidGPB17,
author = {Sanny Schmid and
Ilias Gerostathopoulos and
Christian Prehofer and
Tom{\'{a}}s Bures},
title = {Self-Adaptation Based on Big Data Analytics: {A} Model Problem and
Tool},
booktitle = {12th {IEEE/ACM} International Symposium on Software Engineering for
Adaptive and Self-Managing Systems, SEAMS@ICSE 2017, Buenos Aires,
Argentina, May 22-23, 2017},
pages = {102--108},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SEAMS.2017.20},
doi = {10.1109/SEAMS.2017.20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SchmidGPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipin/PipelidisRIPH17,
author = {Georgios Pipelidis and
Omid Reza Moslehi Rad and
Dorota Iwaszczuk and
Christian Prehofer and
Urs Hugentobler},
title = {A novel approach for dynamic vertical indoor mapping through crowd-sourced
smartphone sensor data},
booktitle = {2017 International Conference on Indoor Positioning and Indoor Navigation,
{IPIN} 2017, Sapporo, Japan, September 18-21, 2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IPIN.2017.8115902},
doi = {10.1109/IPIN.2017.8115902},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ipin/PipelidisRIPH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtits/AminiGP17,
author = {Sasan Amini and
Ilias Gerostathopoulos and
Christian Prehofer},
title = {Big data analytics architecture for real-time traffic control},
booktitle = {5th {IEEE} International Conference on Models and Technologies for
Intelligent Transportation Systems, {MT-ITS} 2017, Naples, Italy,
June 26-28, 2017},
pages = {710--715},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/MTITS.2017.8005605},
doi = {10.1109/MTITS.2017.8005605},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mtits/AminiGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/17/PrehoferG17,
author = {Christian Prehofer and
Ilias Gerostathopoulos},
editor = {Michael Sheng and
Yongrui Qin and
Lina Yao and
Boualem Benatallah},
title = {Modeling RESTful Web of Things Services: Concepts and Tools},
booktitle = {Managing the Web of Things: Linking the Real World to the Web},
pages = {73--104},
publisher = {Morgan Kaufmann},
year = {2017},
url = {https://doi.org/10.1016/B978-0-12-809764-9.00004-4},
doi = {10.1016/B978-0-12-809764-9.00004-4},
timestamp = {Tue, 10 May 2022 08:44:01 +0200},
biburl = {https://dblp.org/rec/books/el/17/PrehoferG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/AminiB0BCCFHHKKKMOPPUW17,
author = {Sasan Amini and
Kristian Beckers and
Markus B{\"{o}}hm and
Fritz Busch and
Nihan Celikkaya and
Vittorio Cozzolino and
Anne Faber and
Michael Haus and
Dominik Huth and
Alfons Kemper and
Andreas Kipf and
Helmut Krcmar and
Florian Matthes and
J{\"{o}}rg Ott and
Christian Prehofer and
Alexander Pretschner and
{\"{O}}mer Uludag and
Wolfgang W{\"{o}}rndl},
editor = {Arndt Bode and
Manfred Broy and
Hans{-}Joachim Bungartz and
Florian Matthes},
title = {Informatik-Forschung f{\"{u}}r digitale Mobilit{\"{a}}tsplattformen},
booktitle = {50 Jahre Universit{\"{a}}ts-Informatik in M{\"{u}}nchen},
pages = {155--172},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54712-0\_14},
doi = {10.1007/978-3-662-54712-0\_14},
timestamp = {Fri, 02 Dec 2022 12:49:56 +0100},
biburl = {https://dblp.org/rec/books/sp/17/AminiB0BCCFHHKKKMOPPUW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/PaechAGP16,
author = {Barbara Paech and
Sven Apel and
Lars Grunske and
Christian Prehofer},
title = {Empirische Forschung zu Software-Evolution - Bestandsaufnahme und
Vision aus dem DFG-Schwerpunktprogramm Design for Future - Managed
Software Evolution},
journal = {Inform. Spektrum},
volume = {39},
number = {3},
pages = {186--193},
year = {2016},
url = {https://doi.org/10.1007/s00287-015-0910-0},
doi = {10.1007/S00287-015-0910-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/PaechAGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BroyPE16,
author = {Manfred Broy and
Christian Prehofer and
Hermann Engesser},
title = {Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung
und Forschung},
journal = {Inform. Spektrum},
volume = {39},
number = {6},
pages = {436--443},
year = {2016},
url = {https://doi.org/10.1007/s00287-016-0995-0},
doi = {10.1007/S00287-016-0995-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BroyPE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/PrehoferHDGKMP16,
author = {Christian Prehofer and
Oliver Horst and
Riccardo Dodi and
Arjan Geven and
George Kornaros and
Eleonora Montanari and
Michele Paolino},
title = {Towards Trusted Apps platforms for open {CPS}},
booktitle = {3rd International Workshop on Emerging Ideas and Trends in Engineering
of Cyber-Physical Systems, EITEC@CPSWeek 2016, Vienna, Austria, April
11, 2016},
pages = {23--28},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/EITEC.2016.7503692},
doi = {10.1109/EITEC.2016.7503692},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/PrehoferHDGKMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/JobstP16,
author = {Martin E. Jobst and
Christian Prehofer},
title = {Towards hierarchical information architectures in automotive systems},
booktitle = {3rd International Workshop on Emerging Ideas and Trends in Engineering
of Cyber-Physical Systems, EITEC@CPSWeek 2016, Vienna, Austria, April
11, 2016},
pages = {41--46},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/EITEC.2016.7503695},
doi = {10.1109/EITEC.2016.7503695},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/JobstP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/Gerostathopoulos16a,
author = {Ilias Gerostathopoulos and
Tom{\'{a}}s Bures and
Sanny Schmid and
Vojtech Hork{\'{y}} and
Christian Prehofer and
Petr Tuma},
editor = {Khalil Drira and
Fl{\'{a}}vio Oquendo and
Muhammad Ali Babar and
Axel Legay},
title = {Towards systematic live experimentation in software-intensive systems
of systems},
booktitle = {Proceedings of the International Colloquium on Software-intensive
Systems-of-Systems at 10th European Conference on Software Architecture,
SiSoS@ECSA 2016, Copenhagen, Denmark, November 29-29, 2016},
pages = {7:1--7:7},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3175731.3176175},
doi = {10.1145/3175731.3176175},
timestamp = {Fri, 14 Apr 2023 23:05:45 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/Gerostathopoulos16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Prehofer16,
author = {Christian Prehofer},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Property Preservation for Extension Patterns of State Transition Diagrams},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {260--274},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_17},
doi = {10.1007/978-3-319-33693-0\_17},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Prehofer16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot/SuLLFRP16,
author = {Xiang Su and
Pingjiang Li and
Yuhong Li and
Huber Flores and
Jukka Riekki and
Christian Prehofer},
editor = {Stefan Schneegass and
Albrecht Schmidt and
Florian Michahelles and
Mareike Kritzler and
Alexander Ilic and
Kai Kunze},
title = {Towards Semantic Reasoning on the Edge of IoT Systems},
booktitle = {Proceedings of the 6th International Conference on the Internet of
Things, {IOT} 2016, Stuttgart, Germany, November 7-9, 2016},
pages = {171--172},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2998469},
timestamp = {Tue, 06 Nov 2018 16:59:08 +0100},
biburl = {https://dblp.org/rec/conf/iot/SuLLFRP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PrehoferWJ16,
author = {Christian Prehofer and
Andreas Wagner and
Yucheng Jin},
editor = {Benoit Baudry and
Beno{\^{\i}}t Combemale},
title = {A model-based approach for multi-device user interactions},
booktitle = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
Driven Engineering Languages and Systems, Saint-Malo, France, October
2-7, 2016},
pages = {13--23},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2976776},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/PrehoferWJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/WagnerP16,
author = {Andreas Wagner and
Christian Prehofer},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic and
Philippe Desfray},
title = {Translating Task Models to State Machines},
booktitle = {{MODELSWARD} 2016 - Proceedings of the 4rd International Conference
on Model-Driven Engineering and Software Development, Rome, Italy,
19-21 February, 2016},
pages = {201--208},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005681702010208},
doi = {10.5220/0005681702010208},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/WagnerP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mum/PipelidisSP16,
author = {Georgios Pipelidis and
Xiang Su and
Christian Prehofer},
editor = {Jonna H{\"{a}}kkil{\"{a}} and
Timo Ojala},
title = {Generation of indoor navigable maps with crowdsourcing},
booktitle = {Proceedings of the 15th International Conference on Mobile and Ubiquitous
Multimedia, Rovaniemi, Finland, December 12-15, 2016},
pages = {385--387},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3012709.3018007},
doi = {10.1145/3012709.3018007},
timestamp = {Tue, 06 Nov 2018 16:57:22 +0100},
biburl = {https://dblp.org/rec/conf/mum/PipelidisSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SchmidGP16,
author = {Sanny Schmid and
Ilias Gerostathopoulos and
Christian Prehofer},
title = {QryGraph: {A} graphical tool for Big Data analytics},
booktitle = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2016, Budapest, Hungary, October 9-12, 2016},
pages = {4028--4033},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SMC.2016.7844863},
doi = {10.1109/SMC.2016.7844863},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smc/SchmidGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wot/MahapatraGP16,
author = {Tanmaya Mahapatra and
Ilias Gerostathopoulos and
Christian Prehofer},
title = {Towards Integration of Big Data Analytics in Internet of Things Mashup
Tools},
booktitle = {Proceedings of the Seventh International Workshop on the Web of Things,
WoT 2016, Stuttgart, Germany, November 7, 2016},
pages = {11--16},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3017995.3017998},
doi = {10.1145/3017995.3017998},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wot/MahapatraGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/PrehoferC15,
author = {Christian Prehofer and
Luca Chiarabini},
editor = {Sheikh Iqbal Ahamed and
Carl K. Chang and
William C. Chu and
Ivica Crnkovic and
Pao{-}Ann Hsiung and
Gang Huang and
Jingwei Yang},
title = {From Internet of Things Mashups to Model-Based Development},
booktitle = {39th Annual Computer Software and Applications Conference, {COMPSAC}
Workshops 2015, Taichung, Taiwan, July 1-5, 2015},
pages = {499--504},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/COMPSAC.2015.263},
doi = {10.1109/COMPSAC.2015.263},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/PrehoferC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edemocracy/PrehoferKP15,
author = {Christian Prehofer and
George Kornaros and
Michele Paolino},
editor = {Sokratis K. Katsikas and
Alexander B. Sideridis},
title = {{TAPPS} - Trusted Apps for Open Cyber-Physical Systems},
booktitle = {E-Democracy - Citizen Rights in the World of the New Computing Paradigms
- 6th International Conference, E-Democracy 2015, Athens, Greece,
December 10-11, 2015, Proceedings},
series = {Communications in Computer and Information Science},
volume = {570},
pages = {213--216},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27164-4\_18},
doi = {10.1007/978-3-319-27164-4\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edemocracy/PrehoferKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/KrossBPRK15,
author = {Johannes Kro{\ss} and
Andreas Brunnert and
Christian Prehofer and
Thomas A. Runkler and
Helmut Krcmar},
editor = {Marta Beltr{\'{a}}n and
William J. Knottenbelt and
Jeremy T. Bradley},
title = {Stream Processing on Demand for Lambda Architectures},
booktitle = {Computer Performance Engineering - 12th European Workshop, {EPEW}
2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9272},
pages = {243--257},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23267-6\_16},
doi = {10.1007/978-3-319-23267-6\_16},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/KrossBPRK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/Prehofer15,
author = {Christian Prehofer},
title = {Models at {REST} or modelling RESTful interfaces for the Internet
of Things},
booktitle = {2nd {IEEE} World Forum on Internet of Things, WF-IoT 2015, Milan,
Italy, December 14-16, 2015},
pages = {251--255},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/WF-IoT.2015.7389061},
doi = {10.1109/WF-IOT.2015.7389061},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wf-iot/Prehofer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/KrossBPRK15,
author = {Johannes Kro{\ss} and
Andreas Brunnert and
Christian Prehofer and
Thomas A. Runkler and
Helmut Krcmar},
editor = {Andreas Brunnert and
Zhen Ming Jiang},
title = {Model-based Performance Evaluation of Large-Scale Smart Metering Architectures},
booktitle = {Proceedings of the 4th International Workshop on Large-Scale Testing,
LT'15, Austin, TX, USA, February 1, 2015},
pages = {9--12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2693182.2693184},
doi = {10.1145/2693182.2693184},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wosp/KrossBPRK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wot/PrehoferS15,
author = {Christian Prehofer and
Dominik Schinner},
title = {Generic Operations on RESTful Resources in Mashup Tools},
booktitle = {Proceedings of the 6th International Workshop on the Web of Things,
WoT 2015, Seoul, South Korea, October 26, 2015},
pages = {3:1--3:6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2834791.2834795},
doi = {10.1145/2834791.2834795},
timestamp = {Tue, 06 Nov 2018 16:59:33 +0100},
biburl = {https://dblp.org/rec/conf/wot/PrehoferS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/at/KowalPST14,
author = {Matthias Kowal and
Christian Prehofer and
Ina Schaefer and
Mirco Tribastone},
title = {Model-based Development and Performance Analysis for Evolving Manufacturing
Systems},
journal = {Autom.},
volume = {62},
number = {11},
pages = {794--802},
year = {2014},
url = {http://www.degruyter.com/view/j/auto.2014.62.issue-11/auto-2014-1098/auto-2014-1098.xml},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/at/KowalPST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PrehoferZ14,
author = {Christian Prehofer and
Alois Zoitl},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {Towards flexible and adaptive productions systems based on virtual
cloud-based control},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--4},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005330},
doi = {10.1109/ETFA.2014.7005330},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/PrehoferZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccve/PrehoferSKCD14,
author = {Christian Prehofer and
Konstantin Schorp and
Stefan Kugele and
Daniel Clarke and
Markus Duchon},
title = {Towards a 3-tier architecture for connected vehicles},
booktitle = {International Conference on Connected Vehicles and Expo, {ICCVE} 2014,
Vienna, Austria, November 3-7, 2014},
pages = {679--680},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ICCVE.2014.7297634},
doi = {10.1109/ICCVE.2014.7297634},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccve/PrehoferSKCD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KowalLLPSV14,
author = {Matthias Kowal and
Christoph Legat and
David Lorefice and
Christian Prehofer and
Ina Schaefer and
Birgit Vogel{-}Heuser},
editor = {Anil R. Nair and
Herbert Pr{\"{a}}hofer and
Alois Zoitl and
Raoul Jetley and
Alpana Dubey and
Atul Kumar},
title = {Delta modeling for variant-rich and evolving manufacturing systems},
booktitle = {1st International Workshop on Modern Software Engineering Methods
for Industrial Automation, MoSEMInA 2014, Hyderabad, India, May 31,
2014},
pages = {32--41},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593783.2593786},
doi = {10.1145/2593783.2593786},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KowalLLPSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siot/MitucaMP14,
author = {Andrei Mituca and
Amir H. Moin and
Christian Prehofer},
editor = {Gabriel Ghinita and
Razvan Rughinis and
Ahmad{-}Reza Sadeghi},
title = {Access Control for Apps Running on Constrained Devices in the Internet
of Things},
booktitle = {2014 International Workshop on Secure Internet of Things, SIoT 2014,
Wroclaw, Poland, September 10, 2014},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SIoT.2014.11},
doi = {10.1109/SIOT.2014.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/siot/MitucaMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tabletop/JinDPA14,
author = {Yucheng Jin and
Chi Tai Dang and
Christian Prehofer and
Elisabeth Andr{\'{e}}},
editor = {Raimund Dachselt and
T. C. Nicholas Graham and
Kasper Hornb{\ae}k and
Miguel A. Nacenta},
title = {A Multi-Display System for Deploying and Controlling Home Automation},
booktitle = {Proceedings of the Ninth {ACM} International Conference on Interactive
Tabletops and Surfaces, {ITS} 2014, Dresden, Germany, November 16
- 19, 2014},
pages = {399--402},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2669485.2669553},
doi = {10.1145/2669485.2669553},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tabletop/JinDPA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KleinPR14,
author = {Cornel Klein and
Christian Prehofer and
Bernhard Rumpe},
title = {Feature Specification and Refinement with State Transition Diagrams},
journal = {CoRR},
volume = {abs/1409.7232},
year = {2014},
url = {http://arxiv.org/abs/1409.7232},
eprinttype = {arXiv},
eprint = {1409.7232},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KleinPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ZellerP13,
author = {Marc Zeller and
Christian Prehofer},
title = {Modeling and efficient solving of extra-functional properties for
adaptation in networked embedded real-time systems},
journal = {J. Syst. Archit.},
volume = {59},
number = {10-C},
pages = {1067--1082},
year = {2013},
url = {https://doi.org/10.1016/j.sysarc.2012.11.003},
doi = {10.1016/J.SYSARC.2012.11.003},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/ZellerP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/HeinrichP13,
author = {Patrick Heinrich and
Christian Prehofer},
title = {Network-wide energy optimization for adaptive embedded systems},
journal = {{SIGBED} Rev.},
volume = {10},
number = {1},
pages = {33--36},
year = {2013},
url = {https://doi.org/10.1145/2492385.2492391},
doi = {10.1145/2492385.2492391},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/HeinrichP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/ZellerPKW13,
author = {Marc Zeller and
Christian Prehofer and
Daniel Krefft and
Gereon Weiss},
title = {Towards runtime adaptation in {AUTOSAR}},
journal = {{SIGBED} Rev.},
volume = {10},
number = {4},
pages = {17--20},
year = {2013},
url = {https://doi.org/10.1145/2583687.2583691},
doi = {10.1145/2583687.2583691},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/ZellerPKW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/greencom/Prehofer13,
author = {Christian Prehofer},
title = {From the Internet of Things to Trusted Apps for Things},
booktitle = {2013 {IEEE} International Conference on Green Computing and Communications
(GreenCom) and {IEEE} Internet of Things (iThings) and {IEEE} Cyber,
Physical and Social Computing (CPSCom), Beijing, China, August 20-23,
2013},
pages = {2037--2042},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/GreenCom-iThings-CPSCom.2013.381},
doi = {10.1109/GREENCOM-ITHINGS-CPSCOM.2013.381},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/greencom/Prehofer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ManderscheidP13,
author = {Martin Manderscheid and
Christian Prehofer},
title = {Network Performance Evaluation for Distributed Embedded Systems Using
Feature Models},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {46--55},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.17},
doi = {10.1109/ICECCS.2013.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ManderscheidP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Prehofer13,
author = {Christian Prehofer},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Assume-Guarantee Specifications of State Transition Diagrams for Behavioral
Refinement},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {31--45},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_3},
doi = {10.1007/978-3-642-38613-8\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Prehofer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Prehofer13,
author = {Christian Prehofer},
editor = {Fr{\'{e}}d{\'{e}}ric Boulanger and
Michalis Famelis and
Daniel Ratiu},
title = {Feature-based Development of State Transition Diagrams with Property
Preservation},
booktitle = {Proceedings of the 10th International Workshop on Model Driven Engineering,
Verification and Validation MoDeVVa 2013, co-located with 16th International
Conference on Model Driven Engineering Languages and Systems (MoDELS
2013), Miami, Florida, USA, October 1st, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1069},
pages = {21--30},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1069/05-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/Prehofer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/HeinrichP13,
author = {Patrick Heinrich and
Christian Prehofer},
editor = {C{\'{e}}sar Benavente{-}Peces and
Joaquim Filipe},
title = {Early Energy Estimation in the Design Process of Networked Embedded
Systems},
booktitle = {{PECCS} 2013 - Proceedings of the 3rd International Conference on
Pervasive Embedded Computing and Communication Systems, Barcelona,
Spain, 19-21 February, 2013},
pages = {214--220},
publisher = {SciTePress},
year = {2013},
timestamp = {Sun, 14 Jul 2013 12:16:13 +0200},
biburl = {https://dblp.org/rec/conf/peccs/HeinrichP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PrehoferS13,
author = {Christian Prehofer and
Peter Scholz},
title = {Behavioral refinement of non-deterministic state transition diagrams
based on behavior elimination},
booktitle = {17th International Software Product Line Conference co-located workshops,
{SPLC} 2013 workshops, Tokyo, Japan - August 26 - 30, 2013},
pages = {26--33},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2499777.2500724},
doi = {10.1145/2499777.2500724},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/PrehoferS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wivec/HeidrichSP13,
author = {Wolf A. Heidrich and
Dominique Seydel and
Christian Prehofer},
title = {Improving rescue information using {C2C} and {C2I} communication},
booktitle = {5th {IEEE} International Symposium on Wireless Vehicular Communications,
WiVeC 2013, Dresden, Germany, June 2-3, 2013},
pages = {1--5},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/wivec.2013.6698236},
doi = {10.1109/WIVEC.2013.6698236},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/wivec/HeidrichSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/advse/ZellerP12,
author = {Marc Zeller and
Christian Prehofer},
title = {A Multi-Layered Control Approach for Self-Adaptation in Automotive
Embedded Systems},
journal = {Adv. Softw. Eng.},
volume = {2012},
pages = {971430:1--971430:15},
year = {2012},
url = {https://doi.org/10.1155/2012/971430},
doi = {10.1155/2012/971430},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/advse/ZellerP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PrehoferZ12,
author = {Christian Prehofer and
Marc Zeller},
title = {A hierarchical transaction concept for runtime adaptation in real-time,
networked embedded systems},
booktitle = {Proceedings of 2012 {IEEE} 17th International Conference on Emerging
Technologies {\&} Factory Automation, {ETFA} 2012, Krakow, Poland,
September 17-21, 2012},
pages = {1--8},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ETFA.2012.6489585},
doi = {10.1109/ETFA.2012.6489585},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/PrehoferZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZellerP12,
author = {Marc Zeller and
Christian Prehofer},
editor = {Hausi A. M{\"{u}}ller and
Luciano Baresi},
title = {Timing constraints for runtime adaptation in real-time, networked
embedded systems},
booktitle = {7th International Symposium on Software Engineering for Adaptive and
Self-Managing Systems, {SEAMS} 2012, Zurich, Switzerland, June 4-5,
2012},
pages = {73--82},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEAMS.2012.6224393},
doi = {10.1109/SEAMS.2012.6224393},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZellerP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/StrebelowTP12,
author = {Ronald Strebelow and
Mirco Tribastone and
Christian Prehofer},
title = {Performance Modeling of Design Patterns for Distributed Computation},
booktitle = {20th {IEEE} International Symposium on Modeling, Analysis and Simulation
of Computer and Telecommunication Systems, {MASCOTS} 2012, Washington,
DC, USA, August 7-9, 2012},
pages = {251--258},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/MASCOTS.2012.37},
doi = {10.1109/MASCOTS.2012.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/StrebelowTP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msept/StrebelowP12,
author = {Ronald Strebelow and
Christian Prehofer},
editor = {Victor Pankratius and
Michael Philippsen},
title = {Analysis of Event Processing Design Patterns and Their Performance
Dependency on {I/O} Notification Mechanisms},
booktitle = {Multicore Software Engineering, Performance, and Tools - International
Conference, {MSEPT} 2012, Prague, Czech Republic, May 31 - June 1,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7303},
pages = {54--65},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31202-1\_6},
doi = {10.1007/978-3-642-31202-1\_6},
timestamp = {Sun, 25 Oct 2020 22:50:59 +0100},
biburl = {https://dblp.org/rec/conf/msept/StrebelowP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/ZellerP12,
author = {Marc Zeller and
Christian Prehofer},
editor = {C{\'{e}}sar Benavente{-}Peces and
Falah H. Ali and
Joaquim Filipe},
title = {Self-adaptation in Automotive Embedded Systems using a Multi-layered
Control Approach},
booktitle = {{PECCS} 2012 - Proceedings of the 2nd International Conference on
Pervasive Embedded Computing and Communication Systems, Rome, Italy,
24-26 February, 2012},
pages = {459--468},
publisher = {SciTePress},
year = {2012},
timestamp = {Sun, 06 May 2012 14:26:10 +0200},
biburl = {https://dblp.org/rec/conf/peccs/ZellerP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/PrehoferZ12,
author = {Christian Prehofer and
Marc Zeller},
title = {Towards runtime adaptation in real-time, networked embedded systems},
booktitle = {7th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2012, Karlsruhe, Germany, June 20-22, 2012},
pages = {271--274},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SIES.2012.6356594},
doi = {10.1109/SIES.2012.6356594},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/PrehoferZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Prehofer13,
author = {Christian Prehofer},
editor = {Barbora Buhnova and
Lucia Kapov{\'{a}} Happe and
Jan Kofron},
title = {Behavioral Refinement and Compatibility of Statechart Extensions},
booktitle = {Proceedings the 9th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2012, Tallinn, Estonia,
March 31, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {295},
pages = {65--78},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2013.04.006},
doi = {10.1016/J.ENTCS.2013.04.006},
timestamp = {Tue, 22 Nov 2022 13:57:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Prehofer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/YanP11,
author = {Zheng Yan and
Christian Prehofer},
title = {Autonomic Trust Management for a Component-Based Software System},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {8},
number = {6},
pages = {810--823},
year = {2011},
url = {https://doi.org/10.1109/TDSC.2010.47},
doi = {10.1109/TDSC.2010.47},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/YanP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/Prehofer11,
author = {Christian Prehofer},
title = {An Adaptive Control Model for Non-functional Feature Interactions},
booktitle = {37th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011},
pages = {501--507},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SEAA.2011.81},
doi = {10.1109/SEAA.2011.81},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/Prehofer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ZellerPWEK11,
author = {Marc Zeller and
Christian Prehofer and
Gereon Weiss and
Dirk Eilers and
Rudi Knorr},
title = {Towards Self-Adaptation in Real-Time, Networked Systems: Efficient
Solving of System Constraints for Automotive Embedded Systems},
booktitle = {5th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2011, Ann Arbor, MI, USA, October 3-7, 2011},
pages = {79--88},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SASO.2011.19},
doi = {10.1109/SASO.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/ZellerPWEK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pervasive/PrehoferGSSTFL10,
author = {Christian Prehofer and
Jilles van Gurp and
Vlad Stirbu and
Sailesh Sathish and
Sasu Tarkoma and
Cristiano di Flora and
Pasi P. Liimatainen},
title = {Practical Web-Based Smart Spaces},
journal = {{IEEE} Pervasive Comput.},
volume = {9},
number = {3},
pages = {72--80},
year = {2010},
url = {https://doi.org/10.1109/MPRV.2009.88},
doi = {10.1109/MPRV.2009.88},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pervasive/PrehoferGSSTFL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/GurpPB10,
author = {Jilles van Gurp and
Christian Prehofer and
Jan Bosch},
title = {Comparing practices for reuse in integration-oriented software product
lines and large open source software projects},
journal = {Softw. Pract. Exp.},
volume = {40},
number = {4},
pages = {285--312},
year = {2010},
url = {https://doi.org/10.1002/spe.955},
doi = {10.1002/SPE.955},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/GurpPB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10,
author = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw and
Jesper Andersson and
Marin Litoiu and
Bradley R. Schmerl and
Gabriel Tamura and
Norha M. Villegas and
Thomas Vogel and
Danny Weyns and
Luciano Baresi and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Ronald J. Desmarais and
Schahram Dustdar and
Gregor Engels and
Kurt Geihs and
Karl M. G{\"{o}}schka and
Alessandra Gorla and
Vincenzo Grassi and
Paola Inverardi and
Gabor Karsai and
Jeff Kramer and
Ant{\'{o}}nia Lopes and
Jeff Magee and
Sam Malek and
Serge Mankovski and
Raffaela Mirandola and
John Mylopoulos and
Oscar Nierstrasz and
Mauro Pezz{\`{e}} and
Christian Prehofer and
Wilhelm Sch{\"{a}}fer and
Richard D. Schlichting and
Dennis B. Smith and
Jo{\~{a}}o Pedro Sousa and
Ladan Tahvildari and
Kenny Wong and
Jochen Wuttke},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Software Engineering for Self-Adaptive Systems: {A} Second Research
Roadmap},
booktitle = {Software Engineering for Self-Adaptive Systems {II} - International
Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7475},
pages = {1--32},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-35813-5\_1},
doi = {10.1007/978-3-642-35813-5\_1},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMSALSTVVWBBBBCDDEGGGGIKKLMMMMMNPPSSSSTWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/WeynsSGMMPWAGG10,
author = {Danny Weyns and
Bradley R. Schmerl and
Vincenzo Grassi and
Sam Malek and
Raffaela Mirandola and
Christian Prehofer and
Jochen Wuttke and
Jesper Andersson and
Holger Giese and
Karl M. G{\"{o}}schka},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {On Patterns for Decentralized Control in Self-Adaptive Systems},
booktitle = {Software Engineering for Self-Adaptive Systems {II} - International
Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7475},
pages = {76--107},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-35813-5\_4},
doi = {10.1007/978-3-642-35813-5\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/WeynsSGMMPWAGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Prehofer10,
author = {Christian Prehofer},
editor = {Sven Apel and
Don S. Batory and
Krzysztof Czarnecki and
Florian Heidenreich and
Christian K{\"{a}}stner and
Oscar Nierstrasz},
title = {Feature oriented-programming: back to the future},
booktitle = {Proceedings of the Second International Workshop on Feature-Oriented
Software Development, {FOSD} 2010, Eindhoven, Netherlands, October
10, 2010},
pages = {1},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868688.1868689},
doi = {10.1145/1868688.1868689},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/gpce/Prehofer10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LemosGMSABBBBCD10,
author = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw and
Jesper Andersson and
Luciano Baresi and
Basil Becker and
Nelly Bencomo and
Yuriy Brun and
Bojan Cukic and
Ronald J. Desmarais and
Schahram Dustdar and
Gregor Engels and
Kurt Geihs and
Karl M. G{\"{o}}schka and
Alessandra Gorla and
Vincenzo Grassi and
Paola Inverardi and
Gabor Karsai and
Jeff Kramer and
Marin Litoiu and
Ant{\'{o}}nia Lopes and
Jeff Magee and
Sam Malek and
Serge Mankovskii and
Raffaela Mirandola and
John Mylopoulos and
Oscar Nierstrasz and
Mauro Pezz{\`{e}} and
Christian Prehofer and
Wilhelm Sch{\"{a}}fer and
Richard D. Schlichting and
Bradley R. Schmerl and
Dennis B. Smith and
Jo{\~{a}}o Pedro Sousa and
Gabriel Tamura and
Ladan Tahvildari and
Norha M. Villegas and
Thomas Vogel and
Danny Weyns and
Kenny Wong and
Jochen Wuttke},
editor = {Rog{\'{e}}rio de Lemos and
Holger Giese and
Hausi A. M{\"{u}}ller and
Mary Shaw},
title = {Software Engineering for Self-Adaptive Systems: {A} second Research
Roadmap},
booktitle = {Software Engineering for Self-Adaptive Systems, 24.10. - 29.10.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10431},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2011/3156/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LemosGMSABBBBCD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/VianelloFP09,
author = {Valerio Vianello and
Cristiano di Flora and
Christian Prehofer},
title = {A Comparison of {GIS} Architectures for Implementing Indoor Location-based
Services},
journal = {J. Softw.},
volume = {4},
number = {7},
pages = {664--674},
year = {2009},
url = {https://doi.org/10.4304/jsw.4.7.664-674},
doi = {10.4304/JSW.4.7.664-674},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/VianelloFP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/KortuemEPS09,
author = {Gerd Kortuem and
Henk Eertink and
Christian Prehofer and
Martin Strohbach},
editor = {Henk J. Sips and
Dick H. J. Epema and
Hai{-}Xiang Lin},
title = {Introduction},
booktitle = {Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference,
Delft, The Netherlands, August 25-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5704},
pages = {1103},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03869-3\_101},
doi = {10.1007/978-3-642-03869-3\_101},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/KortuemEPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icps/Prehofer09,
author = {Christian Prehofer},
editor = {Julie A. McCann and
Mario Lauria and
Domenico Cotroneo and
Mark A. Baker},
title = {Real-world experiences with indoor location based services},
booktitle = {Proceedings of the 2009 international conference on Pervasive services,
{ICPS} '09, London, United Kingdom, July 13-17, 2009},
pages = {143--144},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1568199.1568222},
doi = {10.1145/1568199.1568222},
timestamp = {Tue, 06 Nov 2018 11:07:49 +0100},
biburl = {https://dblp.org/rec/conf/icps/Prehofer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccnc/GurpPF08,
author = {Jilles van Gurp and
Christian Prehofer and
Cristiano di Flora},
title = {Experiences with Realizing Smart Space Web Service Applications},
booktitle = {5th {IEEE} Consumer Communications and Networking Conference, {CCNC}
2008, Las Vegas, NV, USA, January 10-12, 2008},
pages = {1171--1175},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ccnc08.2007.262},
doi = {10.1109/CCNC08.2007.262},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/ccnc/GurpPF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/MyllarniemiPRGM08,
author = {Varvana Myll{\"{a}}rniemi and
Christian Prehofer and
Mikko Raatikainen and
Jilles van Gurp and
Tomi M{\"{a}}nnist{\"{o}}},
editor = {Ronald Morrison and
Dharini Balasubramaniam and
Katrina Falkner},
title = {Approach for Dynamically Composing Decentralised Service Architectures
with Cross-Cutting Constraints},
booktitle = {Software Architecture, Second European Conference, {ECSA} 2008, Paphos,
Cyprus, September 29 - October 1, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5292},
pages = {180--195},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88030-1\_14},
doi = {10.1007/978-3-540-88030-1\_14},
timestamp = {Mon, 17 Jul 2023 13:04:30 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/MyllarniemiPRGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/SubaPG08,
author = {Filip Suba and
Christian Prehofer and
Jilles van Gurp},
title = {Towards a Common Sensor Network {API:} Practical Experiences},
booktitle = {Proceedings of the 2008 International Symposium on Applications and
the Internet, {SAINT} 2008, 28 July - 1 August 2008, Turku, Finland},
pages = {185--188},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SAINT.2008.60},
doi = {10.1109/SAINT.2008.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/SubaPG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/FloraP08,
author = {Cristiano di Flora and
Christian Prehofer},
editor = {Uwe Brinkschulte and
Tony Givargis and
Stefano Russo},
title = {Leveraging {GIS} Technologies for Web-Based Smart Places Services},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems, 6th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2008, Anacarpi, Capri Island,
Italy, October 1-3, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5287},
pages = {256--267},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87785-1\_23},
doi = {10.1007/978-3-540-87785-1\_23},
timestamp = {Wed, 22 Mar 2023 16:53:33 +0100},
biburl = {https://dblp.org/rec/conf/seus/FloraP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GurpP08,
author = {Jilles van Gurp and
Christian Prehofer},
editor = {Jes{\'{u}}s Bermejo Mu{\~{n}}oz and
Bj{\"{o}}rn Lundell and
Frank van der Linden},
title = {From SPLs to Open, Compositional Platforms},
booktitle = {Combining the Advantages of Product Lines and Open Source, 02.04.
- 05.04.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08142},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1540/},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GurpP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/TarkomaPSL07,
author = {Sasu Tarkoma and
Christian Prehofer and
Sampo Sovio and
Pekka Laitinen},
title = {Composable Mediation for Security-Aware Mobile Services},
journal = {{IEEE} Commun. Mag.},
volume = {45},
number = {7},
pages = {58--65},
year = {2007},
url = {https://doi.org/10.1109/MCOM.2007.382661},
doi = {10.1109/MCOM.2007.382661},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/TarkomaPSL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/BlessHPZ07,
author = {Roland Bless and
Joachim Hillebrand and
Christian Prehofer and
Martina Zitterbart},
title = {A quality-of-service signaling architecture for seamless handover
support in next generation, IP-based mobile networks},
journal = {Wirel. Pers. Commun.},
volume = {43},
number = {3},
pages = {817--835},
year = {2007},
url = {https://doi.org/10.1007/s11277-007-9260-9},
doi = {10.1007/S11277-007-9260-9},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wpc/BlessHPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/YanP07,
author = {Zheng Yan and
Christian Prehofer},
editor = {Bin Xiao and
Laurence Tianruo Yang and
Jianhua Ma and
Christian M{\"{u}}ller{-}Schloer and
Yu Hua},
title = {An Adaptive Trust Control Model for a Trustworthy Component Software
Platform},
booktitle = {Autonomic and Trusted Computing, 4th International Conference, {ATC}
2007, Hong Kong, China, July 11-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4610},
pages = {226--238},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73547-2\_24},
doi = {10.1007/978-3-540-73547-2\_24},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/atc/YanP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/TarkomaPZMK07,
author = {Sasu Tarkoma and
Christian Prehofer and
Anna V. Zhdanova and
Klaus Moessner and
Ern{\"{o}} Kovacs},
title = {{SPICE:} Evolving {IMS} to Next Generation Service Platforms},
booktitle = {2007 International Symposium on Applications and the Internet - Workshops
{(SAINT} 2007 Workshops), 15-19 January 2007, Hiroshima, Japan},
pages = {6},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SAINT-W.2007.99},
doi = {10.1109/SAINT-W.2007.99},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saint/TarkomaPZMK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/WeiFPMP06,
author = {Qing Wei and
K{\'{a}}roly Farkas and
Christian Prehofer and
Paulo Mendes and
Bernhard Plattner},
title = {Context-aware handover using active network technology},
journal = {Comput. Networks},
volume = {50},
number = {15},
pages = {2855--2872},
year = {2006},
url = {https://doi.org/10.1016/j.comnet.2005.11.002},
doi = {10.1016/J.COMNET.2005.11.002},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/WeiFPMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/CarlsonPBKW06,
author = {E. Carlson and
Christian Prehofer and
Christian Bettstetter and
Holger Karl and
Adam Wolisz},
title = {A Distributed End-to-End Reservation Protocol for {IEEE} 802.11-Based
Wireless Mesh Networks},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {24},
number = {11},
pages = {2018--2027},
year = {2006},
url = {https://doi.org/10.1109/JSAC.2006.881633},
doi = {10.1109/JSAC.2006.881633},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/CarlsonPBKW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmobile/HofmannBP06,
author = {Philipp Hofmann and
Christian Bettstetter and
Christian Prehofer},
title = {Performance impact of multihop handovers in an IP-based multihop radio
access network},
journal = {{ACM} {SIGMOBILE} Mob. Comput. Commun. Rev.},
volume = {10},
number = {2},
pages = {13--25},
year = {2006},
url = {https://doi.org/10.1145/1137975.1137978},
doi = {10.1145/1137975.1137978},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmobile/HofmannBP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Prehofer06,
author = {Christian Prehofer},
editor = {Stan Jarzabek and
Douglas C. Schmidt and
Todd L. Veldhuizen},
title = {Semantic reasoning about feature composition via multiple aspect-weavings},
booktitle = {Generative Programming and Component Engineering, 5th International
Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
Proceedings},
pages = {237--242},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1173706.1173742},
doi = {10.1145/1173706.1173742},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/Prehofer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intersense/FasoloPRWWZZ06,
author = {Elena Fasolo and
Christian Prehofer and
Michele Rossi and
Qing Wei and
J{\"{o}}rg Widmer and
Andrea Zanella and
Michele Zorzi},
editor = {Imrich Chlamtac},
title = {Challenges and new approaches for efficient data gathering and dissemination
in pervasive wireless networks},
booktitle = {Proceedings of the First International Conference in Integrated Internet
Ad Hoc and Sensor Networks, InterSense 2006, Nice, France, May 30-31,
2006},
series = {{ACM} International Conference Proceeding Series},
volume = {138},
pages = {25},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142680.1142713},
doi = {10.1145/1142680.1142713},
timestamp = {Tue, 06 Nov 2018 11:06:50 +0100},
biburl = {https://dblp.org/rec/conf/intersense/FasoloPRWWZZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/GhassemianHFPA06,
author = {Mona Ghassemian and
Philipp Hofmann and
Vasilis Friderikos and
Christian Prehofer and
A. Hamid Aghvami},
title = {An Optimised Gateway Selection Mechanism for Wireless Ad hoc Networks
Connected to the Internet},
booktitle = {Proceedings of the 63rd {IEEE} Vehicular Technology Conference, {VTC}
Spring 2006, 7-10 May 2006, Melbourne, Australia},
pages = {782--787},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/VETECS.2006.1682931},
doi = {10.1109/VETECS.2006.1682931},
timestamp = {Thu, 16 Apr 2020 08:52:59 +0200},
biburl = {https://dblp.org/rec/conf/vtc/GhassemianHFPA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/PrehoferB05,
author = {Christian Prehofer and
Christian Bettstetter},
title = {Self-organization in communication networks: principles and design
paradigms},
journal = {{IEEE} Commun. Mag.},
volume = {43},
number = {7},
pages = {78--85},
year = {2005},
url = {https://doi.org/10.1109/MCOM.2005.1470824},
doi = {10.1109/MCOM.2005.1470824},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/PrehoferB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccn/PrehoferPJ05,
author = {Christian Prehofer and
Nick Papadoglou and
Martin Johnsson},
editor = {M. Y. Sanadidi},
title = {On the evolution of a naming and addressing architecture in view of
dynamic network interconnection},
booktitle = {Proceedings of the Third {IASTED} International Conference on Communications
and Computer Networks, October 24-26, 2005, Marina del Rey, CA, {USA}},
pages = {374--379},
publisher = {{IASTED/ACTA} Press},
year = {2005},
timestamp = {Thu, 25 Jan 2007 13:10:45 +0100},
biburl = {https://dblp.org/rec/conf/ccn/PrehoferPJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobicom/KarlKPHGTNH05,
author = {Holger Karl and
Cornelia Kappler and
Christian Prehofer and
Jean{-}Pierre Hubaux and
Tim Griffin and
Wataru Takita and
Norbert Niebert and
Robert Hancock},
editor = {Christian Prehofer and
Cornelia Kappler},
title = {Visions for dynamic network scenarios in ubiquitous environments:
applications and research issues},
booktitle = {Proceedings of the 1st {ACM} workshop on Dynamic interconnection of
networks, DIN@MobiCom 2005, Cologne, Germany, September 2, 2005},
pages = {22},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1080776.1080784},
doi = {10.1145/1080776.1080784},
timestamp = {Tue, 06 Nov 2018 16:59:00 +0100},
biburl = {https://dblp.org/rec/conf/mobicom/KarlKPHGTNH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/HillebrandPBZ05,
author = {Joachim Hillebrand and
Christian Prehofer and
Roland Bless and
Martina Zitterbart},
title = {Quality-of-service management for IP-based mobile networks},
booktitle = {{IEEE} Wireless Communications and Networking Conference, {WCNC} 2005,
March 13-17, 2005, New Orleans, Louisiana, {USA}},
pages = {1248--1253},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/WCNC.2005.1424688},
doi = {10.1109/WCNC.2005.1424688},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/HillebrandPBZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mobicom/2005din,
editor = {Christian Prehofer and
Cornelia Kappler},
title = {Proceedings of the 1st {ACM} workshop on Dynamic interconnection of
networks, DIN@MobiCom 2005, Cologne, Germany, September 2, 2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1080776},
doi = {10.1145/1080776},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobicom/2005din.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/HillebrandPBZ04,
author = {Joachim Hillebrand and
Christian Prehofer and
Roland Bless and
Martina Zitterbart},
title = {Quality-of-service signaling for next-generation IP-based mobile networks},
journal = {{IEEE} Commun. Mag.},
volume = {42},
number = {6},
pages = {72--79},
year = {2004},
url = {https://doi.org/10.1109/MCOM.2004.1304235},
doi = {10.1109/MCOM.2004.1304235},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/HillebrandPBZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Prehofer04,
author = {Christian Prehofer},
title = {Plug-and-play composition of features and feature interactions with
statechart diagrams},
journal = {Softw. Syst. Model.},
volume = {3},
number = {3},
pages = {221--234},
year = {2004},
url = {https://doi.org/10.1007/s10270-003-0040-z},
doi = {10.1007/S10270-003-0040-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Prehofer04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wc/NiebertSAMSHPK04,
author = {Norbert Niebert and
Andreas Schieder and
Henrik Abramowicz and
G{\"{o}}ran Malmgren and
Joachim Sachs and
Uwe Horn and
Christian Prehofer and
Holger Karl},
title = {Ambient networks: an architecture for communication networks beyond
3G},
journal = {{IEEE} Wirel. Commun.},
volume = {11},
number = {2},
pages = {14--22},
year = {2004},
url = {https://doi.org/10.1109/MWC.2004.1295733},
doi = {10.1109/MWC.2004.1295733},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wc/NiebertSAMSHPK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwcn/HofmannBWP04,
author = {Philipp Hofmann and
Christian Bettstetter and
Jeremie Wehren and
Christian Prehofer},
editor = {Elizabeth M. Belding{-}Royer and
Khaldoun Al Agha and
Guy Pujolle},
title = {Performance Impact of Mobility in an Emulated IP-Based Multihop Radio
Access Network},
booktitle = {Mobile and Wireless Communication Networks, {IFIP} {TC6} / {WG6.8}
Conference on Mobile and Wireless Communication Networks {(MWCN} 2004),
October 25-27, 2004, Paris, France},
series = {{IFIP}},
volume = {162},
pages = {395--406},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/0-387-23150-1\_34},
doi = {10.1007/0-387-23150-1\_34},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mwcn/HofmannBWP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/ThakolsriPK04,
author = {Srisakul Thakolsri and
Christian Prehofer and
Wolfgang Kellerer},
title = {Transition Mechanism in IP-Based Wireless Networks},
booktitle = {2004 Symposium on Applications and the Internet Workshops {(SAINT}
2004 Workshops), 26-30 January 2004, Tokyo, Japan},
pages = {112--119},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/SAINTW.2004.1268574},
doi = {10.1109/SAINTW.2004.1268574},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saint/ThakolsriPK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wac/KapplerMPPZ04,
author = {Cornelia Kappler and
Paulo Mendes and
Christian Prehofer and
Petteri P{\"{o}}yh{\"{o}}nen and
Di Zhou},
editor = {Michael Smirnov},
title = {A Framework for Self-organized Network Composition},
booktitle = {Autonomic Communication, First International {IFIP} Workshop, {WAC}
2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3457},
pages = {139--151},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11520184\_11},
doi = {10.1007/11520184\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/wac/KapplerMPPZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/GhassemianHPFA04,
author = {Mona Ghassemian and
Philipp Hofmann and
Christian Prehofer and
Vasilis Friderikos and
Hamid Aghvami},
title = {Performance analysis of Internet gateway discovery protocols in ad
hoc networks},
booktitle = {2004 {IEEE} Wireless Communications and Networking Conference , {WCNC}
2004, Atlanta, Georgia, USA, 21-25 March 2004},
pages = {120--125},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/WCNC.2004.1311529},
doi = {10.1109/WCNC.2004.1311529},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/GhassemianHPFA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/Prehofer03,
author = {Christian Prehofer},
editor = {Daniel Amyot and
Luigi Logrippo},
title = {Plug-and-Play Composition of Features and Feature Interactions with
Statechart Diagrams},
booktitle = {Feature Interactions in Telecommunications and Software Systems VII,
June 11-13, 2003, Ottawa, Canada},
pages = {43--58},
publisher = {{IOS} Press},
year = {2003},
timestamp = {Tue, 16 Nov 2004 09:12:37 +0100},
biburl = {https://dblp.org/rec/conf/fiw/Prehofer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwan/WeiFMPPN03,
author = {Qing Wei and
K{\'{a}}roly Farkas and
Paulo Mendes and
Christian Prehofer and
Bernhard Plattner and
Nima Nafisi},
editor = {Naoki Wakamiya and
Marcin Solarski and
James P. G. Sterbenz},
title = {Context-Aware Handover Based on Active Network Technology},
booktitle = {Active Networks, {IFIP} {TC6} 5th International Workshop, {IWAN} 2003,
Kyoto, Japan, December 10-12, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2982},
pages = {280--291},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24715-9\_24},
doi = {10.1007/978-3-540-24715-9\_24},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/iwan/WeiFMPPN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/GhassemianHAP03,
author = {Mona Ghassemian and
Philipp Hofmann and
Hamid Aghvami and
Christian Prehofer},
title = {Analyses of addressing and QoS approaches for ad hoc connectivity
with the Internet},
booktitle = {Proceedings of the {IEEE} 14th International Symposium on Personal,
Indoor and Mobile Radio Communications, {PIMRC} 2003, 7-10 September
2003, Beijing, China},
pages = {492--496},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/PIMRC.2003.1264320},
doi = {10.1109/PIMRC.2003.1264320},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/pimrc/GhassemianHAP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/PrehoferNW03,
author = {Christian Prehofer and
Nima Nafisi and
Qing Wei},
title = {A framework for context-aware handover decisions},
booktitle = {Proceedings of the {IEEE} 14th International Symposium on Personal,
Indoor and Mobile Radio Communications, {PIMRC} 2003, 7-10 September
2003, Beijing, China},
pages = {2794--2798},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/PIMRC.2003.1259253},
doi = {10.1109/PIMRC.2003.1259253},
timestamp = {Thu, 22 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pimrc/PrehoferNW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcn/PrehoferKHBK02a,
author = {Christian Prehofer and
Wolfgang Kellerer and
Robert Hirschfeld and
Hendrik Berndt and
Katsuya Kawamura},
title = {An architecture supporting adaptation and evolution in fourth generation
mobile communication systems},
journal = {J. Commun. Networks},
volume = {4},
number = {4},
pages = {336--343},
year = {2002},
url = {https://doi.org/10.1109/JCN.2002.6596657},
doi = {10.1109/JCN.2002.6596657},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcn/PrehoferKHBK02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwan/PrehoferW02,
author = {Christian Prehofer and
Qing Wei},
editor = {James P. G. Sterbenz and
Osamu Takada and
Christian F. Tschudin and
Bernhard Plattner},
title = {Active Networks for 4G Mobile Communication: Motivation, Architecture,
and Application Scenarios},
booktitle = {Active Networks, {IFIP-TC6} 4th International Working Conference,
{IWAN} 2002, Zurich, Switzerland, December 4-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2546},
pages = {132--145},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36199-5\_11},
doi = {10.1007/3-540-36199-5\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/iwan/PrehoferW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/Prehofer01,
author = {Christian Prehofer},
title = {Feature-oriented programming: {A} new way of object composition},
journal = {Concurr. Comput. Pract. Exp.},
volume = {13},
number = {6},
pages = {465--501},
year = {2001},
url = {https://doi.org/10.1002/cpe.583},
doi = {10.1002/CPE.583},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/Prehofer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/EichlerHMVPS00,
author = {Gerald Eichler and
Heinrich Hussmann and
George Mamais and
Iakovos S. Venieris and
Christian Prehofer and
Stefano Salsano},
title = {Implementing integrated and differentiated services for the Internet
with {ATM} networks: a practical approach},
journal = {{IEEE} Commun. Mag.},
volume = {38},
number = {1},
pages = {132--141},
year = {2000},
url = {https://doi.org/10.1109/35.815463},
doi = {10.1109/35.815463},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/EichlerHMVPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HanusP99,
author = {Michael Hanus and
Christian Prehofer},
title = {Higher-Order Narrowing with Definitional Trees},
journal = {J. Funct. Program.},
volume = {9},
number = {1},
pages = {33--75},
year = {1999},
url = {https://doi.org/10.1017/s0956796899003330},
doi = {10.1017/S0956796899003330},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HanusP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ios/dalsgaard99/KochP99,
author = {Berthold F. Koch and
Christian Prehofer},
editor = {Birte Christensen{-}Dalsgaard and
William Donnelly and
Michael Griffith},
title = {Internet Service Architectures and {ATM} - The {ELISA} Approach},
booktitle = {Flexible Working - New Network Technologies},
pages = {179--194},
publisher = {{IOS} Press},
year = {1999},
url = {http://www.cordis.lu/infowin/acts/analysys/products/thematic/flexwork/3-3/3-3.htm},
timestamp = {Sat, 03 Aug 2019 19:05:03 +0200},
biburl = {https://dblp.org/rec/books/ios/dalsgaard99/KochP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:phd/dnb/Prehofer98,
author = {Christian Prehofer},
title = {Solving higher order equations: from logic to programming},
publisher = {Birkh{\"{a}}user},
year = {1998},
url = {https://d-nb.info/952799111},
isbn = {978-3-7643-4032-2},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Prehofer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Prehofer97,
author = {Christian Prehofer},
editor = {Mehmet Aksit and
Satoshi Matsuoka},
title = {Feature-Oriented Programming: {A} Fresh Look at Objects},
booktitle = {ECOOP'97 - Object-Oriented Programming, 11th European Conference,
Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1241},
pages = {419--443},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0053389},
doi = {10.1007/BFB0053389},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Prehofer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/KleinPR97,
author = {Cornel Klein and
Christian Prehofer and
Bernhard Rumpe},
editor = {Petre Dini and
Raouf Boutaba and
Luigi Logrippo},
title = {Feature Specification and Refinement with State Transition Diagrams},
booktitle = {Feature Interactions in Telecommunications Networks IV, June 17-19,
1997, Montr{\'{e}}al, Canada},
pages = {284--297},
publisher = {{IOS} Press},
year = {1997},
timestamp = {Tue, 16 Nov 2004 10:38:12 +0100},
biburl = {https://dblp.org/rec/conf/fiw/KleinPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/Prehofer97,
author = {Christian Prehofer},
editor = {Petre Dini and
Raouf Boutaba and
Luigi Logrippo},
title = {An Object-Oriented Approach to Feature Interaction},
booktitle = {Feature Interactions in Telecommunications Networks IV, June 17-19,
1997, Montr{\'{e}}al, Canada},
pages = {313--325},
publisher = {{IOS} Press},
year = {1997},
timestamp = {Tue, 16 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fiw/Prehofer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Prehofer97,
author = {Christian Prehofer},
editor = {Matthias Jarke and
Klaus Pasedach and
Klaus Pohl},
title = {From Inheritance to Feature Interaction or Composing Monads},
booktitle = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September
1997},
series = {Informatik Aktuell},
pages = {562--571},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-60831-5\_76},
doi = {10.1007/978-3-642-60831-5\_76},
timestamp = {Tue, 23 May 2017 01:10:32 +0200},
biburl = {https://dblp.org/rec/conf/gi/Prehofer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LinnestadPL96,
author = {Henrik Linnestad and
Christian Prehofer and
Olav Lysne},
editor = {Vijay Chandru and
V. Vinay},
title = {Higher-Order Proof by Consistency},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1180},
pages = {274--285},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62034-6\_56},
doi = {10.1007/3-540-62034-6\_56},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/LinnestadPL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HanusP96,
author = {Michael Hanus and
Christian Prehofer},
editor = {Harald Ganzinger},
title = {Higher-Order Narrowing with Definitional Trees},
booktitle = {Rewriting Techniques and Applications, 7th International Conference,
RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1103},
pages = {138--152},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61464-8\_48},
doi = {10.1007/3-540-61464-8\_48},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/HanusP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Prehofer95,
author = {Christian Prehofer},
title = {Solving higher order equations: from logic to programming},
school = {Technical University Munich, Germany},
year = {1995},
url = {https://d-nb.info/944607616},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Prehofer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NipkowP95,
author = {Tobias Nipkow and
Christian Prehofer},
title = {Type Reconstruction for Type Classes},
journal = {J. Funct. Program.},
volume = {5},
number = {2},
pages = {201--224},
year = {1995},
url = {https://doi.org/10.1017/S0956796800001325},
doi = {10.1017/S0956796800001325},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/NipkowP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Prehofer95,
author = {Christian Prehofer},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Higher-Order Narrowing with Convergent Systems},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {199--213},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_54},
doi = {10.1007/3-540-60043-4\_54},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Prehofer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Prehofer95,
author = {Christian Prehofer},
editor = {John W. Lloyd},
title = {A Call-by-Need Strategy for Higher-Order Functional-Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {147--161},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300584},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/Prehofer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Prehofer94,
author = {Christian Prehofer},
editor = {Alan Bundy},
title = {Decidable Higher-Order Unification Problems},
booktitle = {Automated Deduction - CADE-12, 12th International Conference on Automated
Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {814},
pages = {635--649},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58156-1\_46},
doi = {10.1007/3-540-58156-1\_46},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Prehofer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccl/Prehofer94,
author = {Christian Prehofer},
editor = {Jean{-}Pierre Jouannaud},
title = {On Modularity in Term Rewriting and Narrowing},
booktitle = {Constraints in Computational Logics, First International Conference,
CCL'94, Munich, Germany, September 7-9, 1994},
series = {Lecture Notes in Computer Science},
volume = {845},
pages = {253--268},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0016858},
doi = {10.1007/BFB0016858},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ccl/Prehofer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BroyHNPS94,
author = {Manfred Broy and
Ursula Hinkel and
Tobias Nipkow and
Christian Prehofer and
Birgit Schieder},
editor = {P. S. Thiagarajan},
title = {Interpreter Verification for a Functional Language},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
14th Conference, Madras, India, December 15-17, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {880},
pages = {77--88},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58715-2\_115},
doi = {10.1007/3-540-58715-2\_115},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BroyHNPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Prehofer94,
author = {Christian Prehofer},
title = {Higher-Order Narrowing},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {507--516},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316040},
doi = {10.1109/LICS.1994.316040},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Prehofer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NipkowP93,
author = {Tobias Nipkow and
Christian Prehofer},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Type Checking Type Classes},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {409--418},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158698},
doi = {10.1145/158511.158698},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/NipkowP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Prehofer92,
author = {Christian Prehofer},
editor = {David Pearce and
Gerd Wagner},
title = {An Efficient Constraint Language for Polymorphic Order-sorted Resoluton},
booktitle = {Logics in AI, European Workshop, {JELIA} '92, Berlin, Germany, September
7-10, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {633},
pages = {319--338},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023436},
doi = {10.1007/BFB0023436},
timestamp = {Wed, 06 Nov 2019 16:45:49 +0100},
biburl = {https://dblp.org/rec/conf/jelia/Prehofer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-07 04:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
