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.
9783 Publications
2021 | Journal Article | LibreCat-ID: 35702
Schürmann, M., Panse, A., Shaikh, Z., Biehler, R., Schaper, N., Liebendörfer, M., & Hilgert, J. (2021). Consultation Phases in Mathematics Learning and Support Centres. International Journal of Research in Undergraduate Mathematics Education, 8(1), 94–120. https://doi.org/10.1007/s40753-021-00154-9
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 35781
Podworny, S., & Biehler, R. (2021). The process of actively building a model for a randomization test – insights into learners’ modeling activities based on a case study. Mathematical Thinking and Learning, 24(4), 291–311. https://doi.org/10.1080/10986065.2021.1922837
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 35751
Frischemeier, D., Biehler, R., Podworny, S., & Budde, L. (2021). A first introduction to data science education in secondary schools: Teaching and learning about data exploration with<scp>CODAP</scp>using survey data. Teaching Statistics, 43(S1), S182–S189. https://doi.org/10.1111/test.12283
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 24786
Schürmann, M., Liebendörfer, M., Gildehaus, L., Schaper, N., Hochmuth, R., Biehler, R., Lankeit, E., Kuklinski, C., & Ruge, J. (2021). Opportunities and Possibilities of a Network of Mathematical Learning and Support Centres in Germany. Sigma Newsletter, 22, 5–6.
LibreCat
2021 | Journal Article | LibreCat-ID: 45335
Schönherr, J., Schukajlow, S., & Blomberg, J. (2021). Was ist eine gute Skizze? Strategiewissen beim mathematischen Modellieren im Bereich der Geometrie fördern. mathematik lehren, 224, 22–27.
LibreCat
2021 | Journal Article | LibreCat-ID: 45333
Schönherr, J., Schukajlow, S., Blomberg, J., & Leopold, C. (2021). Does strategic knowledge matter? Effects of strategic knowledge about drawing on students’ modeling competencies in the domain of geometry. Mathematical Thinking and Learning. https://doi.org/10.1080/10986065.2021.2012741
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45342
Schönherr, J., Blomberg, J., Schukajlow, S., & Leopold, C. (2021). Do emotions and prior performance facilitate the use of the learner-generated drawing strategy? Effects of enjoyment, anxiety, and intramathematical performance on the use of the drawing strategy and modelling performance. Contemporary Educational Psychology, 65. https://doi.org/10.1016/j.cedpsych.2021.101967
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 25334
Fiterau-Brostean, P., Jonsson, B., Merget, R., de Ruiter, J., Sagonas, K., & Somorovsky, J. (2020). Analysis of DTLS Implementations Using Protocol State Fuzzing. 29th {USENIX} Security Symposium ({USENIX} Security 20), 2523–2540.
LibreCat
2020 | Book Chapter | LibreCat-ID: 19521
Pfannschmidt, K., & Hüllermeier, E. (2020). Learning Choice Functions via Pareto-Embeddings. In Lecture Notes in Computer Science. Cham. https://doi.org/10.1007/978-3-030-58285-2_30
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 19606 | 
Gottschalk, S., Yigitbas, E., Schmidt, E., & Engels, G. (2020). ProConAR: A Tool Support for Model-based AR Product Configuration. In R. Bernhaupt, C. Ardito, & S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020 (Vol. 12481). Cham: Springer. https://doi.org/10.1007/978-3-030-64266-2_14
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 19607 |
Schneider, S. B., Klenner, L. D., & Karl, H. (2020). Every Node for Itself: Fully Distributed Service Coordination. In IEEE International Conference on Network and Service Management (CNSM). IEEE.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19609 |
Schneider, S. B., Manzoor, A., Qarawlus, H., Schellenberg, R., Karl, H., Khalili, R., & Hecker, A. (2020). Self-Driving Network and Service Coordination Using Deep Reinforcement Learning. In IEEE International Conference on Network and Service Management (CNSM). IEEE.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 19632
Jovanovikj, I., Yigitbas, E., Sauer, S., & Engels, G. (2020). Augmented and Virtual Reality Object Repository for Rapid Prototyping . In Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE’20) (pp. 216–224). Springer.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19656
Sharma, A., & Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine Learning Models. In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). Springer.
LibreCat
2020 | Journal Article | LibreCat-ID: 19864
Meyer, M., Frank, M., Massmann, M., & Dumitrescu, R. (2020). Research and Consulting in Data-Driven Strategic Product Planning. Proceedings of The 11th International Multi-Conference on Complexity, Informatics and Cybernetics (IMCIC 2020).
LibreCat
2020 | Journal Article | LibreCat-ID: 19866
Meyer, M., Frank, M., Massmann, M., & Dumitrescu, R. (2020). Research and Consulting in Data-Driven Strategic Product Planning. Journal of Systemics, Cybernetics and Informatics, 18(2), 55–61.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19899
Castenow, J., Kling, P., Knollmann, T., & Meyer auf der Heide, F. (2020). A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up. In S. Devismes & N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings (Vol. 12514, pp. 65–80). Springer. https://doi.org/10.1007/978-3-030-64348-5_6
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 19938
McLachlan, R. I., & Offen, C. (2020). Preservation of Bifurcations of Hamiltonian Boundary Value Problems Under Discretisation. Foundations of Computational Mathematics, 20(6), 1363–1400. https://doi.org/10.1007/s10208-020-09454-z
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 19939 |
Kreusser, L. M., McLachlan, R. I., & Offen, C. (2020). Detection of high codimensional bifurcations in variational PDEs. Nonlinearity, 33(5), 2335–2363. https://doi.org/10.1088/1361-6544/ab7293
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 19953 |
Damke, C., Melnikov, V., & Hüllermeier, E. (2020). A Novel Higher-order Weisfeiler-Lehman Graph Convolution. In S. Jialin Pan & M. Sugiyama (Eds.), Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020) (Vol. 129, pp. 49–64). Bangkok, Thailand: PMLR.
LibreCat
| Files available
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer, S. (2020). Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20116
Nouri, Z., Wachsmuth, H., & Engels, G. (n.d.). Mining Crowdsourcing Problems from Discussion Forums of Workers. In Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics (pp. 6264–6276). Barcelona, Spain.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20122
El Baff, R., Al-Khatib, K., Stein, B., & Wachsmuth, H. (2020). Persuasiveness of News Editorials depending on Ideology and Personality. In Third Workshop on Computational Modeling of People’s Opinions, Personality, and Emotions in Social Media (PEOPLES 2020) (pp. 29–40).
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20139 |
Spliethöver, M., & Wachsmuth, H. (2020). Argument from Old Man’s View: Assessing Social Bias in Argumentation. In Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020) (pp. 76–87).
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20140
Dorsch, J., & Wachsmuth, H. (2020). Semi-Supervised Cleansing of Web Argument Corpora. In Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020) (pp. 19–29).
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20159
Baswana, S., Gupta, S., & Knollmann, T. (2020). Mincut Sensitivity Data Structures for the Insertion of an Edge. In F. Grandoni, G. Herman, & P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020) (Vol. 173, pp. 12:1-12:14). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2020.12
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20166
Bondarenko, A., Fröbe, M., Beloucif, M., Gienapp, L., Ajjour, Y., Panchenko, A., … Hagen, M. (2020). Overview of Touché 2020: Argument Retrieval. In CEUR Workshop Proceedings (Vol. 2696, pp. 384–395).
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20185
Castenow, J., Harbig, J., Jung, D., Knollmann, T., & Meyer auf der Heide, F. (2020). Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility . In S. Devismes & N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings (Vol. 12514, pp. 60–64). Springer. https://doi.org/10.1007/978-3-030-64348-5_5
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 20189
Hammer, M., Ebers, L., & Förstner, J. (2020). Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles. Optical and Quantum Electronics, 52. https://doi.org/10.1007/s11082-020-02595-z
LibreCat
| Files available
| DOI
2020 | Mastersthesis | LibreCat-ID: 20221
Yeole, P. K. (2020). Plurality Consensus in Hybrid Networks.
LibreCat
2020 | Journal Article | LibreCat-ID: 20233 |
Myroshnychenko, V., Smirnov, S., Jose, P. M. M., Brosseau, C., & Förstner, J. (2020). Nonlinear dielectric properties of random paraelectric-dielectric composites. Acta Materialia, 203, 116432. https://doi.org/10.1016/j.actamat.2020.10.051
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 20274
Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., & Wehrheim, H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In A. Gotsman & A. Sokolova (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings (Vol. 12136, pp. 39–58). Springer. https://doi.org/10.1007/978-3-030-50086-3\_3
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20275
Beringer, S., & Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing Requirements. In M. van Sinderen, H.-}Georg Fill, & L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020 (pp. 15–26). ScitePress. https://doi.org/10.5220/0009766600150026
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
Beyer, D., & Wehrheim, H. (2020). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I} (Vol. 12476, pp. 143–167). Springer. https://doi.org/10.1007/978-3-030-61362-4\_8
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim, H., & Cabot, J. (Eds.). (2020). Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Vol. 12076). Springer. https://doi.org/10.1007/978-3-030-45234-6
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20279
Sharma, A., & Wehrheim, H. (2020). Testing Monotonicity of Machine Learning Models. CoRR, abs/2002.12278.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24021
Wu, L., Weizel, M., & Scheytt, C. (2020). Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology. 2020 IEEE International Symposium on Circuits and Systems (ISCAS). https://doi.org/10.1109/ISCAS45731.2020.9180947
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
Abughannam, S., & Scheytt, C. (2020). Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator. IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) . https://doi.org/10.1109/PIMRC48278.2020.9217198
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
Adelt, P., Koppelmann, B., Müller, W., & Scheytt, C. (2020). A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 24029
Haddadian, S., & Scheytt, C. (2020). Analysis, Design and Implementation of a Fully Integrated Analog Front-End for Microwave RFIDs at 5.8 GHz to be Used with Compact MIMO Readers. IEEE Journal of Radio Frequency Identification, 1–1. https://doi.org/10.1109/JRFID.2020.3009741
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24030
Ballandras, S., Abughannam, S., Courjon, E., & Scheytt, C. (2020). Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers. GeMiC 2020 - German Microwave Conference.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 3583
Guetttatfi, Z., Kaufmann, P., & Platzner, M. (2020). Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices. In Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC).
LibreCat
2020 | Conference Paper | LibreCat-ID: 3800
Wachsmuth, H., & Werner, T. (2020). Intrinsic Quality Assessment of Arguments. In Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics (pp. 6739–6745).
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 3878
El Baff, R., Wachsmuth, H., Al-Khatib, K., & Stein, B. (2020). Analyzing the Persuasive Effect of Style in News Editorial Argumentation. In J. Tsujii & J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics (pp. 553–564).
LibreCat
2020 | Journal Article | LibreCat-ID: 29045 |
Engels, G. (2020). Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen. Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO), 363–370. https://doi.org/10.1007/s11612-020-00527-9
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 21016
Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser., 6(2), 15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries Reasoning for C11 RAR. In R. Hirschfeld & T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference) (Vol. 166, pp. 11:1-11:26). Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
Richter, C., & Wehrheim, H. (2020). Attend and Represent: A Novel View on Algorithm Selection for Software Verification. In 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020 (pp. 1016–1028). {IEEE}.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold, P. (2020). On Batch Proofs of Partial Knowledge.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous, A. (2020). Measuring the Performance of SNARK Libraries.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle, M. (2020). Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous, A. (2020). Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21268
Huhmann, T., Eilterts, K., Schulte, C., & Winkelnkemper, F. (2020). Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken. In Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis. Waxmann Verlag.
LibreCat
2020 | Journal Article | LibreCat-ID: 21269
Ködding, P., Reinhold, J., Scholtysik, M., & Dumitrescu, R. (2020). Consulting via Research in IMPRESS. Journal of Systemics, Cybernetics and Informatics, 18(2), 14–19.
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
Drewel, M., Özcan, L., Koldewey, C., & Gausemeier, J. (2020). Pattern‐based development of digital platforms. Creativity and Innovation Management. https://doi.org/10.1111/caim.12415
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 21324
Chandrakar, K. (2020). Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21377
Pierenkemper, C., & Gausemeier, J. (2020). Developing Strategies for Digital Transformation in SMEs with Maturity Models. In Proceeding of the ISPIM Connects. Bangkok.
LibreCat
2020 | Journal Article | LibreCat-ID: 21379
Dumitrescu, R., Drewel, M., & Falkowski, T. (2020). KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung. ZWF, Zeitschrift für wirtschaftliche Fabrikplanung, (1–2), 86–90.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21380
Anacker, H., Dumitrescu, R., Kharatyan, A., & Lipsmeier, A. (2020). Pattern based systems engineering – application of solution patterns in the design of intelligent technical systems. In Proceedings of the Design Society (pp. 1195–1204). Cavtat.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21381
Lipsmeier, A., Kühn, A., Joppen, R., & Dumitrescu, R. (2020). Process for the development of a digital strategy. In Procedia CIRP (pp. 173–178).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21382
Japs, S., Kharatyan, A., Tekaat, J., Kaiser, L., & Dumitrescu, R. (2020). Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation. In Proceedings of the Design Society. Cavtat.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21383
Jürgenhake, C., Anacker, H., & Dumitrescu, R. (2020). The digital Stadium – From future scenarios to technology and business model development. In Proceedings of the IEEE. Dortmund.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21384
Röltgen, D., & Dumitrescu, R. (2020). Classification of Industrial Augmented Reality Use Cases. In Procedia CIRP (pp. 93–100).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21385
Hobscheidt, D., Kühn, A., & Dumitrescu, R. (2020). Development of risk-optimized implementation paths for Industry 4.0 based on socio-technical pattern. In Procedia CIRP (pp. 832–837).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21386
Wortmann, F., Ellermann, K., Kühn, A., & Dumitrescu, R. (2020). Ideation for digital platforms based on a companies‘ ecosystem. In Procedia CIRP (pp. 559–564).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21387
Dyck, F., Stöcklein, J., Eckertz, D., & Dumitrescu, R. (2020). Mixed Mock-up – Development of an Interactive Augmented Reality System for Assembly Planning. In Virtual, Augmented and Mixed Reality. Design and Interaction (pp. 37–49). Copenhagen.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21388
Bretz, L., Koenemann, U., Anacker, H., & Dumitrescu, R. (2020). A contribution to the design of organizational structures suitable for Systems Engineering. In Procedia CIRP (pp. 101–106).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21389
Hillebrand, M., Greinert, M., Herzog, O., & Dumitrescu, R. (2020). Advanced Monkey Testing for connected autonomous systems. In Proceedings of the 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE) (pp. 163–168). Budapest.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21390
Hillebrand, M., Lakhani, M., & Dumitrescu, R. (2020). A design methodology for deep reinforcement learning for autonomous Systems. In Procedia Manufacturing 52 (pp. 266–271). https://doi.org/10.1016/j.promfg.2020.11.044
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 21391
Reinhart, F., von Enzberg, S., Kühn, A., & Dumitrescu, R. (2020). Machine Learning for Process-X: A Taxonomy. In J. Beyerer, A. Maier, & O. Niggemann (Eds.), Machine Learning for Cyber Physical Systems. Technologien für die intelligente Automation (Technologies for Intelligent Automation) (Vol. 11, pp. 25–33). Springer Vieweg, Berlin, Heidelberg.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21392
Henkenjohann, M., Joppen, R., Köchling, D., von Enzberg, S., Kühn, A., & Dumitrescu, R. (2020). Identification and specification of standard modules in production for a material flow simulation. In Procedia CIRP. Gulf of Naples.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21394
Grote, E.-M., Pfeifer, S., Röltgen, D., Kühn, A., & Dumitrescu, R. (2020). Towards defining role models in Advanced Systems Engineering. In Proceedings of the 2020 IEEE International Symposium on Systems Engineering. Wien.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21395
Dumitrescu, R., Tschirner, C., & Bansmann, M. (2020). Systems Engineering als Grundlage der Gestaltung digitaler Arbeitswelten in der Produktentstehung. In G. Maier, G. Engels, & E. Steffen (Eds.), Handbuch Gestaltung digitaler und vernetzter Arbeitswelten (pp. 405–432). Springer-Verlag GmbH.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21396
Jager, T., & Niehues, D. (2020). On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions. In Lecture Notes in Computer Science. Cham. https://doi.org/10.1007/978-3-030-38471-5_13
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Bachelorsthesis | LibreCat-ID: 21432
Henke, L.-S. (2020). Evaluation of a ReconOS-ROS Combination based on a Video Processing Application.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21438
Japs, S., Kharatyan, A., Kaiser, L., & Dumitrescu, R. (2020). CONSENS 3D: Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation. In Proceedings of the 16th International Design Conference (DESIGN 2020). Cavtat.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21439
Pfeifer, S., Seidenberg, T., Jürgenhake, C., Anacker, H., & Dumitrescu, R. (2020). Towards a modular product architecture for electric ferries using Model- Based Systems Engineering. In Procedia Manufacturing.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21440
Wiecher, C., Japs, S., Kaiser, L., Greenyer, J., Wolff, C., & Dumitrescu, R. (2020). Scenarios in the Loop: Integrated Requirements Analysis and Automotive System Validation. In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21441
Yee, J., Low, C. Y., Ong, P., Soh, W., Hannapiah, F. A., Zakaria, N., … Dumitrescu, R. (2020). Verification of Mathematical Model for Upper Limb Spasticity with Clinical Data. In IOP Conference Series: Materials Science and Engineering. https://doi.org/10.1088/1757-899x/824/1/012013
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21480
Anjorin, A., Weidmann, N., Oppermann, R., Fritsche, L., & Schürr, A. (2020). Automating test schedule generation with domain-specific languages. In E. Syriani, H. Sahraoui, J. de Lara, & S. Abrahao (Eds.), Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020. Virtual Event, Canada: ACM. https://doi.org/10.1145/3365438.3410991
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21481
Weidmann, N., Fritsche, L., & Anjorin, A. (2020). A search-based and fault-tolerant approach to concurrent model synchronisation. In R. Lämmel, L. Tratt, & J. de Lara (Eds.), Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020. Virtual Event, USA: ACM. https://doi.org/10.1145/3426425.3426932
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21482
Weidmann, N., Anjorin, A., & Cheney, J. (2020). VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems. In B. Hoffmann & M. Minas (Eds.), Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020 (pp. 1–12). Online-Workshop: EPTCS. https://doi.org/10.4204/eptcs.330.1
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21483
Jovanovikj, I., Weidmann, N., Yigitbas, E., Anjorin, A., Sauer, S., & Engels, G. (2020). A Model-Driven Mutation Framework for Validation of Test Case Migration. In Ö. Babur, J. Denil, & B. Vogel-Heuser (Eds.), Proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020 . Cham: Springer. https://doi.org/10.1007/978-3-030-58167-1_2
LibreCat
| DOI
2020 | Special Issue | LibreCat-ID: 21486
Bernijazov, R., Özcan, L., & Dumitrescu, R. (Eds.). (2020). AI Marketplace – The Ecosystem for Artificial Intelligence in Product Creation . ERCIM News (pp. 36–37).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21534
Bengs, V., & Hüllermeier, E. (2020). Preselection Bandits. In International Conference on Machine Learning (pp. 778–787).
LibreCat
2020 | Preprint | LibreCat-ID: 21536
Bengs, V., & Hüllermeier, E. (2020). Multi-Armed Bandits with Censored Consumption of Resources. ArXiv:2011.00813.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21541
Lange, S., Schroder, D., Hedayat, C., Hangmann, C., Otto, T., & Hilleringmann, U. (2020). Investigation of the Surface Equivalence Principle on a Metal Surface for a Near-Field to Far-Field Transformation by the NFS3000. In 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Rome, Italy : IEEE. https://doi.org/10.1109/emceurope48519.2020.9245697
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 21584
Gatica, C. P., & Platzner, M. (2020). Adaptable Realization of Industrial Analytics Functions on Edge-Devices using Reconfigurable Architectures. In Machine Learning for Cyber Physical Systems (ML4CPS 2017). Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-59084-3_9
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 17337
Jazayeri, B., Schwichtenberg, S., Küster, J., Zimmermann, O., & Engels, G. (2020). Modeling and Analyzing Architectural Diversity of Open Platforms. In Advanced Information Systems Engineering. Cham. https://doi.org/10.1007/978-3-030-49435-3_3
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 17352
Moritzer, E., Hüttner, M., Henning, B., & Webersen, M. (2020). The Influence of Hydrothermal Aging on the Material Properties of Continuous Fiber-Reinforced Thermoplastics and its Non-Destructive Characterization. In C. Hopmann & R. Dahlmann (Eds.), Advances in Polymer Processing 2020. Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-662-60809-8_16
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 17358
Witschen, L. M., Wiersema, T., & Platzner, M. (2020). Proof-carrying Approximate Circuits. IEEE Transactions On Very Large Scale Integration Systems, 28(9), 2084–2088. https://doi.org/10.1109/TVLSI.2020.3008061
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 17369
Ho, N., Kaufmann, P., & Platzner, M. (2020). Evolution of Application-Specific Cache Mappings. International Journal of Hybrid Intelligent Systems.
LibreCat
2020 | Conference Paper | LibreCat-ID: 17370
Castenow, J., Feldkord, B., Knollmann, T., Malatyali, M., & Meyer auf der Heide, F. (2020). The Online Multi-Commodity Facility Location Problem. In Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures. https://doi.org/10.1145/3350755.3400281
LibreCat
| Files available
| DOI
| arXiv
2020 | Conference Paper | LibreCat-ID: 17371
Castenow, J., Kling, P., Knollmann, T., & Meyer auf der Heide, F. (2020). Brief Announcement: A Discrete and Continuous Study of the Max-Chain-Formation Problem: Slow Down to Speed up. In Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures. https://doi.org/10.1145/3350755.3400263
LibreCat
| Files available
| DOI
| arXiv
2020 | Conference Paper | LibreCat-ID: 17398
Turcanu, I., Engel, T., & Sommer, C. (2020). Fog Seeding Strategies for Information-Centric Heterogeneous Vehicular Networks. In 2019 IEEE Vehicular Networking Conference (VNC). https://doi.org/10.1109/vnc48660.2019.9062816
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 17405
Frank, M., Gausemeier, J., Hennig-Cardinal von Widdern, N., Koldewey, C., Menzefricke, J. S., & Reinhold, J. (2020). A reference process for the Smart Service business: development and practical implications. In Proceedings of the ISPIM connects. International Society for Professional Innovation Management (ISPIM).
LibreCat
2020 | Conference Paper | LibreCat-ID: 17406
Becker, J.-K., Joachim, K., Koldewey, C., Reinhold, J., & Dumitrescu, R. (2020). Scaling Digital Business Models: A Case from the Automotive Industry. In Proceedings of the 2020 ISPIM Innovation Conference (Virtual) Event “Innovating in Times of Crisis.” ISPIM Innovation Conference.
LibreCat
2020 | Conference Paper | LibreCat-ID: 17407
Tornede, A., Wever, M. D., & Hüllermeier, E. (2020). Extreme Algorithm Selection with Dyadic Feature Representation. Discovery Science. Discovery Science 2020.
LibreCat