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.
1355 Publications
2011 | Conference Paper | LibreCat-ID: 26663
@inproceedings{Mathews_Graf_Kulathunga_2011, title={A Bio-inspired Coverage and Connectivity Maintenance Algorithm}, booktitle={Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems}, publisher={Lecture Notes of ICST}, author={Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
@inproceedings{Kuznik_Müller_2011, title={Aspect enhanced functional coverage driven verification in the SystemC HDVL}, booktitle={Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011)}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
@inproceedings{Xie_Müller_2011, title={IP-XACT based System Level Mutation Testing}, booktitle={Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT)}, author={Xie, Tao and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
@article{Henkler_Oberthür_Giese_Seibel_2011, title={Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures}, journal={International Journal of Computer Systems Science & Engineering 26 (6)}, author={Henkler, Stefan and Oberthür, Simon and Giese, Holger and Seibel, Andreas}, year={2011} }
LibreCat
2011 | Journal Article | LibreCat-ID: 26671
@article{Baldin_Grösbrink_Oberthür_2011, title={Enabling Constraint-based Binary Reconfiguration by Binary Analysis}, journal={International Journal on Computing (JoC) 1(4)}, author={Baldin, Daniel and Grösbrink, Stefan and Oberthür, Simon}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
@inproceedings{Bin Tariq_2011, place={Poznan, Poland}, title={F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems}, booktitle={ 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011}, publisher={Springer-Verlag}, author={Bin Tariq, Fahad}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
@inproceedings{Orfanus_Janacik_Eliassen_Orten_2011, place={Salamanca, Spain}, title={High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems}, booktitle={Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011)}, publisher={IEEE Computer Society}, author={Orfanus, Dalimir and Janacik, Peter and Eliassen, Frank and Orten, Pal}, year={2011} }
LibreCat
2011 | Book (Editor) | LibreCat-ID: 2669
@book{Betz_2011, place={Hamburg}, title={Ausgewählte Probleme des Logistikmanagements}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
@inproceedings{Xie_Müller_2011, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, booktitle={Proceedings of the 14th Euromicro Conference on Digital System Design (DSD)}, author={Xie, Tao and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
@inproceedings{Jungmann_Lutterbeck_Werdehausen_Kleinjohann_2011, title={A Test Bed for Investigating Self-X Properties in Multi-Robot Societies}, booktitle={Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)}, publisher={IEEE}, author={Jungmann, Alexander and Lutterbeck, Jan and Werdehausen, Benjamin and Kleinjohann, Bernd}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
@inproceedings{Gausemeier_Schierbaum_Dumitrescu_Herbrechtsmeier_Jungmann_2011, title={Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties}, booktitle={Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN)}, publisher={IEEE}, author={Gausemeier, Jürgen and Schierbaum, Thomas and Dumitrescu, Roman and Herbrechtsmeier, Stefan and Jungmann, Alexander}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
@inproceedings{Thuy_2011, title={ Comparison of periodic and aperiodic task models for cyber-physical-systems}, booktitle={Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on }, publisher={IEEE Xplore}, author={Thuy, Andreas}, year={2011} }
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
@article{Kuznik_Müller_2011, title={Verification Closure of SystemC Designs with Functional Coverage}, journal={North American SystemC User Group Meeting (16th)}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26707
@inproceedings{Mathews_Frey_2011, title={A Localized Planarization Algorithm for Realistic Wireless Networks}, booktitle={IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM)}, publisher={ IEEE Computer Society}, author={Mathews, Emi and Frey, Hannes}, year={2011}, pages={1–9} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
@inproceedings{Becker_Zabel_Müller_Elfeky_DiPasquale_2011, title={Virtual Prototyping softwareintensiver mechatronischer Systeme Eine Fallstudie}, volume={294}, booktitle={8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Becker, Markus and Zabel, Henning and Müller, Wolfgang and Elfeky, Ahmed and DiPasquale, Anthony}, year={2011}, pages={315–327} }
LibreCat
2011 | Journal Article | LibreCat-ID: 26711
@article{Rasche_Stern_Kleinjohann_Kleinjohann_2011, title={Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs}, journal={ThinkMind, International Journal On Advances in Software 3 (3&4)}, author={Rasche, Christoph and Stern, Claudius and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2011}, pages={351–370} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
@inproceedings{Khaluf_Mathews_Rammig_2011, place={Newport Beach, California, USA}, title={ Self-Organized Cooperation in Swarm Robotics}, booktitle={14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)}, publisher={IEEE Computer Society}, author={Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}, year={2011}, pages={217–226} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
@inproceedings{Klobedanz_König_Müller_2011, place={Grenoble, France}, title={A Reconfiguration Approach for Fault-Tolerant FlexRay Networks}, booktitle={Proceedings of Design, Automation, Test Europe - DATE2011}, publisher={IEEE Computer Society Press}, author={Klobedanz, Kay and König, A. and Müller, Wolfgang}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
@inproceedings{Klobedanz_König_Müller_Rettberg_2011, place={Newport Beach, California, USA}, title={Self-Reconfiguration for Fault-Tolerant FlexRay Networks}, booktitle={Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011}, publisher={IEEE Computer Society Press}, author={Klobedanz, Kay and König, A. and Müller, Wolfgang and Rettberg, Achim}, year={2011} }
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
@inproceedings{Kuznik_Müller_2011, title={Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction}, booktitle={Proceedings of DVCON }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }
LibreCat