Advanced PV Module Hot Spot Characterisation
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.
LibreCat: /record/6637

Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules
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.
LibreCat: /record/6638

Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.
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.
LibreCat: /record/6639

Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period
S. Krauter, in: Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany., Düsseldorf, 2017.
LibreCat: /record/6640

Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems
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.
LibreCat: /record/6641

Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems
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.
LibreCat: /record/6642

Provably Secure Key-Derivation-Functions for Certain Types of Applications
M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications, Universität Paderborn, 2017.
LibreCat: /record/67

A Characterization for Decidable Separability by Piecewise Testable Languages
W. Czerwinski, W. Martens, L. van Rooijen, M. Zeitoun, G. Zetzsche, Discrete Mathematics &; Theoretical Computer Science 19 (2017).
LibreCat: /record/6725
DOI: 10.23638/DMTCS-19-4-1

Visual Requirements Modeling for Cross-Device Systems
D. Wolters, C. Gerth, G. Engels, Computer Science and Information Systems (ComSIS) 14 (2017) 517–536.
LibreCat: /record/6737
DOI: 10.2298/CSIS160930015W

Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases
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.
LibreCat: /record/6764

Proof-Carrying Hardware via Inductive Invariants
T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23.
LibreCat: /record/68
DOI: 10.1145/3054743

Directional Emission from Dielectric Leaky-Wave Nanoantennas
M. Peter, A. Hildebrandt, C. Schlickriede, K. Gharib, T. Zentgraf, J. Förstner, S. Linden, Nano Letters 17 (2017) 4178–4183.
LibreCat: /record/680
DOI: 10.1021/acs.nanolett.7b00966

On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.
LibreCat: /record/685
DOI: 10.17619/UNIPB/1-104

Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.
LibreCat: /record/69
DOI: 10.1145/3014427

On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen
J. Nowack, On-The-Fly Konstruktion zusammenhängender Straßennetze aus gegebenen Einzelteilen, Universität Paderborn, 2017.
LibreCat: /record/695

Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)
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.
LibreCat: /record/16444

Monitoring of Domain-Related Problems in Distributed Data Streams
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.
LibreCat: /record/16461
DOI: 10.1007/978-3-319-72050-0_13
arXiv: arXiv:1706.03568 

Sensing and control in symmetric networks
M. Dellnitz, S. Klus, Dynamical Systems (2017) 61–79.
LibreCat: /record/16540
DOI: 10.1080/14689367.2016.1215410

A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty
M. Dellnitz, S. Klus, A. Ziessler, SIAM Journal on Applied Dynamical Systems (2017) 120–138.
LibreCat: /record/16581
DOI: 10.1137/16m1072735

A Multiobjective MPC Approach for Autonomously Driven Electric Vehicles * *This research was funded by the German Federal Ministry of Education and Research (BMBF) within the Leading-Edge Cluster Intelligent Technical Systems OstWestfalenLippe (it’s OWL).
S. Peitz, K. Schäfer, S. Ober-Blöbaum, J. Eckstein, U. Köhler, M. Dellnitz, IFAC-PapersOnLine (2017) 8674–8679.
LibreCat: /record/16657
DOI: 10.1016/j.ifacol.2017.08.1526