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
2024 | Journal Article | LibreCat-ID: 53213
@article{Amiri_Tavana_Arman_2024, title={An Integrated Fuzzy Analytic Network Process and Fuzzy Regression Method for Bitcoin Price Prediction}, volume={25}, DOI={10.1016/j.iot.2023.101027}, number={101027}, journal={Internet of Things}, publisher={Elsevier BV}, author={Amiri, Arman and Tavana, Madjid and Arman, Hosein}, year={2024} }
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 53212
@article{Mahmoodi_Fathi_Tavana_Ghobakhloo_Ng_2024, title={Data-driven simulation-based decision support system for resource allocation in industry 4.0 and smart manufacturing}, volume={72}, DOI={10.1016/j.jmsy.2023.11.019}, journal={Journal of Manufacturing Systems}, publisher={Elsevier BV}, author={Mahmoodi, Ehsan and Fathi, Masood and Tavana, Madjid and Ghobakhloo, Morteza and Ng, Amos H.C.}, year={2024}, pages={287–307} }
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 53205
@article{Tavana_Sorooshian_2024, title={A systematic review of the soft computing methods shaping the future of the metaverse}, volume={150}, DOI={10.1016/j.asoc.2023.111098}, number={111098}, journal={Applied Soft Computing}, publisher={Elsevier BV}, author={Tavana, Madjid and Sorooshian, Shahryar}, year={2024} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 44077
@article{Maack_2023, title={Online load balancing on uniform machines with limited migration}, volume={51}, DOI={10.1016/j.orl.2023.02.013}, number={3}, journal={Operations Research Letters}, publisher={Elsevier BV}, author={Maack, Marten}, year={2023}, pages={220–225} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 44382
@article{Gräßler_Wiechel_Koch_Sturm_Markfelder_2023, title={Methodology for Certification-Compliant Effect-Chain Modeling}, volume={11}, DOI={10.3390/systems11030154}, number={3154}, journal={Systems}, publisher={MDPI AG}, author={Gräßler, Iris and Wiechel, Dominik and Koch, Anna-Sophie and Sturm, Tim and Markfelder, Thomas}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 45361 | 
@article{Schade_Kenter_Elgabarty_Lass_Kühne_Plessl_2023, title={Breaking the exascale barrier for the electronic structure problem in ab-initio molecular dynamics}, DOI={10.1177/10943420231177631}, number={109434202311776}, journal={The International Journal of High Performance Computing Applications}, publisher={SAGE Publications}, author={Schade, Robert and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Kühne, Thomas and Plessl, Christian}, year={2023} }
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 47800
@article{Wilke_Grothe_Bretz_Anacker_Dumitrescu_2023, title={Lessons Learned from the Introduction of Systems Engineering}, volume={11}, DOI={10.3390/systems11030119}, number={3119}, journal={Systems}, publisher={MDPI AG}, author={Wilke, Daria and Grothe, Robin and Bretz, Lukas and Anacker, Harald and Dumitrescu, Roman}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 48777
@article{Fumagalli_Muschalik_Hüllermeier_Hammer_2023, title={Incremental permutation feature importance (iPFI): towards online explanations on data streams}, DOI={10.1007/s10994-023-06385-y}, journal={Machine Learning}, publisher={Springer Science and Business Media LLC}, author={Fumagalli, Fabian and Muschalik, Maximilian and Hüllermeier, Eyke and Hammer, Barbara}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 46816
@article{Torres_Costa_Amaral_Pastro_Bonifácio_d’Amorim_Legunsen_Bodden_Dias Canedo_2023, title={Runtime Verification of Crypto APIs: An Empirical Study}, volume={49}, DOI={10.1109/tse.2023.3301660}, number={10}, journal={IEEE Transactions on Software Engineering}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Torres, Adriano and Costa, Pedro and Amaral, Luis and Pastro, Jonata and Bonifácio, Rodrigo and d’Amorim, Marcelo and Legunsen, Owolabi and Bodden, Eric and Dias Canedo, Edna}, year={2023}, pages={4510–4525} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 49439
@article{Piskachev_Becker_Bodden_2023, title={Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study}, volume={28}, DOI={10.1007/s10664-023-10354-3}, number={5118}, journal={Empirical Software Engineering}, publisher={Springer Science and Business Media LLC}, author={Piskachev, Goran and Becker, Matthias and Bodden, Eric}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 51770
@article{Bartelheimer_Wolf_Beverungen_2023, title={Workarounds as generative mechanisms for bottom‐up process innovation—Insights from a multiple case study}, volume={33}, DOI={10.1111/isj.12435}, number={5}, journal={Information Systems Journal}, publisher={Wiley}, author={Bartelheimer, Christian and Wolf, Verena and Beverungen, Daniel}, year={2023}, pages={1085–1150} }
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 50262
@article{Fumagalli_Muschalik_Hüllermeier_Hammer_2023, title={Incremental permutation feature importance (iPFI): towards online explanations on data streams}, volume={112}, DOI={10.1007/s10994-023-06385-y}, number={12}, journal={Machine Learning}, publisher={Springer Science and Business Media LLC}, author={Fumagalli, Fabian and Muschalik, Maximilian and Hüllermeier, Eyke and Hammer, Barbara}, year={2023}, pages={4863–4903} }
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52662
@inbook{Nachtigall_Schlichtig_Bodden_2023, place={Bonn}, title={Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale}, booktitle={Software Engineering 2023}, publisher={Gesellschaft für Informatik e.V.}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2023}, pages={95–96} }
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 46264
@article{Sadeghi-Kohan_Hellebrand_Wunderlich_2023, title={Workload-Aware Periodic Interconnect BIST}, DOI={10.1109/mdat.2023.3298849}, journal={IEEE Design &Test}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Sadeghi-Kohan, Somayeh and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={2023}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53220
@article{Tavana_Khalili Nasr_Ahmadabadi_Amiri_Mina_2023, title={An interval multi-criteria decision-making model for evaluating blockchain-IoT technology in supply chain networks}, volume={22}, DOI={10.1016/j.iot.2023.100786}, number={100786}, journal={Internet of Things}, publisher={Elsevier BV}, author={Tavana, Madjid and Khalili Nasr, Arash and Ahmadabadi, Alireza Barati and Amiri, Alireza Shamekhi and Mina, Hassan}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53215
@article{Tavana_Heidary_Mina_2023, title={A fuzzy preference programming and weighted influence non-linear gauge system for mission architecture assessment at NASA}, volume={145}, DOI={10.1016/j.asoc.2023.110572}, number={110572}, journal={Applied Soft Computing}, publisher={Elsevier BV}, author={Tavana, Madjid and Heidary, Mohammad Saeed and Mina, Hassan}, year={2023} }
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53230
@article{Mahdiraji_Tavana_Rezayar_2023, title={A Game-Theoretic Framework for Analyzing the Impact of Social Responsibility and Supply Chain Profitability}, volume={54}, DOI={10.1080/01969722.2022.2055402}, number={1}, journal={Cybernetics and Systems}, publisher={Informa UK Limited}, author={Mahdiraji, Hannan Amoozad and Tavana, Madjid and Rezayar, Ali}, year={2023}, pages={104–137} }
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29842 |
@inproceedings{Gottschalk_Yigitbas_Engels_2022, title={Model-driven Continuous Experimentation on Component-based Software Architectures }, DOI={10.1109/ICSA-C54293.2022.00011}, booktitle={Proceedings of the 18th International Conference on Software Architecture Companion }, publisher={IEEE}, author={Gottschalk, Sebastian and Yigitbas, Enes and Engels, Gregor}, year={2022} }
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
@inproceedings{Nachtigall_Schlichtig_Bodden_2022, title={A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools}, DOI={10.1145/3533767}, booktitle={Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis}, publisher={ACM}, author={Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}, year={2022}, pages={532–543} }
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
@article{Schubert_Gazzillo_Patterson_Braha_Schiebel_Hermann_Wei_Bodden_2022, title={Static data-flow analysis for software product lines in C}, volume={29}, DOI={10.1007/s10515-022-00333-1}, number={135}, journal={Automated Software Engineering}, publisher={Springer Science and Business Media LLC}, author={Schubert, Philipp and Gazzillo, Paul and Patterson, Zach and Braha, Julian and Schiebel, Fabian and Hermann, Ben and Wei, Shiyi and Bodden, Eric}, year={2022} }
LibreCat
| DOI
| Download (ext.)
2022 | Journal Article | LibreCat-ID: 31071
@article{Holtmann_Deantoni_Fockel_2022, title={Early timing analysis based on scenario requirements and platform models}, DOI={10.1007/s10270-022-01002-3}, journal={Software and Systems Modeling}, publisher={Springer Science and Business Media LLC}, author={Holtmann, Jörg and Deantoni, Julien and Fockel, Markus}, year={2022} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33835
@article{Sayar_Bartel_Bodden_Le Traon_2022, title={An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities}, DOI={10.1145/3554732}, journal={ACM Transactions on Software Engineering and Methodology}, publisher={Association for Computing Machinery (ACM)}, author={Sayar, Imen and Bartel, Alexandre and Bodden, Eric and Le Traon, Yves}, year={2022} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34414 |
@article{Zirngibl_Schleich_Wartzack_2022, title={Robust estimation of clinch joint characteristics based on data-driven methods}, DOI={10.1007/s00170-022-10441-7}, journal={The International Journal of Advanced Manufacturing Technology}, publisher={Springer Science and Business Media LLC}, author={Zirngibl, Christoph and Schleich, Benjamin and Wartzack, Sandro}, year={2022} }
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 32309
@inproceedings{Gottschalk_Yigitbas_Nowosad_Engels_2022, title={Towards Situation-specific Software Support for Cross-organizational Design Thinking Processes}, booktitle={Proceedings of the 5th International Workshop on Software-intensive Business (IWSiB’22) }, publisher={ACM}, author={Gottschalk, Sebastian and Yigitbas, Enes and Nowosad, Alexander and Engels, Gregor}, year={2022} }
LibreCat
2022 | Journal Article | LibreCat-ID: 45847
@article{Kontinen_Meier_Mahmood_2022, title={A parameterized view on the complexity of dependence and independence logic}, volume={32}, DOI={10.1093/logcom/exac070}, number={8}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Kontinen, Juha and Meier, Arne and Mahmood, Yasir}, year={2022}, pages={1624–1644} }
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33684 |
@article{Schade_Kenter_Elgabarty_Lass_Schütt_Lazzaro_Pabst_Mohr_Hutter_Kühne_et al._2022, title={Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms}, volume={111}, DOI={10.1016/j.parco.2022.102920}, number={102920}, journal={Parallel Computing}, publisher={Elsevier BV}, author={Schade, Robert and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Schütt, Ole and Lazzaro, Alfio and Pabst, Hans and Mohr, Stephan and Hutter, Jürg and Kühne, Thomas and et al.}, year={2022} }
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 26049
@inproceedings{Bäumer_Kersting_Denisov_Geierhos_2021, title={IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING}, booktitle={PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021}, publisher={IADIS}, author={Bäumer, Frederik Simon and Kersting, Joschka and Denisov, Sergej and Geierhos, Michaela}, year={2021}, pages={221--225} }
LibreCat
| Files available
2021 | Journal Article | LibreCat-ID: 30907
@article{Rodriguez_Otero_Platzner_De la Torre_2021, title={Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs}, DOI={10.1109/tc.2021.3107196}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Rodriguez, Alfonso and Otero, Andres and Platzner, Marco and De la Torre, Eduardo}, year={2021}, pages={1–1} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 31132
@article{Dann_Plate_Hermann_Ponta_Bodden_2021, title={Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite}, DOI={10.1109/tse.2021.3101739}, journal={IEEE Transactions on Software Engineering}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Dann, Andreas Peter and Plate, Henrik and Hermann, Ben and Ponta, Serena Elisa and Bodden, Eric}, year={2021}, pages={1–1} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 37146
@article{Stieglitz_Mirbabaie_Möllmann_Rzyski_2021, title={Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution}, volume={24}, DOI={10.1007/s10796-021-10201-0}, number={3}, journal={Information Systems Frontiers}, publisher={Springer Science and Business Media LLC}, author={Stieglitz, Stefan and Mirbabaie, Milad and Möllmann, Nicholas R. J. and Rzyski, Jannik}, year={2021}, pages={745–770} }
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 27841
@article{Jakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title={Software/Hardware Co-Verification for Custom Instruction Set Processors}, DOI={10.1109/ACCESS.2021.3131213}, journal={IEEE Access}, publisher={IEEE}, author={Jakobs, Marie-Christine and Pauck, Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2021} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18686
@inproceedings{Kersting_Bäumer_2020, title={SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH}, booktitle={PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020}, publisher={IADIS}, author={Kersting, Joschka and Bäumer, Frederik Simon}, year={2020}, pages={119--123} }
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 18249 |
@inproceedings{Gottschalk_Yigitbas_Schmidt_Engels_2020, place={Cham}, series={Lecture Notes in Computer Science}, title={Model-based Product Configuration in Augmented Reality Applications}, volume={12481}, DOI={10.1007/978-3-030-64266-2_5}, booktitle={Human-Centered Software Engineering. HCSE 2020}, publisher={Springer}, author={Gottschalk, Sebastian and Yigitbas, Enes and Schmidt, Eugen and Engels, Gregor}, editor={Bernhaupt, Regina and Ardito, Carmelo and Sauer, StefanEditors}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 16933 |
@inproceedings{Gottschalk_Rittmeier_Engels_2020, title={Hypothesis-driven Adaptation of Business Models based on Product Line Engineering}, DOI={10.1109/CBI49978.2020.00022}, booktitle={Proceedings of the 22nd IEEE International Conference on Business Informatics}, publisher={IEEE}, author={Gottschalk, Sebastian and Rittmeier, Florian and Engels, Gregor}, year={2020} }
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 29722
@article{Yigitbas_Jovanovikj_Biermeier_Sauer_Engels_2020, title={Integrated model-driven development of self-adaptive user interfaces}, volume={19}, DOI={10.1007/s10270-020-00777-7}, number={5}, journal={Software and Systems Modeling}, publisher={Springer Science and Business Media LLC}, author={Yigitbas, Enes and Jovanovikj, Ivan and Biermeier, Kai and Sauer, Stefan and Engels, Gregor}, year={2020}, pages={1057–1081} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
@article{Mahmood_Meier_Schmidt_2020, title={Parameterized complexity of abduction in Schaefer’s framework}, volume={31}, DOI={10.1093/logcom/exaa079}, number={1}, journal={Journal of Logic and Computation}, publisher={Oxford University Press (OUP)}, author={Mahmood, Yasir and Meier, Arne and Schmidt, Johannes}, year={2020}, pages={266–296} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 9275 |
@inproceedings{Gottschalk_Rittmeier_Engels_2019, series={Lecture Notes in Business Information Processing}, title={Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach}, DOI={10.1007/978-3-030-24854-3_10}, booktitle={Business Modeling and Software Design}, publisher={Springer International Publishing}, author={Gottschalk, Sebastian and Rittmeier, Florian and Engels, Gregor}, editor={Shishkov, BorisEditor}, year={2019}, pages={153–169}, collection={Lecture Notes in Business Information Processing} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 8424 |
@article{Bäumer_Kersting_Geierhos_2019, title={Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches}, volume={8}, DOI={10.3390/computers8010022}, number={122}, journal={Computers}, publisher={MDPI AG, Basel, Switzerland}, author={Bäumer, Frederik Simon and Kersting, Joschka and Geierhos, Michaela}, year={2019} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9809
@inproceedings{Razzaghi Kouchaksaraei_Karl_2019, place={Darmstadt}, title={Service Function Chaining Across OpenStack and Kubernetes Domains}, DOI={10.1145/3328905.3332505}, booktitle={13th ACM International Conference on Distributed and Event-based Systems}, author={Razzaghi Kouchaksaraei, Hadi and Karl, Holger}, year={2019} }
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 17666
@article{Koning_de Graaff_Polevoy_Meijer_de Laat_Grosso_2018, title={Measuring the efficiency of SDN mitigations against attacks on computer infrastructures}, DOI={https://doi.org/10.1016/j.future.2018.08.011}, journal={Future Generation Computer Systems}, author={Koning, R. and de Graaff, B. and Polevoy, Gleb and Meijer, R. and de Laat, C. and Grosso, P.}, year={2018} }
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 2322
@inbook{Bäumer_Geierhos_2018, place={Cham, Switzerland}, series={Lecture Notes in Computer Science}, title={How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges}, volume={10859}, DOI={10.1007/978-3-319-91947-8_53}, booktitle={Proceedings of the 23rd International Conference on Natural Language and Information Systems}, publisher={Springer}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Silberztein, Max and Atigui, Faten and Kornyshova, Elena and Métais, Elisabeth and Meziane, Farid Editors}, year={2018}, pages={509–513}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 2331
@article{Kim_Lee_Dollmann_Geierhos_2018, title={Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure}, volume={112}, DOI={10.14257/ijast.2018.112.12}, journal={International Journal of Advanced Science and Technology}, publisher={SERSC Australia}, author={Kim, Yeongsu and Lee, Seungwoo and Dollmann, Markus and Geierhos, Michaela}, year={2018}, pages={123–136} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 4339
@inproceedings{Bäumer_Geierhos_2018, place={Cham, Switzerland}, series={Communications in Computer and Information Science}, title={NLP in OTF Computing: Current Approaches and Open Challenges}, volume={920}, DOI={10.1007/978-3-319-99972-2_46}, booktitle={Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018)}, publisher={Springer}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Damaševičius, Robertas and Vasiljevienė, GiedrėEditors}, year={2018}, pages={559–570}, collection={Communications in Computer and Information Science} }
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 44 |
@inproceedings{Bäumer_Geierhos_2018, title={Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines}, DOI={10125/50609}, booktitle={Proceedings of the 51st Hawaii International Conference on System Sciences}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, year={2018}, pages={5746–5755} }
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 48867
@inproceedings{Bossek_2018, place={New York, NY, USA}, series={GECCO ’18}, title={Performance Assessment of Multi-Objective Evolutionary Algorithms with the R Package ecr}, DOI={10.1145/3205651.3208312}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery}, author={Bossek, Jakob}, year={2018}, pages={1350–1356}, collection={GECCO ’18} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20557
@article{Lillack_Kästner_Bodden_2017, title={Tracking Load-time Configuration Options}, volume={PP}, DOI={10.1109/TSE.2017.2756048}, number={99}, journal={IEEE Transactions on Software Engineering}, author={Lillack, Max and Kästner, Christian and Bodden, Eric}, year={2017}, pages={1–1} }
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 97
@inproceedings{van Rooijen_Bäumer_Platenius_Geierhos_Hamann_Engels_2017, place={Piscataway, NJ, USA}, title={From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process}, DOI={10.1109/REW.2017.26}, booktitle={2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)}, publisher={IEEE}, author={van Rooijen, Lorijn and Bäumer, Frederik Simon and Platenius, Marie Christin and Geierhos, Michaela and Hamann, Heiko and Engels, Gregor}, year={2017}, pages={379–385} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 48863
@inproceedings{Bossek_2017, place={New York, NY, USA}, series={GECCO ’17}, title={Ecr 2.0: A Modular Framework for Evolutionary Computation in R}, DOI={10.1145/3067695.3082470}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery}, author={Bossek, Jakob}, year={2017}, pages={1187–1193}, collection={GECCO ’17} }
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 51827
@inbook{Schmitt_2016, place={Cham}, series={IFIP Advances in Information and Communication Technology}, title={The Code of Banking. Software as the Digitalization of German Savings Banks}, booktitle={International Communities of Invention and Innovation}, publisher={Springer}, author={Schmitt, Martin}, editor={Tatnall, Arthur and Leslie, Christopher}, year={2016}, pages={141–164}, collection={IFIP Advances in Information and Communication Technology} }
LibreCat
2015 | Conference Paper | LibreCat-ID: 10673
@inproceedings{Ho_Ahmed_Kaufmann_Platzner_2015, title={Microarchitectural optimization by means of reconfigurable and evolvable cache mappings}, DOI={10.1109/AHS.2015.7231178}, booktitle={Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS)}, author={Ho, Nam and Ahmed, Abdullah Fathi and Kaufmann, Paul and Platzner, Marco}, year={2015}, pages={1–7} }
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 10779
@inproceedings{Guettatfi_Kermia_Khouas_2015, title={Over effective hard real-time hardware tasks scheduling and allocation}, DOI={10.1109/FPL.2015.7293994}, booktitle={25th International Conference on Field Programmable Logic and Applications (FPL)}, publisher={Imperial College}, author={Guettatfi, Zakarya and Kermia, Omar and Khouas, Abdelhakim}, year={2015} }
LibreCat
| DOI
2015 | Mastersthesis | LibreCat-ID: 33312
@book{Schwichtenberg_2015, title={Early Prediction of Security Properties for Mechatronic Systems}, author={Schwichtenberg, Bahar}, year={2015} }
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 41866
@article{Russer_Uddin_Awny_Thiede_Russer_2015, title={Near-field measurement of stochastic electromagnetic fields}, volume={4}, DOI={10.1109/memc.2015.7336761}, number={3}, journal={IEEE Electromagnetic Compatibility Magazine}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Russer, Johannes A. and Uddin, Nasir and Awny, Ahmed Sanaa and Thiede, Andreas and Russer, Peter}, year={2015}, pages={79–85} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10674
@inproceedings{Ho_Kaufmann_Platzner_2014, title={A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms}, DOI={10.1109/FPL.2014.6927437}, booktitle={24th Intl. Conf. on Field Programmable Logic and Applications (FPL)}, author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2014}, pages={1–4} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36918
@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}, DOI={10.1109/ICCPS.2014.6843726}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46266
@article{Alizadeh_Behnam_Sadeghi-Kohan_2014, title={A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs}, DOI={10.1109/tc.2014.2329687}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh}, year={2014}, pages={1–1} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 22737
@inproceedings{Becker_Luckey_Becker_2012, place={New York, NY, USA}, title={Model-driven Performance Engineering of Self-adaptive Systems: A Survey}, DOI={10.1145/2304696.2304716}, booktitle={{Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}}, publisher={ACM}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2012}, pages={117–122} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 4706
@article{Janiesch_Matzner_Müller_2012, title={Beyond process monitoring: A proof-of-concept of event-driven business activity management}, DOI={10.1108/14637151211253765}, number={4}, journal={Business Process Management Journal}, author={Janiesch, Christian and Matzner, Martin and Müller, Oliver}, year={2012}, pages={625--643} }
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1120
@inproceedings{Schuster_Lee_Kobothanassi_Bargel_Geierhos_2011, place={Piscataway, NJ, USA}, title={SCM - A Simple, Modular and Flexible Customer Interaction Management System}, booktitle={International Conference on Information Society (i-Society 2011)}, publisher={IEEE}, author={Schuster, Jörg and Lee, Yeong Su and Kobothanassi, Despina and Bargel, Matthias and Geierhos, Michaela}, year={2011}, pages={153–158} }
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={10.1109/DATE.2010.5456990}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={10.1109/DATE.2010.5457125}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }
LibreCat
2010 | Journal Article | LibreCat-ID: 11892 |
@article{Schmalenstroeer_Haeb-Umbach_2010, title={Online Diarization of Streaming Audio-Visual Data for Smart Environments}, volume={4}, DOI={10.1109/JSTSP.2010.2050519}, number={5}, journal={IEEE Journal of Selected Topics in Signal Processing}, author={Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2010}, pages={845–856} }
LibreCat
| DOI
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 5625 |
@inproceedings{Schryen_Kadura_2009, title={Open Source vs. Closed Source Software: Towards Measuring Security}, booktitle={24th Annual ACM Symposium on Applied Computing}, author={Schryen, Guido and Kadura, Rouven}, year={2009} }
LibreCat
| Files available
2009 | Conference Paper | LibreCat-ID: 5647 |
@inproceedings{Schryen_2009, title={Security of open source and closed source software: An empirical comparison of published vulnerabilities}, booktitle={15th Americas Conference on Information Systems}, author={Schryen, Guido}, year={2009} }
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 33814
@inbook{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent Software - Introduction and Overview}, DOI={10.1007/978-1-4020-9436-1_1}, booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer Verlag}, author={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, editor={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={1–14} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A UML Frontend for IP-XACT-based IP Management}, DOI={10.1109/DATE.2009.5090664}, booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={10.1109/DATE.2009.5090925}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 17272
@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009, title={People modify their tutoring behavior in robot-directed interaction for action learning}, DOI={10.1109/DEVLRN.2009.5175516}, booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal Behavioral Semantics for TestML}, DOI={10.1109/ISoLA.2006.37}, booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang}, year={2006} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={10.1109/DATE.2005.20}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The Formal Execution Semantics of SpecC}, DOI={10.1145/581199.581234 }, booktitle={Proceedings of the ISSS02}, author={Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={10.1109/HICSS.2002.994469}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 39925
@article{Goser_Hilleringmann_Rueckert_Schumacher_2002, title={VLSI technologies for artificial neural networks}, volume={9}, DOI={10.1109/40.42985}, number={6}, journal={IEEE Micro}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Goser, K. and Hilleringmann, Ulrich and Rueckert, U. and Schumacher, K.}, year={2002}, pages={28–44} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 39926
@article{Goser_Hilleringmann_Rueckert_Schumacher_2002, title={VLSI technologies for artificial neural networks}, volume={9}, DOI={10.1109/40.42985}, number={6}, journal={IEEE Micro}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Goser, K. and Hilleringmann, Ulrich and Rueckert, U. and Schumacher, K.}, year={2002}, pages={28–44} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45423
@article{Mahnken_2002, title={Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity}, volume={15}, DOI={10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r}, number={10}, journal={Communications in Numerical Methods in Engineering}, publisher={Wiley}, author={Mahnken, Rolf}, year={2002}, pages={745–754} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45427
@article{Mahnken_Johansson_Runesson_2002, title={Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm}, volume={15}, DOI={10.1108/02644409810236920}, number={7}, journal={Engineering Computations}, publisher={Emerald}, author={Mahnken, Rolf and Johansson, Magnus and Runesson, Kenneth}, year={2002}, pages={925–955} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39411
@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={10.1109/ENABL.2001.953425}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39432
@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={10.1109/HICSS.2001.926319}, booktitle={Proceedings of the 34th Annual Hawaii International Conference on System Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39488
@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={10.1109/HICSS.1999.773046}, booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1999} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={10.1109/HICSS.1999.772621}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39493
@inproceedings{Geiger_Müller_Rosenbach_1998, place={Halifax, Canada}, title={SAM - An Animated 3D Programming Language}, DOI={10.1109/VL.1998.706167}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Geiger, Christian and Müller, Wolfgang and Rosenbach, W.}, year={1998} }
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39510
@inproceedings{Dücker_Geiger_Lehrenfeld_Müller_Tahedl_1997, place={Capri, Italy}, title={A Visual Programming Language for Qualitative Data}, DOI={10.1109/VL.1997.626593}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1997} }
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri, Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={10.1109/VL.1997.626601}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}, year={1997} }
LibreCat
| DOI