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.
332 Publications
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 | 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
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, Fabian, et al. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
He, Da, et al. “A SysML-Based Framework with QEMU-SystemC Code Generation.” Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26782
Becker, Markus. “QEMU/SystemC Cosimulation at Different Abstraction Levels.” 1st International QEMU Users Forum (QUF’11), 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
Adelt, Philipp, et al. “Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems.” Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–94.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat