Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1558 Publications
2012 | Conference Paper | LibreCat-ID: 25767
@inproceedings{He_Müller_2012, title={A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms}, booktitle={15th Euromicro Conference on Digital System Design (DSD)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
@inproceedings{Rasche_Jungmann_Schierbaum_Werdehausen_Kleinjohann_2012, title={ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots}, booktitle={ IEEE 10th International Conference on Industrial Informatics,}, publisher={IEEE Xplore}, author={Rasche, Christoph and Jungmann, Alexander and Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
@inproceedings{Esau_Krüger_Rasche_Beringer_Kleinjohann_Kleinjohann_2012, place={Singapore}, title={Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System}, booktitle={7th IEEE Conference in Industrial Electronics and Applications}, publisher={IEEE}, author={Esau, Natascha and Krüger, Martin and Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={Las Vegas, Nevada, USA}, title={Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces}, booktitle={Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
@inproceedings{Grösbrink_2012, title={A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems}, booktitle={Symposium on System-integrated Intelligence}, author={Grösbrink, Stefan}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, title={Binary Mutation Testing Through Dynamic Translation}, booktitle={ 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}, author={Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}, year={2012} }
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
@inproceedings{He_Müller_2012, title={Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms}, booktitle={Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
@inproceedings{Radke_Rülke_Oliveira_Kuznik_Müller_Ecker_Esen_Hufnagel_Bannow_Oetjens_et al._2012, title={Compilation of Methodologies to Speed up the Verification Process at System Level}, booktitle={edaWorkshop 12}, 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 et al.}, year={2012} }
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
@inbook{Montealegre_Hagenkötter_2012, title={Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks}, booktitle={Journal of Intelligent Manufacturing 23(3)}, publisher={Published online on June 2010}, author={Montealegre, Norma and Hagenkötter, Sebastian}, year={2012}, pages={699–715} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
@inproceedings{Grösbrink_Oberthür_Baldin_2012, title={Towards Adaptive Resource Management for Virtualized Real-Time Systems}, booktitle={4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)}, author={Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
@inproceedings{Zhao_Rammig_2012, title={Online Model Checking for Dependable Real-time Systems}, booktitle={16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China}, publisher={ IEEE Computer Society}, author={Zhao, Yuhong and Rammig, Franz-Josef}, year={2012}, pages={154–161} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
@inproceedings{Montealegre_Rammig_2012, place={Shenzhen, China}, title={Agent-Based Modeling and Simulation of Artificial Immune Systems}, booktitle={Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)}, author={Montealegre, Norma and Rammig, Franz-Josef}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
@inproceedings{Rammig_2012, place={Ouro Preto, Brazil}, title={Self-Coordination as Fundamental Concept for Cyber Physical Systems}, booktitle={2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012}, publisher={SBC}, author={Rammig, Franz-Josef}, year={2012}, pages={45–48} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
@inproceedings{Mathews_2012, title={Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks}, booktitle={Ninth International Conference On Information Technology : New Generations (ITNG)}, publisher={IEEE Computer Society}, author={Mathews, Emi}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
@inproceedings{He_Müller_2012, title={Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems}, booktitle={2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={St. Maarten, Netherlands Antilles}, title={Efficient Alignment of Aerial Images Based on Virtual Forces}, booktitle={Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)}, publisher={IEEE Xplore}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
@inproceedings{Jungmann_Kleinjohann_Kleinjohann_Bieshaar_2012, title={Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems}, booktitle={Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)}, publisher={Xpert Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa and Bieshaar, Maarten}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
@inproceedings{Grösbrink_Oberthür_Baldin_2012, title={Dynamic Resource Management for Virtualized Mixed-Criticality Systems}, booktitle={Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012)}, author={Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
@inproceedings{Oliveira_Kuznik_Müller_Ecker_Esen_2012, title={A SystemC Library for Advanced TLM Verification}, booktitle={Proceeding of Design and Verification Conference (DVCON)}, author={Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
@article{Nascimento_Oliveira_Wagner_2012, title={A model-driven engineering framework for embedded systems design}, journal={Innovations in Systems and Software Engineering 8}, author={Nascimento, Francisco A. M. and Oliveira, Marcio F. and Wagner, Flavio}, year={2012}, pages={19–33} }
LibreCat
2012 | Journal Article | LibreCat-ID: 26046
@article{Stefszky_Mow-Lowry_Chua_Shaddock_Buchler_Vahlbruch_Khalaidovski_Schnabel_Lam_McClelland_2012, title={Balanced homodyne detection of optical quantum states at audio-band frequencies and below}, DOI={10.1088/0264-9381/29/14/145015}, number={145015}, journal={Classical and Quantum Gravity}, 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}, year={2012} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 26079
@inproceedings{Becker_Gnokam Defo_Müller_Fummi_Pravadelli_Vinco_2012, place={Dresden}, title={MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution}, booktitle={Design, Automation and Test in Europe (DATE 2012)}, author={Becker, Markus and Gnokam Defo, Gilles Bertrand and Müller, Wolfgang and Fummi, F. and Pravadelli, G. and Vinco, Sara}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 2608
@inbook{Betz_2012, place={Hamburg}, edition={2}, title={Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains}, booktitle={Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}, author={Betz, Stefan}, editor={Betz, StefanEditor}, year={2012}, pages={49–72} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, place={University Booth, Dresden}, title={XEMU: A QEMU Based Binary Mutation Testing Framework}, booktitle={Design, Automation and Test in Europe DATE}, author={Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel and Xie, Tao and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
@inproceedings{Mauerer_Hillier_Sawallisch_Hönick_Oberthür_2012, title={Real-Time Android: Deterministic Ease of use}, booktitle={Proceedings of Embedded World Conference}, author={Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
@inproceedings{Jungmann_Schierbaum_Kleinjohann_2012, title={Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot}, booktitle={Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)}, publisher={ INSTICC PRESS}, author={Jungmann, Alexander and Schierbaum, Thomas and Kleinjohann, Bernd}, year={2012}, pages={441–444} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
@inproceedings{Bin Tariq_2012, title={Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints}, booktitle={Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems}, author={Bin Tariq, Fahad}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 2609
@inbook{Betz_2012, place={Hamburg}, edition={2}, title={Analyse des Bullwhip-Effekts in einer Supply Chain von KMU}, booktitle={Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand}, author={Betz, Stefan}, editor={Betz, StefanEditor}, year={2012}, pages={105–132} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
@inproceedings{Mathews_Frey_2012, place={The Hong Kong Polytechnic University, Hong Kong, China}, title={A Localized Link Removal and Addition based Planarization Algorithm}, booktitle={13th International Conference On Distributed Computing And Networking (ICDCN)}, publisher={Springer}, author={Mathews, Emi and Frey, Hannes}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
@article{Mathews_Mathew_2012, title={Deployment of mobile routers ensuring coverage and connectivity}, journal={International Journal of Computer Networks and Communications 4(1)}, author={Mathews, Emi and Mathew, Ciby}, year={2012}, pages={175–192} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
@inproceedings{Müller_Becker_Zabel_Elfeky_DiPasquale_2012, place={Sydney}, title={Virtual Prototyping of Cyber-Physical Systems}, booktitle={In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012}, author={Müller, Wolfgang and Becker, Markus and Zabel, Henning and Elfeky, Ahmed and DiPasquale, Anthony}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
@inbook{Khaluf_Mathews_Rammig_2012, place={New York, Heidelberg, Dordrecht, London}, title={Swarm Robotic Time Synchronization for Object Tracking}, booktitle={Self-Organization in Embedded Real-Time Systems}, publisher={Springer}, author={Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}, editor={Higuera-Toledano, M. Theresa and Brinkschulte, Uwe and Rettberg, Achim}, year={2012}, pages={75–92} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
@inbook{Rammig_2012, place={München}, title={Biologically Inspired Information Technology: Towards a Cyber Biosphere}, booktitle={Schemata und Praktiken}, publisher={Wilhelm Fink Verlag}, author={Rammig, Franz-Josef}, editor={Conradi, Tobias and Ecker, Gisela and Eke, Norbert Otto and Muhle, Florian}, year={2012}, pages={141–160} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
@inbook{Bin Tariq_Korrapati_2012, title={Adaptive Web Services for Modular and Reusable Software Development}, booktitle={Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems}, publisher={ IGI Global}, author={Bin Tariq, Fahad and Korrapati, Sandeep}, year={2012}, pages={263–276} }
LibreCat
2012 | Journal Article | LibreCat-ID: 26132
@article{Kirchhoff_Schröder_Stute_Moritzer_Schmid_2012, title={Wood-Plastic-Composites: Rheologische Charakterisierung und Füllverhalten im Spritzgießprozess}, DOI={10.1002/cite.201100223}, journal={Chemie Ingenieur Technik}, author={Kirchhoff, Nadine and Schröder, Cathrin and Stute, Daniel and Moritzer, Elmar and Schmid, Hans-Joachim}, year={2012}, pages={1584–1589} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26133
@article{Kirchhof_Förster_Schmid_Peukert_2012, title={Sintering kinetics and mechanism of vitreous nanoparticles}, volume={45}, DOI={10.1016/j.jaerosci.2011.10.006}, journal={Journal of Aerosol Science}, author={Kirchhof, M.J. and Förster, H. and Schmid, Hans-Joachim and Peukert, W.}, year={2012}, pages={26–39} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 26181
@inproceedings{Jungmann_Kleinjohann_2012, title={Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition}, booktitle={Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, publisher={Xpert Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012}, pages={43–47} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
@inproceedings{Jungmann_Kleinjohann_2012, title={Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition}, booktitle={Proceedings of the 9th IEEE International Conference on Services Computing (SCC)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Dissertation | LibreCat-ID: 26199
@book{Nordsiek_2012, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme}, volume={304}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Nordsiek, Daniel}, year={2012}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2012 | Dissertation | LibreCat-ID: 26200
@book{Kreft_2012, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen}, volume={305}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Kreft, Sven}, year={2012}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2012 | Conference (Editor) | LibreCat-ID: 26201
@book{Gausemeier_2012, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung}, volume={306}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, year={2012}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
@inproceedings{Khaluf_Weiss_Micus_2012, place={ Leganés, Madrid}, title={Master Election for Time Synchronization in Swarm Robotic Systems}, booktitle={The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications}, author={Khaluf, Yara and Weiss, Fabian and Micus, Sebastian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
@inproceedings{Mathews_Mathew_2012, place={Bangalore, India}, title={Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks}, booktitle={Third International Conference on Networks & Communications, LNICST}, publisher={Springer}, author={Mathews, Emi and Mathew, Ciby}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 26351
@article{Gehrke_Sperling_Vogel_2012, title={Quantification of nonclassicality}, DOI={10.1103/physreva.86.052118}, journal={Physical Review A}, author={Gehrke, C. and Sperling, Jan and Vogel, W.}, year={2012} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26352
@article{Pagel_Fehske_Sperling_Vogel_2012, title={Strongly entangled light from planar microcavities}, DOI={10.1103/physreva.86.052313}, journal={Physical Review A}, author={Pagel, D. and Fehske, H. and Sperling, Jan and Vogel, W.}, year={2012} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26353
@article{Miranowicz_Horodecki_Chhajlany_Tuziemski_Sperling_2012, title={Analytical progress on symmetric geometric discord: Measurement-based upper bounds}, DOI={10.1103/physreva.86.042123}, journal={Physical Review A}, author={Miranowicz, Adam and Horodecki, Paweł and Chhajlany, Ravindra W. and Tuziemski, Jan and Sperling, Jan}, year={2012} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26354
@article{Sperling_Vogel_Agarwal_2012, title={Sub-Binomial Light}, DOI={10.1103/physrevlett.109.093601}, journal={Physical Review Letters}, author={Sperling, Jan and Vogel, W. and Agarwal, G. S.}, year={2012} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26355
@article{Sperling_Vogel_2012, title={Entanglement quasiprobabilities of squeezed light}, DOI={10.1088/1367-2630/14/5/055026}, number={055026}, journal={New Journal of Physics}, author={Sperling, Jan and Vogel, W}, year={2012} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26356
@article{Sperling_Vogel_Agarwal_2012, title={True photocounting statistics of multiple on-off detectors}, DOI={10.1103/physreva.85.023820}, journal={Physical Review A}, author={Sperling, Jan and Vogel, W. and Agarwal, G. S.}, year={2012} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2640
@article{Kundisch_2012, title={Trading Venue Decision of Private Online Investors}, volume={6}, number={2}, journal={International Journal of Electronic Finance}, author={Kundisch, Dennis}, year={2012}, pages={103–120} }
LibreCat