SFB 901
Project Period: 2011-07-01
Externally Funded
Acronym
SFB 901
Principal Investigator
Friedhelm Meyer auf der Heide
Funding Organisation
DFG
843 Publications
2017 | | LibreCat-ID: 1057
Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries
O. Sürücü, B. Djawadi, S. Brangewitz, Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries, Universität Paderborn, 2017.
LibreCat
O. Sürücü, B. Djawadi, S. Brangewitz, Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries, Universität Paderborn, 2017.
2016 | | LibreCat-ID: 178
On the Design and Defense of Networks - An Experimental Investigation
A.E. Endres, On the Design and Defense of Networks - An Experimental Investigation, Universität Paderborn, 2016.
LibreCat
A.E. Endres, On the Design and Defense of Networks - An Experimental Investigation, Universität Paderborn, 2016.
2018 | | LibreCat-ID: 1165
Making the Case for Proof-carrying Approximate Circuits
L. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018).
LibreCat
L. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018).
2018 | | LibreCat-ID: 1177
A Case for a New IT Ecosystem: On-The-Fly Computing
H. Karl, D. Kundisch, F. Meyer auf der Heide, H. Wehrheim, (2018).
LibreCat
| PDF
H. Karl, D. Kundisch, F. Meyer auf der Heide, H. Wehrheim, (2018).
2016 | | LibreCat-ID: 161
Reconfigurable Accelerators in the World of General-Purpose Computing
T. Kenter, Reconfigurable Accelerators in the World of General-Purpose Computing, Universität Paderborn, 2016.
LibreCat
| PDF
T. Kenter, Reconfigurable Accelerators in the World of General-Purpose Computing, Universität Paderborn, 2016.
2018 | | LibreCat-ID: 1204
Automated Code Acceleration Targeting Heterogeneous OpenCL Devices
H. Riebler, G.F. Vaz, T. Kenter, C. Plessl, in:, Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP ’18, ACM Press, 2018.
LibreCat
| DOI
H. Riebler, G.F. Vaz, T. Kenter, C. Plessl, in:, Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP ’18, ACM Press, 2018.
2014 | | LibreCat-ID: 332
Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten
M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten, Universität Paderborn, 2014.
LibreCat
M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 344
Towards Systematic Configuration for Architecture Validation
M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in:, Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat
| PDF
M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in:, Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
2014 | | LibreCat-ID: 349
The Legal Classification of Identity-Based Signatures
C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.
LibreCat
| PDF
C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.
2014 | | LibreCat-ID: 351
The Impact of Customer Reviews and Reputation on Hotel Prices
L. Holzweißig, The Impact of Customer Reviews and Reputation on Hotel Prices, Universität Paderborn, 2014.
LibreCat
L. Holzweißig, The Impact of Customer Reviews and Reputation on Hotel Prices, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 368
Scheduling Shared Continuous Resources on Many-Cores
A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S. Riechers, T. Süss, in:, Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2014, pp. 128–137.
LibreCat
| PDF
| DOI
A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S. Riechers, T. Süss, in:, Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2014, pp. 128–137.
2014 | | LibreCat-ID: 370
Routing Games with Progressive Filling
T. Harks, M. Höfer, K. Schewior, A. Skopalik, in:, Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 2014, pp. 352–360.
LibreCat
| PDF
| DOI
T. Harks, M. Höfer, K. Schewior, A. Skopalik, in:, Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 2014, pp. 352–360.
2014 | | LibreCat-ID: 394
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
S. Schwichtenberg, C. Gerth, Z. Huma, G. Engels, in:, Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
LibreCat
| PDF
| DOI
S. Schwichtenberg, C. Gerth, Z. Huma, G. Engels, in:, Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
2014 | | LibreCat-ID: 399
Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring
T. Wiersema, S. Drzevitzky, M. Platzner, in:, Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
LibreCat
| PDF
| DOI
T. Wiersema, S. Drzevitzky, M. Platzner, in:, Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
2014 | | LibreCat-ID: 402
Market-optimized Service Specification and Matching
S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, in:, X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
LibreCat
| PDF
| DOI
S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, in:, X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
2016 | | LibreCat-ID: 224
A short survey on using software error localization for service compositions
J. Krämer, H. Wehrheim, in:, Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248–262.
LibreCat
| PDF
| DOI
J. Krämer, H. Wehrheim, in:, Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248–262.
2015 | | LibreCat-ID: 229
Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse
H. Schulz, Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse, Universität Paderborn, 2015.
LibreCat
H. Schulz, Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse, Universität Paderborn, 2015.
2015 | | LibreCat-ID: 231
What did you mean? Facing the Challenges of User-generated Software Requirements
M. Geierhos, S. Schulze, F.S. Bäumer, in:, S. Loiseau, J. Filipe, B. Duval, J. van den Herik (Eds.), Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015), SciTePress - Science and Technology Publications, Setúbal, Portugal, 2015, pp. 277–283.
LibreCat
| PDF
| DOI
M. Geierhos, S. Schulze, F.S. Bäumer, in:, S. Loiseau, J. Filipe, B. Duval, J. van den Herik (Eds.), Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015), SciTePress - Science and Technology Publications, Setúbal, Portugal, 2015, pp. 277–283.
2015 | | LibreCat-ID: 250
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
M.-C. Jakobs, in:, Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159–174.
LibreCat
| PDF
| DOI
M.-C. Jakobs, in:, Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159–174.
2015 | | LibreCat-ID: 262
Programs from Proofs of Predicated Dataflow Analyses
M.-C. Jakobs, H. Wehrheim, in:, Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
LibreCat
| PDF
| DOI
M.-C. Jakobs, H. Wehrheim, in:, Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
2015 | | LibreCat-ID: 274
Non-preemptive Scheduling on Machines with Setup Times
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in:, F. Dehne, J.R. Sack, U. Stege (Eds.), Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, 2015, pp. 542–553.
LibreCat
| PDF
| DOI
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in:, F. Dehne, J.R. Sack, U. Stege (Eds.), Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, 2015, pp. 542–553.
2015 | | LibreCat-ID: 279
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes
M.C. Platenius, S. Arifulina, W. Schäfer, in:, Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84.
LibreCat
| PDF
| DOI
M.C. Platenius, S. Arifulina, W. Schäfer, in:, Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84.
2015 | | LibreCat-ID: 281
Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network
T. Rojahn, Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network, Universität Paderborn, 2015.
LibreCat
T. Rojahn, Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network, Universität Paderborn, 2015.
2015 | | LibreCat-ID: 298
Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit
D. Plonka, Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit, Universität Paderborn, 2015.
LibreCat
D. Plonka, Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit, Universität Paderborn, 2015.
2015 | | LibreCat-ID: 306
Diffusion of Innovations in Social Networks
C. Kunisch, Diffusion of Innovations in Social Networks, Universität Paderborn, 2015.
LibreCat
C. Kunisch, Diffusion of Innovations in Social Networks, Universität Paderborn, 2015.
2015 | | LibreCat-ID: 313
Comprehensive Service Matching with MatchBox
P. Börding, M. Bruns, M.C. Platenius, in:, 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974–977.
LibreCat
| PDF
| DOI
P. Börding, M. Bruns, M.C. Platenius, in:, 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974–977.
2012 | | LibreCat-ID: 589
Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment
R. Petrlic, in:, Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012, pp. 958–963.
LibreCat
| PDF
| DOI
R. Petrlic, in:, Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012, pp. 958–963.
2012 | | LibreCat-ID: 596
Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey
M. Becker, M. Luckey, S. Becker, in:, Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–122.
LibreCat
| PDF
| DOI
M. Becker, M. Luckey, S. Becker, in:, Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–122.
2012 | | LibreCat-ID: 611
Generating Adjustable Temperature Gradients on modern FPGAs
H. Hangmann, Generating Adjustable Temperature Gradients on Modern FPGAs, Universität Paderborn, 2012.
LibreCat
H. Hangmann, Generating Adjustable Temperature Gradients on Modern FPGAs, Universität Paderborn, 2012.
2012 | | LibreCat-ID: 623
Competitive and fair throughput for co-existing networks under adversarial interference
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in:, Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC), 2012, pp. 291–300.
LibreCat
| PDF
| DOI
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in:, Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC), 2012, pp. 291–300.
2012 | | LibreCat-ID: 630
Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies
M.C. Platenius, M. von Detten, S. Becker, in:, Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
LibreCat
| PDF
| DOI
M.C. Platenius, M. von Detten, S. Becker, in:, Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
2012 | | LibreCat-ID: 635
An Optimization Model for the optimal Usage of Water Tanks in Water Supply Systems
C. Dohle (married name: Hallmann) , L. Suhl, in:, Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD), 2012, pp. 404–408.
LibreCat
| PDF
C. Dohle (married name: Hallmann) , L. Suhl, in:, Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD), 2012, pp. 404–408.
2017 | | LibreCat-ID: 65
reMinMin: A Novel Static Energy-Centric List Scheduling Approach Based on Real Measurements
A. Lösch, M. Platzner, in:, Proceedings of the 28th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2017.
LibreCat
A. Lösch, M. Platzner, in:, Proceedings of the 28th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2017.
2011 | | LibreCat-ID: 654
PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned
K. Graffi, in:, Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–155.
LibreCat
| PDF
| DOI
K. Graffi, in:, Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–155.
2011 | | LibreCat-ID: 661
Coverage Criteria for Testing DMM Specifications
S. Arifulina, Coverage Criteria for Testing DMM Specifications, Universität Paderborn, 2011.
LibreCat
S. Arifulina, Coverage Criteria for Testing DMM Specifications, Universität Paderborn, 2011.
2011 | | LibreCat-ID: 666
Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach
S. Drzevitzky, M. Platzner, in:, Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011, pp. 58–65.
LibreCat
| PDF
| DOI
S. Drzevitzky, M. Platzner, in:, Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011, pp. 58–65.
2014 | | LibreCat-ID: 407
Issues of Automated Software Composition in AI Planning
F. Mohr, in:, Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 2014, pp. 895–898.
LibreCat
| PDF
| DOI
F. Mohr, in:, Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 2014, pp. 895–898.
2014 | | LibreCat-ID: 426
Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.
LibreCat
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 433
Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA
T. Wiersema, A. Bockhorn, M. Platzner, in:, Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
LibreCat
| PDF
| DOI
T. Wiersema, A. Bockhorn, M. Platzner, in:, Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
2014 | | LibreCat-ID: 438
Designing an Anonymous and Secure Reputation System Using a Group Signature Variant
A. Kokoschka, Designing an Anonymous and Secure Reputation System Using a Group Signature Variant, Universität Paderborn, 2014.
LibreCat
A. Kokoschka, Designing an Anonymous and Secure Reputation System Using a Group Signature Variant, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 452
Brief Announcement: A Model for Multilevel Network Games
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in:, R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, p. 294.
LibreCat
| PDF
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in:, R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, p. 294.
2014 | | LibreCat-ID: 457
Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
A. Jungmann, F. Mohr, B. Kleinjohann, in:, Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112.
LibreCat
| PDF
| DOI
A. Jungmann, F. Mohr, B. Kleinjohann, in:, Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112.
2013 | | LibreCat-ID: 469
Zero Overhead Runtime Monitoring
D. Wonisch, A. Schremmer, H. Wehrheim, in:, Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–258.
LibreCat
| PDF
| DOI
D. Wonisch, A. Schremmer, H. Wehrheim, in:, Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–258.
2013 | | LibreCat-ID: 483
SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems
M. Becker, S. Becker, J. Meyer, in:, Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.
LibreCat
| PDF
M. Becker, S. Becker, J. Meyer, in:, Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.
2013 | | LibreCat-ID: 508
On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks
P. Wette, H. Karl, in:, Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN), 2013, pp. 1–6.
LibreCat
| PDF
| DOI
P. Wette, H. Karl, in:, Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN), 2013, pp. 1–6.
2013 | | LibreCat-ID: 510
Meta-data based Search in Structured Peer-to-Peer Networks
C. Jayesh Parekh, Meta-Data Based Search in Structured Peer-to-Peer Networks, Universität Paderborn, 2013.
LibreCat
C. Jayesh Parekh, Meta-Data Based Search in Structured Peer-to-Peer Networks, Universität Paderborn, 2013.
2013 | | LibreCat-ID: 527
Fuzzy Service Matching in On-The-Fly Computing
M. Christin Platenius, in:, Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.
LibreCat
| PDF
| DOI
M. Christin Platenius, in:, Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.
2013 | | LibreCat-ID: 534
Emulating Wavelength Division Multiplexing using Openflow
S. Satya, Emulating Wavelength Division Multiplexing Using Openflow, Universität Paderborn, 2013.
LibreCat
S. Satya, Emulating Wavelength Division Multiplexing Using Openflow, Universität Paderborn, 2013.
2013 | | LibreCat-ID: 541
Continuous Gossip-based Aggregation through Dynamic Information Aging
K. Graffi, V. Rapp, in:, Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13), 2013, pp. 1–7.
LibreCat
| PDF
| DOI
K. Graffi, V. Rapp, in:, Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13), 2013, pp. 1–7.
2013 | | LibreCat-ID: 558
Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Springer, 2013.
LibreCat
| DOI
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Springer, 2013.
2013 | | LibreCat-ID: 560
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in:, Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
LibreCat
| PDF
| DOI
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in:, Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
2012 | | LibreCat-ID: 565
Weaving-based configuration and modular transformation of multi-layer systems
G. Besova, S. Walther, H. Wehrheim, S. Becker, in:, Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
LibreCat
| PDF
| DOI
G. Besova, S. Walther, H. Wehrheim, S. Becker, in:, Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
2012 | | LibreCat-ID: 572
Towards an Automatic Service Discovery for UML-based Rich Service Descriptions
Z. Huma, C. Gerth, G. Engels, O. Juwig, in:, Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2012, pp. 709–725.
LibreCat
| PDF
| DOI
Z. Huma, C. Gerth, G. Engels, O. Juwig, in:, Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2012, pp. 709–725.
2012 | | LibreCat-ID: 577
Stabilization, Safety, and Security of Distributed Systems
A.W. Richa, C. Scheideler, eds., Stabilization, Safety, and Security of Distributed Systems, 2012.
LibreCat
| PDF
| DOI
A.W. Richa, C. Scheideler, eds., Stabilization, Safety, and Security of Distributed Systems, 2012.
2012 | | LibreCat-ID: 584
Queuing Latency at Cooperative Base Stations
T. Hohenberger, Queuing Latency at Cooperative Base Stations, Universität Paderborn, 2012.
LibreCat
T. Hohenberger, Queuing Latency at Cooperative Base Stations, Universität Paderborn, 2012.
2016 | | LibreCat-ID: 217
Automatized Derivation of Comprehensive Specifications for Black-box Services
S. Schwichtenberg, in:, Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
LibreCat
| PDF
| DOI
S. Schwichtenberg, in:, Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
2017 | | LibreCat-ID: 700
A Self-Stabilizing Protocol for Graphs of Diameter Two
T. Knollmann, A Self-Stabilizing Protocol for Graphs of Diameter Two, Universität Paderborn, 2017.
LibreCat
T. Knollmann, A Self-Stabilizing Protocol for Graphs of Diameter Two, Universität Paderborn, 2017.
2017 | | LibreCat-ID: 72
Predicting Rankings of Software Verification Competitions
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
LibreCat
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
2015 | | LibreCat-ID: 743
Topology model to generate realistic latency for simulations
A. Schwabe, H. Karl, in:, 2015 IEEE International Conference on Communications, ICC 2015, London, United Kingdom, June 8-12, 2015, 2015, pp. 6122–6127.
LibreCat
| DOI
A. Schwabe, H. Karl, in:, 2015 IEEE International Conference on Communications, ICC 2015, London, United Kingdom, June 8-12, 2015, 2015, pp. 6122–6127.
2014 | | LibreCat-ID: 762
Using MAC addresses as efficient routing labels in data centers
A. Schwabe, H. Karl, in:, Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014, 2014, pp. 115–120.
LibreCat
| DOI
A. Schwabe, H. Karl, in:, Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014, 2014, pp. 115–120.
2017 | | LibreCat-ID: 84
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)
M.C. Platenius, S. Arifulina, W. Schäfer, in:, Tagungsband Software Engineering, 2017, pp. 81–82.
LibreCat
| PDF
M.C. Platenius, S. Arifulina, W. Schäfer, in:, Tagungsband Software Engineering, 2017, pp. 81–82.
2017 | | LibreCat-ID: 89
Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
F.S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen, Universität Paderborn, 2017.
LibreCat
| DOI
F.S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen, Universität Paderborn, 2017.
2014 | | LibreCat-ID: 363
Seven Recipes for Setting Your FPGA on Fire – A Cookbook on Heat Generators
A. Agne, H. Hangmann, M. Happe, M. Platzner, C. Plessl, Microprocessors and Microsystems 38 (2014) 911.
LibreCat
| PDF
| DOI
A. Agne, H. Hangmann, M. Happe, M. Platzner, C. Plessl, Microprocessors and Microsystems 38 (2014) 911.
2012 | | LibreCat-ID: 591
Pragma based parallelization - Trading hardware efficiency for ease of use?
T. Kenter, C. Plessl, H. Schmitz, in:, Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8.
LibreCat
| PDF
| DOI
T. Kenter, C. Plessl, H. Schmitz, in:, Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8.
2012 | | LibreCat-ID: 609
Hardware/Software Platform for Self-aware Compute Nodes
M. Happe, A. Agne, C. Plessl, M. Platzner, in:, Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 2012, pp. 8–9.
LibreCat
| PDF
M. Happe, A. Agne, C. Plessl, M. Platzner, in:, Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 2012, pp. 8–9.
2018 | | LibreCat-ID: 2461
Herz über Kopf? Wie emotionale und neutrale Schreibstile darüber entscheiden, ob eine Online Bewertung hilfreich ist
M. Müller, Herz über Kopf? Wie emotionale und neutrale Schreibstile darüber entscheiden, ob eine Online Bewertung hilfreich ist, Universität Paderborn, 2018.
LibreCat
M. Müller, Herz über Kopf? Wie emotionale und neutrale Schreibstile darüber entscheiden, ob eine Online Bewertung hilfreich ist, Universität Paderborn, 2018.
2017 | | LibreCat-ID: 109
Cooperative static analysis of Android applications
F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.
LibreCat
F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.
2013 | | LibreCat-ID: 488
Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study
J. Blömer, P. Günther, V. Krummel, in:, Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2013, pp. 98–105.
LibreCat
| PDF
J. Blömer, P. Günther, V. Krummel, in:, Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2013, pp. 98–105.
2015 | | LibreCat-ID: 325
A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption
N. Löken, A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption, Universität Paderborn, 2015.
LibreCat
N. Löken, A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption, Universität Paderborn, 2015.
2017 | | LibreCat-ID: 60
Semantically Secure Attribute-based Searchable Encryption
D. Niehus, Semantically Secure Attribute-Based Searchable Encryption, Universität Paderborn, 2017.
LibreCat
D. Niehus, Semantically Secure Attribute-Based Searchable Encryption, Universität Paderborn, 2017.
2015 | | LibreCat-ID: 286
Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup
B. Kalde, Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup, Universität Paderborn, 2015.
LibreCat
B. Kalde, Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup, Universität Paderborn, 2015.
2017 | | LibreCat-ID: 104
EAX - An Authenticated Encryption Mode for Block Ciphers
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers, Universität Paderborn, 2017.
LibreCat
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers, Universität Paderborn, 2017.
2017 | | LibreCat-ID: 116
CCA-Security for Predicate Encryption Schemes
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
LibreCat
| DOI
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
2011 | | LibreCat-ID: 659
Fault attacks in pairing-based cryptography
G. Liske, Fault Attacks in Pairing-Based Cryptography, Universität Paderborn, 2011.
LibreCat
| PDF
G. Liske, Fault Attacks in Pairing-Based Cryptography, Universität Paderborn, 2011.
2014 | | LibreCat-ID: 414
Hiding software components using functional encryption
J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.
LibreCat
J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.
2014 | | LibreCat-ID: 421
Fujisaki-Okamoto Transformation
J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
LibreCat
J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
2011 | | LibreCat-ID: 2512
Proportionality and the power of unequal parties
D. Dimitrov, C.-J. Haake, International Journal of Economic Theory 7 (2011) 189.
LibreCat
| DOI
D. Dimitrov, C.-J. Haake, International Journal of Economic Theory 7 (2011) 189.
2017 | | LibreCat-ID: 717
SONATA: Service programming and orchestration for virtualized software networks
S. Dräxler, H. Karl, M. Peuster, H. Razzaghi Kouchaksaraei, M. Bredel, J. Lessmann, T. Soenen, W. Tavernier, S. Mendel-Brin, G. Xilouris, in:, 2017 IEEE International Conference on Communications Workshops (ICC Workshops), IEEE, 2017.
LibreCat
| DOI
S. Dräxler, H. Karl, M. Peuster, H. Razzaghi Kouchaksaraei, M. Bredel, J. Lessmann, T. Soenen, W. Tavernier, S. Mendel-Brin, G. Xilouris, in:, 2017 IEEE International Conference on Communications Workshops (ICC Workshops), IEEE, 2017.
2016 | | LibreCat-ID: 166
Placement of Services with Flexible Structures Specified by a YANG Data Model
S. Dräxler, H. Karl, in:, Proceedings of the 2nd International IEEE Conference on Network Softwarization (NetSoft), 2016, pp. 184–192.
LibreCat
| PDF
| DOI
S. Dräxler, H. Karl, in:, Proceedings of the 2nd International IEEE Conference on Network Softwarization (NetSoft), 2016, pp. 184–192.
2018 | | LibreCat-ID: 2480
Generating Resource and Performance Models for Service Function Chains: The Video Streaming Case
S. Dräxler, M. Peuster, M. Illian, H. Karl, in:, 4th IEEE International Conference on Network Softwarization (NetSoft 2018), n.d.
LibreCat
S. Dräxler, M. Peuster, M. Illian, H. Karl, in:, 4th IEEE International Conference on Network Softwarization (NetSoft 2018), n.d.
2018 | | LibreCat-ID: 1045
Interactive Data Visualization for Exploded Supergraphs
J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.
LibreCat
J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.
2018 | | LibreCat-ID: 3320
Korrektheitsbeweise für Muster von Servicekompositionen
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
LibreCat
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
2016 | | LibreCat-ID: 128
Zertifikate als Qualitätssignal – Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen
K. Bernhardt, Zertifikate als Qualitätssignal – Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen, Universität Paderborn, 2016.
LibreCat
K. Bernhardt, Zertifikate als Qualitätssignal – Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen, Universität Paderborn, 2016.
2017 | | LibreCat-ID: 1076
Marktmacht in zweiseitigen Oline-Märkten - Probleme der Bestimmung einer marktbeherrschenden Stellung am Beispiel von eBay
M. Goebel, Marktmacht in zweiseitigen Oline-Märkten - Probleme der Bestimmung einer marktbeherrschenden Stellung am Beispiel von eBay, Universität Paderborn, 2017.
LibreCat
M. Goebel, Marktmacht in zweiseitigen Oline-Märkten - Probleme der Bestimmung einer marktbeherrschenden Stellung am Beispiel von eBay, Universität Paderborn, 2017.
2016 | | LibreCat-ID: 173
Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, Universität Paderborn, 2016.
LibreCat
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, Universität Paderborn, 2016.
2016 | | LibreCat-ID: 192
Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, Universität Paderborn, 2016.
LibreCat
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, Universität Paderborn, 2016.
2017 | | LibreCat-ID: 1071
Zu den Anreiz- und Wohlfahrtswirkungen der Kronzeugenregelung - Das Fallbeispiel des LKW-Kartells (1997-2011)
J. Iding, Zu den Anreiz- und Wohlfahrtswirkungen der Kronzeugenregelung - Das Fallbeispiel des LKW-Kartells (1997-2011), Universität Paderborn, 2017.
LibreCat
J. Iding, Zu den Anreiz- und Wohlfahrtswirkungen der Kronzeugenregelung - Das Fallbeispiel des LKW-Kartells (1997-2011), Universität Paderborn, 2017.
2017 | | LibreCat-ID: 1069
Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse
H.C. Petersen, Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse, Universität Paderborn, 2017.
LibreCat
H.C. Petersen, Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse, Universität Paderborn, 2017.
2018 | | LibreCat-ID: 1064
Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells
L. Rumert, Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells, Universität Paderborn, 2018.
LibreCat
L. Rumert, Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells, Universität Paderborn, 2018.
2016 | | LibreCat-ID: 185
Kundenbewertungen im Online-Handel – Alles Betrug?
C. Schmidt, Kundenbewertungen im Online-Handel – Alles Betrug?, Universität Paderborn, 2016.
LibreCat
C. Schmidt, Kundenbewertungen im Online-Handel – Alles Betrug?, Universität Paderborn, 2016.
2013 | | LibreCat-ID: 553
Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise
K. Kohn, Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise, Universität Paderborn, 2013.
LibreCat
K. Kohn, Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise, Universität Paderborn, 2013.
2015 | | LibreCat-ID: 255
Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen
M. Trykacz, Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen, Universität Paderborn, 2015.
LibreCat
M. Trykacz, Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen, Universität Paderborn, 2015.
2011 | | LibreCat-ID: 642
Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität
M. Diehl, Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität, Universität Paderborn, 2011.
LibreCat
M. Diehl, Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität, Universität Paderborn, 2011.
2013 | | LibreCat-ID: 539
Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen
T. Kornhoff, Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen, Universität Paderborn, 2013.
LibreCat
T. Kornhoff, Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen, Universität Paderborn, 2013.
2013 | | LibreCat-ID: 490
Routing in heterogenen OpenFlow Netzwerken
F. Wallaschek, Routing in heterogenen OpenFlow Netzwerken, Universität Paderborn, 2013.
LibreCat
F. Wallaschek, Routing in heterogenen OpenFlow Netzwerken, Universität Paderborn, 2013.
2012 | | LibreCat-ID: 616
Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen
S. Kluczniok, Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen, Universität Paderborn, 2012.
LibreCat
S. Kluczniok, Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen, Universität Paderborn, 2012.
2013 | | LibreCat-ID: 503
Optimale und adaptive binäre Bäume in Netzwerken
A. Blix, Optimale und adaptive binäre Bäume in Netzwerken, Universität Paderborn, 2013.
LibreCat
A. Blix, Optimale und adaptive binäre Bäume in Netzwerken, Universität Paderborn, 2013.
2017 | | LibreCat-ID: 697
Untersuchungen zum Cone-Hashing
M. Burkhardt, Untersuchungen zum Cone-Hashing, Universität Paderborn, 2017.
LibreCat
M. Burkhardt, Untersuchungen zum Cone-Hashing, Universität Paderborn, 2017.
2013 | | LibreCat-ID: 471
Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen
A. Tezer, Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen, Universität Paderborn, 2013.
LibreCat
A. Tezer, Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen, Universität Paderborn, 2013.
2012 | | LibreCat-ID: 604
Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen
H. Seier, Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen, Universität Paderborn, 2012.
LibreCat
H. Seier, Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen, Universität Paderborn, 2012.