@inproceedings{25767, author = {{He, Da and Müller, Wolfgang}}, booktitle = {{15th Euromicro Conference on Digital System Design (DSD)}}, publisher = {{IEEE Xplore}}, title = {{{A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms}}}, year = {{2012}}, } @inproceedings{25776, author = {{Rasche, Christoph and Jungmann, Alexander and Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd}}, booktitle = {{ IEEE 10th International Conference on Industrial Informatics,}}, publisher = {{IEEE Xplore}}, title = {{{ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots}}}, year = {{2012}}, } @inproceedings{25777, abstract = {{This paper presents a hierarchical hyprid planning approach developed for realizing self-optimizing mechatronic systems. The hybrid planning approach is based on a discrete plan and a forecast of continuous system behavior generated by simulation during runtime. This does not only allow an online adaptation of a previously generated plan with regard to the actual system state as well as the current environmental conditions, even the planning objectives may be adapted to newly arising needs during system operation. The planner exploits the hierarchy already present in the system model by considering hierarchical parameterizations of the system as a discrete dimension of choice. The parameterizations are proposed by a novel hierarchical multiobjective optimization, which calculates Pareto points in a bottom up fashion, taking into account the constraints imposed by lower levels of the system hierarchy on the higher ones. Evaluations of the hierarchical hybrid planner in the context of an innovative railbound transport system show that it outperforms its non-hierarchical predecessor. }}, author = {{Esau, Natascha and Krüger, Martin and Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{7th IEEE Conference in Industrial Electronics and Applications}}, location = {{Singapore, 18. - 20. Jul. 2012 IEEE, IEEE}}, publisher = {{IEEE}}, title = {{{Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System}}}, year = {{2012}}, } @inproceedings{25781, author = {{Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition}}, location = {{16. - 19. Jul. 2012; Las Vegas, Nevada, USA}}, title = {{{Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces}}}, year = {{2012}}, } @inproceedings{25783, author = {{Grösbrink, Stefan}}, booktitle = {{Symposium on System-integrated Intelligence}}, location = {{27. - 29. Jun. 2012}}, title = {{{A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems}}}, year = {{2012}}, } @inproceedings{26022, author = {{Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}}, booktitle = {{ 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}}, title = {{{Binary Mutation Testing Through Dynamic Translation}}}, year = {{2012}}, } @inproceedings{26023, author = {{He, Da and Müller, Wolfgang}}, booktitle = {{Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)}}, publisher = {{IEEE Xplore}}, title = {{{Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms}}}, year = {{2012}}, } @inproceedings{26024, author = {{Radke, Stephan and Rülke, Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens, Jan-Hendrik and Brazdrum, Helmut and Janssen, Peter and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Drechsler, Rolf and Koch, Gernot and Burger, Andreas and Bringmann, Oliver and Rosenstiel, Wolfgang and Görgen, Ralph}}, booktitle = {{edaWorkshop 12}}, title = {{{Compilation of Methodologies to Speed up the Verification Process at System Level}}}, year = {{2012}}, } @inbook{26025, author = {{Montealegre, Norma and Hagenkötter, Sebastian}}, booktitle = {{Journal of Intelligent Manufacturing 23(3)}}, pages = {{699--715}}, publisher = {{Published online on June 2010}}, title = {{{Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks}}}, year = {{2012}}, } @inproceedings{26026, author = {{Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}}, booktitle = {{4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)}}, title = {{{Towards Adaptive Resource Management for Virtualized Real-Time Systems}}}, year = {{2012}}, } @inproceedings{26027, author = {{Zhao, Yuhong and Rammig, Franz-Josef}}, booktitle = {{16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China}}, pages = {{154--161}}, publisher = {{ IEEE Computer Society}}, title = {{{Online Model Checking for Dependable Real-time Systems}}}, year = {{2012}}, } @inproceedings{26028, author = {{Montealegre, Norma and Rammig, Franz-Josef}}, booktitle = {{Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)}}, title = {{{Agent-Based Modeling and Simulation of Artificial Immune Systems}}}, year = {{2012}}, } @inproceedings{26029, author = {{Rammig, Franz-Josef}}, booktitle = {{2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012}}, pages = {{45--48}}, publisher = {{SBC}}, title = {{{Self-Coordination as Fundamental Concept for Cyber Physical Systems}}}, year = {{2012}}, } @inproceedings{26030, author = {{Mathews, Emi}}, booktitle = {{Ninth International Conference On Information Technology : New Generations (ITNG)}}, publisher = {{IEEE Computer Society}}, title = {{{Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks}}}, year = {{2012}}, } @inproceedings{26031, author = {{He, Da and Müller, Wolfgang}}, booktitle = {{2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}}, publisher = {{IEEE Xplore}}, title = {{{Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems}}}, year = {{2012}}, } @inproceedings{26032, abstract = {{Getting a contemporary aerial overview of a disaster area is a foremost task in search and rescue operations. We previously have introduced a novel method for registering a large amount of aerial images when camera parameters are almost unknown and no reference images are available. This paper provides two new methods, which improve our method for image registration based on virtual forces. The goal is to improve the performance of creating a contemporary overview map of a disaster area assembling several images taken by unmanned aerial vehicles (UAVs) equipped with cameras. In this paper, two new methods are introduced: a method for rotation estimation and a method for scale estimation. Both methods use fast heuristic approximation approaches and statistical methods to provide high robustness. We discuss the methods in detail and compare them to our previous approach regarding robustness and calculation speed. We can show that the new methods significantly increase the performance of the image registration process.}}, author = {{Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}}, booktitle = {{Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)}}, publisher = {{IEEE Xplore}}, title = {{{Efficient Alignment of Aerial Images Based on Virtual Forces}}}, year = {{2012}}, } @inproceedings{26034, abstract = {{In this paper, a color based feature extraction and classification approach for image processing in embedded systems in presented. The algorithms and data structures developed for this approach pay particular attention to reduce memory consumption and computation power of the entire image processing, since embedded systems usually impose strong restrictions regarding those resources. The feature extraction is realized in terms of an image segmentation algorithm. The criteria of homogeneity for merging pixels and regions is provided by the color classification mechanism, which incorporates appropriate methods for defining, representing and accessing subspaces in the working color space. By doing so, pixels and regions with color values that belong to the same color class can be merged. Furthermore, pixels with redundant color values that do not belong to any pre-defined color class can be completely discarded in order to minimize computational effort. Subsequently, the extracted regions are converted to a more convenient feature representation in terms of statistical moments up to and including second order. For evaluation, the whole image processing approach is applied to a mobile representative of embedded systems within the scope of a simple real-world scenario.}}, author = {{Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa and Bieshaar, Maarten}}, booktitle = {{Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)}}, publisher = {{Xpert Publishing Services}}, title = {{{Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems}}}, year = {{2012}}, } @inproceedings{26035, author = {{Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}}, booktitle = {{Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012)}}, title = {{{Dynamic Resource Management for Virtualized Mixed-Criticality Systems}}}, year = {{2012}}, } @inproceedings{26036, author = {{Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan}}, booktitle = {{Proceeding of Design and Verification Conference (DVCON)}}, title = {{{A SystemC Library for Advanced TLM Verification}}}, year = {{2012}}, } @article{26037, author = {{Nascimento, Francisco A. M. and Oliveira, Marcio F. and Wagner, Flavio}}, journal = {{Innovations in Systems and Software Engineering 8}}, pages = {{19--33}}, title = {{{A model-driven engineering framework for embedded systems design}}}, year = {{2012}}, } @article{26046, author = {{Stefszky, Michael and Mow-Lowry, C M and Chua, S S Y and Shaddock, D A and Buchler, B C and Vahlbruch, H and Khalaidovski, A and Schnabel, R and Lam, P K and McClelland, D E}}, issn = {{0264-9381}}, journal = {{Classical and Quantum Gravity}}, title = {{{Balanced homodyne detection of optical quantum states at audio-band frequencies and below}}}, doi = {{10.1088/0264-9381/29/14/145015}}, year = {{2012}}, } @inproceedings{26079, author = {{Becker, Markus and Gnokam Defo, Gilles Bertrand and Müller, Wolfgang and Fummi, F. and Pravadelli, G. and Vinco, Sara}}, booktitle = {{Design, Automation and Test in Europe (DATE 2012)}}, title = {{{MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution}}}, year = {{2012}}, } @inbook{2608, author = {{Betz, Stefan}}, booktitle = {{Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}}, editor = {{Betz, Stefan}}, pages = {{49--72}}, title = {{{Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains}}}, year = {{2012}}, } @inproceedings{26080, author = {{Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel and Xie, Tao and Müller, Wolfgang}}, booktitle = {{Design, Automation and Test in Europe DATE}}, title = {{{XEMU: A QEMU Based Binary Mutation Testing Framework}}}, year = {{2012}}, } @inproceedings{26081, author = {{Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}}, booktitle = {{Proceedings of Embedded World Conference}}, title = {{{Real-Time Android: Deterministic Ease of use}}}, year = {{2012}}, } @inproceedings{26086, abstract = {{In this paper, an image segmentation approach for object detection on the miniature robot BeBot - a deeply embedded system - is presented. In order to enable the robot to detect and identify objects in its environment by means of its camera, an efficient image segmentation approach was developed. The fundamental algorithm bases on the region growing and region merging concept and identifies homogeneous regions consisting of adjacent pixels with similar color. By internally representing a contiguous block of pixels in terms of run-lengths, the computational effort of both the region growing and the region merging operation is minimized. Finally, for subsequent object detection processes, a region is efficiently translated into a statistically feature representation based on discretized moments. }}, author = {{Jungmann, Alexander and Schierbaum, Thomas and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)}}, pages = {{441--444}}, publisher = {{ INSTICC PRESS}}, title = {{{Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot}}}, year = {{2012}}, } @inproceedings{26089, author = {{Bin Tariq, Fahad}}, booktitle = {{Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems}}, title = {{{Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints}}}, year = {{2012}}, } @inbook{2609, author = {{Betz, Stefan}}, booktitle = {{Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}}, editor = {{Betz, Stefan}}, pages = {{105--132}}, title = {{{Analyse des Bullwhip-Effekts in einer Supply Chain von KMU}}}, year = {{2012}}, } @inproceedings{26090, author = {{Mathews, Emi and Frey, Hannes}}, booktitle = {{13th International Conference On Distributed Computing And Networking (ICDCN)}}, publisher = {{Springer}}, title = {{{A Localized Link Removal and Addition based Planarization Algorithm}}}, year = {{2012}}, } @article{26091, author = {{Mathews, Emi and Mathew, Ciby}}, journal = {{International Journal of Computer Networks and Communications 4(1)}}, pages = {{175--192}}, title = {{{Deployment of mobile routers ensuring coverage and connectivity}}}, year = {{2012}}, } @inproceedings{26092, author = {{Müller, Wolfgang and Becker, Markus and Zabel, Henning and Elfeky, Ahmed and DiPasquale, Anthony}}, booktitle = {{In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012}}, title = {{{Virtual Prototyping of Cyber-Physical Systems}}}, year = {{2012}}, } @inbook{26093, author = {{Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}}, booktitle = {{Self-Organization in Embedded Real-Time Systems}}, editor = {{Higuera-Toledano, M. Theresa and Brinkschulte, Uwe and Rettberg, Achim}}, pages = {{75--92}}, publisher = {{Springer}}, title = {{{Swarm Robotic Time Synchronization for Object Tracking}}}, year = {{2012}}, } @inbook{26094, author = {{Rammig, Franz-Josef}}, booktitle = {{Schemata und Praktiken}}, editor = {{Conradi, Tobias and Ecker, Gisela and Eke, Norbert Otto and Muhle, Florian}}, pages = {{141--160}}, publisher = {{Wilhelm Fink Verlag}}, title = {{{Biologically Inspired Information Technology: Towards a Cyber Biosphere}}}, year = {{2012}}, } @inbook{26102, author = {{Bin Tariq, Fahad and Korrapati, Sandeep}}, booktitle = {{Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems}}, pages = {{263--276}}, publisher = {{ IGI Global}}, title = {{{Adaptive Web Services for Modular and Reusable Software Development}}}, year = {{2012}}, } @article{26132, abstract = {{Wood-Plastic-Composite (WPC) zeigen im Vergleich zu reinen Kunststoffen ein sehr unterschiedliches und überaus komplexes Material- und Fließverhalten. Letzteres ist für die Verarbeitung der Composite von entscheidender Bedeutung. Im Folgenden werden die Ergebnisse rheologischer Charakterisierungen sowie einiger Untersuchungen zum Füllverhalten im Spritzgießprozess dargestellt. Dabei werden auch auftretende Herausforderungen und mögliche Lösungsansätze diskutiert. }}, author = {{Kirchhoff, Nadine and Schröder, Cathrin and Stute, Daniel and Moritzer, Elmar and Schmid, Hans-Joachim}}, issn = {{0009-286X}}, journal = {{Chemie Ingenieur Technik}}, pages = {{1584--1589}}, title = {{{Wood-Plastic-Composites: Rheologische Charakterisierung und Füllverhalten im Spritzgießprozess}}}, doi = {{10.1002/cite.201100223}}, year = {{2012}}, } @article{26133, abstract = {{The sintering of vitreous nanoparticle doublets is investigated numerically by a volume of fluid method coupled to Hamaker summation and experimentally by a high-temperature sintering flow reactor as well as by doublet shape analysis in the transmission electron microscope. In particular, the characteristic differences between nanoparticulate and bulk sintering are studied. The sintering mechanism of vitreous nanoparticles is determined to be viscous flow with interparticle van der Waals interactions acting as additional driving force. The early stages of the nanoparticle sintering kinetics are inversely proportional to the square of the particle size, instead of an indirect proportionality to the first order of the particle size for the entire bulk process. The transition between nanoparticulate and bulk sintering is localised to primary particle diameters of approx. 200–300 nm.}}, author = {{Kirchhof, M.J. and Förster, H. and Schmid, Hans-Joachim and Peukert, W.}}, issn = {{0021-8502}}, journal = {{Journal of Aerosol Science}}, pages = {{26--39}}, title = {{{Sintering kinetics and mechanism of vitreous nanoparticles}}}, doi = {{10.1016/j.jaerosci.2011.10.006}}, volume = {{45}}, year = {{2012}}, } @inproceedings{26181, abstract = {{The paradigm shift from purchasing monolithic software solutions to a dynamic composition of individual solutions entails many new possibilities yet great challenges, too. In order to satisfy user requirements, complex services have to be automatically composed of elementary services. Multiple possibilities of composing a complex service inevitably emerge. The problem of selecting the most appropriate services has to be solved by comparing the different service candidates with respect to their quality in terms of inherent non-functional properties while simultaneously taking the user requirements into account.We are aiming for an integrated service rating and ranking methodology in order to support the automation of the underlying decision-making process. The main contribution of this paper is a first decomposition of the quality-based service selection process, while emphasizing major issues and challenges, which we are addressing in the On-The-Fly Computing project.}}, author = {{Jungmann, Alexander and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}}, pages = {{43--47}}, publisher = {{Xpert Publishing Services}}, title = {{{Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition}}}, year = {{2012}}, } @inproceedings{26190, abstract = {{A major goal of the On-The-Fly Computing project is the automated composition of individual services based on services that are available in dynamic markets. Dependent on the granularity of a market, different alternatives that satisfy the requested functional requirements may emerge. In order to select the best solution, services are usually selected with respect to their quality in terms of inherent non-functional properties. In this paper, we describe our idea of how to model this service selection process as a Markov Decision Process, which we in turn intend to solve by means of Reinforcement Learning techniques in order to control the underlying service composition process. In addition, some initial issues with respect to our approach are addressed.}}, author = {{Jungmann, Alexander and Kleinjohann, Bernd}}, booktitle = {{Proceedings of the 9th IEEE International Conference on Services Computing (SCC)}}, publisher = {{IEEE}}, title = {{{Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition}}}, year = {{2012}}, } @phdthesis{26199, author = {{Nordsiek, Daniel}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme}}}, volume = {{304}}, year = {{2012}}, } @phdthesis{26200, author = {{Kreft, Sven}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen}}}, volume = {{305}}, year = {{2012}}, } @proceedings{26201, editor = {{Gausemeier, Jürgen}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung}}}, volume = {{306}}, year = {{2012}}, } @inproceedings{26212, author = {{Khaluf, Yara and Weiss, Fabian and Micus, Sebastian}}, booktitle = {{The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications}}, title = {{{Master Election for Time Synchronization in Swarm Robotic Systems}}}, year = {{2012}}, } @inproceedings{26264, author = {{Mathews, Emi and Mathew, Ciby}}, booktitle = {{Third International Conference on Networks & Communications, LNICST}}, publisher = {{Springer}}, title = {{{Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks}}}, year = {{2012}}, } @article{26351, author = {{Gehrke, C. and Sperling, Jan and Vogel, W.}}, issn = {{1050-2947}}, journal = {{Physical Review A}}, title = {{{Quantification of nonclassicality}}}, doi = {{10.1103/physreva.86.052118}}, year = {{2012}}, } @article{26352, author = {{Pagel, D. and Fehske, H. and Sperling, Jan and Vogel, W.}}, issn = {{1050-2947}}, journal = {{Physical Review A}}, title = {{{Strongly entangled light from planar microcavities}}}, doi = {{10.1103/physreva.86.052313}}, year = {{2012}}, } @article{26353, author = {{Miranowicz, Adam and Horodecki, Paweł and Chhajlany, Ravindra W. and Tuziemski, Jan and Sperling, Jan}}, issn = {{1050-2947}}, journal = {{Physical Review A}}, title = {{{Analytical progress on symmetric geometric discord: Measurement-based upper bounds}}}, doi = {{10.1103/physreva.86.042123}}, year = {{2012}}, } @article{26354, author = {{Sperling, Jan and Vogel, W. and Agarwal, G. S.}}, issn = {{0031-9007}}, journal = {{Physical Review Letters}}, title = {{{Sub-Binomial Light}}}, doi = {{10.1103/physrevlett.109.093601}}, year = {{2012}}, } @article{26355, author = {{Sperling, Jan and Vogel, W}}, issn = {{1367-2630}}, journal = {{New Journal of Physics}}, title = {{{Entanglement quasiprobabilities of squeezed light}}}, doi = {{10.1088/1367-2630/14/5/055026}}, year = {{2012}}, } @article{26356, author = {{Sperling, Jan and Vogel, W. and Agarwal, G. S.}}, issn = {{1050-2947}}, journal = {{Physical Review A}}, title = {{{True photocounting statistics of multiple on-off detectors}}}, doi = {{10.1103/physreva.85.023820}}, year = {{2012}}, } @article{2640, author = {{Kundisch, Dennis}}, journal = {{International Journal of Electronic Finance}}, number = {{2}}, pages = {{103--120}}, title = {{{Trading Venue Decision of Private Online Investors}}}, volume = {{6}}, year = {{2012}}, } @article{2641, author = {{Zimmermann, Steffen and Katzmarzik, A. and Kundisch, Dennis}}, journal = {{The DATA BASE for Advances in Information Systems}}, number = {{1}}, pages = {{24--45}}, title = {{{IT Sourcing Portfolio Management for IT Services Providers - An Approach for using Modern Portfolio Theory to allocate Software Development Projects to available Sites}}}, volume = {{43}}, year = {{2012}}, } @article{2642, author = {{Kundisch, Dennis and Zorzi, R.}}, journal = {{Information Systems and e-Business Management}}, number = {{1}}, pages = {{85--99}}, title = {{{Enhancing the Quality of Financial Advice with Web 2.0 - An Approach Considering Social Capital in Private Asset Allocation}}}, volume = {{10}}, year = {{2012}}, } @article{2643, author = {{Kundisch, Dennis and John, Thomas}}, journal = {{WISU - Das Wirtschaftsstudium}}, pages = {{345--347}}, title = {{{Investitionsbewertung mit Realoptionen}}}, volume = {{3}}, year = {{2012}}, } @article{26514, author = {{Potzuweit, A. and Weich, T. and Barkhofen, Sonja and Kuhl, U. and Stöckmann, H.-J. and Zworski, M.}}, issn = {{1539-3755}}, journal = {{Physical Review E}}, title = {{{Weyl asymptotics: From closed to open systems}}}, doi = {{10.1103/physreve.86.066205}}, year = {{2012}}, } @article{2655, author = {{Beutner, Marc and Zoyke, A. and Kundisch, Dennis and Herrmann, Philipp and Whittaker, Michael and Magenheim, Johannes and Reinhardt, W.}}, journal = {{Kölner Zeitschrift für Wirtschaft und Pädagogik (KWP)}}, number = {{53}}, pages = {{3--52}}, title = {{{PINGO - Umsetzung von E-Learning in der Hoschule in Adaption und Weiterentwicklung des Peer Instruction Ansatzes - Didaktische und organisatorische Reflexion Studierendenaktivierung in Lehrveranstaltungen}}}, volume = {{27}}, year = {{2012}}, } @book{2668, editor = {{Betz, Stefan}}, title = {{{Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}}}, year = {{2012}}, } @article{26693, author = {{Hellmich, Frank and Hoya, Fabian Karl and Förster , Sabrina}}, journal = {{Deutsch Differenziert}}, pages = {{28--31}}, title = {{{Lesetexte besser verstehen - Lesestrategien erlernen und den Wortschatz erweitern}}}, volume = {{4}}, year = {{2012}}, } @inbook{26694, author = {{Hoya, Fabian Karl and Hellmich, Frank}}, booktitle = {{Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven}}, editor = {{Hellmich, Frank and Förster, Sabrina}}, pages = {{199--202}}, publisher = {{Springer VS}}, title = {{{Erfassung diagnostischer Fähigkeiten bei Lehramtsstudentinnen und -studenten}}}, volume = {{16}}, year = {{2012}}, } @article{26743, author = {{Hellmich, Frank}}, journal = {{Zeitschrift für Grundschulforschung}}, number = {{1}}, pages = {{101--103}}, title = {{{Rezension: Handbuch Grundschulpädagogik und Grundschuldidaktik}}}, volume = {{5}}, year = {{2012}}, } @inbook{26744, author = {{Förster, Sabrina and Niebuhr-Siebert, Sandra and Hellmich, Frank}}, booktitle = {{Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven}}, editor = {{Hellmich, Frank and Förster, Sabrina and Hoya, Fabian Karl}}, pages = {{199--202}}, publisher = {{Springer VS}}, title = {{{Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache}}}, volume = {{16}}, year = {{2012}}, } @article{26907, author = {{Krupp, Danika and Johner, Simone A. and Kalhoff, Hermann and Buyken, Anette and Remer, Thomas}}, issn = {{0022-3166}}, journal = {{The Journal of Nutrition}}, pages = {{313--319}}, title = {{{Long-Term Dietary Potential Renal Acid Load During Adolescence Is Prospectively Associated with Indices of Nonalcoholic Fatty Liver Disease in Young Women}}}, doi = {{10.3945/jn.111.150540}}, year = {{2012}}, } @article{26909, author = {{Louie, Jimmy Chun Yu and Buyken, Anette and Brand-Miller, Jennie C and Flood, Victoria M}}, issn = {{0002-9165}}, journal = {{The American Journal of Clinical Nutrition}}, pages = {{694--702}}, title = {{{The link between dietary glycemic index and nutrient adequacy}}}, doi = {{10.3945/ajcn.111.015271}}, year = {{2012}}, } @inproceedings{3449, author = {{Becker, Jörg and Bernhold, Torben and Beverungen, Daniel and Kaling, Nina and Knackstedt, Ralf and Vanesa, Lellek and Peter Rauer, Hans}}, booktitle = {{Dienstleistungsmodellierung 2012}}, location = {{Bamberg, Deutschland}}, pages = {{208----226}}, title = {{{Softwaregestützte Konstruktion von Produktivitätsmodellen im Facility Management}}}, doi = {{10.1007/978-3-658-00863-5_10}}, year = {{2012}}, } @inproceedings{3450, author = {{Becker, Jörg and Beverungen, Daniel and Breuker, Dominic and Peter Rauer, Hans}}, booktitle = {{Proceedings of the 16th Pacific Asian Conference on Information Systems (PACIS) 2012}}, location = {{Ho Chi Minh City, Vietnam}}, pages = {{Paper 56}}, title = {{{Resolving trade-offs in Service Performance Benchmarking using Data Envelopment Analysis}}}, year = {{2012}}, } @inproceedings{3451, author = {{Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf and Peter Rauer, Hans and Sigge, Daniel}}, booktitle = {{Proceedings of the 45th Hawaii International Conference on System Sciences (HICSS) 2012}}, location = {{Kauai, USA}}, pages = {{1522----1531}}, title = {{{Service Productivity Management --- Status Quo and Directions for the Design of Conceptual Modeling Grammars.}}}, doi = {{10.1109/HICSS.2012.525}}, year = {{2012}}, } @inproceedings{3452, author = {{Heide, Tobias and Tumbas, Sanja and Beverungen, Daniel and Knackstedt, Ralf and Becker, Jörg}}, booktitle = {{Services and Economic Development: Local and Global Challenges}}, isbn = {{978-606-505-565-0}}, location = {{Bucharest, Romania}}, pages = {{1----21}}, title = {{{Global versus Local Properties of Service Science: Insights from a Comparative International Study on Research Results}}}, year = {{2012}}, } @inproceedings{3453, author = {{Rosemann, Michael and Eggert, Mathias and Voigt, Matthias and Beverungen, Daniel}}, booktitle = {{Proceedings of the 20$^{th}$ European Conference on Information Systems}}, location = {{ Barcelona, Spain}}, pages = {{1----12}}, title = {{{Leveraging Social Network Data for Analytical CRM Strategies --- The Introduction of Social BI}}}, year = {{2012}}, } @article{3500, author = {{Becker, Jörg and Bernhold, Torben and Beverungen, Daniel and Kaling, Nina and Knackstedt, Ralf and Vanessa, Lellek and Peter Rauer, Hans}}, journal = {{Enterprise Modelling and Information Systems Architectures}}, number = {{1}}, pages = {{26----40}}, title = {{{Construction of Productivity Models: A Tool Supported Approach in the Area of Facility Management}}}, year = {{2012}}, } @article{3501, author = {{Beverungen, Daniel and Knackstedt, Ralf and Winkelmann, Axel}}, journal = {{e-Service Journal}}, number = {{1}}, pages = {{45----74}}, title = {{{Identifying e-Service Potential from Business Process Models --- A Theory Nexus Approach}}}, year = {{2012}}, } @article{3633, author = {{Harteis, Christian and Morgenthaler, Barbara and Kugler, Christine and Ittner, Karl-Peter and Roth, Gabriel and Graf, Bernhard}}, journal = {{Vocations and Learning}}, number = {{2}}, pages = {{119----136}}, title = {{{Professional competence and intuitive decision making: A simulation study in the domain of emergency medicine}}}, volume = {{5}}, year = {{2012}}, } @article{3634, author = {{Harteis, Christian}}, journal = {{International Journal of Human Resources Development and Management}}, number = {{1-2}}, pages = {{92----107}}, title = {{{When workplace learning fails: Individual and organisational limitations--Exemplarily demonstrated by the issue of responsibility in work life}}}, volume = {{12}}, year = {{2012}}, } @inbook{3637, author = {{Bauer, Johannes and Gartmeier, Martin and Harteis, Christian}}, booktitle = {{Human fallibility}}, editor = {{Bauer, Johannes and Harteis, Christian}}, pages = {{155----169}}, publisher = {{Springer}}, title = {{{Human fallibility and learning from errors at work}}}, year = {{2012}}, } @inbook{3638, author = {{Bauer, Johannes and Harteis, Christian}}, booktitle = {{Human Fallibility}}, editor = {{Bauer, Johannes and Harteis, Christian}}, pages = {{1----14}}, publisher = {{Springer}}, title = {{{The ambiguity of errors for work and learning: Introduction to the volume}}}, year = {{2012}}, } @inbook{3639, author = {{Harteis, Christian and Bauer, Johannes and Heid, Helmut}}, booktitle = {{Human Fallibility}}, editor = {{Bauer, Johannes and Harteis, Christian}}, pages = {{255----265}}, publisher = {{Springer}}, title = {{{Research on human fallibility and learning from errors at work: Challenges for theory, research, and practice}}}, year = {{2012}}, } @inbook{3640, author = {{Harteis, Christian and Frost, Franziska}}, booktitle = {{Human Fallibility}}, editor = {{Bauer, Johannes and Harteis, Christian}}, pages = {{141----153}}, publisher = {{Springer}}, title = {{{Error Orientation in the Context of Intuitive and Competent Behaviour: Results of an Exploratory Study in the Domain of Emergency Medicine}}}, year = {{2012}}, } @inbook{3641, author = {{Fiehn, Janina and Spie{\ss}, Stefan and Ceylan, Firat and Harteis, Christian and Schworm, Silke}}, booktitle = {{Lernwelt Universität}}, editor = {{Egger, R and Merkt, Maria}}, pages = {{45----62}}, publisher = {{Springer VS}}, title = {{{LehreProfi--Entwicklung und Einsatz eines Instruments zur Erfassung hochschuldidaktischer Kompetenz}}}, year = {{2012}}, } @book{3646, editor = {{Bauer, Johannes and Harteis, Christian}}, publisher = {{Springer}}, title = {{{Human fallibility: The ambiguity of errors for work and learning}}}, year = {{2012}}, } @inbook{3659, author = {{Gruber, Hans and Harteis, Christian}}, booktitle = {{Handbuch Professionsentwicklung}}, editor = {{Dick, Manfred and Marotzki, Winfried and Mieg, Harald}}, pages = {{231--239}}, publisher = {{Klinkhardt}}, title = {{{Entwicklungsaufgaben im Erwachsenenalter}}}, year = {{2012}}, } @inbook{3714, author = {{Bauer, Johannes and Gartmeier, Martin and Harteis, Christian}}, booktitle = {{Human fallibility. The ambiguity of errors for work and learning}}, editor = {{Bauer, Johannes and Harteis, Christian}}, pages = {{1--14}}, publisher = {{Springer}}, title = {{{Learning from errors in the professions}}}, year = {{2012}}, } @misc{3715, author = {{Buschmeyer, Katrin and Harteis, Christian}}, booktitle = {{Vocations and Learning. Studies in Vocational and Professional Education}}, number = {{2}}, pages = {{313--316}}, title = {{{Wuttke & Seifried (Eds.). (2012). Learning from errors at school and at work}}}, volume = {{5}}, year = {{2012}}, } @inbook{3716, author = {{Harteis, Christian and Buschmeyer, Katrin}}, booktitle = {{Learning from errors at school and at work}}, editor = {{Wuttke, Eveline and Seifried, Jürgen}}, pages = {{31--47}}, publisher = {{Barbara Budrich}}, title = {{{Learning from mistakes - still a challenge for research and business practice}}}, year = {{2012}}, } @inbook{3717, author = {{Harteis, Christian and Frost, Franziska}}, booktitle = {{Human fallibility. The ambiguity of errors for work and learning}}, editor = {{Bauer, Johannes and Harteis, Christian}}, pages = {{141--153}}, title = {{{Error orientation and intuitive decision making}}}, year = {{2012}}, } @inproceedings{3812, author = {{Wachsmuth, Henning and Stein, Benno}}, booktitle = {{Proceedings of COLING 2012: Posters}}, pages = {{1281--1290}}, title = {{{Optimal Scheduling of Information Extraction Algorithms}}}, year = {{2012}}, } @book{28935, editor = {{Schulz-Zander, Renate and Eickelmann, Birgit and Moser, Heinz and Niesyto, Horst and Grell, Petra}}, publisher = {{VS Verlag für Sozialwissenschaften}}, title = {{{Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung}}}, year = {{2012}}, } @inbook{2918, author = {{Kakvi, Saqib and Kiltz, Eike and May, Alexander}}, booktitle = {{Advances in Cryptology – ASIACRYPT 2012}}, isbn = {{9783642349607}}, issn = {{0302-9743}}, pages = {{404--414}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Certifying RSA}}}, doi = {{10.1007/978-3-642-34961-4_25}}, year = {{2012}}, } @inbook{2919, author = {{Kakvi, Saqib and Kiltz, Eike}}, booktitle = {{Advances in Cryptology – EUROCRYPT 2012}}, isbn = {{9783642290107}}, issn = {{0302-9743}}, pages = {{537--553}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Optimal Security Proofs for Full Domain Hash, Revisited}}}, doi = {{10.1007/978-3-642-29011-4_32}}, year = {{2012}}, } @article{2949, author = {{Gries, Thomas and Bilkic, Natascha and Pilichowski, Margarethe}}, journal = {{Labour Economics}}, number = {{5}}, pages = {{706 -- 717}}, title = {{{Stay in school or start working?- The human capital investment decision under uncertainty and irreversibility}}}, doi = {{10.1016/j.labeco.2012.04.005}}, volume = {{19}}, year = {{2012}}, } @inbook{2950, author = {{Gries, Thomas and Xue, Jinjun}}, booktitle = {{ Rising China in the Changing World Economy}}, editor = {{Wang, Liming}}, isbn = {{9781138816732}}, pages = {{396 -- 412}}, title = {{{Poverty in Shenzhen}}}, year = {{2012}}, } @article{2951, author = {{Gries, Thomas and Meierrieks, Daniel}}, journal = {{Defence and Peace Economics}}, number = {{5}}, pages = {{447 -- 470}}, title = {{{Economic performance and terrorist activity in Latin America}}}, doi = {{10.1080/10242694.2012.656945}}, volume = {{23}}, year = {{2012}}, } @article{2952, author = {{Gries, Thomas and Prior, Ulrich and Sureth, Caren}}, journal = {{Journal of Public Economics Theory}}, number = {{3}}, pages = {{521 -- 545}}, title = {{{A Tax Paradox for Investment Decisions under Uncertainty}}}, doi = {{10.1111/j.1467-9779.2012.01547.x}}, volume = {{14}}, year = {{2012}}, } @inproceedings{2982, author = {{Ackermann, Marcel Rudolf and Märtens, Marcus and Raupach, Christoph and Swierkot, Kamil and Lammersen, Christiane and Sohler, Christian}}, publisher = {{ACM}}, title = {{{StreamKM++: A clustering algorithm for data streams}}}, doi = {{10.1145/2133803.2184450}}, volume = {{17}}, year = {{2012}}, } @article{2984, abstract = {{Ich beschreibe die deutsche Enigma-Verschlüsselungsmaschine und skizziere, wie sie von den Codebrechern von Bletchely Park um Alan Turing gebrochen wurde. Besonderes Augenmerk lege ich auf die Beiträge Alan Turings und die Bedeutung seiner Leistung für die Entwicklung moderner Kryptografie. }}, author = {{Blömer, Johannes}}, issn = {{1432-122X}}, journal = {{Informatik-Spektrum}}, number = {{4}}, title = {{{Turing und Kryptografie}}}, doi = {{10.1007/s00287-012-0622-7}}, volume = {{35}}, year = {{2012}}, } @phdthesis{3132, author = {{Jager, Tibor}}, isbn = {{978-3-8348-1989-5}}, publisher = {{Ruhr University Bochum}}, title = {{{On black-box models of computation in cryptology}}}, year = {{2012}}, } @inproceedings{3133, author = {{Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}}, booktitle = {{Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings}}, pages = {{273----293}}, title = {{{On the Security of TLS-DHE in the Standard Model}}}, doi = {{10.1007/978-3-642-32009-5_17}}, year = {{2012}}, } @inproceedings{3134, author = {{Hofheinz, Dennis and Jager, Tibor}}, booktitle = {{Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings}}, pages = {{590----607}}, title = {{{Tightly Secure Signatures and Public-Key Encryption}}}, doi = {{10.1007/978-3-642-32009-5_35}}, year = {{2012}}, } @inproceedings{3135, author = {{Jager, Tibor and Schinzel, Sebastian and Somorovsky, Juraj}}, booktitle = {{Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings}}, pages = {{752----769}}, title = {{{Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption}}}, doi = {{10.1007/978-3-642-33167-1_43}}, year = {{2012}}, } @inproceedings{3136, author = {{Hofheinz, Dennis and Jager, Tibor and Knapp, Edward}}, booktitle = {{Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings}}, pages = {{66----83}}, title = {{{Waters Signatures with Optimal Security Reduction}}}, doi = {{10.1007/978-3-642-30057-8_5}}, year = {{2012}}, } @article{3180, author = {{Travkin, Oleg and Wehrheim, Heike and Schellhorn, Gerhard}}, journal = {{{ECEASST}}}, title = {{{Proving Linearizability of Multiset with Local Proof Obligations}}}, year = {{2012}}, } @article{3181, author = {{Ruhroth, Thomas and Wehrheim, Heike}}, journal = {{Sci. Comput. Program.}}, number = {{3}}, pages = {{270----289}}, title = {{{Model evolution and refinement}}}, doi = {{10.1016/j.scico.2011.04.007}}, year = {{2012}}, } @inproceedings{3182, author = {{Schellhorn, Gerhard and Wehrheim, Heike and Derrick, John}}, booktitle = {{Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}}, editor = {{Madhusudan, P. and A. Seshia, Sanjit}}, pages = {{243----259}}, title = {{{How to Prove Algorithms Linearisable}}}, doi = {{10.1007/978-3-642-31424-7_21}}, year = {{2012}}, }