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.

136 Publications


2023 | Journal Article | LibreCat-ID: 49439
Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study
G. Piskachev, M. Becker, E. Bodden, Empirical Software Engineering 28 (2023).
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 37312 | OA
Do People Recover from Algorithm Aversion? An Experimental Study of Algorithm Aversion over Time
D. Leffrang, K. Bösch, O. Müller, in: Hawaii International Conference on System Sciences, 2023.
LibreCat | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 50479
TemporalFC: A Temporal Fact Checking Approach over Knowledge Graphs
U. Qudus, M. Röder, S. Kirrane, A.-C.N. Ngomo, in: T. R. Payne, V. Presutti, G. Qi, M. Poveda-Villalón, G. Stoilos, L. Hollink, Z. Kaoudi, G. Cheng, J. Li (Eds.), The Semantic Web – ISWC 2023, Springer, Cham, Cham, 2023, pp. 465–483.
LibreCat | Files available | DOI
 

2023 | Journal Article | LibreCat-ID: 51770
Workarounds as generative mechanisms for bottom‐up process innovation—Insights from a multiple case study
C. Bartelheimer, V. Wolf, D. Beverungen, Information Systems Journal 33 (2023) 1085–1150.
LibreCat | Files available | DOI
 

2023 | Journal Article | LibreCat-ID: 50262
Incremental permutation feature importance (iPFI): towards online explanations on data streams
F. Fumagalli, M. Muschalik, E. Hüllermeier, B. Hammer, Machine Learning 112 (2023) 4863–4903.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 52662
Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale
M. Nachtigall, M. Schlichtig, E. Bodden, in: Software Engineering 2023, Gesellschaft für Informatik e.V., Bonn, 2023, pp. 95–96.
LibreCat | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 46264
Workload-Aware Periodic Interconnect BIST
S. Sadeghi-Kohan, S. Hellebrand, H.-J. Wunderlich, IEEE Design &Test (2023) 1–1.
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 53220
An interval multi-criteria decision-making model for evaluating blockchain-IoT technology in supply chain networks
M. Tavana, A. Khalili Nasr, A.B. Ahmadabadi, A.S. Amiri, H. Mina, Internet of Things 22 (2023).
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53215 LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53230
A Game-Theoretic Framework for Analyzing the Impact of Social Responsibility and Supply Chain Profitability
H.A. Mahdiraji, M. Tavana, A. Rezayar, Cybernetics and Systems 54 (2023) 104–137.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 29842 | OA
Model-driven Continuous Experimentation on Component-based Software Architectures
S. Gottschalk, E. Yigitbas, G. Engels, in: Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022.
LibreCat | Files available | DOI
 

2022 | Conference Paper | LibreCat-ID: 32410
A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
LibreCat | Files available | DOI
 

2022 | Journal Article | LibreCat-ID: 30511 | OA
Static data-flow analysis for software product lines in C
P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
LibreCat | DOI | Download (ext.)
 

2022 | Journal Article | LibreCat-ID: 31071
Early timing analysis based on scenario requirements and platform models
J. Holtmann, J. Deantoni, M. Fockel, Software and Systems Modeling (2022).
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33835
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities
I. Sayar, A. Bartel, E. Bodden, Y. Le Traon, ACM Transactions on Software Engineering and Methodology (2022).
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 34414 | OA
Robust estimation of clinch joint characteristics based on data-driven methods
C. Zirngibl, B. Schleich, S. Wartzack, The International Journal of Advanced Manufacturing Technology (2022).
LibreCat | DOI | Download (ext.)
 

2022 | Conference Paper | LibreCat-ID: 32309
Towards Situation-specific Software Support for Cross-organizational Design Thinking Processes
S. Gottschalk, E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 5th International Workshop on Software-Intensive Business (IWSiB’22) , ACM, 2022.
LibreCat
 

2022 | Book Chapter | LibreCat-ID: 33849
Traffic Estimation and MPC-Based Traffic Light System Control in Realistic Real-Time Traffic Environments
K. Malena, C. Link, L. Bußemas, S. Gausemeier, A. Trächtler, in: C. Klein, M. Jarke, M. Helfert, K. Berns, O. Gusikhin (Eds.), Communications in Computer and Information Science, Springer International Publishing, Cham, 2022, pp. 232–254.
LibreCat | Files available | DOI
 

2022 | Journal Article | LibreCat-ID: 45847
A parameterized view on the complexity of dependence and independence logic
J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022) 1624–1644.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33684 | OA
Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms
R. Schade, T. Kenter, H. Elgabarty, M. Lass, O. Schütt, A. Lazzaro, H. Pabst, S. Mohr, J. Hutter, T. Kühne, C. Plessl, Parallel Computing 111 (2022).
LibreCat | DOI | Download (ext.)
 

Filters and Search Terms

keyword=%22hardware-software%20real-time%20operating%20systems%22

Search

Filter Publications

Display / Sort

Export / Embed