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
A. Amiri, M. Tavana, and H. Arman, “An Integrated Fuzzy Analytic Network Process and Fuzzy Regression Method for Bitcoin Price Prediction,” Internet of Things, vol. 25, Art. no. 101027, 2024, doi: 10.1016/j.iot.2023.101027.
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 53212
E. Mahmoodi, M. Fathi, M. Tavana, M. Ghobakhloo, and A. H. C. Ng, “Data-driven simulation-based decision support system for resource allocation in industry 4.0 and smart manufacturing,” Journal of Manufacturing Systems, vol. 72, pp. 287–307, 2024, doi: 10.1016/j.jmsy.2023.11.019.
LibreCat | DOI
 

2024 | Journal Article | LibreCat-ID: 53205
M. Tavana and S. Sorooshian, “A systematic review of the soft computing methods shaping the future of the metaverse,” Applied Soft Computing, vol. 150, Art. no. 111098, 2024, doi: 10.1016/j.asoc.2023.111098.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 44077
M. Maack, “Online load balancing on uniform machines with limited migration,” Operations Research Letters, vol. 51, no. 3, pp. 220–225, 2023, doi: 10.1016/j.orl.2023.02.013.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 44382
I. Gräßler, D. Wiechel, A.-S. Koch, T. Sturm, and T. Markfelder, “Methodology for Certification-Compliant Effect-Chain Modeling,” Systems, vol. 11, no. 3, Art. no. 154, 2023, doi: 10.3390/systems11030154.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 45361 | OA
R. Schade, T. Kenter, H. Elgabarty, M. Lass, T. Kühne, and C. Plessl, “Breaking the exascale barrier for the electronic structure problem in ab-initio molecular dynamics,” The International Journal of High Performance Computing Applications, Art. no. 109434202311776, 2023, doi: 10.1177/10943420231177631.
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 47800
D. Wilke, R. Grothe, L. Bretz, H. Anacker, and R. Dumitrescu, “Lessons Learned from the Introduction of Systems Engineering,” Systems, vol. 11, no. 3, Art. no. 119, 2023, doi: 10.3390/systems11030119.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 48777
F. Fumagalli, M. Muschalik, E. Hüllermeier, and B. Hammer, “Incremental permutation feature importance (iPFI): towards online explanations on data streams,” Machine Learning, 2023, doi: 10.1007/s10994-023-06385-y.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 46816
A. Torres et al., “Runtime Verification of Crypto APIs: An Empirical Study,” IEEE Transactions on Software Engineering, vol. 49, no. 10, pp. 4510–4525, 2023, doi: 10.1109/tse.2023.3301660.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 49439
G. Piskachev, M. Becker, and E. Bodden, “Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study,” Empirical Software Engineering, vol. 28, no. 5, Art. no. 118, 2023, doi: 10.1007/s10664-023-10354-3.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 51770
C. Bartelheimer, V. Wolf, and D. Beverungen, “Workarounds as generative mechanisms for bottom‐up process innovation—Insights from a multiple case study,” Information Systems Journal, vol. 33, no. 5, pp. 1085–1150, 2023, doi: 10.1111/isj.12435.
LibreCat | Files available | DOI
 

2023 | Journal Article | LibreCat-ID: 50262
F. Fumagalli, M. Muschalik, E. Hüllermeier, and B. Hammer, “Incremental permutation feature importance (iPFI): towards online explanations on data streams,” Machine Learning, vol. 112, no. 12, pp. 4863–4903, 2023, doi: 10.1007/s10994-023-06385-y.
LibreCat | DOI
 

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

2023 | Journal Article | LibreCat-ID: 46264
S. Sadeghi-Kohan, S. Hellebrand, and H.-J. Wunderlich, “Workload-Aware Periodic Interconnect BIST,” IEEE Design &Test, pp. 1–1, 2023, doi: 10.1109/mdat.2023.3298849.
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 53220
M. Tavana, A. Khalili Nasr, A. B. Ahmadabadi, A. S. Amiri, and H. Mina, “An interval multi-criteria decision-making model for evaluating blockchain-IoT technology in supply chain networks,” Internet of Things, vol. 22, Art. no. 100786, 2023, doi: 10.1016/j.iot.2023.100786.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53215
M. Tavana, M. S. Heidary, and H. Mina, “A fuzzy preference programming and weighted influence non-linear gauge system for mission architecture assessment at NASA,” Applied Soft Computing, vol. 145, Art. no. 110572, 2023, doi: 10.1016/j.asoc.2023.110572.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 53230
H. A. Mahdiraji, M. Tavana, and A. Rezayar, “A Game-Theoretic Framework for Analyzing the Impact of Social Responsibility and Supply Chain Profitability,” Cybernetics and Systems, vol. 54, no. 1, pp. 104–137, 2023, doi: 10.1080/01969722.2022.2055402.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 29842 | OA
S. Gottschalk, E. Yigitbas, and G. Engels, “Model-driven Continuous Experimentation on Component-based Software Architectures ,” presented at the 18th International Conference on Software Architecture , Hawaii, 2022, doi: 10.1109/ICSA-C54293.2022.00011.
LibreCat | Files available | DOI
 

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

2022 | Journal Article | LibreCat-ID: 30511 | OA
P. Schubert et al., “Static data-flow analysis for software product lines in C,” Automated Software Engineering, vol. 29, no. 1, Art. no. 35, 2022, doi: 10.1007/s10515-022-00333-1.
LibreCat | DOI | Download (ext.)
 

2022 | Journal Article | LibreCat-ID: 31071
J. Holtmann, J. Deantoni, and M. Fockel, “Early timing analysis based on scenario requirements and platform models,” Software and Systems Modeling, 2022, doi: 10.1007/s10270-022-01002-3.
LibreCat | DOI
 

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

2022 | Journal Article | LibreCat-ID: 34414 | OA
C. Zirngibl, B. Schleich, and S. Wartzack, “Robust estimation of clinch joint characteristics based on data-driven methods,” The International Journal of Advanced Manufacturing Technology, 2022, doi: 10.1007/s00170-022-10441-7.
LibreCat | DOI | Download (ext.)
 

2022 | Conference Paper | LibreCat-ID: 32309
S. Gottschalk, E. Yigitbas, A. Nowosad, and G. Engels, “Towards Situation-specific Software Support for Cross-organizational Design Thinking Processes,” 2022.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 45847
J. Kontinen, A. Meier, and Y. Mahmood, “A parameterized view on the complexity of dependence and independence logic,” Journal of Logic and Computation, vol. 32, no. 8, pp. 1624–1644, 2022, doi: 10.1093/logcom/exac070.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 33684 | OA
R. Schade et al., “Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms,” Parallel Computing, vol. 111, Art. no. 102920, 2022, doi: 10.1016/j.parco.2022.102920.
LibreCat | DOI | Download (ext.)
 

2021 | Conference Paper | LibreCat-ID: 26049
F. S. Bäumer, J. Kersting, S. Denisov, and M. Geierhos, “IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING,” in PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, Lisbon, Portugal, 2021, pp. 221--225.
LibreCat | Files available
 

2021 | Journal Article | LibreCat-ID: 30907
A. Rodriguez, A. Otero, M. Platzner, and E. De la Torre, “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs,” IEEE Transactions on Computers, pp. 1–1, 2021, doi: 10.1109/tc.2021.3107196.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 31132
A. P. Dann, H. Plate, B. Hermann, S. E. Ponta, and E. Bodden, “Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite,” IEEE Transactions on Software Engineering, pp. 1–1, 2021, doi: 10.1109/tse.2021.3101739.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 37146
S. Stieglitz, M. Mirbabaie, N. R. J. Möllmann, and J. Rzyski, “Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution,” Information Systems Frontiers, vol. 24, no. 3, pp. 745–770, 2021, doi: 10.1007/s10796-021-10201-0.
LibreCat | DOI
 

2021 | Journal Article | LibreCat-ID: 27841
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, “Software/Hardware Co-Verification for Custom Instruction Set Processors,” IEEE Access, 2021, doi: 10.1109/ACCESS.2021.3131213.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18686
J. Kersting and F. S. Bäumer, “SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH,” in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, Lisbon, Portugal, 2020, pp. 119--123.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 18249 | OA
S. Gottschalk, E. Yigitbas, E. Schmidt, and G. Engels, “Model-based Product Configuration in Augmented Reality Applications,” in Human-Centered Software Engineering. HCSE 2020, Eindhoven, 2020, vol. 12481.
LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 16933 | OA
S. Gottschalk, F. Rittmeier, and G. Engels, “Hypothesis-driven Adaptation of Business Models based on Product Line Engineering,” in Proceedings of the 22nd IEEE International Conference on Business Informatics, Antwerp, 2020.
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 29722
E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, and G. Engels, “Integrated model-driven development of self-adaptive user interfaces,” Software and Systems Modeling, vol. 19, no. 5, pp. 1057–1081, 2020, doi: 10.1007/s10270-020-00777-7.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 45845
Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized complexity of abduction in Schaefer’s framework,” Journal of Logic and Computation, vol. 31, no. 1, pp. 266–296, 2020, doi: 10.1093/logcom/exaa079.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 9275 | OA
S. Gottschalk, F. Rittmeier, and G. Engels, “Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach,” in Business Modeling and Software Design, Lisbon, 2019, pp. 153–169.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 8424 | OA
F. S. Bäumer, J. Kersting, and M. Geierhos, “Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches,” Computers, vol. 8, no. 1, 2019.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 9809
H. Razzaghi Kouchaksaraei and H. Karl, “Service Function Chaining Across OpenStack and Kubernetes Domains,” in 13th ACM International Conference on Distributed and Event-based Systems, Darmstadt, 2019.
LibreCat | Files available | DOI
 

2018 | Journal Article | LibreCat-ID: 17666
R. Koning, B. de Graaff, G. Polevoy, R. Meijer, C. de Laat, and P. Grosso, “Measuring the efficiency of SDN mitigations against attacks on computer infrastructures,” Future Generation Computer Systems, 2018.
LibreCat | DOI
 

2018 | Book Chapter | LibreCat-ID: 2322
F. S. Bäumer and M. Geierhos, “How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges,” in Proceedings of the 23rd International Conference on Natural Language and Information Systems, vol. 10859, M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, and F. Meziane, Eds. Cham, Switzerland: Springer, 2018, pp. 509–513.
LibreCat | Files available | DOI
 

2018 | Journal Article | LibreCat-ID: 2331
Y. Kim, S. Lee, M. Dollmann, and M. Geierhos, “Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure,” International Journal of Advanced Science and Technology, vol. 112, pp. 123–136, 2018.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 4339
F. S. Bäumer and M. Geierhos, “NLP in OTF Computing: Current Approaches and Open Challenges,” in Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018), Vilnius, Lithuania, 2018, vol. 920, pp. 559–570.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 44 | OA
F. S. Bäumer and M. Geierhos, “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, Big Island, Waikoloa Village, 2018, pp. 5746–5755.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 48867
J. Bossek, “Performance Assessment of Multi-Objective Evolutionary Algorithms with the R Package ecr,” in Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018, pp. 1350–1356, doi: 10.1145/3205651.3208312.
LibreCat | DOI
 

2017 | Journal Article | LibreCat-ID: 20557
M. Lillack, C. Kästner, and E. Bodden, “Tracking Load-time Configuration Options,” IEEE Transactions on Software Engineering, vol. PP, no. 99, pp. 1–1, 2017, doi: 10.1109/TSE.2017.2756048.
LibreCat | DOI | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 97
L. van Rooijen, F. S. Bäumer, M. C. Platenius, M. Geierhos, H. Hamann, and G. Engels, “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), Lisbon, Portugal, 2017, pp. 379–385.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 48863
J. Bossek, “Ecr 2.0: A Modular Framework for Evolutionary Computation in R,” in Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2017, pp. 1187–1193, doi: 10.1145/3067695.3082470.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 51827
M. Schmitt, “The Code of Banking. Software as the Digitalization of German Savings Banks,” in International Communities of Invention and Innovation, A. Tatnall and C. Leslie, Eds. Cham: Springer, 2016, pp. 141–164.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 10673
N. Ho, A. F. Ahmed, P. Kaufmann, and M. Platzner, “Microarchitectural optimization by means of reconfigurable and evolvable cache mappings,” in Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS), 2015, pp. 1–7.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 10779
Z. Guettatfi, O. Kermia, and A. Khouas, “Over effective hard real-time hardware tasks scheduling and allocation,” in 25th International Conference on Field Programmable Logic and Applications (FPL), 2015.
LibreCat | DOI
 

2015 | Mastersthesis | LibreCat-ID: 33312
B. Schwichtenberg, Early Prediction of Security Properties for Mechatronic Systems. 2015.
LibreCat | Files available
 

2015 | Journal Article | LibreCat-ID: 41866
J. A. Russer, N. Uddin, A. S. Awny, A. Thiede, and P. Russer, “Near-field measurement of stochastic electromagnetic fields,” IEEE Electromagnetic Compatibility Magazine, vol. 4, no. 3, pp. 79–85, 2015, doi: 10.1109/memc.2015.7336761.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 10674
N. Ho, P. Kaufmann, and M. Platzner, “A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms,” in 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 2014, pp. 1–4.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 36918
M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: 10.1109/ICCPS.2014.6843726.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 46266
B. Alizadeh, P. Behnam, and S. Sadeghi-Kohan, “A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs,” IEEE Transactions on Computers, pp. 1–1, 2014, doi: 10.1109/tc.2014.2329687.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 22737
M. Becker, M. Luckey, and S. Becker, “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)}, 2012, pp. 117–122.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 4706
C. Janiesch, M. Matzner, and O. Müller, “Beyond process monitoring: A proof-of-concept of event-driven business activity management,” Business Process Management Journal, no. 4, pp. 625--643, 2012.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 1120
J. Schuster, Y. S. Lee, D. Kobothanassi, M. Bargel, and M. Geierhos, “SCM - A Simple, Modular and Flexible Customer Interaction Management System,” in International Conference on Information Society (i-Society 2011), London, UK, 2011, pp. 153–158.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37007
F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456990.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37009
M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457130.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37011
K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457125.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37037
A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37053
W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 11892 | OA
J. Schmalenstroeer and R. Haeb-Umbach, “Online Diarization of Streaming Audio-Visual Data for Smart Environments,” IEEE Journal of Selected Topics in Signal Processing, vol. 4, no. 5, pp. 845–856, 2010, doi: 10.1109/JSTSP.2010.2050519.
LibreCat | DOI | Download (ext.)
 

2009 | Conference Paper | LibreCat-ID: 5625 | OA
G. Schryen and R. Kadura, “Open Source vs. Closed Source Software: Towards Measuring Security,” in 24th Annual ACM Symposium on Applied Computing, 2009.
LibreCat | Files available
 

2009 | Conference Paper | LibreCat-ID: 5647 | OA
G. Schryen, “Security of open source and closed source software: An empirical comparison of published vulnerabilities,” in 15th Americas Conference on Information Systems, 2009.
LibreCat | Files available
 

2009 | Book Chapter | LibreCat-ID: 33814
W. Ecker, W. Müller, and R. Dömer, “Hardware-dependent Software - Introduction and Overview,” in Hardware Dependent Software - Principles and Practice, W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp. 1–14.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37067
T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based IP Management,” presented at the Design, Automation & Test in Europe Conference & Exhibition, 2009, doi: 10.1109/DATE.2009.5090664.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37066
H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,” presented at the Design, Automation & Test in Europe Conference & Exhibition, 2009, doi: 10.1109/DATE.2009.5090925.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 17272
A.-L. Vollmer et al., “People modify their tutoring behavior in robot-directed interaction for action learning,” in Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 2009, pp. 1–6, doi: 10.1109/DEVLRN.2009.5175516.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 38107
J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 39029
T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 39030
T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 39032
T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39069
S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 39382
W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: 10.1145/581199.581234 .
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 39403
S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 39925
K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies for artificial neural networks,” IEEE Micro, vol. 9, no. 6, pp. 28–44, 2002, doi: 10.1109/40.42985.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 39926
K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies for artificial neural networks,” IEEE Micro, vol. 9, no. 6, pp. 28–44, 2002, doi: 10.1109/40.42985.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 45423
R. Mahnken, “Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity,” Communications in Numerical Methods in Engineering, vol. 15, no. 10, pp. 745–754, 2002, doi: 10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 45427
R. Mahnken, M. Johansson, and K. Runesson, “Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm,” Engineering Computations, vol. 15, no. 7, pp. 925–955, 2002, doi: 10.1108/02644409810236920.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39411
S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: 10.1109/ENABL.2001.953425.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39432
W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,” 2001, doi: 10.1109/HICSS.2001.926319.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 39488
M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi: 10.1109/HICSS.1999.773046.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 39487
C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: 10.1109/HICSS.1999.772621.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 39493
C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax, Canada, 1998, doi: 10.1109/VL.1998.706167.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 39510
M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Visual Programming Language for Qualitative Data,” 1997, doi: 10.1109/VL.1997.626593.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 39505
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages, 1997, doi: 10.1109/VL.1997.626601.
LibreCat | DOI
 

Filters and Search Terms

keyword="Software"

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed