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.
10546 Publications
2019 | Conference Paper | LibreCat-ID: 24058
Koppelmann, B., Adelt, P., Müller, W., & Scheytt, C. (2019). RISC-V Extensions for Bit Manipulation Instructions. 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS). https://doi.org/10.1109/PATMOS.2019.8862170
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 24060
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2019). Analyse sicherheitskritischer Software für RISC-V Prozessoren. MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019).
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 24061
Adelt, P., Koppelmann, B., Müller, W., Scheytt, C., & Driessen, B. (2019). QEMU for Dynamic Memory Analysis of Security Sensitive Software. 2nd International Workshop on Embedded Software for Industrial IoT in Conjunction with DATE 2019, 32–34.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 24063
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2019). QEMU Support for RISC-V: Current State and Future Releases. 2nd International Workshop on RISC-V Research Activities, (Presentation).
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 3287 | 
Schneider, S. B., Sharma, A., Karl, H., & Wehrheim, H. (2019). Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM) (pp. 116--124). Washington, DC, USA: IFIP.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 3585
Witschen, L. M., Wiersema, T., Ghasemzadeh Mohammadi, H., Awais, M., & Platzner, M. (2019). CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Microelectronics Reliability, 99, 277–290. https://doi.org/10.1016/j.microrel.2019.04.003
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 2916
Brauer, S. (2019). Complexity of single-swap heuristics for metric facility location and related problems. Theoretical Computer Science, 754, 88–106. https://doi.org/10.1016/j.tcs.2018.04.048
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21524
Lange, S., Schröder, D., Hedayat, C., Otto, T., & Hilleringmann, U. (2019). Inductive Locating Method to Locate Miniaturized Wireless Sensors within Inhomogeneous Dielectrics. In 2019 17th IEEE International New Circuits and Systems Conference (NEWCAS). Munich, Germany. https://doi.org/10.1109/newcas44328.2019.8961227
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 17339
Carmona, J., Engels, G., Kumar, A., & Reichert, M. (2019). Special issue: Selected papers of BPM 2017. Information Systems, 238–239. https://doi.org/10.1016/j.is.2019.06.001
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 17342
Engels, G., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., … Kappel, G. (2019). 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). https://doi.org/10.1109/models-c48269.2019
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17343
Engels, G., Becker, C., Feenberg, A., Ferrario, M. A., & Fitzpatrick, G. (2019). Values in Computing (Dagstuhl Seminar 19291). Dagstuhl Reports 9(7). https://doi.org/10.4230/DAGREP.9.7.40
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17392
Massmann, M., Meyer, M., Dumitrescu, R., Enzberg, S. von, Frank, M., Koldewey, C., … Reinhold, J. (2019). Significance and Challenges of Data-driven Product Generation and Retrofit Planning. Procedia CIRP, 992–997. https://doi.org/10.1016/j.procir.2019.04.226
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17395
Koldewey, C., Reinhold, J., Dumitrescu, R., Frank, M., Schweppe, T., & Melzer, A. (2019). Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services. ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb, 380–384. https://doi.org/10.3139/104.112113
LibreCat
| DOI
2019 | Newspaper Article | LibreCat-ID: 17402
Koldewey, C., & Dumitrescu, R. (2019). Strategie als Erfolgsfaktor. ServiceToday, pp. 76–77.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17403
Koldewey, C., Evers, H. H., Dumitrescu, R., Frank, M., Gausemeier, J., & Reinhold, J. (2019). Development Process for Smart Service Strategies. In I. Bitran, S. Conn, C. Gernreich, M. Heber, K. R. E. Huizingh, O. Kokshagina, … M. Tynnhammar (Eds.), Proceedings of The XXX ISPIM INNOVATION CONFERENCE (Vol. 93). ISPIM Innovation Conference.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17404
Frank, M., Rabe, M., Koldewey, C., Dumitrescu, R., Gausemeier, J., Hennig-Cardinal von Widdern, N., & Reinhold, J. (2019). Classification-based Planning of Smart Service Portfolios. In Proceedings of the ISPIM connects. International Society for Professional Innovation Management (ISPIM).
LibreCat
2019 | Conference Paper | LibreCat-ID: 17432
Baswana, S., Gupta, S., & Tulsyan, A. (2019). Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient. In 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) (pp. 65:1--65:16). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPICS.MFCS.2019.65
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17565
Merten, M.-L., Seemann, N., & Wever, M. D. (2019). Grammatikwandel digital-kulturwissenschaftlich erforscht. Mittelniederdeutscher Sprachausbau im interdisziplinären Zugriff. Niederdeutsches Jahrbuch, 142, 124–146.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17667
Koning, R., Polevoy, G., Meijer, L., de Laat, C., & Grosso, P. (2019). Approaches for Collaborative Security Defences in Multi Network Environments. In 2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom) (pp. 113–123). https://doi.org/10.1109/CSCloud/EdgeCom.2019.000-9
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 17762
Haeb-Umbach, R. (2019). Lektionen für Alexa \& Co?! Forschung, 44(1), 12–15. https://doi.org/10.1002/fors.201970104
LibreCat
| DOI