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.
9903 Publications
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: 18107
@inproceedings{Heymann_Bacchiani_Sainath_2018, title={Performance of Mask Based Statistical Beamforming in a Smart Home Scenario}, DOI={10.1109/ICASSP.2018.8462372}, booktitle={2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)}, author={Heymann, Jahn and Bacchiani, M. and Sainath, T. N.}, year={2018}, pages={6722–6726} }
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
2018 | Conference Paper | LibreCat-ID: 22752
@inproceedings{Röltgen_Bansmann_Nickchen_Wortmann_Dumitrescu_2018, place={Paderborn}, title={Datenbrillen im Kontext Industrie 4.0 – Bewertung von Anwendungsszenarien von Augmented Reality auf Basis einer Technologie-Roadmap}, volume={Band 385}, booktitle={ 14. Symposium für Vorausschau und Technologieplanung}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, author={Röltgen, Daniel and Bansmann, Michael and Nickchen, Daniel and Wortmann, Fabio and Dumitrescu, Roman}, editor={Gausemeier, JürgenEditor}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 22756
@inproceedings{Joppen_von Enzberg_Kühn_Dumitrescu_2018, title={Data Map - Method for the Specification of Data Flows}, booktitle={CIRP ICME, Neapel, 18. - 20. Jul. 2018}, author={Joppen, Robert and von Enzberg, Sebastian and Kühn, Arno and Dumitrescu, Roman}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 22757
@inproceedings{Joppen_Kühn_Dumitrescu_Hupach_2018, title={ Method for Collecting Data in the Assesment of Investments}, booktitle={CIRP ICME, Neapel, 18. - 20. Jul. 2018}, author={Joppen, Robert and Kühn, Arno and Dumitrescu, Roman and Hupach, Dominik}, year={2018} }
LibreCat
2018 | Conference Paper | LibreCat-ID: 22758
@inproceedings{Albers_Tekaat_Kühn_Dumitrescu_2018, title={Requirements Profiles as a Basis for Ideation in Product Generation Planning}, booktitle={R&D Management Conference 2018, 30. Jun. - 4. Jul. 2018}, author={Albers, Alexander and Tekaat, Julian and Kühn, Arno and Dumitrescu, Roman}, year={2018} }
LibreCat