Grösbrink S. Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems. In: 8th IEEE International Conference on Software Security and Reliability. ; 2014.
LibreCat: /record/25152

Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.
LibreCat: /record/25153

Brink C, Jatzkowski J. EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community. SafeTRANS News (1). Published online 2014:12-13.
LibreCat: /record/25154

Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems. In: ACM/IEEE 5th International Conference on Cyber-Physical Systems. ; 2014.
LibreCat: /record/25155

Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy Challenges in On-The-Fly Computing. In: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014). ; 2014.
LibreCat: /record/25156

Grösbrink S. Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization. In: GI Design For Future Workshop. ; 2014.
LibreCat: /record/25159

Grösbrink S, Almeida L, de Sousa M, Petters SM. Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization. In: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). ; 2014.
LibreCat: /record/25160

Koppelmann B, Becker M, Müller W. Portierung der TriCore-Architektur auf QEMU. In: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) . ; 2014.
LibreCat: /record/25161

Grösbrink S, Korrapati S, Schmitz A, Schreckenberg A. Hypervisor-based Consolidation for Automated Teller Machines. In: Embedded World Conference. ; 2014.
LibreCat: /record/25165

Jungmann A, Jatzkowski J, Kleinjohann B. Evaluation of Color Spaces for Robust Image Segmentation. In:  Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP).  INSTICC PRESS; 2014.
LibreCat: /record/25167

Gausemeier J, Rammig F-J, Schäfer W, Sextro W. Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag; 2014.
LibreCat: /record/25168

Grösbrink S, Korf S, Porrmann M, Priesterjahn C, Stahl K. Self-optimization by Reconfiguration. In: Design Methodology for Intelligent Technical Systems. Springer-Verlag; 2014:19-22.
LibreCat: /record/25170

Grösbrink S. Virtualization. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag ; 2014:152-157.
LibreCat: /record/25171

Rammig F-J, Grösbrink S, Stahl K, Zhao Y. Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation. In:  Brazilian Symposium on Computing Systems Engineering (SBESC). SBC; 2014.
LibreCat: /record/25172

Dellnitz M, Flaßkamp K, Hartmann P, et al. Self-optimizing Mechatronic Systems. In: Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1. Springer-Verlag; 2014:3-12.
LibreCat: /record/25173

Grösbrink S, Oberthür S, Stahl K. System Software. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development. Springer-Verlag; 2014:298-317.
LibreCat: /record/25175

Gausemeier J, Korf S, Porrmann M, Stahl K, Sudmann O, Vaßholz M. Development of Self-Optimizing Systems. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3. Springer-Verlag ; 2014:65-117.
LibreCat: /record/25176

Flaßkamp K, Grösbrink S, Hartmann P, et al. Development of the RailCab Vehicle. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag ; 2014:184-190.
LibreCat: /record/25177

Rammig F-J, Zhao Y. Online Model Checking. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag; 2014:147-152.
LibreCat: /record/25179

Gausemeier J, Rammig F-J, Schäfer W. Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future. Springer-Verlag; 2014.
LibreCat: /record/25180

Hamann H, Karsai I, Schmickl T, Hilbun A. The common stomach: Organizing task allocation in wasp societies. In: Symposium on Biomathematics and Ecology: Education and Research. ; 2014.
LibreCat: /record/20007

Hamann H, Valentini G. Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins. In: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014). Cham; 2014. doi:10.1007/978-3-319-09952-1_15
LibreCat: /record/20008
DOI: 10.1007/978-3-319-09952-1_15

Hamann H, Schmickl T, Crailsheim K. Analysis of Swarm Behaviors Based on an Inversion of the Fluctuation Theorem. Artificial Life. 2014;20(1):77-93. doi:10.1162/ARTL_a_00097
LibreCat: /record/20120
DOI: 10.1162/ARTL_a_00097

Dorigo M, Hamann H, Valentini G, et al. Self-Organized Collective Decision Making: The Weighted Voter Model. In: Proceedings of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2014). ; 2014.
LibreCat: /record/20121

Hamann H. Evolving Prediction Machines: Collective Behaviors Based on Minimal Surprisal. In: Int. Conf. on Genetic and Evolutionary Computation (GECCO 2014). ; 2014:31-32. doi:10.1145/2598394.2598507
LibreCat: /record/20126
DOI: 10.1145/2598394.2598507

Birattari M, Dorigo M, Hamann H, et al. Sorting in Swarm Robots Using Communication-Based Cluster Size Estimation. In: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014). Vol 8667. ; 2014:262-269. doi:10.1007/978-3-319-09952-1_25
LibreCat: /record/20127
DOI: 10.1007/978-3-319-09952-1_25

Khaluf Y, Dorigo M, Hamann H, Valentini G, Bartz-Beielstein T. Derivation of a Micro-Macro Link for Collective Decision-Making Systems: Uncover Network Features Based on Drift Measurements. In: 13th International Conference on Parallel Problem Solving from Nature (PPSN 2014). Vol 8672. Springer; 2014:181-190. doi:10.1007/978-3-319-10762-2_18
LibreCat: /record/20128
DOI: 10.1007/978-3-319-10762-2_18

Hamann H, Sayama H, Rieffel J, Risi S, Doursat R, Lipson H. Evolution of Collective Behaviors by Minimizing Surprise. In: 14th Int. Conf. on the Synthesis and Simulation of Living Systems (ALIFE 2014). MIT Press; 2014:344-351. doi:10.7551/978-0-262-32621-6-ch055
LibreCat: /record/20129
DOI: 10.7551/978-0-262-32621-6-ch055

Cervera E, Khaluf Y, Birattari M, et al. A Swarm Robotics Approach to Task Allocation Under Soft Deadlines and Negligible Switching Costs. In: Simulation of Adaptive Behavior (SAB 2014). Vol 8575. ; 2014:270-279. doi:10.1007/978-3-319-08864-8_26
LibreCat: /record/20130
DOI: 10.1007/978-3-319-08864-8_26

Wachsmuth H, Trenkmann M, Stein B, Engels G, Palakarska T. A Review Corpus for Argumentation Analysis. In: Proceedings of the 15th International Conference on Intelligent Text Processing and Computational Linguistics. ; 2014:115–127.
LibreCat: /record/20142

Biermeier F. Untersuchung Des Erreichbarkeitsproblems in Ungerichteten Graphen Bezüglich Den Komplexitätsklassen L Und SL.; 2014.
LibreCat: /record/2866

Sauer M. Evaluierung von Initialisierungsmethoden Für Fuzzy-k-Means Algorithmen.; 2014.
LibreCat: /record/2867

Basavaraju M, Chandran LS, Rajendraprasad D, Ramaswamy A. Rainbow connection number of graph power and graph products. Graphs and Combinatorics. 2014;30(6):1363-1382.
LibreCat: /record/24155

Basavaraju M, Chandran LS, Rajendraprasad D, Ramaswamy A. Rainbow connection number and radius. Graphs and Combinatorics. 2014;30(2):275-285.
LibreCat: /record/24156

Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide Web. Trahasch S,  Pl  "o tzner R, Schneider G, Gayer C, Sassiat D, W  "o hrle N, eds. Published online 2014:51–60.
LibreCat: /record/26537

Winkelnkemper F, Keil  Reinhard. Zwischen Design und Flexibilit\'22at - Zur Ergonomie des Flat Design. In: Butz A, Schlichter J, eds. Vol 2014. Oldenbourg Verlag; 2014:255-264.
LibreCat: /record/26538

Jakoblew  M, Keil R, Winkelnkemper F. Forschendes Lernen durch semantisches Positionieren. In: Forbrig P, Magenheim  Johannes, eds. Proceedings Der HDI 2014. Universit\'22at Rostock; 2014:74-84.
LibreCat: /record/26540

Keil R, Schild C. Hypothesengeleitete Gestaltung von Benutzungsoberfl\'22achen. In: De Gruyter Oldenbourg; 2014:265-274.
LibreCat: /record/26541

Keil  Reinhard. Knowledge integration processes and distributed knowledge organization. In: Keller SA, Schneider R, Volk B, eds. De Gruyter Saur; 2014:162–179.
LibreCat: /record/26542

Wette P, Dräxler M, Schwabe A, Wallaschek F, Zahraee MH, Karl H. MaxiNet: Distributed Emulation of Software-Defined Networks. In: Proceedings of the 2014 IFIP Networking Conference (Networking 2014). ; 2014:1-9. doi:10.1109/IFIPNetworking.2014.6857078
LibreCat: /record/329
DOI: 10.1109/IFIPNetworking.2014.6857078

Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction. In: Lanese I, Madelaine E, eds. Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). LNCS. ; 2014:31-48. doi:10.1007/978-3-319-15317-9_3
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Wette P, Karl H. Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms. In: Proceedings of the IEEE International Conference on Communications 2014. ; 2014:3270-3276. doi:10.1109/ICC.2014.6883825
LibreCat: /record/339
DOI: 10.1109/ICC.2014.6883825

Korth P. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn; 2014.
LibreCat: /record/340

Künsemöller J. Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn; 2014.
LibreCat: /record/343

Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration for Architecture Validation. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session). ; 2014.
LibreCat: /record/344

Brangewitz S, Jungmann A, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.
LibreCat: /record/346

Meisner S, Platzner M. Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection. In: Goehringer D, Santambrogio M, Cardoso JP, Bertels K, eds. Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC). Lecture Notes in Computer Science. Springer; 2014:283-290. doi:10.1007/978-3-319-05960-0_30
LibreCat: /record/347
DOI: 10.1007/978-3-319-05960-0_30

Mohr F, Walther S. Template-based Generation of Semantic Services. In: Proceedings of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2014:188-203. doi:10.1007/978-3-319-14130-5_14
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Keller M, Robbert C, Karl H. Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds. In: Proceedings of 7th International Conference on Utility and Cloud Computing (UCC). ; 2014:387--395. doi:10.1109/UCC.2014.49
LibreCat: /record/354
DOI: 10.1109/UCC.2014.49

Blömer J, Günther P, Liske G. Tampering attacks in pairing-based cryptography. In: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC). ; 2014:1--7. doi:10.1109/FDTC.2014.10
LibreCat: /record/355
DOI: 10.1109/FDTC.2014.10