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.

3333 Publications


2020 | Dissertation | LibreCat-ID: 15482
Cryptography for the Crowd — A Study of Cryptographic Schemes with Applications to Crowd Work
N. Löken, Cryptography for the Crowd — A Study of Cryptographic Schemes with Applications to Crowd Work, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 15266
Integrated Model-driven Development of Self-adaptive User Interfaces (to appear)
E. Yigitbas, I. Jovanovikj, K. Biermeier, S. Sauer, G. Engels, International Journal on Software and Systems Modeling (SoSyM) (2020).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16214
Reproducing Taint-Analysis Results with ReproDroid
F. Pauck, E. Bodden, H. Wehrheim, in: M. Felderer, W. Hasselbring, R. Rabiser, R. Jung (Eds.), Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, Gesellschaft f{\"{u}}r Informatik e.V., 2020, pp. 123–124.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16219
Machine Learning for Dynamic Resource Allocation in Network Function Virtualization
S.B. Schneider, N.P. Satheeschandran, M. Peuster, H. Karl, in: IEEE Conference on Network Softwarization (NetSoft), IEEE, 2020.
LibreCat | Files available
 

2020 | Journal Article | LibreCat-ID: 15836
Self-aware Cyber-Physical Systems
K. Bellman, N. Dutt, L. Esterle, A. Herkersdorf, A. Jantsch, C. Landauer, P. R. Lewis, M. Platzner, N. TaheriNejad, K. Tammemäe, ACM Transactions on Cyber-Physical Systems Accepted for Publication (2020) 1–24.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17084
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
N. Weidmann, A. Anjorin, in: Fundamental Approaches to Software Engineering, Cham, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 16790
Development Framework for Context-Aware Augmented Reality Applications
S.C. Krings, E. Yigitbas, I. Jovanovikj, S. Sauer, G. Engels, in: Proceedings of the 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2020), 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 17337
Modeling and Analyzing Architectural Diversity of Open Platforms
B. Jazayeri, S. Schwichtenberg, J. Küster, O. Zimmermann, G. Engels, in: Advanced Information Systems Engineering, Cham, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 15267
On the Development of Context-aware Augmented Reality Applications (to appear)
E. Yigitbas, I. Jovanovikj, S. Sauer, G. Engels, in: Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes - IFIP WG 13.2/13.5, Springer, LNCS, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16570
Challenges in Model-Driven Development of Multi-Platform Augmented Reality Applications (to appear)
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, Softwaretechnik-Trends, Proceedings of the 22st Workshop Software-Reengineering & Evolution (WSRE) & 11h Workshop Design for Future (DFF) (2020).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16222
Benchmarking and Profiling 5G Verticals' Applications: An Industrial IoT Use Case
A. Zafeiropoulos, E. Fotopoulou, M. Peuster, S.B. Schneider, P. Gouvas, D. Behnke, M. Müller, P. Bök, P. Trakadas, P. Karkazis, H. Karl, in: IEEE Conference on Network Softwarization (NetSoft), 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16277
CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations
T. Kühne, M. Iannuzzi, M.D. Ben, V.V. Rybkin, P. Seewald, F. Stein, T. Laino, R.Z. Khaliullin, O. Schütt, F. Schiffmann, D. Golze, J. Wilhelm, S. Chulkov, M.H.B.-H. Mohammad Hossein Bani-Hashemian, V. Weber, U. Borstnik, M. Taillefumier, A.S. Jakobovits, A. Lazzaro, H. Pabst, T. Müller, R. Schade, M. Guidon, S. Andermatt, N. Holmberg, G.K. Schenter, A. Hehn, A. Bussy, F. Belleflamme, G. Tabacchi, A. Glöß, M. Lass, I. Bethune, C.J. Mundy, C. Plessl, M. Watkins, J. VandeVondele, M. Krack, J. Hutter, The Journal of Chemical Physics 152 (2020).
LibreCat | Files available | DOI | Download (ext.) | arXiv
 

2020 | Conference Paper | LibreCat-ID: 15820
End-to-End Argumentation Knowledge Graph Construction
K. Al-Khatib, Y. Hou, H. Wachsmuth, C. Jochim, F. Bonin, B. Stein, in: Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2020), 2020, pp. 7367–7374.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 17092
Dynamic Reliability Management for FPGA-Based Systems
J. Anwer, S. Meisner, M. Platzner, International Journal of Reconfigurable Computing (2020) 1–19.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 15825
Investigating Expectations for Voice-based and Conversational Argument Search on the Web
J. Kiesel, K. Lang, H. Wachsmuth, E. Hornecker, B. Stein, in: Proceedings of the 2020 ACM SIGIR Conference on Human Information Interaction & Retrieval (CHIIR 2020), 2020, pp. 53–62.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 15604
Concept-based Co-Migration of Test Cases
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, 2020.
LibreCat | DOI
 

2020 | Mastersthesis | LibreCat-ID: 15770
On the complexity of local transformations in SDN overlays
D. Warner, On the Complexity of Local Transformations in SDN Overlays, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 15826
Abstractive Snippet Generation
W.-F. Chen, S. Syed, B. Stein, M. Hagen, M. Potthast, in: Proceedings of the the Web Conference 2020, 2020, pp. 1309–1319.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 15629
LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification
M.D. Wever, A. Tornede, F. Mohr, E. Hüllermeier, in: Springer, n.d.
LibreCat
 

2020 | Dissertation | LibreCat-ID: 15631
Mobile Resource Allocation
B. Feldkord, Mobile Resource Allocation, 2020.
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 16278
A UAV-based moving 5G RAN for massive connectivity of mobile users and IoT devices
N. Nomikos, E.T. Michailidis, P. Trakadas, D. Vouyioukas, H. Karl, J. Martrat, T. Zahariadis, K. Papadopoulos, S. Voliotis, Vehicular Communications (2020).
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 16280
Multi-Armed-Bandit-Based Spectrum Scheduling Algorithms in Wireless Networks: A Survey
F. Li, D. Yu, H. Yang, J. Yu, H. Karl, X. Cheng, IEEE Wireless Communications (2020) 24–30.
LibreCat | DOI
 

2020 | Preprint | LibreCat-ID: 16898 LibreCat | arXiv
 

2020 | Conference Paper | LibreCat-ID: 3878
Analyzing the Persuasive Effect of Style in News Editorial Argumentation
R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16487
Privacy-Preserving Incentive Systems with Highly Efficient Point-Collection
J. Bobolz, F. Eidens, S. Krenn, D. Slamanig, C. Striecks, in: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIA CCS ’20), ACM, New York, NY, USA, 2020.
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 15821
Touché: First Shared Task on Argument Retrieval
A. Bondarenko, M. Hagen, M. Potthast, H. Wachsmuth, M. Beloucif, C. Biemann, A. Panchenko, B. Stein, in: Proceedings of the 42nd European Conference on Information Retrieval (ECIR 2020), 2020, pp. 517–523.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 15605
Test Case Co-Migration Method Patterns
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, Software Engineering 2020 Workshopband (2020).
LibreCat
 

2020 | Journal Article | LibreCat-ID: 12878
Accurate Sampling with Noisy Forces from Approximate Computing
V. Rengaraj, M. Lass, C. Plessl, T. Kühne, Computation 8 (2020).
LibreCat | DOI | Download (ext.) | arXiv
 

2020 | Conference Paper | LibreCat-ID: 16363
Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold
T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, n.d.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16933
Hypothesis-driven Adaptation of Business Models based on Product Line Engineering (To Appear)
S. Gottschalk, F. Rittmeier, G. Engels, in: Proceedings of the 22nd IEEE International Conference on Business Informatics, IEEE, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16724
Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
A. Sharma, H. Wehrheim, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)., ACM, n.d.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 3583
Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices
Z. Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16902
Survey on Algorithms for Self-Stabilizing Overlay Networks
M. Feldmann, C. Scheideler, S. Schmid, ACM Computing Surveys (2020).
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17063
An Adaption Mechanism for the Error Threshold of XCSF
T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16274
Validating Test Case Migration via Mutation Analysis (to appear)
I. Jovanovikj, A. Nagaraj, E. Yigitbas, A. Anjorin, S. Sauer, G. Engels, in: Proceedings of the 1st IEEE/ACM International Conference on Automation of Software Test AST, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17082
Coflow Scheduling with Performance Guarantees for Data Center Applications
A. Hasnain, H. Karl, in: 2020 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID), IEEE Computer Society, 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 16868
Target Inference in Argument Conclusion Generation
M. Alshomary, S. Syed, M. Potthast, H. Wachsmuth, in: Proceedings of 58th Annual Meeting of the Association for Computational Linguistics (ACL 2020), Association for Computational Linguistics, 2020, pp. 4334–4345.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 13226
Oracle complexity classes and local measurements on physical Hamiltonians
S. Gharibian, S. Piddock, J. Yirka, in: Proceedings of the 37th Symposium on Theoretical Aspects of Computer Science (STACS 2020), n.d., p. 38.
LibreCat | Download (ext.) | arXiv
 

2020 | Conference Paper | LibreCat-ID: 15169
A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 21st International Conference on Distributed Computing and Networking (ICDCN), ACM, n.d.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16213
A Hybrid Synthesis Methodology for Approximate Circuits
M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: Proceedings of the 30th ACM Great Lakes Symposium on VLSI (GLSVLSI) 2020, ACM, n.d., pp. 1–6.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16852
A Runtime System for Finite Element Methods in a Partitioned Global Address Space
S. Groth, D. Grünewald, J. Teich, F. Hannig, in: Proceedings of the 17th ACM International Conference on Computing Frontiers (CF ’2020), ACM, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 16934
Model-based Hypothesis Engineering for Supporting Adaptation to Uncertain Customer Needs (To Appear)
S. Gottschalk, E. Yigitbas, G. Engels, in: B. Shishkov (Ed.), Business Modeling and Software Design, Springer International Publishing, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 16725
Algorithm Selection for Software Validation Based on Graph Kernels
C. Richter, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (n.d.).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 16903
Time- and Space-Optimal Discrete Clock Synchronization in the Beeping Model
M. Feldmann, A. Khazraei, C. Scheideler, in: Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2020.
LibreCat | DOI | arXiv
 

2020 | Conference Paper | LibreCat-ID: 7283
Extractive Snippet Generation for Arguments
M. Alshomary, N. Düsterhus, H. Wachsmuth, in: Proceedings of 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 17071
Model-Driven Mutation Framework for Validation of Test Case Migration (to appear)
I. Jovanovikj, N. Weidmann, E. Yigitbas, A. Anjorin, S. Sauer, G. Engels, in: Proceedings of the International Conference on Systems Modelling and Management ICSMM, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 8426
Towards Quantum One-Time Memories from Stateless Hardware
A. Broadbent, S. Gharibian, H.-S. Zhou, in: Proceedings of the 15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC), Leibniz International Proceedings in Informatics (LIPIcs), 2020, pp. 6:1-6:25.
LibreCat | Download (ext.) | arXiv
 

2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229–233.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10108
Together Strong: Cooperative Android App Analysis
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, n.d., pp. 374–384.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 11714
Data Acquisition for Argument Search: The args.me Corpus
Y. Ajjour, H. Wachsmuth, J. Kiesel, M. Potthast, M. Hagen, B. Stein, in: Proceedings of the 42nd Edition of the German Conference on Artificial Intelligence, 2019, pp. 48–59.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13138
Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach
S. Gottschalk, F. Rittmeier, G. Engels, in: S. Hyrynsalmi, M. Suoranta, A. Nguyen-Duc, P. Tyrväinen, P. Abrahamsson (Eds.), Software Business, Springer International Publishing, Cham, 2019, pp. 192–207.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13140
From Pattern Invocation Networks to Rule Preconditions
N. Weidmann, A. Anjorin, F. Stolte, F. Kraus, in: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, 2019, pp. 195–211.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 12894
ABIS 2019 – 23rd International Workshop on Personalization and Recommendation on the Web and Beyond
M. Augstein, E. Herder, W. Wörndl, E. Yigitbas, in: 30th ACM Conference on Hypertext and Social Media (HT ’19), September 17–20, 2019, Hof, Germany, ACM, 2019.
LibreCat
 

2019 | Book Chapter | LibreCat-ID: 12072
Veins: The Open Source Vehicular Network Simulation Framework
C. Sommer, D. Eckhoff, A. Brummer, D.S. Buse, F. Hagenauer, S. Joerer, M. Segata, in: Recent Advances in Network Simulation, Cham, 2019.
LibreCat | DOI
 

2019 | Dissertation | LibreCat-ID: 13126
Organic Programming of Dynamic Real-Time Applications
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Paderborn University, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 12870
Managing Multiple Mobile Resources
B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th Workshop on Approximation and Online Algorithms (WAOA), Springer, 2019, pp. 120–137.
LibreCat | DOI | arXiv
 

2019 | Conference Paper | LibreCat-ID: 12882
A Rapid Prototyping for Wireless Virtual Network Embedding using MARVELO
H. Afifi, H. Karl, S. Eikenberg, A. Mueller, L. Gansel, A. Makejkin, K. Hannemann, R. Schellenberg, in: 2019 IEEE Wireless Communications and Networking Conference (WCNC) (IEEE WCNC 2019), Marrakech, Morocco, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 11985
Efficient Multi-Channel Simulation of Wireless Communications
F. Bronner, C. Sommer, in: 2018 IEEE Vehicular Networking Conference (VNC), 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13873
The Mobile Server Problem
B. Feldkord, F. Meyer auf der Heide, ACM Transactions on Parallel Computing (TOPC) 6 (2019).
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 13652
Fast Distributed Algorithms for LP-Type Problems of Low Dimension
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13993
Verifying Correctness of Persistent Concurrent Data Structures
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 14028
Adaptive confidence sets for kink estimation
V. Bengs, H. Holzmann, Electronic Journal of Statistics (2019) 1523–1579.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15374
Demonstrating FOP4: A Flexible Platform to Prototype NFV Offloading Scenarios
D. Moro, M. Peuster, H. Karl, A. Capone, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), IEEE, Dallas, 2019.
LibreCat | Files available
 

2019 | Conference (Editor) | LibreCat-ID: 15235
Proceedings of the 6th Workshop on Argument Mining
B. Stein, H. Wachsmuth, eds., Proceedings of the 6th Workshop on Argument Mining, Association for Computational Linguistics, Florence, Italy, 2019.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 15002
Multi-target prediction: a unifying view on problems and methods
W. Waegeman, K. Dembczynski, E. Hüllermeier, Data Mining and Knowledge Discovery 33 (2019) 293–324.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 15007
Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA
V. Melnikov, E. Hüllermeier, in: Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101), 2019.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 15014
Learning from Imprecise Data: Adjustments of Optimistic and Pessimistic Variants
E. Hüllermeier, I. Couso, S. Diestercke, in: Proceedings SUM 2019, International Conference on Scalable Uncertainty Management, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15583
Das RetiBNE Café
A.-K. Schmidt, C. Schulte, in: Informatik für alle, 18. GI-Fachtagung Informatik und Schule, (INFOS) 2019, 16.-18. September 2019, Dortmund, 2019, pp. 315–324.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14819
Modeling Cycling Behavior to Improve Bicyclists' Safety at Intersections - A Networking Perspective
J. Heinovski, L. Stratmann, D.S. Buse, F. Klingler, M. Franke, M.-C.H. Oczko, C. Sommer, I. Scharlau, F. Dressler, in: 2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM), 2019.
LibreCat | DOI
 

2019 | Preprint | LibreCat-ID: 16341
Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels
S. Brandt, C. Jähn, M. Fischer, F. Meyer auf der Heide, ArXiv:1904.08225 (2019).
LibreCat | Download (ext.) | arXiv
 

2019 | Mastersthesis | LibreCat-ID: 15920
A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking
M. Keerthipati, A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking, Paderborn University, 2019.
LibreCat
 

2019 | Bachelorsthesis | LibreCat-ID: 15747
On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model
N.C. Wördenweber, On the Security of the Rouselakis-Waters Ciphertext-Policy Attribute-Based Encryption Scheme in the Random Oracle Model, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15641
Maschinelles Lernen im Unterricht mit Jupyter Notebook
M. Schlichtig, S.A. Opel, C. Schulte, R. Biehler, D. Frischemeier, S. Podworny, T. Wassong, in: INFOS, Gesellschaft für Informatik, 2019, p. 385.
LibreCat
 

2019 | Preprint | LibreCat-ID: 16853
Jump Search: A Fast Technique for the Synthesis of Approximate Circuits
L.M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, M. Platzner, Fourth Workshop on Approximate Computing (AxC 2019) (n.d.).
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 3585
CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Microelectronics Reliability 99 (2019) 277–290.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 3287
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124.
LibreCat | Files available | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 6976
Always be Two Steps Ahead of Your Enemy - Maintaining a Routable Overlay under Massive Churn with an Almost Up-to-date Adversary
T. Götte, V.R. Vijayalakshmi, C. Scheideler, in: Proceedings of the 2019 IEEE 33rd International Parallel  and Distributed Processing Symposium (IPDPS ’19), IEEE, n.d.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 7626
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 7669
A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), Springer, LNCS, 2019, pp. 398–409.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 8080
Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games
M. Feldotto, Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games, Paderborn, 2019.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 8833
Detection and Resolution of Data-Flow Differences in Business Process Models
I. Jovanovikj, E. Yigitbas, C. Gerth, S. Sauer, G. Engels, in: C. Cappiello, M. Ruiz (Eds.), Information Systems Engineering in Responsible Information Systems - CAiSE Forum 2019, Rome, Italy, June 3-7, 2019, Proceedings, 2019, pp. 145–157.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 8871
Distributed Computation in Node-Capacitated Networks
J. Augustine, M. Ghaffari, R. Gmyr, K. Hinnenthal, F. Kuhn, J. Li, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2019, pp. 69--79.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 9824
Introducing Automated Verification and Validation for Virtualized Network Functions and Services
M. Peuster, S.B. Schneider, M. Zhao, G. Xilouris, P. Trakadas, F. Vicens, W. Tavernier, T. Soenen, R. Vilalta, G. Andreou, D. Kyriazis, H. Karl, IEEE Communications Magazine (2019) 96–102.
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 9913
Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan
Q.A. Ahmed, T. Wiersema, M. Platzner, in: C. Hochberger, B. Nelson, A. Koch, R. Woods, P. Diniz (Eds.), Applied Reconfigurable Computing, Springer International Publishing, Cham, 2019, pp. 127–136.
LibreCat | Files available | DOI
 

2019 | Mastersthesis | LibreCat-ID: 15874
Implementing a Real-time System on a Platform FPGA operated with ReconOS
C. Lienen, Implementing a Real-Time System on a Platform FPGA Operated with ReconOS, Universität Paderborn, 2019.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 10091
Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10577
Jump Search: A Fast Technique for the Synthesis of Approximate Circuits
L.M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, M. Platzner, in: Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19, ACM, New York, NY, USA, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10281
From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation
M. Feldotto, P. Lenzner, L. Molitor, A. Skopalik, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2019, pp. 1949--1951.
LibreCat | Files available | Download (ext.)
 

2019 | Mastersthesis | LibreCat-ID: 10306
Post-Quantum Secure Group Signatures
L.A. Porzenheim, Post-Quantum Secure Group Signatures, 2019.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 10325
Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing
M. Peuster, M. Marchetti, G. García de Blas, H. Karl, EURASIP Journal on Wireless Communications and Networking (2019).
LibreCat | Files available | DOI | Download (ext.)
 

2019 | Mastersthesis | LibreCat-ID: 10344
Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine
S. Pukrop, Scheduling Algorithms for Multi-Operation Jobs with Setups on a Single Machine, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13292
"Producing Cloud-Native": Smart Manufacturing Use Cases on Kubernetes
S.B. Schneider, M. Peuster, K. Hannemann, D. Behnke, M. Müller, P.-B. Bök, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track, IEEE, Dallas, TX, USA, 2019.
LibreCat | Files available
 

2019 | Conference Paper | LibreCat-ID: 13141
Incremental (Unidirectional) Model Transformation with eMoflon::IBeX
N. Weidmann, A. Anjorin, P. Robrecht, G. Varró, in: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, 2019, pp. 131–140.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 11950
Zynq-based acceleration of robust high density myoelectric signal processing
A. Boschmann, A. Agne, G. Thombansen, L.M. Witschen, F. Kraus, M. Platzner, Journal of Parallel and Distributed Computing 123 (2019) 77–89.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 12871
FPGAs im Rechenzentrum
M. Platzner, C. Plessl, Informatik Spektrum (2019).
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 13874
When Are Software Verification Results Valid for Approximate Hardware?
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, in: Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3–20.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13937 LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13557
Dynamic Searchable Encryption with Access Control
J. Blömer, N. Löken, in: 12th International Symposium on Foundations and Practice of Security, FPS 2019, Springer, 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15332
Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material
M. Schlichtig, S.A. Opel, L. Budde, C. Schulte, in: E. Jasutė, S. Pozdniakov (Eds.), ISSEP 2019 - 12th International Conference on Informatics in Schools: Situation, Evaluation and Perspectives, Local Proceedings, 2019, pp. 65–73.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15375
Putting NFV into Reality: Physical Smart Manufacturing Testbed
M. Müller, D. Behnke, P.-B. Bök, S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), IEEE, Dallas, 2019.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed