--- _id: '6634' author: - first_name: Jörg full_name: Bendfeld, Jörg id: '16148' last_name: Bendfeld - first_name: Stefan full_name: Balluff, Stefan last_name: Balluff - first_name: J. full_name: Krüger, J. last_name: Krüger - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Bendfeld J, Balluff S, Krüger J, Krauter S. Short-term wind speed and power prediction for offshore wind farms using neural networks. In: Proceedings of the DEWEK 2017. Bremen; 2017.' apa: Bendfeld, J., Balluff, S., Krüger, J., & Krauter, S. (2017). Short-term wind speed and power prediction for offshore wind farms using neural networks. In Proceedings of the DEWEK 2017. Bremen. bibtex: '@inproceedings{Bendfeld_Balluff_Krüger_Krauter_2017, place={Bremen}, title={Short-term wind speed and power prediction for offshore wind farms using neural networks}, booktitle={Proceedings of the DEWEK 2017}, author={Bendfeld, Jörg and Balluff, Stefan and Krüger, J. and Krauter, Stefan}, year={2017} }' chicago: Bendfeld, Jörg, Stefan Balluff, J. Krüger, and Stefan Krauter. “Short-Term Wind Speed and Power Prediction for Offshore Wind Farms Using Neural Networks.” In Proceedings of the DEWEK 2017. Bremen, 2017. ieee: J. Bendfeld, S. Balluff, J. Krüger, and S. Krauter, “Short-term wind speed and power prediction for offshore wind farms using neural networks,” in Proceedings of the DEWEK 2017, Bremen, 2017. mla: Bendfeld, Jörg, et al. “Short-Term Wind Speed and Power Prediction for Offshore Wind Farms Using Neural Networks.” Proceedings of the DEWEK 2017, 2017. short: 'J. Bendfeld, S. Balluff, J. Krüger, S. Krauter, in: Proceedings of the DEWEK 2017, Bremen, 2017.' conference: end_date: 2017-11-18 location: Bremen name: Dewek 17 start_date: 2017-11-17 date_created: 2019-01-14T07:10:34Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng place: Bremen publication: Proceedings of the DEWEK 2017 status: public title: Short-term wind speed and power prediction for offshore wind farms using neural networks type: conference user_id: '16148' year: '2017' ... --- _id: '6635' author: - first_name: Jörg full_name: Bendfeld, Jörg id: '16148' last_name: Bendfeld - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Bendfeld J, Krauter S. Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules. In: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481. ; 2017.' apa: Bendfeld, J., & Krauter, S. (2017). Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules. In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481. Amsterdam. bibtex: '@inproceedings{Bendfeld_Krauter_2017, title={Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules}, booktitle={Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481}, author={Bendfeld, Jörg and Krauter, Stefan}, year={2017} }' chicago: Bendfeld, Jörg, and Stefan Krauter. “Update on Rankings of Conversion Efficiencies and Energy Yield of Micro-Inverters, Including Inverters for Two PV Modules.” In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481, 2017. ieee: J. Bendfeld and S. Krauter, “Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules,” in Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481, Amsterdam, 2017. mla: Bendfeld, Jörg, and Stefan Krauter. “Update on Rankings of Conversion Efficiencies and Energy Yield of Micro-Inverters, Including Inverters for Two PV Modules.” Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481, 2017. short: 'J. Bendfeld, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481, 2017.' conference: end_date: 2017-09-25 location: Amsterdam name: 33rd European Photovoltaic Solar Energy Conference start_date: 2017-09-25 date_created: 2019-01-14T08:13:03Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng publication: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481 status: public title: Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules type: conference user_id: '16148' year: '2017' ... --- _id: '6636' author: - first_name: Jörg full_name: Bendfeld, Jörg id: '16148' last_name: Bendfeld - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Bendfeld J, Krauter S. Long-term performance of PV micro-inverters. In: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840. ; 2017.' apa: Bendfeld, J., & Krauter, S. (2017). Long-term performance of PV micro-inverters. In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840. Amsterdam. bibtex: '@inproceedings{Bendfeld_Krauter_2017, title={Long-term performance of PV micro-inverters}, booktitle={Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840}, author={Bendfeld, Jörg and Krauter, Stefan}, year={2017} }' chicago: Bendfeld, Jörg, and Stefan Krauter. “Long-Term Performance of PV Micro-Inverters.” In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840, 2017. ieee: J. Bendfeld and S. Krauter, “Long-term performance of PV micro-inverters,” in Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840, Amsterdam, 2017. mla: Bendfeld, Jörg, and Stefan Krauter. “Long-Term Performance of PV Micro-Inverters.” Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840, 2017. short: 'J. Bendfeld, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840, 2017.' conference: end_date: 2017-09-29 location: Amsterdam name: 33rd European Photovoltaic Solar Energy Conference start_date: 2017-09-25 date_created: 2019-01-14T08:15:34Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng publication: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840 status: public title: Long-term performance of PV micro-inverters type: conference user_id: '16148' year: '2017' ... --- _id: '6637' author: - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X - first_name: S. full_name: Wendlandt, S. last_name: Wendlandt - first_name: 'L. ' full_name: 'Süthoff, L. ' last_name: Süthoff - first_name: S. full_name: ' Berendes, S.' last_name: ' Berendes' - first_name: 'J. ' full_name: 'Teubner, J. ' last_name: Teubner - first_name: L. full_name: ' Podlowski, L.' last_name: ' Podlowski' - first_name: J. full_name: ' Berghold, J.' last_name: ' Berghold' - first_name: Paul full_name: Grunow, Paul last_name: Grunow citation: ama: 'Krauter S, Wendlandt S, Süthoff L, et al. Advanced PV Module Hot Spot Characterisation. In: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam; 2017.' apa: Krauter, S., Wendlandt, S., Süthoff, L., Berendes, S., Teubner, J., Podlowski, L., … Grunow, P. (2017). Advanced PV Module Hot Spot Characterisation. In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam. bibtex: '@inproceedings{Krauter_Wendlandt_Süthoff_ Berendes_Teubner_ Podlowski_ Berghold_Grunow_2017, place={Amsterdam}, title={Advanced PV Module Hot Spot Characterisation}, booktitle={Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017}, author={Krauter, Stefan and Wendlandt, S. and Süthoff, L. and Berendes, S. and Teubner, J. and Podlowski, L. and Berghold, J. and Grunow, Paul}, year={2017} }' chicago: Krauter, Stefan, S. Wendlandt, L. Süthoff, S. Berendes, J. Teubner, L. Podlowski, J. Berghold, and Paul Grunow. “Advanced PV Module Hot Spot Characterisation.” In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam, 2017. ieee: S. Krauter et al., “Advanced PV Module Hot Spot Characterisation,” in Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Aḿsterdam, 2017. mla: Krauter, Stefan, et al. “Advanced PV Module Hot Spot Characterisation.” Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, 2017. short: 'S. Krauter, S. Wendlandt, L. Süthoff, S. Berendes, J. Teubner, L. Podlowski, J. Berghold, P. Grunow, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017.' conference: end_date: 2017-09-29 location: Aḿsterdam name: 33rd European Photovoltaic Solar Energy Conference start_date: 2017-09-25 date_created: 2019-01-14T08:37:24Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng place: Amsterdam publication: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017 status: public title: Advanced PV Module Hot Spot Characterisation type: conference user_id: '16148' year: '2017' ... --- _id: '6638' author: - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Krauter S. Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules. In: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg; 2017.' apa: Krauter, S. (2017). Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules. In VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg. bibtex: '@inproceedings{Krauter_2017, place={Hamburg}, title={Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules}, booktitle={VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017.}, author={Krauter, Stefan}, year={2017} }' chicago: Krauter, Stefan. “Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules.” In VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg, 2017. ieee: S. Krauter, “Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules,” in VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017. mla: Krauter, Stefan. “Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules.” VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., 2017. short: 'S. Krauter, in: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017.' conference: end_date: 2017-11-22 location: Hamburg name: NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES start_date: 2017-11-21 date_created: 2019-01-14T08:40:37Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng place: Hamburg publication: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. status: public title: Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules type: conference user_id: '16148' year: '2017' ... --- _id: '6639' author: - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X - first_name: Ali full_name: Ameli, Ali last_name: Ameli citation: ama: 'Krauter S, Ameli A. Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems. In: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg; 2017.' apa: Krauter, S., & Ameli, A. (2017). Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems. In VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg. bibtex: '@inproceedings{Krauter_Ameli_2017, place={Hamburg}, title={Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.}, booktitle={VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017.}, author={Krauter, Stefan and Ameli, Ali}, year={2017} }' chicago: Krauter, Stefan, and Ali Ameli. “Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.” In VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. Hamburg, 2017. ieee: S. Krauter and A. Ameli, “Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.,” in VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017. mla: Krauter, Stefan, and Ali Ameli. “Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.” VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., 2017. short: 'S. Krauter, A. Ameli, in: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017., Hamburg, 2017.' conference: end_date: 2017-09-22 location: Hamburg name: NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES start_date: 2017-09-21 date_created: 2019-01-14T08:46:02Z date_updated: 2022-01-06T07:03:13Z department: - _id: '53' language: - iso: eng place: Hamburg publication: VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017. status: public title: Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems. type: conference user_id: '16148' year: '2017' ... --- _id: '6640' author: - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Krauter S. Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period. In: Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany. Düsseldorf; 2017.' apa: 'Krauter, S. (2017). Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period. In Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany. Düsseldorf.' bibtex: '@inproceedings{Krauter_2017, place={Düsseldorf}, title={Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period}, booktitle={Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany.}, author={Krauter, Stefan}, year={2017} }' chicago: 'Krauter, Stefan. “Minimizing Storage Costs: Simple and Effective Methods to Match PV with Grid Load, Including Shift of Holiday Period.” In Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany. Düsseldorf, 2017.' ieee: 'S. Krauter, “Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period,” in Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany., Düsseldorf, Germany., 2017.' mla: 'Krauter, Stefan. “Minimizing Storage Costs: Simple and Effective Methods to Match PV with Grid Load, Including Shift of Holiday Period.” Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany., 2017.' short: 'S. Krauter, in: Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany., Düsseldorf, 2017.' conference: end_date: 2017-03-16 location: Düsseldorf, Germany. name: 11th International Conference for Renewable Energy Storage start_date: 2017-03-14 date_created: 2019-01-14T08:50:43Z date_updated: 2022-01-06T07:03:14Z department: - _id: '53' language: - iso: eng place: Düsseldorf publication: Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany. status: public title: 'Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period' type: conference user_id: '16148' year: '2017' ... --- _id: '6641' author: - first_name: Arash full_name: Khatibi, Arash id: '43538' last_name: Khatibi - first_name: Jörg full_name: Bendfeld, Jörg id: '16148' last_name: Bendfeld - first_name: Wolfgang full_name: Bermpohl, Wolfgang id: '15290' last_name: Bermpohl - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Khatibi A, Bendfeld J, Bermpohl W, Krauter S. Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems. In: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam; 2017.' apa: Khatibi, A., Bendfeld, J., Bermpohl, W., & Krauter, S. (2017). Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems. In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam. bibtex: '@inproceedings{Khatibi_Bendfeld_Bermpohl_Krauter_2017, place={Amsterdam}, title={Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems}, booktitle={Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017}, author={Khatibi, Arash and Bendfeld, Jörg and Bermpohl, Wolfgang and Krauter, Stefan}, year={2017} }' chicago: Khatibi, Arash, Jörg Bendfeld, Wolfgang Bermpohl, and Stefan Krauter. “Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems.” In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam, 2017. ieee: A. Khatibi, J. Bendfeld, W. Bermpohl, and S. Krauter, “Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems,” in Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017. mla: Khatibi, Arash, et al. “Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems.” Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, 2017. short: 'A. Khatibi, J. Bendfeld, W. Bermpohl, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017.' conference: end_date: 2017-09-29 location: Amsterdam name: 33rd European Photovoltaic Solar Energy Conference start_date: 2017-09-25 date_created: 2019-01-14T09:10:02Z date_updated: 2022-01-06T07:03:14Z department: - _id: '53' language: - iso: eng place: Amsterdam publication: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017 status: public title: Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems type: conference user_id: '16148' year: '2017' ... --- _id: '6642' author: - first_name: Arash full_name: Khatibi, Arash id: '43538' last_name: Khatibi - first_name: Jörg full_name: Bendfeld, Jörg id: '16148' last_name: Bendfeld - first_name: Wolfgang full_name: Bermpohl, Wolfgang id: '15290' last_name: Bermpohl - first_name: Stefan full_name: Krauter, Stefan id: '28836' last_name: Krauter orcid: 0000-0002-3594-260X citation: ama: 'Khatibi A, Bendfeld J, Bermpohl W, Krauter S. Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems. In: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam; 2017.' apa: Khatibi, A., Bendfeld, J., Bermpohl, W., & Krauter, S. (2017). Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems. In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam. bibtex: '@inproceedings{Khatibi_Bendfeld_Bermpohl_Krauter_2017, place={Amsterdam}, title={Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems}, booktitle={Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017}, author={Khatibi, Arash and Bendfeld, Jörg and Bermpohl, Wolfgang and Krauter, Stefan}, year={2017} }' chicago: Khatibi, Arash, Jörg Bendfeld, Wolfgang Bermpohl, and Stefan Krauter. “Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems.” In Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017. Amsterdam, 2017. ieee: A. Khatibi, J. Bendfeld, W. Bermpohl, and S. Krauter, “Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems,” in Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017. mla: Khatibi, Arash, et al. “Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems.” Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, 2017. short: 'A. Khatibi, J. Bendfeld, W. Bermpohl, S. Krauter, in: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, Amsterdam, 2017.' conference: end_date: 2017-09-29 location: Amsterdam name: 33rd European Photovoltaic Solar Energy Conference start_date: 2017-09-25 date_created: 2019-01-14T09:12:39Z date_updated: 2022-01-06T07:03:14Z department: - _id: '53' language: - iso: eng place: Amsterdam publication: Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017 status: public title: Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems type: conference user_id: '16148' year: '2017' ... --- _id: '67' author: - first_name: Mirko full_name: Jürgens, Mirko last_name: Jürgens citation: ama: Jürgens M. Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn; 2017. apa: Jürgens, M. (2017). Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn. bibtex: '@book{Jürgens_2017, title={Provably Secure Key-Derivation-Functions for Certain Types of Applications}, publisher={Universität Paderborn}, author={Jürgens, Mirko}, year={2017} }' chicago: Jürgens, Mirko. Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn, 2017. ieee: M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn, 2017. mla: Jürgens, Mirko. Provably Secure Key-Derivation-Functions for Certain Types of Applications. Universität Paderborn, 2017. short: M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications, Universität Paderborn, 2017. date_created: 2017-10-17T12:41:04Z date_updated: 2022-01-06T07:03:15Z department: - _id: '64' project: - _id: '1' name: SFB 901 - _id: '13' name: SFB 901 - Subprojekt C1 - _id: '4' name: SFB 901 - Project Area C publisher: Universität Paderborn status: public supervisor: - first_name: Johannes full_name: Blömer, Johannes id: '23' last_name: Blömer title: Provably Secure Key-Derivation-Functions for Certain Types of Applications type: bachelorsthesis user_id: '477' year: '2017' ... --- _id: '6725' author: - first_name: Wojciech full_name: Czerwinski, Wojciech last_name: Czerwinski - first_name: Wim full_name: Martens, Wim last_name: Martens - first_name: Lorijn full_name: van Rooijen, Lorijn id: '58843' last_name: van Rooijen - first_name: Marc full_name: Zeitoun, Marc last_name: Zeitoun - first_name: Georg full_name: Zetzsche, Georg last_name: Zetzsche citation: ama: Czerwinski W, Martens W, van Rooijen L, Zeitoun M, Zetzsche G. A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics & Theoretical Computer Science. 2017;19(4). doi:10.23638/DMTCS-19-4-1 apa: Czerwinski, W., Martens, W., van Rooijen, L., Zeitoun, M., & Zetzsche, G. (2017). A Characterization for Decidable Separability by Piecewise Testable Languages. Discrete Mathematics & Theoretical Computer Science, 19(4). https://doi.org/10.23638/DMTCS-19-4-1 bibtex: '@article{Czerwinski_Martens_van Rooijen_Zeitoun_Zetzsche_2017, title={A Characterization for Decidable Separability by Piecewise Testable Languages}, volume={19}, DOI={10.23638/DMTCS-19-4-1}, number={4}, journal={Discrete Mathematics & Theoretical Computer Science}, author={Czerwinski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc and Zetzsche, Georg}, year={2017} }' chicago: Czerwinski, Wojciech, Wim Martens, Lorijn van Rooijen, Marc Zeitoun, and Georg Zetzsche. “A Characterization for Decidable Separability by Piecewise Testable Languages.” Discrete Mathematics & Theoretical Computer Science 19, no. 4 (2017). https://doi.org/10.23638/DMTCS-19-4-1. ieee: W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, and G. Zetzsche, “A Characterization for Decidable Separability by Piecewise Testable Languages,” Discrete Mathematics & Theoretical Computer Science, vol. 19, no. 4, 2017. mla: Czerwinski, Wojciech, et al. “A Characterization for Decidable Separability by Piecewise Testable Languages.” Discrete Mathematics & Theoretical Computer Science, vol. 19, no. 4, 2017, doi:10.23638/DMTCS-19-4-1. short: W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, G. Zetzsche, Discrete Mathematics & Theoretical Computer Science 19 (2017). date_created: 2019-01-15T09:54:52Z date_updated: 2022-01-06T07:03:17Z department: - _id: '66' doi: 10.23638/DMTCS-19-4-1 intvolume: ' 19' issue: '4' language: - iso: eng publication: Discrete Mathematics & Theoretical Computer Science status: public title: A Characterization for Decidable Separability by Piecewise Testable Languages type: journal_article user_id: '58843' volume: 19 year: '2017' ... --- _id: '6737' author: - first_name: Dennis full_name: Wolters, Dennis id: '11308' last_name: Wolters - first_name: Christian full_name: Gerth, Christian last_name: Gerth - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: Wolters D, Gerth C, Engels G. Visual Requirements Modeling for Cross-Device Systems. Computer Science and Information Systems (ComSIS). 2017;14(2):517-536. doi:10.2298/CSIS160930015W apa: Wolters, D., Gerth, C., & Engels, G. (2017). Visual Requirements Modeling for Cross-Device Systems. Computer Science and Information Systems (ComSIS), 14(2), 517–536. https://doi.org/10.2298/CSIS160930015W bibtex: '@article{Wolters_Gerth_Engels_2017, title={Visual Requirements Modeling for Cross-Device Systems}, volume={14}, DOI={10.2298/CSIS160930015W}, number={2}, journal={Computer Science and Information Systems (ComSIS)}, author={Wolters, Dennis and Gerth, Christian and Engels, Gregor}, year={2017}, pages={517–536} }' chicago: 'Wolters, Dennis, Christian Gerth, and Gregor Engels. “Visual Requirements Modeling for Cross-Device Systems.” Computer Science and Information Systems (ComSIS) 14, no. 2 (2017): 517–36. https://doi.org/10.2298/CSIS160930015W.' ieee: D. Wolters, C. Gerth, and G. Engels, “Visual Requirements Modeling for Cross-Device Systems,” Computer Science and Information Systems (ComSIS), vol. 14, no. 2, pp. 517–536, 2017. mla: Wolters, Dennis, et al. “Visual Requirements Modeling for Cross-Device Systems.” Computer Science and Information Systems (ComSIS), vol. 14, no. 2, 2017, pp. 517–36, doi:10.2298/CSIS160930015W. short: D. Wolters, C. Gerth, G. Engels, Computer Science and Information Systems (ComSIS) 14 (2017) 517–536. date_created: 2019-01-15T14:11:10Z date_updated: 2022-01-06T07:03:17Z department: - _id: '66' doi: 10.2298/CSIS160930015W intvolume: ' 14' issue: '2' language: - iso: eng page: 517-536 publication: Computer Science and Information Systems (ComSIS) status: public title: Visual Requirements Modeling for Cross-Device Systems type: journal_article user_id: '11308' volume: 14 year: '2017' ... --- _id: '6764' author: - first_name: Ivan full_name: Jovanovikj, Ivan id: '39187' last_name: Jovanovikj orcid: https://orcid.org/0000-0002-1838-794X - first_name: Stefan full_name: Sauer, Stefan id: '447' last_name: Sauer citation: ama: Jovanovikj I, Sauer S. Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases. Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF). 2017;37(2):50-51. apa: Jovanovikj, I., & Sauer, S. (2017). Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases. Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF), 37(2), 50–51. bibtex: '@article{Jovanovikj_Sauer_2017, title={Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases}, volume={37}, number={2}, journal={Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF)}, publisher={Gesellschaft für Informatik e.V., Fachgruppe PARS}, author={Jovanovikj, Ivan and Sauer, Stefan}, year={2017}, pages={50–51} }' chicago: 'Jovanovikj, Ivan, and Stefan Sauer. “Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases.” Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF) 37, no. 2 (2017): 50–51.' ieee: I. Jovanovikj and S. Sauer, “Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases,” Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF), vol. 37, no. 2, pp. 50–51, 2017. mla: Jovanovikj, Ivan, and Stefan Sauer. “Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases.” Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF), vol. 37, no. 2, Gesellschaft für Informatik e.V., Fachgruppe PARS, 2017, pp. 50–51. short: I. Jovanovikj, S. Sauer, Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF) 37 (2017) 50–51. conference: location: Bad Honnef name: 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF) date_created: 2019-01-16T09:45:29Z date_updated: 2022-01-06T07:03:17Z department: - _id: '66' - _id: '534' intvolume: ' 37' issue: '2' language: - iso: eng page: ' 50-51 ' publication: Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF) publisher: Gesellschaft für Informatik e.V., Fachgruppe PARS status: public title: Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases type: journal_article user_id: '39187' volume: 37 year: '2017' ... --- _id: '68' abstract: - lang: eng text: Proof-carrying hardware (PCH) is a principle for achieving safety for dynamically reconfigurable hardware systems. The producer of a hardware module spends huge effort when creating a proof for a safety policy. The proof is then transferred as a certificate together with the configuration bitstream to the consumer of the hardware module, who can quickly verify the given proof. Previous work utilized SAT solvers and resolution traces to set up a PCH technology and corresponding tool flows. In this article, we present a novel technology for PCH based on inductive invariants. For sequential circuits, our approach is fundamentally stronger than the previous SAT-based one since we avoid the limitations of bounded unrolling. We contrast our technology to existing ones and show that it fits into previously proposed tool flows. We conduct experiments with four categories of benchmark circuits and report consumer and producer runtime and peak memory consumption, as well as the size of the certificates and the distribution of the workload between producer and consumer. Experiments clearly show that our new induction-based technology is superior for sequential circuits, whereas the previous SAT-based technology is the better choice for combinational circuits. author: - first_name: Tobias full_name: Isenberg, Tobias last_name: Isenberg - first_name: Marco full_name: Platzner, Marco id: '398' last_name: Platzner - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim - first_name: Tobias full_name: Wiersema, Tobias id: '3118' last_name: Wiersema citation: ama: Isenberg T, Platzner M, Wehrheim H, Wiersema T. Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems. 2017;(4):61:1--61:23. doi:10.1145/3054743 apa: Isenberg, T., Platzner, M., Wehrheim, H., & Wiersema, T. (2017). Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems, (4), 61:1--61:23. https://doi.org/10.1145/3054743 bibtex: '@article{Isenberg_Platzner_Wehrheim_Wiersema_2017, title={Proof-Carrying Hardware via Inductive Invariants}, DOI={10.1145/3054743}, number={4}, journal={ACM Transactions on Design Automation of Electronic Systems}, publisher={ACM}, author={Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2017}, pages={61:1--61:23} }' chicago: 'Isenberg, Tobias, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Proof-Carrying Hardware via Inductive Invariants.” ACM Transactions on Design Automation of Electronic Systems, no. 4 (2017): 61:1--61:23. https://doi.org/10.1145/3054743.' ieee: T. Isenberg, M. Platzner, H. Wehrheim, and T. Wiersema, “Proof-Carrying Hardware via Inductive Invariants,” ACM Transactions on Design Automation of Electronic Systems, no. 4, pp. 61:1--61:23, 2017. mla: Isenberg, Tobias, et al. “Proof-Carrying Hardware via Inductive Invariants.” ACM Transactions on Design Automation of Electronic Systems, no. 4, ACM, 2017, pp. 61:1--61:23, doi:10.1145/3054743. short: T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23. date_created: 2017-10-17T12:41:04Z date_updated: 2022-01-06T07:03:20Z ddc: - '000' department: - _id: '77' - _id: '78' doi: 10.1145/3054743 file: - access_level: closed content_type: application/pdf creator: ups date_created: 2018-11-02T16:08:17Z date_updated: 2018-11-02T16:08:17Z file_id: '5324' file_name: a61-isenberg.pdf file_size: 806356 relation: main_file success: 1 file_date_updated: 2018-11-02T16:08:17Z has_accepted_license: '1' issue: '4' language: - iso: eng page: 61:1--61:23 project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B - _id: '52' name: Computing Resources Provided by the Paderborn Center for Parallel Computing publication: ACM Transactions on Design Automation of Electronic Systems publisher: ACM status: public title: Proof-Carrying Hardware via Inductive Invariants type: journal_article user_id: '3118' year: '2017' ... --- _id: '680' author: - first_name: Manuel full_name: Peter, Manuel last_name: Peter - first_name: Andre full_name: Hildebrandt, Andre last_name: Hildebrandt - first_name: Christian full_name: Schlickriede, Christian id: '59792' last_name: Schlickriede - first_name: Kimia full_name: Gharib, Kimia last_name: Gharib - first_name: Thomas full_name: Zentgraf, Thomas id: '30525' last_name: Zentgraf orcid: 0000-0002-8662-1101 - first_name: Jens full_name: Förstner, Jens id: '158' last_name: Förstner orcid: 0000-0001-7059-9862 - first_name: Stefan full_name: Linden, Stefan last_name: Linden citation: ama: Peter M, Hildebrandt A, Schlickriede C, et al. Directional Emission from Dielectric Leaky-Wave Nanoantennas. Nano Letters. 2017;17(7):4178-4183. doi:10.1021/acs.nanolett.7b00966 apa: Peter, M., Hildebrandt, A., Schlickriede, C., Gharib, K., Zentgraf, T., Förstner, J., & Linden, S. (2017). Directional Emission from Dielectric Leaky-Wave Nanoantennas. Nano Letters, 17(7), 4178–4183. https://doi.org/10.1021/acs.nanolett.7b00966 bibtex: '@article{Peter_Hildebrandt_Schlickriede_Gharib_Zentgraf_Förstner_Linden_2017, title={Directional Emission from Dielectric Leaky-Wave Nanoantennas}, volume={17}, DOI={10.1021/acs.nanolett.7b00966}, number={7}, journal={Nano Letters}, publisher={American Chemical Society (ACS)}, author={Peter, Manuel and Hildebrandt, Andre and Schlickriede, Christian and Gharib, Kimia and Zentgraf, Thomas and Förstner, Jens and Linden, Stefan}, year={2017}, pages={4178–4183} }' chicago: 'Peter, Manuel, Andre Hildebrandt, Christian Schlickriede, Kimia Gharib, Thomas Zentgraf, Jens Förstner, and Stefan Linden. “Directional Emission from Dielectric Leaky-Wave Nanoantennas.” Nano Letters 17, no. 7 (2017): 4178–83. https://doi.org/10.1021/acs.nanolett.7b00966.' ieee: M. Peter et al., “Directional Emission from Dielectric Leaky-Wave Nanoantennas,” Nano Letters, vol. 17, no. 7, pp. 4178–4183, 2017. mla: Peter, Manuel, et al. “Directional Emission from Dielectric Leaky-Wave Nanoantennas.” Nano Letters, vol. 17, no. 7, American Chemical Society (ACS), 2017, pp. 4178–83, doi:10.1021/acs.nanolett.7b00966. short: M. Peter, A. Hildebrandt, C. Schlickriede, K. Gharib, T. Zentgraf, J. Förstner, S. Linden, Nano Letters 17 (2017) 4178–4183. date_created: 2017-11-13T07:36:01Z date_updated: 2022-01-06T07:03:20Z ddc: - '530' department: - _id: '61' - _id: '289' doi: 10.1021/acs.nanolett.7b00966 file: - access_level: open_access content_type: application/pdf creator: fossie date_created: 2018-08-16T08:07:31Z date_updated: 2018-08-21T10:41:58Z file_id: '3917' file_name: 2017-08 Peter - Nano Letters - Directional Emission from Dielectric Leaky-Wave Antennas.pdf file_size: 3398275 relation: main_file file_date_updated: 2018-08-21T10:41:58Z has_accepted_license: '1' intvolume: ' 17' issue: '7' keyword: - tet_topic_opticalantenna language: - iso: eng oa: '1' page: 4178-4183 project: - _id: '53' name: TRR 142 - _id: '56' name: TRR 142 - Project Area C - _id: '74' name: TRR 142 - Subproject C4 publication: Nano Letters publication_identifier: issn: - 1530-6984 - 1530-6992 publication_status: published publisher: American Chemical Society (ACS) status: public title: Directional Emission from Dielectric Leaky-Wave Nanoantennas type: journal_article urn: '6808' user_id: '158' volume: 17 year: '2017' ... --- _id: '685' author: - first_name: Marie-Christine full_name: Jakobs, Marie-Christine last_name: Jakobs citation: ama: Jakobs M-C. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-104 apa: Jakobs, M.-C. (2017). On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-104 bibtex: '@book{Jakobs_2017, title={On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring}, DOI={10.17619/UNIPB/1-104}, publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2017} }' chicago: Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-104. ieee: M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017. mla: Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017, doi:10.17619/UNIPB/1-104. short: M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017. date_created: 2017-11-13T08:13:29Z date_updated: 2022-01-06T07:03:22Z ddc: - '040' department: - _id: '77' doi: 10.17619/UNIPB/1-104 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-14T12:26:52Z date_updated: 2018-03-14T12:26:52Z file_id: '1211' file_name: 685-Dissertation-Jakobs.pdf file_size: 11828624 relation: main_file success: 1 file_date_updated: 2018-03-14T12:26:52Z has_accepted_license: '1' project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim title: On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring type: dissertation user_id: '477' year: '2017' ... --- _id: '69' abstract: - lang: eng text: 'Today, software is traded worldwide on global markets, with apps being downloaded to smartphones within minutes or seconds. This poses, more than ever, the challenge of ensuring safety of software in the face of (1) unknown or untrusted software providers together with (2) resource-limited software consumers. The concept of Proof-Carrying Code (PCC), years ago suggested by Necula, provides one framework for securing the execution of untrusted code. PCC techniques attach safety proofs, constructed by software producers, to code. Based on the assumption that checking proofs is usually much simpler than constructing proofs, software consumers should thus be able to quickly check the safety of software. However, PCC techniques often suffer from the size of certificates (i.e., the attached proofs), making PCC techniques inefficient in practice.In this article, we introduce a new framework for the safe execution of untrusted code called Programs from Proofs (PfP). The basic assumption underlying the PfP technique is the fact that the structure of programs significantly influences the complexity of checking a specific safety property. Instead of attaching proofs to program code, the PfP technique transforms the program into an efficiently checkable form, thus guaranteeing quick safety checks for software consumers. For this transformation, the technique also uses a producer-side automatic proof of safety. More specifically, safety proving for the software producer proceeds via the construction of an abstract reachability graph (ARG) unfolding the control-flow automaton (CFA) up to the degree necessary for simple checking. To this end, we combine different sorts of software analysis: expensive analyses incrementally determining the degree of unfolding, and cheap analyses responsible for safety checking. Out of the abstract reachability graph we generate the new program. In its CFA structure, it is isomorphic to the graph and hence another, this time consumer-side, cheap analysis can quickly determine its safety.Like PCC, Programs from Proofs is a general framework instantiable with different sorts of (expensive and cheap) analysis. Here, we present the general framework and exemplify it by some concrete examples. We have implemented different instantiations on top of the configurable program analysis tool CPAchecker and report on experiments, in particular on comparisons with PCC techniques.' author: - first_name: Marie-Christine full_name: Jakobs, Marie-Christine last_name: Jakobs - first_name: Heike full_name: Wehrheim, Heike id: '573' last_name: Wehrheim citation: ama: 'Jakobs M-C, Wehrheim H. Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems. 2017;(2):7:1-7:56. doi:10.1145/3014427' apa: 'Jakobs, M.-C., & Wehrheim, H. (2017). Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems, (2), 7:1-7:56. https://doi.org/10.1145/3014427' bibtex: '@article{Jakobs_Wehrheim_2017, title={Programs from Proofs: A Framework for the Safe Execution of Untrusted Software}, DOI={10.1145/3014427}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={ACM}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017}, pages={7:1-7:56} }' chicago: 'Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.” ACM Transactions on Programming Languages and Systems, no. 2 (2017): 7:1-7:56. https://doi.org/10.1145/3014427.' ieee: 'M.-C. Jakobs and H. Wehrheim, “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software,” ACM Transactions on Programming Languages and Systems, no. 2, pp. 7:1-7:56, 2017.' mla: 'Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.” ACM Transactions on Programming Languages and Systems, no. 2, ACM, 2017, pp. 7:1-7:56, doi:10.1145/3014427.' short: M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56. date_created: 2017-10-17T12:41:04Z date_updated: 2022-01-06T07:03:23Z ddc: - '040' department: - _id: '77' doi: 10.1145/3014427 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-21T13:15:09Z date_updated: 2018-03-21T13:15:09Z file_id: '1575' file_name: 69-a7-jakobs.pdf file_size: 1215139 relation: main_file success: 1 file_date_updated: 2018-03-21T13:15:09Z has_accepted_license: '1' issue: '2' language: - iso: eng page: 7:1-7:56 project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publication: ACM Transactions on Programming Languages and Systems publisher: ACM status: public title: 'Programs from Proofs: A Framework for the Safe Execution of Untrusted Software' type: journal_article user_id: '477' year: '2017' ... --- _id: '695' author: - first_name: Joshua full_name: Nowack, Joshua last_name: Nowack citation: ama: Nowack J. On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen. Universität Paderborn; 2017. apa: Nowack, J. (2017). On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen. Universität Paderborn. bibtex: '@book{Nowack_2017, title={On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen}, publisher={Universität Paderborn}, author={Nowack, Joshua}, year={2017} }' chicago: Nowack, Joshua. On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen. Universität Paderborn, 2017. ieee: J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen. Universität Paderborn, 2017. mla: Nowack, Joshua. On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen. Universität Paderborn, 2017. short: J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen, Universität Paderborn, 2017. date_created: 2017-11-14T06:57:49Z date_updated: 2022-01-06T07:03:23Z department: - _id: '63' language: - iso: ger publisher: Universität Paderborn status: public title: On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen type: bachelorsthesis user_id: '14052' year: '2017' ... --- _id: '16444' author: - first_name: Jürgen full_name: Gausemeier, Jürgen last_name: Gausemeier - first_name: Eric full_name: Bodden, Eric last_name: Bodden - first_name: Falko full_name: ' Dressler, Falko' last_name: ' Dressler' - first_name: Roman full_name: Dumitrescu, Roman last_name: Dumitrescu - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide - first_name: Christoph full_name: Scheytt, Christoph last_name: Scheytt - first_name: Ansgar full_name: Trächtler, Ansgar last_name: Trächtler citation: ama: Gausemeier J, Bodden E, Dressler F, et al. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Paderborn; 2017. apa: Gausemeier, J., Bodden, E., Dressler, F., Dumitrescu, R., Meyer auf der Heide, F., Scheytt, C., & Trächtler, A. (2017). Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Paderborn. bibtex: '@book{Gausemeier_Bodden_ Dressler_Dumitrescu_Meyer auf der Heide_Scheytt_Trächtler_2017, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title={Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)}, author={Gausemeier, Jürgen and Bodden, Eric and Dressler, Falko and Dumitrescu, Roman and Meyer auf der Heide, Friedhelm and Scheytt, Christoph and Trächtler, Ansgar}, year={2017}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}} }' chicago: Gausemeier, Jürgen, Eric Bodden, Falko Dressler, Roman Dumitrescu, Friedhelm Meyer auf der Heide, Christoph Scheytt, and Ansgar Trächtler. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn}. Paderborn, 2017. ieee: J. Gausemeier et al., Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). Paderborn, 2017. mla: Gausemeier, Jürgen, et al. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys). 2017. short: J. Gausemeier, E. Bodden, F. Dressler, R. Dumitrescu, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Paderborn, 2017. date_created: 2020-04-07T06:36:06Z date_updated: 2022-01-06T06:52:50Z department: - _id: '63' language: - iso: eng page: '369' place: Paderborn publication_status: published series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} status: public title: Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) type: book user_id: '15415' year: '2017' ... --- _id: '16461' author: - first_name: Pascal full_name: Bemmann, Pascal last_name: Bemmann - first_name: Felix full_name: Biermeier, Felix last_name: Biermeier - first_name: Jan full_name: Bürmann, Jan last_name: Bürmann - first_name: Arne full_name: Kemper, Arne last_name: Kemper - first_name: Till full_name: Knollmann, Till id: '39241' last_name: Knollmann orcid: 0000-0003-2014-4696 - first_name: Steffen full_name: Knorr, Steffen last_name: Knorr - first_name: Nils full_name: Kothe, Nils last_name: Kothe - first_name: Alexander full_name: Mäcker, Alexander id: '13536' last_name: Mäcker - first_name: Manuel full_name: Malatyali, Manuel id: '41265' last_name: Malatyali - first_name: Friedhelm full_name: Meyer auf der Heide, Friedhelm id: '15523' last_name: Meyer auf der Heide - first_name: Sören full_name: Riechers, Sören last_name: Riechers - first_name: Johannes Sebastian full_name: Schaefer, Johannes Sebastian id: '30291' last_name: Schaefer - first_name: Jannik full_name: Sundermeier, Jannik id: '38705' last_name: Sundermeier citation: ama: 'Bemmann P, Biermeier F, Bürmann J, et al. Monitoring of Domain-Related Problems in Distributed Data Streams. In: Structural Information and Communication Complexity. ; 2017. doi:10.1007/978-3-319-72050-0_13' apa: Bemmann, P., Biermeier, F., Bürmann, J., Kemper, A., Knollmann, T., Knorr, S., Kothe, N., Mäcker, A., Malatyali, M., Meyer auf der Heide, F., Riechers, S., Schaefer, J. S., & Sundermeier, J. (2017). Monitoring of Domain-Related Problems in Distributed Data Streams. In Structural Information and Communication Complexity. https://doi.org/10.1007/978-3-319-72050-0_13 bibtex: '@inbook{Bemmann_Biermeier_Bürmann_Kemper_Knollmann_Knorr_Kothe_Mäcker_Malatyali_Meyer auf der Heide_et al._2017, place={Cham}, title={Monitoring of Domain-Related Problems in Distributed Data Streams}, DOI={10.1007/978-3-319-72050-0_13}, booktitle={Structural Information and Communication Complexity}, author={Bemmann, Pascal and Biermeier, Felix and Bürmann, Jan and Kemper, Arne and Knollmann, Till and Knorr, Steffen and Kothe, Nils and Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and et al.}, year={2017} }' chicago: Bemmann, Pascal, Felix Biermeier, Jan Bürmann, Arne Kemper, Till Knollmann, Steffen Knorr, Nils Kothe, et al. “Monitoring of Domain-Related Problems in Distributed Data Streams.” In Structural Information and Communication Complexity. Cham, 2017. https://doi.org/10.1007/978-3-319-72050-0_13. ieee: P. Bemmann et al., “Monitoring of Domain-Related Problems in Distributed Data Streams,” in Structural Information and Communication Complexity, Cham, 2017. mla: Bemmann, Pascal, et al. “Monitoring of Domain-Related Problems in Distributed Data Streams.” Structural Information and Communication Complexity, 2017, doi:10.1007/978-3-319-72050-0_13. short: 'P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr, N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer, J. Sundermeier, in: Structural Information and Communication Complexity, Cham, 2017.' date_created: 2020-04-08T07:20:20Z date_updated: 2022-01-06T06:52:50Z department: - _id: '63' doi: 10.1007/978-3-319-72050-0_13 external_id: arxiv: - 'arXiv:1706.03568 ' language: - iso: eng place: Cham publication: Structural Information and Communication Complexity publication_identifier: isbn: - '9783319720494' - '9783319720500' issn: - 0302-9743 - 1611-3349 publication_status: published status: public title: Monitoring of Domain-Related Problems in Distributed Data Streams type: book_chapter user_id: '15415' year: '2017' ...