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.
80 Publications
2017 | Conference Paper | LibreCat-ID: 9974
Hentze J, Kaul T, Grässler I, Sextro W. Integrated modeling og behavior and reliability in system development. In: ICED17, 21st International Conference on Enginieering Design. ; 2017:385-394.
LibreCat
2017 | Conference Paper | LibreCat-ID: 10780
Guettatfi Z, Hübner P, Platzner M, Rinner B. Computational self-awareness as design approach for visual sensor nodes. In: 12th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC). ; 2017:1-8. doi:10.1109/ReCoSoC.2017.8016147
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 48411
Wessel L. How do students develop lexical means for understanding the concept of relative frequency? Empirical insights on the basis of trace analyses. In: Dooley T, Gueudet G, eds. Proceedings of the Tenth Congress of the European Society for Research in Mathematics Education (CERME10, February 1 – 5, 2017). DCU Institute of Education and ERME.; 2017:1388-1395.
LibreCat
| Download (ext.)
2015 | Journal Article | LibreCat-ID: 5705
Breugelmans E, Bijmolt THA, Zhang J, et al. Advancing Research on Loyalty Programs: A Future Research Agenda. Marketing Letters. 2015;26(2):127-139.
LibreCat
2014 | Conference Paper | LibreCat-ID: 4476
Brahm T, Jenert T. Wie kann über DBR die wissenschaftliche und praktische Relevanz der Forschung gesichert werden? In: Humboldt-Universität; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 5614 | 
Schryen G, Wex F. Risk Reduction in Natural Disaster Management Through Information Systems: A Literature review and an IS design science research agenda. International Journal of Information Systems for Crisis Response and Management (IJISCRAM). 2014;6(1).
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik C, Müller W, Defo GB. An Assisted Single Source Verification Metric Model Code Generation Methodology. In: ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 34585
Koppelmann B, Messidat B, Becker M, Müller W, Scheytt JC. Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. In: Proceedings of the Design and Verification Conference Europe (DVCON Europe). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 17202
Vollmer A-L, Grizou J, Lopes M, Rohlfing K, Oudeyer P-Y. Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans. In: 2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics. IEEE; 2014:208-215.
LibreCat
2014 | Journal Article | LibreCat-ID: 4425
Brahm T, Jenert T. Wissenschafts-Praxis-Kooperation in designbasierter Forschung: Im Spannungsfeld zwischen wissenschaftlicher Gültigkeit und praktischer Relevanz. Zeitschrift für Berufs-und Wirtschaftspädagogik-Beihefte (ZBW-B). 2014;(Band 27):45-62.
LibreCat
2013 | Conference Paper | LibreCat-ID: 4698
Gregor S, Müller O, Seidel S. Reflection, abstraction and theorizing in design and development research. In: European Conference on Information Systems. ; 2013.
LibreCat
| Download (ext.)
2013 | Journal Article | LibreCat-ID: 4699
Becker J, Beverungen D, Knackstedt R, Matzner M, Müller O, Pöppelbuss J. Designing interaction routines in service networks: A modularity and social construction-based approach. Scandinavian Journal of Information Systems. 2013;(1):17--47.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 10620
Anwer J, Meisner S, Platzner M. Dynamic reliability management: Reconfiguring reliability-levels of hardware designs at runtime. In: Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference On. ; 2013:1-6. doi:10.1109/ReConFig.2013.6732280
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 5717
Schumann JH, Wünderlich N, Zimmer MS. Culture’s Impact on Customer Motivation to Engage in Professional Service Enactments. Schmalenbach Business Review. 2012;64(2):141-165.
LibreCat
2012 | Conference Paper | LibreCat-ID: 9791
Sondermann-Wölke C, Meyer T, Dorociak R, Gausemeier J, Sextro W. Conceptual Design of Advanced Condition Monitoring for a Self-Optimizing System based on its Principle Solution. In: Proceedings of the 11th International Probabilistic Safety Assessment and Management Conference (PSAM11) and The Annual European Safety and Reliability Conference (ESREL2012). Helsinki, Finland; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: Proceedings of SOCC2012. IEEE; 2012. doi:10.1109/SOCC.2012.6398362
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 4708
Müller-Wienbergen F, Müller O, Seidel S, Becker J. Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems that Support Convergent and Divergent Thinking. Journal of the Association for Information Systems. 2011;(11):714--740. doi:10.1016/S0006-3495(00)76637-9
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 11850 |
Krueger A, Warsitz E, Haeb-Umbach R. Speech Enhancement With a GSC-Like Structure Employing Eigenvector-Based Transfer Function Ratios Estimation. IEEE Transactions on Audio, Speech, and Language Processing. 2011;19(1):206-219. doi:10.1109/TASL.2010.2047324
LibreCat
| DOI
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2200
Kenter T, Platzner M, Plessl C, Kauschke M. Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures. In: Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA). ACM; 2011:177-180. doi:10.1145/1950413.1950448
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 5690 |
Bodenstein C, Schryen G, Neumann D. From “Take-it-or-leave-it” offers to “Take-it-or-be-left-out” Ultimatum - A trade mechanism for Online Services. In: 18th European Conference on Information Systems (ECIS 2010). ; 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 9760
Sondermann-Wölke C, Hemsel T, Sextro W, Gausemeier J, Pook S. Guideline for the dependability-oriented design of self-optimizing systems. In: Industrial Informatics (INDIN), 2010 8th IEEE International Conference On. ; 2010:739-744. doi:10.1109/INDIN.2010.5549490
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456965
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_15
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 46411
Azene YT, Roy R, Farrugia D, Onisa C, Mehnen J, Trautmann H. Work roll cooling system design optimisation in presence of uncertainty and constrains. CIRP Journal of Manufacturing Science and Technology. 2010;2(4):290-298. doi:https://doi.org/10.1016/j.cirpj.2010.06.001
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 24065
Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology for fire protection. In: French S, Tomaszewski B, Zobel C, eds. ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management. ; 2010.
LibreCat
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems. 2008;12:261-292. doi:10.1007/s10617-008-9028-9
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. Journal on Multimodal User Interfaces. 2008;2(1):25-41. doi:10.1007/s12193-008-0003-3
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 5658 |
Schryen G. The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis. Computers & Security. 2007;2(5):361-372.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 6508
Kaufmann P, Platzner M. MOVES: A Modular Framework for Hardware Evolution. In: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007). IEEE; 2007:447-454. doi:10.1109/ahs.2007.73
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 9548
Richter B, Twiefel J, Hemsel T, Wallaschek J. Model based design of piezoelectric generators utilizing geometrical and material properties. In: ASME 2006 International Mechanical Engineering Congress and Exposition. Chicago, Illinois, USA; 2006. doi:doi:10.1115/IMECE2006-14862
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: Proc. of ISOLA 06. ; 2006. doi:10.1109/ISoLA.2006.37
LibreCat
| DOI
2005 | Journal Article | LibreCat-ID: 2412
Enzler R, Plessl C, Platzner M. System-level performance evaluation of reconfigurable processors. Microprocessors and Microsystems. 2005;29(2-3):63-73. doi:10.1016/j.micpro.2004.06.004
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In: Proceedings of ISNG 05. ; 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004. doi:10.1109/DATE.2004.1269214
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2422
Enzler R, Plessl C, Platzner M. Co-simulation of a Hybrid Multi-Context Architecture. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2003:174-180.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39411
Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002
LibreCat
| DOI
2000 | Mastersthesis | LibreCat-ID: 2433
Plessl C, Maurer S. Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland; 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39487
Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: Proceedings of HICSS-32. ; 1999. doi:10.1109/HICSS.1999.772621
LibreCat
| DOI