Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9292 Publications
2018 | Conference Paper | LibreCat-ID: 20549
@inproceedings{Geismann_Gerking_Bodden_2018, title={Towards Ensuring Security by Design in Cyber-Physical Systems Engineering Processes}, booktitle={International Conference on Software and System Processes (ICSSP)}, author={Geismann, Johannes and Gerking, Christopher and Bodden, Eric}, year={2018} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 20550
@inproceedings{Bodden_2018, place={New York, NY, USA}, series={ICSE-NIER ’18}, title={Self-adaptive Static Analysis}, DOI={10.1145/3183399.3183401}, booktitle={Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results}, publisher={ACM}, author={Bodden, Eric}, year={2018}, pages={45–48}, collection={ICSE-NIER ’18} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 20551
@inproceedings{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={VISUFLOW, a Debugging Environment for Static Analyses}, booktitle={International Conference for Software Engineering (ICSE), Tool Demonstrations Track}, author={Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018} }
LibreCat
| Download (ext.)
2018 | Dissertation | LibreCat-ID: 20779
@book{Fockel_2018, title={Safety Requirements Engineering for Early SIL Tailoring}, DOI={10.17619/UNIPB/1-490}, publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn}, author={Fockel, Markus}, year={2018} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20781
@inproceedings{Gerking_Schubert_2018, series={Lecture Notes in Computer Science}, title={Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems}, DOI={10.1007/978-3-030-00761-4_10}, number={11048}, booktitle={European Conference on Software Architecture (ECSA 2018)}, publisher={Springer}, author={Gerking, Christopher and Schubert, David}, year={2018}, pages={147–155}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20784
@inproceedings{Geismann_2018, title={Traceable Threat Modeling for Safety-critical Systems}, DOI={10.1109/ICSA-C.2018.00017}, booktitle={IEEE International Conference on Software Architecture Companion (ICSA-C 2018) }, publisher={IEEE}, author={Geismann, Johannes}, year={2018}, pages={41–42} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 20785
@inproceedings{Geismann_Höttger_Krawczyk_Pohlmann_Schmelter_2018, place={Cham}, title={Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems}, volume={1}, DOI={10.1007/978-3-319-94764-8_4}, booktitle={Model-Driven Engineering and Software Development}, publisher={Springer International Publishing}, author={Geismann, Johannes and Höttger, Robert and Krawczyk, Lukas and Pohlmann, Uwe and Schmelter, David}, editor={Pires, Luís Ferreira and Hammoudi, Slimane and Selic, Bran}, year={2018}, pages={72–93} }
LibreCat
| DOI
2018 | Dissertation | LibreCat-ID: 20789
@book{Pohlmann_2018, title={A Model-driven Software Construction Approach for Cyber-physical Systems}, publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}, author={Pohlmann, Uwe}, year={2018} }
LibreCat
2018 | Journal Article | LibreCat-ID: 20839
@article{Brinda_Diethelm_Hellmig_Magenheim_Romeike_Schroeder_2018, title={Kritische Entgegnung auf die Studie “Zur Relevanz informatischer Bildung in der Schule für den Erwerb computer- bzw. informationsbezogener Kompetenzen”}, volume={33}, DOI={10.21240/mpaed/33/2018.10.29.X}, number={Didaktik der Informatik}, journal={MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung}, author={Brinda, Torsten and Diethelm, Ira and Hellmig, Lutz and Magenheim, Johannes and Romeike, Ralf and Schroeder, Ulrik}, year={2018}, pages={1–10} }
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1796
@article{J. Daymude_Derakhshandeh_Gmyr_Porter_W. Richa_Scheideler_Strothmann_2018, title={On the runtime of universal coating for programmable matter}, DOI={10.1007/s11047-017-9658-6}, number={1}, journal={Natural Computing}, author={J. Daymude, Joshua and Derakhshandeh, Zahra and Gmyr, Robert and Porter, Alexandra and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}, year={2018}, pages={81--96} }
LibreCat
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 18030
@book{N._2018, title={Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten}, publisher={Universität Paderborn}, author={N., N.}, year={2018} }
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 18031
@book{N._2018, title={Gathering Strategien für mobile Roboterschwärme im Gitternetz}, author={N., N.}, year={2018} }
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 18032
@book{N._2018, title={Decontaminating Planar Regions with Finite Automaton Robots and Tiles}, author={N., N.}, year={2018} }
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 18033
@book{Wulfes_2018, title={Load-Balanced Routing in Hybriden Kommunikationsnetzwerken}, publisher={Universität Paderborn}, author={Wulfes, Robin}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 22434
@inproceedings{Tominski_Lammers_Wulf_Zimmer_2018, title={Method for a Software-based Design Check of Additively Manufactured Components}, volume={29}, DOI={http://utw10945.utweb.utexas.edu/sites/default/files/2018/006%20MethodforaSoftwareBasedDesignCheckofAdditi.pdf}, booktitle={29th Annual International Solid Freeform Fabrication Symposium}, author={Tominski, Johannes and Lammers, Stefan and Wulf, Christian and Zimmer, Detmar}, year={2018} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 22468
@inbook{Bartsch_Mindt_2018, place={Trier}, title={Section I: Digital Humanities: The Role of the Digital in English Philology}, booktitle={Anglistentag 2017 Regensburg. Proceedings}, publisher={Wissenschaftlicher Verlag}, author={Bartsch, Sabine and Mindt, Ilka}, editor={Zwierlein, Anne-Julia and Petzold, Jochen and Boehm, Katharina and Decker, Martin}, year={2018} }
LibreCat
2018 | Misc | LibreCat-ID: 22474
@book{Mindt_2018, place={Paderborn}, series={Paderborner Unireden}, title={Englischer Sprachwandel im Zeitalter von Digitalisierung und Innovation}, volume={148}, publisher={Bonifatius GmbH}, author={Mindt, Ilka}, year={2018}, collection={Paderborner Unireden} }
LibreCat
2018 | Book Chapter | LibreCat-ID: 22662
@inbook{Ramakrishnan_Grundmeier_Keller_2018, place={New York, NY}, edition={2}, series={Methods in Molecular Biology}, title={Directed Protein Adsorption Through DNA Origami Masks}, volume={1811}, DOI={10.1007/978-1-4939-8582-1_17}, booktitle={DNA Nanotechnology: Methods and Protocols}, publisher={Humana Press}, author={Ramakrishnan, Saminathan and Grundmeier, Guido and Keller, Adrian}, editor={Zuccheri, Giampaolo Editor}, year={2018}, collection={Methods in Molecular Biology} }
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 22750
@inproceedings{Koldewey_Echterfeld_Reilender_Gausemeier_2018, title={Business Model Portfolio Planning for Smart Services}, booktitle={Proceedings of the ISPIM connects}, author={Koldewey, Christian and Echterfeld, Julian and Reilender, Meikel and Gausemeier, Jürgen}, editor={International Society for Professional Innovation Management (ISPIM)Editor}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 22751
@inproceedings{Drewel_Gausemeier_Koldewey_Özcan_2018, title={Pattern based development of digital platforms}, booktitle={Proceedings of the 2018 ISPIM Connects}, publisher={ISPIM Connects}, author={Drewel, Marvin and Gausemeier, Jürgen and Koldewey, Christian and Özcan, Leon}, editor={International Society for Professional Innovation Management (ISPIM)Editor}, year={2018} }
LibreCat