2018

• ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model CheckingChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2018, in: Formal Aspects of Computing. 30, 1, S. 45-75, 31 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Protecting Communication in Many-Core Systems against Active Attackers.Moriam, S., Franz, E., Walther, P., Kumar, A., Strufe, T. & Fettweis, G. P., 2018, ACM Great Lakes Symposium on VLSI. S. 45-50, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Prototypenfertigung im selektiven Lasersinterverfahren unter Einsatz von BiopolymerenRöwe, A., Krause, M., Unbehaun, H. & Einer, D., 2018Publikation: Beitrag zu Konferenzen > Paper
• Providing process-centered key performance indicators for system managementDennert, A., Lehmann, R., Schneider, S. & Wollschlaeger, M., 2018, S. 1622-1627, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Providing the Flexibility of the Shop Floor to Information Systems for Monitoring TasksDennert, A., 2018, Enterprise Interoperability - Smart Services and Business Impact of Enterprise Interoperability. Zelm, M., Jaekel, F., Doumeingts, G. & Wollschlaeger, M. (Hrsg.). Neuerscheinung Aufl., London, Hoboken, S. 441-447, 7 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Prozessmodell für Datenanalysen in der ProduktentwicklungKlement, S., Saske, B., Arndt, S. G. & Stelzer, R., 2018, 16. Gemeinsames Kolloquium Konstruktionstechnik 2018 - Tagungsband. S. 168 - 179Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Prüfmethodik und morphologiebasierte Simulation des Strukturverhaltens zur Auslegung von PartikelschäumenGude, M., Stegelmann, M., Müller, M., Koschichow, R. & Liebsch, A., 2018, Particle Foam 2018. VDI Verlag, Düsseldorf, S. 131-140, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe SystemsArnautov, S., Brito, A., Felber, P., Fetzer, C., Gregor, F., Krahn, R., Ozga, W. & 5 weitere, 2018Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Pushables: A DIY Approach for Fabricating Customizable and Self-Contained Tactile Membrane Dome Switches.Klamka, K. & Dachselt, R., 2018, S. 1–4Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
• PWR neutron noise pattern from coherent fuel assembly deflectionViebach, M., Lange, C., Bernt, N., Seidl, M., Hennig, D. & Hurtado, A., 2018, S. 1203-1215, 13 S.Publikation: Beitrag zu Konferenzen > Paper