851 Publications

2012 | Conference Paper | LibreCat-ID: 580
Cord-Landwehr A, Kling P, Mallmann Trenn F. Slow Down & Sleep for Profit in Online Deadline Scheduling. In: Even G, Rawitz D, eds. Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg). LNCS. ; 2012:218-231. doi:10.1007/978-3-642-34862-4_17
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 581
Drees M, Hüllmann (married name: Eikel) M, Koutsopoulos A, Scheideler C. Self-Organizing Particle Systems. In: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2012:1272-1283. doi:10.1109/IPDPS.2012.116
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 585
Petrlic R. Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme. In: Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS). LNCS. ; 2012:194-211. doi:10.1007/978-3-642-35362-8_16
LibreCat | Files available | DOI
 
2012 | Misc | LibreCat-ID: 587
Plessl C, Platzner M, Agne A, Happe M, Lübbers E. Programming Models for Reconfigurable Heterogeneous Multi-Cores. Awareness Magazine; 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 588
Petrlic R, Sorge C. Privacy-Preserving DRM for Cloud Computing. In: Proceedings of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA). ; 2012:1286-1291. doi:10.1109/WAINA.2012.92
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 589
Petrlic R. Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment. In: Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). ; 2012:958-963. doi:10.1109/TrustCom.2012.225
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 590
Wonisch D, Wehrheim H. Predicate Analysis with Block-Abstraction Memoization. In: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). LNCS. ; 2012:332-347. doi:10.1007/978-3-642-34281-3_24
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 596
Becker M, Luckey M, Becker S. Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey. In: Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12). ; 2012:117-122. doi:10.1145/2304696.2304716
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 597
Mavronicolas M, Monien B. Minimizing Expectation Plus Variance. In: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT). LNCS. ; 2012:239-250. doi:10.1007/978-3-642-33996-7_21
LibreCat | Files available | DOI
 
2012 | Report | LibreCat-ID: 602
Brangewitz S. Learning by Trading in Infinite Horizon Strategic Market Games with Default. Universität Paderborn; 2012.
LibreCat | Files available
 
2012 | Report | LibreCat-ID: 603
Wette P, Karl H. Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios. Universität Paderborn; 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 608
Timm N, Wehrheim H, Czech M. Heuristic-Guided Abstraction Refinement for Concurrent Systems. In: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). LNCS. ; 2012:348-363. doi:10.1007/978-3-642-34281-3_25
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 617
Jungmann A, Kleinjohann B, Kleinjohann E, Bieshaar M. Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In: Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE). ; 2012:22-29.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 619
Brandes P, Meyer auf der Heide F. Distributed Computing in Fault-Prone Dynamic Networks. In: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS). ICPS. ; 2012:9-14. doi:10.1145/2414815.2414818
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 622
Arifulina S, Engels G, Soltenborn C. Coverage Criteria for Testing DMM Specifications. In: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST. ; 2012. doi:10.14279/tuj.eceasst.47.718
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 623
Richa AW, Scheideler C, Schmid S, Zhang J. Competitive and fair throughput for co-existing networks under adversarial interference. In: Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC). ; 2012:291-300. doi:10.1145/2332432.2332488
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 625
Schmid S, Avin C, Scheideler C, Häupler B, Lotker Z. Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC). LNCS. ; 2012:439-440. doi:10.1007/978-3-642-33651-5_47
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 626
Kniesburges S, Scheideler C. Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC). LNCS. ; 2012:435-436. doi:10.1007/978-3-642-33651-5_45
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 627
Wonisch D. Block Abstraction Memoization for CPAchecker. In: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS. ; 2012:531-533. doi:10.1007/978-3-642-28756-5_41
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 628
Cord-Landwehr A, Huellmann (married name: Eikel) M, Kling P, Setzer A. Basic Network Creation Games with Communication Interests. In: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT). LNCS. ; 2012:72--83. doi:10.1007/978-3-642-33996-7_7
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 630
Platenius MC, von Detten M, Becker S. Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR). ; 2012:255-264. doi:10.1109/CSMR.2012.33
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 631
von Detten M. Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction. In: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE). ; 2012:503-504. doi:10.1109/WCRE.2012.61
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 632
Kolman P, Scheideler C. Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case. In: Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA). ; 2012:800-810. doi:10.1137/1.9781611973099.64
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 635
Dohle (married name: Hallmann) C, Suhl L. An Optimization Model for the optimal Usage of Water Tanks in Water Supply Systems. In: Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD). ; 2012:404-408.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 636
Meyer auf der Heide F, Pietrzyk P, Kling P. An Algorithm for Facility Leasing. In: Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO). LNCS. ; 2012:61-72. doi:10.1007/978-3-642-31104-8_6
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 639
Huma Z, Gerth C, Engels G, Juwig O. A UML-based Rich Service Description for Automatic Service Discovery. In: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering. CEUR Workshop Proceedings. ; 2012:90--97.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 640
Kniesburges S, Koutsopoulos A, Scheideler C. A Self-Stabilization Process for Small-World Networks. In: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2012:1261--1271. doi:10.1109/IPDPS.2012.115
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 5183
Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52. doi:10.1145/2220365.2220366
LibreCat | Files available | DOI | Download (ext.)
 
2012 | Conference Paper | LibreCat-ID: 565
Besova G, Walther S, Wehrheim H, Becker S. Weaving-based configuration and modular transformation of multi-layer systems. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS). LNCS. ; 2012:776-792. doi:10.1007/978-3-642-33666-9_49
LibreCat | Files available | DOI
 
2012 | Misc | LibreCat-ID: 13462
Lewis P, Platzner M, Yao X. An Outlook for Self-Awareness in Computing Systems. Awareness Magazine; 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 615
Happe M, Hangmann H, Agne A, Plessl C. Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators. In: Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig). IEEE; 2012:1-8. doi:10.1109/ReConFig.2012.6416745
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 591
Kenter T, Plessl C, Schmitz H. Pragma based parallelization - Trading hardware efficiency for ease of use? In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE; 2012:1-8. doi:10.1109/ReConFig.2012.6416773
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 609
Happe M, Agne A, Plessl C, Platzner M. Hardware/Software Platform for Self-aware Compute Nodes. In: Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS). ; 2012:8-9.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 567
Barrio P, Carreras C, Sierra R, Kenter T, Plessl C. Turning control flow graphs into function calls: Code generation for heterogeneous architectures. In: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS). IEEE; 2012:559-565. doi:10.1109/HPCSim.2012.6266973
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 612
Rüthing C, Happe M, Agne A, Plessl C. Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs. In: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL). IEEE; 2012:559-562. doi:10.1109/FPL.2012.6339370
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 2512
Dimitrov D, Haake C-J. Proportionality and the power of unequal parties. International Journal of Economic Theory. 2011;7(2):189-200. doi:10.1111/j.1742-7363.2011.00158.x
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 644
von Detten M. Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution. In: Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE). ; 2011:17-20. doi:10.1145/2024569.2024573
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 645
Doerr B, Goldberg LA, Minder L, Sauerwald T, Scheideler C. Stabilizing consensus with the power of two choices. In: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2011:149-158. doi:10.1145/1989493.1989516
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 646
Richa AW, Scheideler C. Self-Stabilizing DeBruijn Networks. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. ; 2011:416-430. doi:10.1007/978-3-642-24550-3_31
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 647
Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 649
Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science. 2011;(2):3-16. doi:10.1016/j.entcs.2011.11.008
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 652
Gerth C, Luckey M, Küster J, Engels G. Precise Mappings between Business Process Models in Versioning Scenarios. In: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC). ; 2011:218--225. doi:10.1109/SCC.2011.65
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 653
Lehrig S, Zolynski T. Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In: Proceedings of the Palladio Days 2011. Karlsruhe Reports in Informatics. ; 2011:15-22. doi:10.5445/IR/1000025188
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 654
Graffi K. PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned. In: Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP). ; 2011:154-155. doi:10.1109/P2P.2011.6038673
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 657
Abshoff S, Cord-Landwehr A, Degener B, Kempkes B, Pietrzyk P. Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks. In: Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS). LNCS. ; 2011:13-27. doi:10.1007/978-3-642-28209-6_3
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 662
Nesterenko M, Mohd R, Scheideler C. Corona: A Stabilizing Deterministic Message-Passing Skip List. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. ; 2011:356--370. doi:10.1007/978-3-642-24550-3_27
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 664
Gehweiler J, Kling P, Meyer auf der Heide F. An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment. In: Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM). LNCS. ; 2011:31--40. doi:10.1007/978-3-642-31500-8_4
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 666
Drzevitzky S, Platzner M. Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach. In: Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC). ; 2011:58-65. doi:10.1109/ReCoSoC.2011.5981499
LibreCat | Files available | DOI
 
2011 | Conference (Editor) | LibreCat-ID: 667
Meyer auf der Heide F, Rajaraman R, eds. 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures.; 2011. doi:10.1145/1989493
LibreCat | DOI
 
2011 | Report | LibreCat-ID: 668
Kaimann D. “To Infinity and beyond!” - A Genre-Specific Film Analysis of Movie Success Mechanisms. Universität Paderborn; 2011.
LibreCat | Files available
 
2011 | Conference Paper | LibreCat-ID: 656
Happe M, Agne A, Plessl C. Measuring and Predicting Temperature Distributions on FPGAs at Run-Time. In: Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig). IEEE; 2011:55-60. doi:10.1109/ReConFig.2011.59
LibreCat | Files available | DOI
 

Filters and Search Terms

project=1

(type<>bachelorsthesis AND type<>mastersthesis AND type <> dissertation)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export