Binary Mutation Testing Through Dynamic Translation
M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in:  42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.

Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms
D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012.

Compilation of Methodologies to Speed up the Verification Process at System Level
S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.

Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks
N. Montealegre, S. Hagenkötter, in: Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.

Towards Adaptive Resource Management for Virtualized Real-Time Systems
S. Grösbrink, S. Oberthür, D. Baldin, in: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 2012.

Online Model Checking for Dependable Real-time Systems
Y. Zhao, F.-J. Rammig, in: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China,  IEEE Computer Society, 2012, pp. 154–161.

Agent-Based Modeling and Simulation of Artificial Immune Systems
N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, 2012.

Self-Coordination as Fundamental Concept for Cyber Physical Systems
F.-J. Rammig, in: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, SBC, Ouro Preto, Brazil, 2012, pp. 45–48.

Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks
E. Mathews, in: Ninth International Conference On Information Technologyf: New Generations (ITNG), IEEE Computer Society, 2012.

Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems
D. He, W. Müller, in: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012.

Efficient Alignment of Aerial Images Based on Virtual Forces
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), IEEE Xplore, St. Maarten, Netherlands Antilles, 2012.

Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
A. Jungmann, B. Kleinjohann, L. Kleinjohann, M. Bieshaar, in: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE), Xpert Publishing Services, 2012.

Dynamic Resource Management for Virtualized Mixed-Criticality Systems
S. Grösbrink, S. Oberthür, D. Baldin, in: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.

A SystemC Library for Advanced TLM Verification
M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.

A model-driven engineering framework for embedded systems design
F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33.

MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.

XEMU: A QEMU Based Binary Mutation Testing Framework
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.

Real-Time Android: Deterministic Ease of use
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.

Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot
A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP),  INSTICC PRESS, 2012, pp. 441–444.

Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints
F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.

A Localized Link Removal and Addition based Planarization Algorithm
E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.

Deployment of mobile routers ensuring coverage and connectivity
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.

Virtual Prototyping of Cyber-Physical Systems
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.

Swarm Robotic Time Synchronization for Object Tracking
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.

Biologically Inspired Information Technology: Towards a Cyber Biosphere
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.

Adaptive Web Services for Modular and Reusable Software Development
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems,  IGI Global, 2012, pp. 263–276.

Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.

Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.

Master Election for Time Synchronization in Swarm Robotic Systems
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications,  Leganés, Madrid, 2012.

Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks
E. Mathews, C. Mathew, in: Third International Conference on Networks &; Communications, LNICST, Springer, Bangalore, India, 2012.

Optimal Scheduling of Information Extraction Algorithms
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.

Certifying RSA
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.

Optimal Security Proofs for Full Domain Hash, Revisited
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.

StreamKM++: A clustering algorithm for data streams
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).

Turing und Kryptografie
J. Blömer, Informatik-Spektrum 35 (2012).

On black-box models of computation in cryptology
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.

On the Security of TLS-DHE in the Standard Model
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293.

Tightly Secure Signatures and Public-Key Encryption
D. Hofheinz, T. Jager, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607.

Bleichenbacher's Attack Strikes again: Breaking PKCS .5 in XML Encryption
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.

Waters Signatures with Optimal Security Reduction
D. Hofheinz, T. Jager, E. Knapp, in: Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, 2012, pp. 66--83.

Proving Linearizability of Multiset with Local Proof Obligations
O. Travkin, H. Wehrheim, G. Schellhorn, ECEASST (2012).

Model evolution and refinement
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.

How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.

Computer science and society as a field of computer science
D. Engbring, H. Selke, 5 (2012) 111–116.

User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes
F. Klompmaker,  Anke   Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.

Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices 
F. Klompmaker, K.  Nebe, J. Eschenlohr, in: Springer, 2012.

The technical potential of digital boards
H. Selke, F. Winkelnkemper, in: J. "o rg Desel,  J \'22 o rg Haake, C. Spannagel (Eds.), 2012, pp. 171–182.

Der Qualit\'22atsstandard f\'22ur Usability Engineering der German UPA - Aktueller Stand der Arbeiten
H.G. Fischer, T. Geis, O. Kluge, C. Bogner,  Knut  Polkehn, in: German UPA, 2012.

Base Requirements for Virtual Tabletop Groupware Artifacts
M. Tobias, K. Nebe, F.  Klompmaker, in: 2012.

Collaborative work on interactive displays - design, operation and fields of application
H.G. Fischer,  Florian Klompmaker, M &; C, Humans and Computers (2012).

Das Heinz Nixdorf Institut: \'22Uber 25 Jahre interdisziplin\'22ar erfolgreich
R. Keil, in: Universit\'22at Paderborn, Paderborn, 2012, pp. 270–277.

EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS
F. Klompmaker,  Alexander  Dridger, K. Nebe, in: Proceedings of the ASME 2012 International Design Engineering Technical Conferences &; Computers and Information in Engineering Conference, ASME, 2012.

Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–324.

Summary and Outlook
R. Keil, H.-J. "u rgen Metternich,  Steffan Ritzenhoff, in: R. Keil, H.-J. "u rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 112–115.

Durchl  "a ssigkeitsorientierte Bildung
R. Keil,  Dominik Niehus, D. Ossenschmidt, in: R. Keil, H.-J. "u rgen Metternich, S.  Ritzenhoff (Eds.), 2012, pp. 80–94.

Automatic emotion recognition - technologies, interpretation and applications
M. Brand, F. Klompmaker, P. Schleining, F. Weiss, Computer Science Spectrum 35 (2012).

Passability in education - a challenge for \'22 u r the future
Reinhard  Keil,  Hans-J  "u rgen Metternich, S. Ritzenhoff, in: R. Keil, H.-J. "u rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 15–17.

Enriching Disaster Control Management based on Human-Centered Design
H.G. Fischer, F. Klompmaker, in: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada, 2012.

German UPA Qualit\'22atsstandard f\'22ur Usability Engineering
K. Behrenbruch, C. Bogner, H.G. Fischer, T. Geis, C. Geitner,  R\'22udiger Heimg\'22artner, B. Hofmann,  Peter Hunkirchen, O. Kluge, B.  Litzenberg,  Rolf  Molich, K. Polkehn, Y. Pysarenko,  Dirk Zimmermann, German UPA Qualit\'22atsstandard F\'22ur Usability Engineering, German UPA e.V. (Hrsg.), 2012.

Learning scenarios for school 2.0
M. Jakoblew, D.  Niehus, H. Selke, in: N. Apostolopoulos, U. Mu  ss  mann, W. Coy,  Andreas Schwill (Eds.), Waxmann Verlag, M  "u nster, 2012, pp. 281–297.

E-learning strategies: best practice or careful structural renewal?
Reinhard  Keil, C. Schild, F. Winkelnkemper, in:  Nicolas Apostolopoulos, U.  Mu  ss mann, W. Coy, A. Schwill (Eds.), 2012, pp. 137–155.

dSensingNI – A Framework for Advanced Tangible Interaction using a Depth Camera
F. Klompmaker, K.  Nebe, A. Fast, in: ACM Press, 2012, pp. 217–224.

Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops
Florian  Klompmaker, H.G. Fischer, H. Jung, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, 2012, pp. 141–144.

Designing Multi-Modal Map-Based Interfaces for Disaster Management
V. Paelke, K. Nebe,  Christian Geiger, F. Klompmaker, H.G. Fischer, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, 2012, pp. 95–100.

Computer science and society - a lecture in the master's degree in computer science
H. Selke, FIfF Communication (2012).

Interdisciplinary  "a t as a challenge for \'22 u r e-learning research
R. Keil, M. Wessner, I -Com Magazine f  "u r Interactive and Cooperative Media (2012).

Between innovation and suitability for everyday use - "Lernstatt Paderborn"
R. Keil, Paderborn University  "a Ts-Zeitschrift (2012).

A coactive support approach for  "u r processes of social reality construction in product creation processes
Kai Holzwei  ss ig, A Coactive Support Approach for  "u r Processes of Social Reality Construction in Product Creation Processes, 2012.

FPGA-based design and implementation of an approximate polynomial matrix EVD algorithm
S. Kasap, S. Redif, in: Proc. Int. Conf. on Field Programmable Technology (ICFPT), IEEE Computer Society, 2012, pp. 135–140.

Semi-automatic establishment and maintenance of valid traceability in automotive development processes
M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012.

FPGA implementation of a second-order convolutive blind signal separation algorithm
S. Kasap, S. Redif, in: Int. Architecture and Engineering Symp. (ARCHENG), 2012.

Comparison of Bayesian Move Prediction Systems for Computer Go
M. Wistuba, L. Schaefers, M. Platzner, in: Proc. IEEE Conf. on Computational Intelligence and Games (CIG), IEEE, 2012, pp. 91–99.

A Data Driven Science Gateway for Computational Workflows
R. Grunzke, G. Birkenheuer, D. Blunk, S. Breuers, A. Brinkmann, S. Gesing, S. Herres-Pawlis, O. Kohlbacher, J. Krüger, M. Kruse, R. Müller-Pfefferkorn, P. Schäfer, B. Schuller, T. Steinke, A. Zink, in: Proc. UNICORE Summit, 2012.

On the Admission of Dependent Flows in Powerful Sensor Networks
R. Cohen, I. Nudelman, G. Polevoy, in: Infocom’2012, Orlando, Florida, 2012.

Editorial for Algorithmic Aspects of Wireless Sensor Networks
S. Dolev, C. Scheideler, Theor. Comput. Sci. (2012) 1.

Selfish Distributed Optimization
B. Monien, C. Scheideler, in: Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, Springer, 2012, pp. 1--2.

Application and Evaluation in the Automotive Domain
M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.

Jamming-resistente MAC-Protokolle
F.I. Meith, Jamming-Resistente MAC-Protokolle, 2012.

Mobile WDM Backhaul Access Networks with Physical Inter-Base-Station Links for Coordinated Multipoint Transmission/Reception Systems
T. Biermann, L. Scalia, in: 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011, IEEE, 2012.

Coordinated multipoint multiuser-MIMO transmissions over backhaul-constrained mobile access networks
C. Choi, L. Scalia, T. Biermann, S. Mizuta, in: 2011 IEEE 22nd International Symposium on Personal, Indoor and Mobile Radio Communications, IEEE, 2012.

Strategy Planning of Collaborative Humanoid Soccer Robots based on Principle Solution
C. Low, M. Aldemir, N. Aziz, R. Dumitrescu, H. Anacker, in: Proceedings of the 1st German-Malaysian Workshop, Hannover, 27. - 29. Jun. 2012, 2012.

STIR: Software for Tomographic Image Reconstruction Release 2
K. Thielemans, C. Tsoumpas, S. Mustafovic, T. Beisel, P. Aguiar, N. Dikaios, M. W Jacobson, Physics in Medicine and Biology 57 (2012) 867–883.

Parallel algorithm for computation of second-order sequential best rotations
S. Redif, S. Kasap, Int. Journal of Electronics 100 (2012) 1646–1651.

Parallel Processor Design and Implementation for Molecular Dynamics Simulations on a FPGA Parallel Computer
S. Kasap, K. Benkrid, Journal of Computers 7 (2012) 1312–1328.

Evaluierung medizinischer Volumenrendering-Algorithmen durch empirische Studien
G. Domik, S. Arens, J. Tünnermann, I.R. Scharlau, FIfF-Kommunikation 29 (2012) 45–50.

Introducing Google Chart Tools and Google Maps API in Data Visualization Courses
Y. Zhu, IEEE Computer Graphics and Applications 32 (2012) 6–9.

Teaching 3D Computer Animation to Illustrators: The Instructor as Translator and Technical Director
W.F. Koning, IEEE Computer Graphics and Applications 32 (2012) 81–83.

Large-Scale Visualization Projects for Teaching Software Engineering
C. Müller, G. Reina, M. Burch, D. Weiskopf, IEEE Computer Graphics and Applications 32 (2012) 14–19.

Visualization Curriculum Panel - or The Changes We Have Made to Our Visualization Courses Over the Last 10 Years
G. Domik, D. Ebert, J. Kohlhammer, H. Rushmeier, B.S. Santos, D. Weiskopf, in: G. Gallo, B. Sousa Santos (Eds.), Eurographics 2012 - Education Papers, The Eurographics Association, 2012.

Leveraging Multidisciplinarity in a Visual Analytics Graduate Course
N. Elmqvist, D.S. Ebert, IEEE Computer Graphics and Applications 32 (2012) 84–87.

Digital Media and the Beginning Designer
G. Goldman, IEEE Computer Graphics and Applications 32 (2012) 14–21.

Fostering Collaboration and Self-Motivated Learning: Best Practices in a One-Semester Visualization Course
G. Domik, IEEE Computer Graphics and Applications 32 (2012) 87–91.

Graph Transformation - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, eds., Graph Transformation - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings, Springer, 2012.

CoMP clustering and backhaul limitations in cooperative cellular mobile access networks
T. Biermann, L. Scalia, C. Choi, H. Karl, W. Kellerer, Pervasive and Mobile Computing (2012) 662--681.

Segment-based packet combining: how to schedule a dense relayer cluster?
A. Willig, H. Karl, D. Kipnis, Wireless Networks (2012) 199--213.

Average and competitive analysis of latency and power consumption of a queuing system with a sleep mode
M. Herlich, H. Karl, in: Proceedings of the 3rd International Conference on Energy-Efficient Computing and Networking, e-Energy’12, Madrid, Spain, May 9-11, 2012, 2012, p. 14.

Energy Efficient Clustering using a Wake-up Receiver
J. Blanckenstein, J. Klaue, H. Karl, in: European Wireless 2012 - 18th European Conference 2012, April 18-20, 2012, Poznan, Poland., 2012.

On Local Separation of Processing and Storage in Infrastructure-as-a-Service
J. Künsemöller, H. Karl, in: Economics of Grids, Clouds, Systems, and Services - 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings, 2012, pp. 125--138.

Efficiency of On-Path and Off-Path Caching Strategies in Information Centric Networks
M. Dräxler, H. Karl, in: 2012 IEEE International Conference on Green Computing and Communications, Conference on Internet of Things, and Conference on Cyber, Physical and Social Computing, GreenCom/IThings/CPSCom 2012, Besancon, France, November 20-23, 2012, 2012, pp. 581--587.

OpenNetInf - prototyping an information-centric Network Architecture
C. Dannewitz, M. Herlich, H. Karl, in: 37th Annual IEEE Conference on Local Computer Networks, Workshop Proceedings, Clearwater Beach, FL, USA, October 22-25, 2012, 2012, pp. 1061--1069.