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 | Conference Paper | LibreCat-ID: 26787
Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–35.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26792
Esau, Natascha, and Lisa Kleinjohann. “Emotional Robot Competence and Its Use in Robot Behavior Control.” Emotional Engineering, Springer-Verlag London, 2011, pp. 119–42.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
Jungmann, Alexander, et al. “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots.” Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26805
Jungmann, Alexander, et al. “A Fast Hierarchical Learning Approach for Autonomous Robots.” Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–58, doi:10.1007/978-3-0348-0130-0_36.
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
Jungmann, Alexander, et al. “Increasing Learning Speed by Imitation in Multi-Robot Societies.” Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307, doi:10.1007/978-3-0348-0130-0_19.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37001
Becker, Markus, et al. Virtual Prototyping Software-Intensiver Mechatronischer Systeme - Eine Fallstudie. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37005
Kuznik, Christoph, and Wolfgang Müller. A SystemC Based Library for Functional Coverage. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz, Kay, et al. “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks.” Proceedings of DATE’11, IEEE, 2011, doi:10.1109/DATE.2011.5763022.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37002
Xie, Tao, et al. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” Proceedings of Euromicro DSD 2011, IEEE, 2011, doi:10.1109/DSD.2011.83.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456990.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” Proceedings of DATE’10, Dresden, IEEE, 2010, doi:10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, Markus, et al. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, Kay, et al. Task Migration for Fault-Tolerant FlexRay Networks. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, Fabian, et al. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” Proceedings of the M-BED Workshop, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol, Alexander, et al. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller, Wolfgang, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.” Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010, doi:10.1007/978-94-007-1488-5_9.
LibreCat
| DOI