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: 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