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.
1363 Publications
2011 | Conference Paper | LibreCat-ID: 26663
Mathews, Emi, et al. “A Bio-Inspired Coverage and Connectivity Maintenance Algorithm.” Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
Henkler, Stefan, et al. “Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures.” International Journal of Computer Systems Science & Engineering 26 (6), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26671
Baldin, Daniel, et al. “Enabling Constraint-Based Binary Reconfiguration by Binary Analysis.” International Journal on Computing (JoC) 1(4), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
Bin Tariq, Fahad. “F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems.” 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
Orfanus, Dalimir, et al. “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems.” Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, 2011.
LibreCat
2011 | Book (Editor) | LibreCat-ID: 2669
Betz, Stefan, editor. Ausgewählte Probleme Des Logistikmanagements. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
Jungmann, Alexander, et al. “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies.” Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
Gausemeier, Jürgen, et al. “Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties.” Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
Thuy, Andreas. “ Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.” Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On , IEEE Xplore, 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” North American SystemC User Group Meeting (16th), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26707
Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for Realistic Wireless Networks.” IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), IEEE Computer Society, 2011, pp. 1–9.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
Becker, Markus, et al. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme Eine Fallstudie.” 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, vol. 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–27.
LibreCat
2011 | Journal Article | LibreCat-ID: 26711
Rasche, Christoph, et al. “Coordinated Exploration and Goal-Oriented Path Planning Using Multiple UAVs.” ThinkMind, International Journal On Advances in Software 3 (3&4), 2011, pp. 351–70.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
Khaluf, Yara, et al. “ Self-Organized Cooperation in Swarm Robotics.” 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, 2011, pp. 217–26.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, Kay, et al. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, Kay, et al. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” Proceedings of DVCON , 2011.
LibreCat