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.
1561 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