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.
9900 Publications
2010 | Conference Paper | LibreCat-ID: 37037
A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement,” 2010, doi: 10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
K. Klobedanz, G. B. Defo, H. Zabel, W. Müller, and Y. Zhi, “Task Migration for Fault-Tolerant FlexRay Networks,” 2010, doi: 10.1007/978-3-642-15234-4_7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
F. Mischkalla, W. Müller, and D. He, “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis,” 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
A. Bol, W. Müller, and A. Krupp, “Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen,” 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
W. Müller et al., “The SATURN Approach to SysML-based HW/SW Codesign,” 2010, doi: 10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems,” 2010, doi: 10.1007/978-3-642-15234-4_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
T. Xie, F. Letombe, and W. Müller, “Mutation-Analysis Directed Constrained Random Verification,” 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
T. Xie, G. B. Defo, and W. Müller, “An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs,” presented at the First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in SystemC with Functional Coverage,” presented at the International Symposium on Industrial Embedded System (SIES), Trento, Italy, 2010, doi: 10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
K. Klobedanz, G. B. Defo, W. Müller, and T. Kerstan, “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks,” presented at the International Symposium on Industrial Embedded System (SIES), 2010, doi: 10.1109/SIES.2010.5551384.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
M. F. S. Oliveira, F. A. M. do Nascimento, and W. Müller, “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration,” 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 38484
T. Pfau and R. Noé, “Phase-Noise-Tolerant Two-Stage Carrier Recovery Concept for Higher Order QAM Formats,” IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS, vol. 16, no. 5, pp. 1210–1216, 2010, doi: 10.1109/JSTQE.2009.2034472.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 38466
A. Al-Bermani et al., “Realtime 16-QAM Transmission with Coherent Digital Receiver,” in 2010 15TH OPTOELECTRONICS AND COMMUNICATIONS CONFERENCE (OECC), 2010, p. 152+.
LibreCat
2010 | Conference Paper | LibreCat-ID: 38460
M. El-Darawy, T. Pfau, C. Woerdehoff, and R. Noé, “Performance of Modified Decision-Directed Polarization Control/Demultiplex Algorithm in Coherent QAM Receiver,” 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 38448
S. Hoffmann et al., “Hardware-Efficient Phase Estimation for Digital Coherent Transmission With Star Constellation QAM,” IEEE PHOTONICS JOURNAL, vol. 2, no. 2, pp. 174–180, 2010, doi: 10.1109/JPHOT.2010.2044784.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 38451
B. Koch, R. Noé, V. Mirvoda, D. Sandel, V. Filsinger, and K. Puntsri, “40-krad/s Polarization Tracking in 200-Gb/s PDM-RZ-DQPSK Transmission Over 430 km,” IEEE PHOTONICS TECHNOLOGY LETTERS, vol. 22, no. 9, pp. 613–615, 2010, doi: 10.1109/LPT.2010.2043252.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 38436
B. Koch, R. Noé, D. Sandel, V. Mirvoda, V. Filsinger, and K. Puntsri, “200-Gb/s, 430-km PDM-RZ-DQPSK (4 bit/symbol) Transmission with 10 krad/s Endless Polarization Tracking,” 2010.
LibreCat