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.
9305 Publications
2010 | Conference Paper | LibreCat-ID: 37046
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
M. Becker, H. Zabel, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37044
Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
K. Klobedanz, G.B. Defo, H. Zabel, W. Müller, Y. Zhi, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37042
A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
LibreCat
F. Mischkalla, W. Müller, D. He, in: Proceedings of the M-BED Workshop, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37043
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
LibreCat
A. Bol, W. Müller, A. Krupp, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37050
The SATURN Approach to SysML-based HW/SW Codesign
W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010.
LibreCat
| DOI
W. Müller, D. He, F. Mischkalla, A. Wegele, A. Larkham, P. Whiston, P. Penil, E. Villar, N. Mitas, D. Kritharidis, F. Azcarate, M. Carballeda, in: Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010.
2010 | Conference Paper | LibreCat-ID: 37048
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37049
Mutation-Analysis Directed Constrained Random Verification
T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Conference Paper | LibreCat-ID: 37051
An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.
LibreCat
T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.
2010 | Conference Paper | LibreCat-ID: 37057
Verification of a CAN Bus Model in SystemC with Functional Coverage
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
LibreCat
| DOI
G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento, Italy, 2010.
2010 | Conference Paper | LibreCat-ID: 37056
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
LibreCat
| DOI
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.
2010 | Conference Paper | LibreCat-ID: 37053
Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
2010 | Conference Paper | LibreCat-ID: 37060
Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
LibreCat
M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES 2010, Antwerp, Belgium, 2010.
2010 | Conference Paper | LibreCat-ID: 38466
Realtime 16-QAM Transmission with Coherent Digital Receiver
A. Al-Bermani, C. Woerdehoff, S. Hoffmann, K. Puntsri, T. Pfau, U. Rueckert, R. Noé, in: 2010 15TH OPTOELECTRONICS AND COMMUNICATIONS CONFERENCE (OECC), 2010, p. 152+.
LibreCat
A. Al-Bermani, C. Woerdehoff, S. Hoffmann, K. Puntsri, T. Pfau, U. Rueckert, R. Noé, in: 2010 15TH OPTOELECTRONICS AND COMMUNICATIONS CONFERENCE (OECC), 2010, p. 152+.
2010 | Conference Paper | LibreCat-ID: 38460
Performance of Modified Decision-Directed Polarization Control/Demultiplex Algorithm in Coherent QAM Receiver
M. El-Darawy, T. Pfau, C. Woerdehoff, R. Noé, in: 2010 CONFERENCE ON OPTICAL FIBER COMMUNICATION OFC COLLOCATED NATIONAL FIBER OPTIC ENGINEERS CONFERENCE OFC-NFOEC, 2010.
LibreCat
M. El-Darawy, T. Pfau, C. Woerdehoff, R. Noé, in: 2010 CONFERENCE ON OPTICAL FIBER COMMUNICATION OFC COLLOCATED NATIONAL FIBER OPTIC ENGINEERS CONFERENCE OFC-NFOEC, 2010.
2010 | Conference Paper | LibreCat-ID: 38436
200-Gb/s, 430-km PDM-RZ-DQPSK (4 bit/symbol) Transmission with 10 krad/s Endless Polarization Tracking
B. Koch, R. Noé, D. Sandel, V. Mirvoda, V. Filsinger, K. Puntsri, in: 2010 CONFERENCE ON OPTICAL FIBER COMMUNICATION OFC COLLOCATED NATIONAL FIBER OPTIC ENGINEERS CONFERENCE OFC-NFOEC, 2010.
LibreCat
B. Koch, R. Noé, D. Sandel, V. Mirvoda, V. Filsinger, K. Puntsri, in: 2010 CONFERENCE ON OPTICAL FIBER COMMUNICATION OFC COLLOCATED NATIONAL FIBER OPTIC ENGINEERS CONFERENCE OFC-NFOEC, 2010.
2010 | Conference Paper | LibreCat-ID: 38396
Endless optical polarization control and PMD compensation
R. Noé, B. Koch, V. Mirvoda, D. Sandel, in: 2010 CONFERENCE ON OPTICAL FIBER COMMUNICATION OFC COLLOCATED NATIONAL FIBER OPTIC ENGINEERS CONFERENCE OFC-NFOEC, 2010.
LibreCat
R. Noé, B. Koch, V. Mirvoda, D. Sandel, in: 2010 CONFERENCE ON OPTICAL FIBER COMMUNICATION OFC COLLOCATED NATIONAL FIBER OPTIC ENGINEERS CONFERENCE OFC-NFOEC, 2010.
2010 | Journal Article | LibreCat-ID: 5094
Capitalized investments with entry and exit options and paradoxical tax effects
G. Schneider, C. Sureth-Sloane, Review of Managerial Science 4 (2010) 149–169.
LibreCat
| DOI
G. Schneider, C. Sureth-Sloane, Review of Managerial Science 4 (2010) 149–169.
2010 | Conference Paper | LibreCat-ID: 17255
Does embodiment affect tutoring behavior?
K.S. Lohan, S. Gieselmann, A.-L. Vollmer, K. Rohlfing, B. Wrede, in: International Conference on Development and Learning, IEEE, 2010.
LibreCat
K.S. Lohan, S. Gieselmann, A.-L. Vollmer, K. Rohlfing, B. Wrede, in: International Conference on Development and Learning, IEEE, 2010.
2010 | Journal Article | LibreCat-ID: 8179 | 
Strong NP-hardness of the quantum separability problem
S. Gharibian, Quantum Information & Computation 10 (2010) 343–360.
LibreCat
| Download (ext.)
| arXiv
S. Gharibian, Quantum Information & Computation 10 (2010) 343–360.
2010 | Journal Article | LibreCat-ID: 34886
On the negative Pell equation
É. Fouvry, J. Klüners, Annals of Mathematics 172 (2010) 2035–2104.
LibreCat
| DOI
É. Fouvry, J. Klüners, Annals of Mathematics 172 (2010) 2035–2104.