Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software
M. Becker, C. Kuznik, W. Müller, in: 17th Euromicro Conference on Digital Systems Design (DSD), 2014.
LibreCat: /record/25145

Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
J. Jatzkowski, B. Kleinjohann, in: 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt), 2014.
LibreCat: /record/25147

Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.
LibreCat: /record/25148

Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems
F.-J. Rammig, K. Stahl, in: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–341.
LibreCat: /record/25149

Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–353.
LibreCat: /record/25150

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

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

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

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

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

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

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

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

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

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

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

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

Virtualization
S. Grösbrink, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 152–157.
LibreCat: /record/25171

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

Self-optimizing Mechatronic Systems
M. Dellnitz, K. Flaßkamp, P. Hartmann, M. Krüger, T. Meyer, C. Priesterjahn, S. Ober-Blöbaum, C. Rasche, W. Sextro, K. Stahl, A. Trächtler, in: Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1, Springer-Verlag, Heidelberg, Germany, 2014, pp. 3–12.
LibreCat: /record/25173

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

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

Development of the RailCab Vehicle
K. Flaßkamp, S. Grösbrink, P. Hartmann, C. Heinzemann, B. Kleinjohann, L. Kleinjohann, M. Krüger, S. Ober-Blöbaum, C. Priesterjahn, C. Rasche, W. Schäfer, D. Steenken, A. Trächtler, H. Wehrheim, S. Ziegert, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 184–190.
LibreCat: /record/25177

Online Model Checking
F.-J. Rammig, Y. Zhao, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag,  Heidelberg, Germany, 2014, pp. 147–152.
LibreCat: /record/25179

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

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

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

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

Self-Organized Collective Decision Making: The Weighted Voter Model
M. Dorigo, H. Hamann, G. Valentini, A. Lomuscio, P. Scerri, A. Bazzan, M. Huhns, in: Proceedings of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2014), 2014.
LibreCat: /record/20121

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

Sorting in Swarm Robots Using Communication-Based Cluster Size Estimation
M. Birattari, M. Dorigo, H. Hamann, S. Garnier, M. Montes de Oca, C. Solnon, T. Stuetzle, H. Ding, in: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014), 2014, pp. 262–269.
LibreCat: /record/20127
DOI: 10.1007/978-3-319-09952-1_25

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

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

A Swarm Robotics Approach to Task Allocation Under Soft Deadlines and Negligible Switching Costs
E. Cervera, Y. Khaluf, M. Birattari, H. Hamann, A.P. del Pobil, E. Chinellato, E. Martinez-Martin, J. Hallam, A. Morales, in: Simulation of Adaptive Behavior (SAB 2014), 2014, pp. 270–279.
LibreCat: /record/20130
DOI: 10.1007/978-3-319-08864-8_26

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

Untersuchung des Erreichbarkeitsproblems in ungerichteten Graphen bezüglich den Komplexitätsklassen L und SL
F. Biermeier, Untersuchung Des Erreichbarkeitsproblems in Ungerichteten Graphen Bezüglich Den Komplexitätsklassen L Und SL, 2014.
LibreCat: /record/2866

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

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

Rainbow connection number and radius
M. Basavaraju, L.S. Chandran, D. Rajendraprasad, A. Ramaswamy, Graphs and Combinatorics 30 (2014) 275–285.
LibreCat: /record/24156

Twenty years of learning with the World Wide Web
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
LibreCat: /record/26537

Zwischen Design und Flexibilit\'22at - Zur Ergonomie des Flat Design
F. Winkelnkemper,  Reinhard Keil, in: A. Butz, J. Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.
LibreCat: /record/26538

Forschendes Lernen durch semantisches Positionieren
M. Jakoblew , R. Keil, F. Winkelnkemper, in: P. Forbrig,  Johannes Magenheim (Eds.), Proceedings Der HDI 2014, Universit\'22at Rostock, 2014, pp. 74–84.
LibreCat: /record/26540

Hypothesengeleitete Gestaltung von Benutzungsoberfl\'22achen
R. Keil, C. Schild, in: De Gruyter Oldenbourg, Berlin, 2014, pp. 265–274.
LibreCat: /record/26541

Knowledge integration processes and distributed knowledge organization
Reinhard Keil, in: S.A. Keller, R. Schneider, B. Volk (Eds.), De Gruyter Saur, Berlin, 2014, pp. 162–179.
LibreCat: /record/26542

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

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

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

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

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

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: /record/344