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.

86 Publications


2010 | Journal Article | LibreCat-ID: 28449
@article{Liebscher_Dailey-O’Cain_Müller_Reichert_2010, title={Negotiating identities through pronouns of address in an immigrant community}, volume={20}, DOI={10.1075/prag.20.3.04lie}, number={3}, journal={Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA)}, author={Liebscher, Grit and Dailey-O’Cain, Jennifer and Müller, Mareike and Reichert, Tetyana}, year={2010}, pages={375–400} }
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 6067
@article{Tseng_Tuennermann_Roker-Knight_Winter_Scharlau_Bridgeman_2010, title={Enhancing implicit change detection through action.}, volume={39}, number={10}, journal={Perception}, author={Tseng, Philip and Tuennermann, Jan and Roker-Knight, Nancy and Winter, Dorina and Scharlau, Ingrid and Bridgeman, Bruce}, year={2010}, pages={1311–1321} }
LibreCat
 

2010 | Journal Article | LibreCat-ID: 46411
@article{Azene_Roy_Farrugia_Onisa_Mehnen_Trautmann_2010, title={Work roll cooling system design optimisation in presence of uncertainty and constrains}, volume={2}, DOI={https://doi.org/10.1016/j.cirpj.2010.06.001}, number={4}, journal={CIRP Journal of Manufacturing Science and Technology}, author={Azene, Y.T. and Roy, R. and Farrugia, D. and Onisa, C. and Mehnen, J. and Trautmann, Heike}, year={2010}, pages={290–298} }
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37007
@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems}, DOI={10.1109/DATE.2010.5456990}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian and He, Da and Müller, Wolfgang}, year={2010} }
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37009
@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37040
@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37053
@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37039
@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 11723 | OA
@inproceedings{Bevermeier_Peschke_Haeb-Umbach_2009, title={Robust vehicle localization based on multi-level sensor fusion and online parameter estimation}, DOI={10.1109/WPNC.2009.4907833}, booktitle={6th Workshop on Positioning Navigation and Communication (WPNC 2009)}, author={Bevermeier, Maik and Peschke, Sven and Haeb-Umbach, Reinhold}, year={2009}, pages={235–242} }
LibreCat | DOI | Download (ext.)
 

2009 | Conference Paper | LibreCat-ID: 37066
@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={10.1109/DATE.2009.5090925}, booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang}, year={2009} }
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 37075
@article{Zabel_Müller_2008, place={Dordrecht}, series={ IFIP – The International Federation for Information Processing}, title={An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration}, volume={271}, DOI={10.1007/978-0-387-09661-2_18}, publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2008}, collection={ IFIP – The International Federation for Information Processing} }
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 10646
@article{Danne_Mühlenbernd_Platzner_2007, title={Server-based execution of periodic tasks on dynamically reconfigurable hardware}, volume={1}, DOI={10.1049/iet-cdt:20060186}, number={4}, journal={IET Computers Digital Techniques}, author={Danne, Klaus and Mühlenbernd, Roland and Platzner, Marco}, year={2007}, pages={295–302} }
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 11785 | OA
@inproceedings{Haeb-Umbach_Bevermeier_2007, title={OFDM Channel Estimation Based on Combined Estimation in Time and Frequency Domain}, volume={3}, DOI={10.1109/ICASSP.2007.366526}, booktitle={IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2007)}, author={Haeb-Umbach, Reinhold and Bevermeier, Maik}, year={2007}, pages={III-277-III–280} }
LibreCat | DOI | Download (ext.)
 

2007 | Journal Article | LibreCat-ID: 6070 | OA
@article{Neumann_Scharlau_2007, title={Experiments on the Fehrer-Raab effect and the “Weather Station Model” of visual backward masking.}, volume={71}, number={6}, journal={Psychological Research}, author={Neumann, Odmar and Scharlau, Ingrid}, year={2007}, pages={667–677} }
LibreCat | Download (ext.)
 

2007 | Journal Article | LibreCat-ID: 6079 | OA
@article{Scharlau_2007, title={Perceptual latency priming: A measure of attentional facilitation.}, volume={71}, number={6}, journal={Psychological Research}, author={Scharlau, Ingrid}, year={2007}, pages={678–686} }
LibreCat | Download (ext.)
 

2006 | Journal Article | LibreCat-ID: 6073 | OA
@article{Scharlau_Ansorge_Horstmann_2006, title={Latency facilitation in temporal-order judgments: Time course of facilitation as a function of judgment type.}, volume={122}, number={2}, journal={Acta Psychologica}, author={Scharlau, Ingrid and Ansorge, Ulrich and Horstmann, Gernot}, year={2006}, pages={129–159} }
LibreCat | Download (ext.)
 

2005 | Conference Paper | LibreCat-ID: 39029
@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={10.1109/DATE.2005.20}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }
LibreCat | DOI
 

2004 | Journal Article | LibreCat-ID: 6068 | OA
@article{Scharlau_2004, title={Evidence against response bias in temporal order tasks with attention manipulation by masked primes.}, volume={68}, number={4}, journal={Psychological Research}, author={Scharlau, Ingrid}, year={2004}, pages={224–236} }
LibreCat | Download (ext.)
 

2004 | Conference Paper | LibreCat-ID: 39069
@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 34565
@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal State-Oriented OCL Constraints}, volume={2}, DOI={10.1007/s10270-003-0026-x}, number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }
LibreCat | DOI
 

Filters and Search Terms

keyword="Just-in-Time"

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed