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.
89 Publications
2022 | Journal Article | LibreCat-ID: 31071
Holtmann, J., Deantoni, J., & Fockel, M. (2022). Early timing analysis based on scenario requirements and platform models. Software and Systems Modeling. https://doi.org/10.1007/s10270-022-01002-3
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33835
Sayar, I., Bartel, A., Bodden, E., & Le Traon, Y. (2022). An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. ACM Transactions on Software Engineering and Methodology. https://doi.org/10.1145/3554732
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34414 | 
Zirngibl, C., Schleich, B., & Wartzack, S. (2022). Robust estimation of clinch joint characteristics based on data-driven methods. The International Journal of Advanced Manufacturing Technology. https://doi.org/10.1007/s00170-022-10441-7
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 32309
Gottschalk, S., Yigitbas, E., Nowosad, A., & Engels, G. (2022). Towards Situation-specific Software Support for Cross-organizational Design Thinking Processes. Proceedings of the 5th International Workshop on Software-Intensive Business (IWSiB’22) .
LibreCat
2022 | Journal Article | LibreCat-ID: 45847
Kontinen, J., Meier, A., & Mahmood, Y. (2022). A parameterized view on the complexity of dependence and independence logic. Journal of Logic and Computation, 32(8), 1624–1644. https://doi.org/10.1093/logcom/exac070
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33684 |
Schade, R., Kenter, T., Elgabarty, H., Lass, M., Schütt, O., Lazzaro, A., Pabst, H., Mohr, S., Hutter, J., Kühne, T., & Plessl, C. (2022). Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms. Parallel Computing, 111, Article 102920. https://doi.org/10.1016/j.parco.2022.102920
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 26049
Bäumer, F. S., Kersting, J., Denisov, S., & Geierhos, M. (2021). IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING. PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, 221--225.
LibreCat
| Files available
2021 | Journal Article | LibreCat-ID: 30907
Rodriguez, A., Otero, A., Platzner, M., & De la Torre, E. (2021). Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs. IEEE Transactions on Computers, 1–1. https://doi.org/10.1109/tc.2021.3107196
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 31132
Dann, A. P., Plate, H., Hermann, B., Ponta, S. E., & Bodden, E. (2021). Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/tse.2021.3101739
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 37146
Stieglitz, S., Mirbabaie, M., Möllmann, N. R. J., & Rzyski, J. (2021). Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution. Information Systems Frontiers, 24(3), 745–770. https://doi.org/10.1007/s10796-021-10201-0
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 27841
Jakobs, M.-C., Pauck, F., Platzner, M., Wehrheim, H., & Wiersema, T. (2021). Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access. https://doi.org/10.1109/ACCESS.2021.3131213
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18686
Kersting, J., & Bäumer, F. S. (2020). SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, 119--123.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 18249 |
Gottschalk, S., Yigitbas, E., Schmidt, E., & Engels, G. (2020). Model-based Product Configuration in Augmented Reality Applications. In R. Bernhaupt, C. Ardito, & S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020 (Vol. 12481). Cham: Springer. https://doi.org/10.1007/978-3-030-64266-2_5
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 16933 |
Gottschalk, S., Rittmeier, F., & Engels, G. (2020). Hypothesis-driven Adaptation of Business Models based on Product Line Engineering. In Proceedings of the 22nd IEEE International Conference on Business Informatics. Antwerp: IEEE. https://doi.org/10.1109/CBI49978.2020.00022
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 29722
Yigitbas, E., Jovanovikj, I., Biermeier, K., Sauer, S., & Engels, G. (2020). Integrated model-driven development of self-adaptive user interfaces. Software and Systems Modeling, 19(5), 1057–1081. https://doi.org/10.1007/s10270-020-00777-7
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
Mahmood, Y., Meier, A., & Schmidt, J. (2020). Parameterized complexity of abduction in Schaefer’s framework. Journal of Logic and Computation, 31(1), 266–296. https://doi.org/10.1093/logcom/exaa079
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 9275 |
Gottschalk, S., Rittmeier, F., & Engels, G. (2019). Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach. In B. Shishkov (Ed.), Business Modeling and Software Design (pp. 153–169). Lisbon: Springer International Publishing. https://doi.org/10.1007/978-3-030-24854-3_10
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 8424 |
Bäumer, F. S., Kersting, J., & Geierhos, M. (2019). Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches. Computers, 8(1). https://doi.org/10.3390/computers8010022
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9809
Razzaghi Kouchaksaraei, H., & Karl, H. (2019). Service Function Chaining Across OpenStack and Kubernetes Domains. In 13th ACM International Conference on Distributed and Event-based Systems. Darmstadt. https://doi.org/10.1145/3328905.3332505
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 17666
Koning, R., de Graaff, B., Polevoy, G., Meijer, R., de Laat, C., & Grosso, P. (2018). Measuring the efficiency of SDN mitigations against attacks on computer infrastructures. Future Generation Computer Systems. https://doi.org/10.1016/j.future.2018.08.011
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 2322
Bäumer, F. S., & Geierhos, M. (2018). How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges. In M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, & F. Meziane (Eds.), Proceedings of the 23rd International Conference on Natural Language and Information Systems (Vol. 10859, pp. 509–513). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-91947-8_53
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 2331
Kim, Y., Lee, S., Dollmann, M., & Geierhos, M. (2018). Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure. International Journal of Advanced Science and Technology, 112, 123–136. https://doi.org/10.14257/ijast.2018.112.12
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 4339
Bäumer, F. S., & Geierhos, M. (2018). NLP in OTF Computing: Current Approaches and Open Challenges. In R. Damaševičius & G. Vasiljevienė (Eds.), Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018) (Vol. 920, pp. 559–570). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-99972-2_46
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 44 |
Bäumer, F. S., & Geierhos, M. (2018). Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines. In Proceedings of the 51st Hawaii International Conference on System Sciences (pp. 5746–5755). Big Island, Waikoloa Village. https://doi.org/10125/50609
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 48867
Bossek, J. (2018). Performance Assessment of Multi-Objective Evolutionary Algorithms with the R Package ecr. Proceedings of the Genetic and Evolutionary Computation Conference Companion, 1350–1356. https://doi.org/10.1145/3205651.3208312
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20557
Lillack, M., Kästner, C., & Bodden, E. (2017). Tracking Load-time Configuration Options. IEEE Transactions on Software Engineering, PP(99), 1–1. https://doi.org/10.1109/TSE.2017.2756048
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 97
van Rooijen, L., Bäumer, F. S., Platenius, M. C., Geierhos, M., Hamann, H., & Engels, G. (2017). From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) (pp. 379–385). Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/REW.2017.26
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 48863
Bossek, J. (2017). Ecr 2.0: A Modular Framework for Evolutionary Computation in R. Proceedings of the Genetic and Evolutionary Computation Conference Companion, 1187–1193. https://doi.org/10.1145/3067695.3082470
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 51827
Schmitt, M. (2016). The Code of Banking. Software as the Digitalization of German Savings Banks. In A. Tatnall & C. Leslie (Eds.), International Communities of Invention and Innovation (pp. 141–164). Springer.
LibreCat
2015 | Conference Paper | LibreCat-ID: 10673
Ho, N., Ahmed, A. F., Kaufmann, P., & Platzner, M. (2015). Microarchitectural optimization by means of reconfigurable and evolvable cache mappings. In Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS) (pp. 1–7). https://doi.org/10.1109/AHS.2015.7231178
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 10779
Guettatfi, Z., Kermia, O., & Khouas, A. (2015). Over effective hard real-time hardware tasks scheduling and allocation. In 25th International Conference on Field Programmable Logic and Applications (FPL). Imperial College. https://doi.org/10.1109/FPL.2015.7293994
LibreCat
| DOI
2015 | Mastersthesis | LibreCat-ID: 33312
Schwichtenberg, B. (2015). Early Prediction of Security Properties for Mechatronic Systems.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 41866
Russer, J. A., Uddin, N., Awny, A. S., Thiede, A., & Russer, P. (2015). Near-field measurement of stochastic electromagnetic fields. IEEE Electromagnetic Compatibility Magazine, 4(3), 79–85. https://doi.org/10.1109/memc.2015.7336761
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10674
Ho, N., Kaufmann, P., & Platzner, M. (2014). A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms. In 24th Intl. Conf. on Field Programmable Logic and Applications (FPL) (pp. 1–4). https://doi.org/10.1109/FPL.2014.6927437
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36918
Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. https://doi.org/10.1109/ICCPS.2014.6843726
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46266
Alizadeh, B., Behnam, P., & Sadeghi-Kohan, S. (2014). A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. IEEE Transactions on Computers, 1–1. https://doi.org/10.1109/tc.2014.2329687
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 22737
Becker, M., Luckey, M., & Becker, S. (2012). Model-driven Performance Engineering of Self-adaptive Systems: A Survey. In {Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)} (pp. 117–122). New York, NY, USA: ACM. https://doi.org/10.1145/2304696.2304716
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 4706
Janiesch, C., Matzner, M., & Müller, O. (2012). Beyond process monitoring: A proof-of-concept of event-driven business activity management. Business Process Management Journal, (4), 625--643. https://doi.org/10.1108/14637151211253765
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1120
Schuster, J., Lee, Y. S., Kobothanassi, D., Bargel, M., & Geierhos, M. (2011). SCM - A Simple, Modular and Flexible Customer Interaction Management System. In International Conference on Information Society (i-Society 2011) (pp. 153–158). Piscataway, NJ, USA: IEEE.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, M. F. S., Zabel, H., & Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457130
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, K., Kuznik, C., Thuy, A., & Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457125
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.
LibreCat
2010 | Journal Article | LibreCat-ID: 11892 |
Schmalenstroeer, J., & Haeb-Umbach, R. (2010). Online Diarization of Streaming Audio-Visual Data for Smart Environments. IEEE Journal of Selected Topics in Signal Processing, 4(5), 845–856. https://doi.org/10.1109/JSTSP.2010.2050519
LibreCat
| DOI
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 5625 |
Schryen, G., & Kadura, R. (2009). Open Source vs. Closed Source Software: Towards Measuring Security. In 24th Annual ACM Symposium on Applied Computing.
LibreCat
| Files available
2009 | Conference Paper | LibreCat-ID: 5647 |
Schryen, G. (2009). Security of open source and closed source software: An empirical comparison of published vulnerabilities. In 15th Americas Conference on Information Systems.
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, W., Müller, W., & Dömer, R. (2009). Hardware-dependent Software - Introduction and Overview. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 1–14). Springer Verlag. https://doi.org/10.1007/978-1-4020-9436-1_1
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, T., Xie, T., & Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090664
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, H., & Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090925
LibreCat
| DOI