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.
9885 Publications
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: 41992
Evaluation of the Particle Growth of Amorphous Calcium Carbonate in Water by Means of the Porod Invariant from SAXS
J. Liu, S. Pancera, V. Boyko, A. Shukla, T. Narayanan, K. Huber, Langmuir 26 (2010) 17405–17412.
LibreCat
| DOI
J. Liu, S. Pancera, V. Boyko, A. Shukla, T. Narayanan, K. Huber, Langmuir 26 (2010) 17405–17412.
2010 | Journal Article | LibreCat-ID: 41993
Hydrogen-Bond-Induced Heteroassembly in Binary Colloidal Systems
F.M. Bayer, K. Hiltrop, K. Huber, Langmuir 26 (2010) 13815–13822.
LibreCat
| DOI
F.M. Bayer, K. Hiltrop, K. Huber, Langmuir 26 (2010) 13815–13822.
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.