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
Amiri, Arman, et al. “An Integrated Fuzzy Analytic Network Process and Fuzzy Regression Method for Bitcoin Price Prediction.” Internet of Things, vol. 25, 101027, Elsevier BV, 2024, doi:10.1016/j.iot.2023.101027.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 53212
Mahmoodi, Ehsan, et al. “Data-Driven Simulation-Based Decision Support System for Resource Allocation in Industry 4.0 and Smart Manufacturing.” Journal of Manufacturing Systems, vol. 72, Elsevier BV, 2024, pp. 287–307, doi:10.1016/j.jmsy.2023.11.019.
LibreCat
| DOI
2024 | Journal Article | LibreCat-ID: 53205
Tavana, Madjid, and Shahryar Sorooshian. “A Systematic Review of the Soft Computing Methods Shaping the Future of the Metaverse.” Applied Soft Computing, vol. 150, 111098, Elsevier BV, 2024, doi:10.1016/j.asoc.2023.111098.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 44077
Maack, Marten. “Online Load Balancing on Uniform Machines with Limited Migration.” Operations Research Letters, vol. 51, no. 3, Elsevier BV, 2023, pp. 220–25, doi:10.1016/j.orl.2023.02.013.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 44382
Gräßler, Iris, et al. “Methodology for Certification-Compliant Effect-Chain Modeling.” Systems, vol. 11, no. 3, 154, MDPI AG, 2023, doi:10.3390/systems11030154.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 45361 | 
Schade, Robert, et al. “Breaking the Exascale Barrier for the Electronic Structure Problem in Ab-Initio Molecular Dynamics.” The International Journal of High Performance Computing Applications, 109434202311776, SAGE Publications, 2023, doi:10.1177/10943420231177631.
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 47800
Wilke, Daria, et al. “Lessons Learned from the Introduction of Systems Engineering.” Systems, vol. 11, no. 3, 119, MDPI AG, 2023, doi:10.3390/systems11030119.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 48777
Fumagalli, Fabian, et al. “Incremental Permutation Feature Importance (IPFI): Towards Online Explanations on Data Streams.” Machine Learning, Springer Science and Business Media LLC, 2023, doi:10.1007/s10994-023-06385-y.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 46816
Torres, Adriano, et al. “Runtime Verification of Crypto APIs: An Empirical Study.” IEEE Transactions on Software Engineering, vol. 49, no. 10, Institute of Electrical and Electronics Engineers (IEEE), 2023, pp. 4510–25, doi:10.1109/tse.2023.3301660.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 49439
Piskachev, Goran, et al. “Can the Configuration of Static Analyses Make Resolving Security Vulnerabilities More Effective? - A User Study.” Empirical Software Engineering, vol. 28, no. 5, 118, Springer Science and Business Media LLC, 2023, doi:10.1007/s10664-023-10354-3.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 51770
Bartelheimer, Christian, et al. “Workarounds as Generative Mechanisms for Bottom‐up Process Innovation—Insights from a Multiple Case Study.” Information Systems Journal, vol. 33, no. 5, Wiley, 2023, pp. 1085–150, doi:10.1111/isj.12435.
LibreCat
| Files available
| DOI
2023 | Journal Article | LibreCat-ID: 50262
Fumagalli, Fabian, et al. “Incremental Permutation Feature Importance (IPFI): Towards Online Explanations on Data Streams.” Machine Learning, vol. 112, no. 12, Springer Science and Business Media LLC, 2023, pp. 4863–903, doi:10.1007/s10994-023-06385-y.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 52662
Nachtigall, Marcus, et al. “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale.” Software Engineering 2023, Gesellschaft für Informatik e.V., 2023, pp. 95–96.
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 46264
Sadeghi-Kohan, Somayeh, et al. “Workload-Aware Periodic Interconnect BIST.” IEEE Design &Test, Institute of Electrical and Electronics Engineers (IEEE), 2023, pp. 1–1, doi:10.1109/mdat.2023.3298849.
LibreCat
| DOI
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53220
Tavana, Madjid, et al. “An Interval Multi-Criteria Decision-Making Model for Evaluating Blockchain-IoT Technology in Supply Chain Networks.” Internet of Things, vol. 22, 100786, Elsevier BV, 2023, doi:10.1016/j.iot.2023.100786.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53215
Tavana, Madjid, et al. “A Fuzzy Preference Programming and Weighted Influence Non-Linear Gauge System for Mission Architecture Assessment at NASA.” Applied Soft Computing, vol. 145, 110572, Elsevier BV, 2023, doi:10.1016/j.asoc.2023.110572.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53230
Mahdiraji, Hannan Amoozad, et al. “A Game-Theoretic Framework for Analyzing the Impact of Social Responsibility and Supply Chain Profitability.” Cybernetics and Systems, vol. 54, no. 1, Informa UK Limited, 2023, pp. 104–37, doi:10.1080/01969722.2022.2055402.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 29842 |
Gottschalk, Sebastian, et al. “Model-Driven Continuous Experimentation on Component-Based Software Architectures .” Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022, doi:10.1109/ICSA-C54293.2022.00011.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall, Marcus, et al. “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools.” Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–43, doi:10.1145/3533767.
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines in C.” Automated Software Engineering, vol. 29, no. 1, 35, Springer Science and Business Media LLC, 2022, doi:10.1007/s10515-022-00333-1.
LibreCat
| DOI
| Download (ext.)
2022 | Journal Article | LibreCat-ID: 31071
Holtmann, Jörg, et al. “Early Timing Analysis Based on Scenario Requirements and Platform Models.” Software and Systems Modeling, Springer Science and Business Media LLC, 2022, doi:10.1007/s10270-022-01002-3.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33835
Sayar, Imen, et al. “An In-Depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.” ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery (ACM), 2022, doi:10.1145/3554732.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34414 |
Zirngibl, Christoph, et al. “Robust Estimation of Clinch Joint Characteristics Based on Data-Driven Methods.” The International Journal of Advanced Manufacturing Technology, Springer Science and Business Media LLC, 2022, doi:10.1007/s00170-022-10441-7.
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 32309
Gottschalk, Sebastian, et al. “Towards Situation-Specific Software Support for Cross-Organizational Design Thinking Processes.” Proceedings of the 5th International Workshop on Software-Intensive Business (IWSiB’22) , ACM, 2022.
LibreCat
2022 | Journal Article | LibreCat-ID: 45847
Kontinen, Juha, et al. “A Parameterized View on the Complexity of Dependence and Independence Logic.” Journal of Logic and Computation, vol. 32, no. 8, Oxford University Press (OUP), 2022, pp. 1624–44, doi:10.1093/logcom/exac070.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 33684 |
Schade, Robert, et al. “Towards Electronic Structure-Based Ab-Initio Molecular Dynamics Simulations with Hundreds of Millions of Atoms.” Parallel Computing, vol. 111, 102920, Elsevier BV, 2022, doi:10.1016/j.parco.2022.102920.
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 26049
Bäumer, Frederik Simon, et al. “IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING.” PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, IADIS, 2021, pp. 221--225.
LibreCat
| Files available
2021 | Journal Article | LibreCat-ID: 30907
Rodriguez, Alfonso, et al. “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs.” IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:10.1109/tc.2021.3107196.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 31132
Dann, Andreas Peter, et al. “Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite.” IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:10.1109/tse.2021.3101739.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 37146
Stieglitz, Stefan, et al. “Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution.” Information Systems Frontiers, vol. 24, no. 3, Springer Science and Business Media LLC, 2021, pp. 745–70, doi:10.1007/s10796-021-10201-0.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 27841
Jakobs, Marie-Christine, et al. “Software/Hardware Co-Verification for Custom Instruction Set Processors.” IEEE Access, IEEE, 2021, doi:10.1109/ACCESS.2021.3131213.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18686
Kersting, Joschka, and Frederik Simon Bäumer. “SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH.” PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, IADIS, 2020, pp. 119--123.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 18249 |
Gottschalk, Sebastian, et al. “Model-Based Product Configuration in Augmented Reality Applications.” Human-Centered Software Engineering. HCSE 2020, edited by Regina Bernhaupt et al., vol. 12481, Springer, 2020, doi:10.1007/978-3-030-64266-2_5.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 16933 |
Gottschalk, Sebastian, et al. “Hypothesis-Driven Adaptation of Business Models Based on Product Line Engineering.” Proceedings of the 22nd IEEE International Conference on Business Informatics, IEEE, 2020, doi:10.1109/CBI49978.2020.00022.
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 29722
Yigitbas, Enes, et al. “Integrated Model-Driven Development of Self-Adaptive User Interfaces.” Software and Systems Modeling, vol. 19, no. 5, Springer Science and Business Media LLC, 2020, pp. 1057–81, doi:10.1007/s10270-020-00777-7.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 45845
Mahmood, Yasir, et al. “Parameterized Complexity of Abduction in Schaefer’s Framework.” Journal of Logic and Computation, vol. 31, no. 1, Oxford University Press (OUP), 2020, pp. 266–96, doi:10.1093/logcom/exaa079.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 9275 |
Gottschalk, Sebastian, et al. “Business Models of Store-Oriented Software Ecosystems: A Variability Modeling Approach.” Business Modeling and Software Design, edited by Boris Shishkov, Springer International Publishing, 2019, pp. 153–69, doi:10.1007/978-3-030-24854-3_10.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 8424 |
Bäumer, Frederik Simon, et al. “Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches.” Computers, vol. 8, no. 1, 22, MDPI AG, Basel, Switzerland, 2019, doi:10.3390/computers8010022.
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 9809
Razzaghi Kouchaksaraei, Hadi, and Holger Karl. “Service Function Chaining Across OpenStack and Kubernetes Domains.” 13th ACM International Conference on Distributed and Event-Based Systems, 2019, doi:10.1145/3328905.3332505.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 17666
Koning, R., et al. “Measuring the Efficiency of SDN Mitigations against Attacks on Computer Infrastructures.” Future Generation Computer Systems, 2018, doi:https://doi.org/10.1016/j.future.2018.08.011.
LibreCat
| DOI
2018 | Book Chapter | LibreCat-ID: 2322
Bäumer, Frederik Simon, and Michaela Geierhos. “How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges.” Proceedings of the 23rd International Conference on Natural Language and Information Systems, edited by Max Silberztein et al., vol. 10859, Springer, 2018, pp. 509–13, doi:10.1007/978-3-319-91947-8_53.
LibreCat
| Files available
| DOI
2018 | Journal Article | LibreCat-ID: 2331
Kim, Yeongsu, et al. “Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure.” International Journal of Advanced Science and Technology, vol. 112, SERSC Australia, 2018, pp. 123–36, doi:10.14257/ijast.2018.112.12.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 4339
Bäumer, Frederik Simon, and Michaela Geierhos. “NLP in OTF Computing: Current Approaches and Open Challenges.” Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018), edited by Robertas Damaševičius and Giedrė Vasiljevienė, vol. 920, Springer, 2018, pp. 559–70, doi:10.1007/978-3-319-99972-2_46.
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 44 |
Bäumer, Frederik Simon, and Michaela Geierhos. “Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-Based Configuration of Text Analysis Pipelines.” Proceedings of the 51st Hawaii International Conference on System Sciences, 2018, pp. 5746–55, doi:10125/50609.
LibreCat
| Files available
| DOI
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 48867
Bossek, Jakob. “Performance Assessment of Multi-Objective Evolutionary Algorithms with the R Package Ecr.” Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery, 2018, pp. 1350–1356, doi:10.1145/3205651.3208312.
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20557
Lillack, Max, et al. “Tracking Load-Time Configuration Options.” IEEE Transactions on Software Engineering, vol. PP, no. 99, 2017, pp. 1–1, doi:10.1109/TSE.2017.2756048.
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 97
van Rooijen, Lorijn, et al. “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process.” 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, 2017, pp. 379–85, doi:10.1109/REW.2017.26.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 48863
Bossek, Jakob. “Ecr 2.0: A Modular Framework for Evolutionary Computation in R.” Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery, 2017, pp. 1187–1193, doi:10.1145/3067695.3082470.
LibreCat
| DOI
2016 | Book Chapter | LibreCat-ID: 51827
Schmitt, Martin. “The Code of Banking. Software as the Digitalization of German Savings Banks.” International Communities of Invention and Innovation, edited by Arthur Tatnall and Christopher Leslie, Springer, 2016, pp. 141–164.
LibreCat
2015 | Conference Paper | LibreCat-ID: 10673
Ho, Nam, et al. “Microarchitectural Optimization by Means of Reconfigurable and Evolvable Cache Mappings.” Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS), 2015, pp. 1–7, doi:10.1109/AHS.2015.7231178.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 10779
Guettatfi, Zakarya, et al. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.” 25th International Conference on Field Programmable Logic and Applications (FPL), Imperial College, 2015, doi:10.1109/FPL.2015.7293994.
LibreCat
| DOI
2015 | Mastersthesis | LibreCat-ID: 33312
Schwichtenberg, Bahar. Early Prediction of Security Properties for Mechatronic Systems. 2015.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 41866
Russer, Johannes A., et al. “Near-Field Measurement of Stochastic Electromagnetic Fields.” IEEE Electromagnetic Compatibility Magazine, vol. 4, no. 3, Institute of Electrical and Electronics Engineers (IEEE), 2015, pp. 79–85, doi:10.1109/memc.2015.7336761.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 10674
Ho, Nam, et al. “A Hardware/Software Infrastructure for Performance Monitoring on LEON3 Multicore Platforms.” 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 2014, pp. 1–4, doi:10.1109/FPL.2014.6927437.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36918
Becker, Markus, et al. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. IEEE, 2014, doi:10.1109/ICCPS.2014.6843726.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46266
Alizadeh, Bijan, et al. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.” IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), 2014, pp. 1–1, doi:10.1109/tc.2014.2329687.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 22737
Becker, Matthias, et al. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” {Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}, ACM, 2012, pp. 117–22, doi:10.1145/2304696.2304716.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 4706
Janiesch, Christian, et al. “Beyond Process Monitoring: A Proof-of-Concept of Event-Driven Business Activity Management.” Business Process Management Journal, no. 4, 2012, pp. 625--643, doi:10.1108/14637151211253765.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1120
Schuster, Jörg, et al. “SCM - A Simple, Modular and Flexible Customer Interaction Management System.” International Conference on Information Society (i-Society 2011), IEEE, 2011, pp. 153–58.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456990.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” Proceedings of DATE’10, Dresden, IEEE, 2010, doi:10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 11892 |
Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Online Diarization of Streaming Audio-Visual Data for Smart Environments.” IEEE Journal of Selected Topics in Signal Processing, vol. 4, no. 5, 2010, pp. 845–56, doi:10.1109/JSTSP.2010.2050519.
LibreCat
| DOI
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 5625 |
Schryen, Guido, and Rouven Kadura. “Open Source vs. Closed Source Software: Towards Measuring Security.” 24th Annual ACM Symposium on Applied Computing, 2009.
LibreCat
| Files available
2009 | Conference Paper | LibreCat-ID: 5647 |
Schryen, Guido. “Security of Open Source and Closed Source Software: An Empirical Comparison of Published Vulnerabilities.” 15th Americas Conference on Information Systems, 2009.
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, Wolfgang, et al. “Hardware-Dependent Software - Introduction and Overview.” Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker et al., Springer Verlag, 2009, pp. 1–14, doi:10.1007/978-1-4020-9436-1_1.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.” Proceedings of DATE’09, IEEE, 2009, doi:10.1109/DATE.2009.5090664.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 17272
Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6, doi:10.1109/DEVLRN.2009.5175516.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” Proceedings of ISNG 05, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” Proceedings of the ISSS02, 2002, doi:10.1145/581199.581234 .
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 39925
Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.” IEEE Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 28–44, doi:10.1109/40.42985.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 39926
Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.” IEEE Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 28–44, doi:10.1109/40.42985.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45423
Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear Isotropic/Kinematic Hardening in Elastoplasticity.” Communications in Numerical Methods in Engineering, vol. 15, no. 10, Wiley, 2002, pp. 745–54, 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
Mahnken, Rolf, et al. “Parameter Estimation for a Viscoplastic Damage Model Using a Gradient‐based Optimization Algorithm.” Engineering Computations, vol. 15, no. 7, Emerald, 2002, pp. 925–55, doi:10.1108/02644409810236920.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39432
Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001, doi:10.1109/HICSS.2001.926319.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, 1999, doi:10.1109/HICSS.1999.773046.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” Proceedings of HICSS-32, 1999, doi:10.1109/HICSS.1999.772621.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, Christian, et al. “SAM - An Animated 3D Programming Language.” Proceedings of the IEEE Symposium on Visual Languages, 1998, doi:10.1109/VL.1998.706167.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., et al. “A Visual Programming Language for Qualitative Data.” Proceedings of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626593.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” Proceedings of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626601.
LibreCat
| DOI