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.

82 Publications


2011 | Conference Paper | LibreCat-ID: 2200
Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures
T. Kenter, M. Platzner, C. Plessl, M. Kauschke, in: Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA), ACM, New York, NY, USA, 2011, pp. 177–180.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 5690 | OA
From "Take-it-or-leave-it" offers to "Take-it-or-be-left-out" Ultimatum - A trade mechanism for Online Services
C. Bodenstein, G. Schryen, D. Neumann, in: 18th European Conference on Information Systems (ECIS 2010), 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 9760
Guideline for the dependability-oriented design of self-optimizing systems
C. Sondermann-Wölke, T. Hemsel, W. Sextro, J. Gausemeier, S. Pook, in: Industrial Informatics (INDIN), 2010 8th IEEE International Conference On, 2010, pp. 739–744.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 46411
Work roll cooling system design optimisation in presence of uncertainty and constrains
Y.T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, H. Trautmann, CIRP Journal of Manufacturing Science and Technology 2 (2010) 290–298.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 24065
Design and modeling of a domain ontology for fire protection
J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37040
RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat | DOI
 

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
 

2008 | Journal Article | LibreCat-ID: 34563
UML for Electronic Systems Design – A Comprehensive Overview
Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems 12 (2008) 261–292.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 34564
Assessment of a Multimodal Interaction and Rendering System against Established Design Principles
R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 5658 | OA LibreCat | Files available
 

2007 | Conference Paper | LibreCat-ID: 6508
MOVES: A Modular Framework for Hardware Evolution
P. Kaufmann, M. Platzner, in: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), IEEE, 2007, pp. 447–454.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 9548
Model based design of piezoelectric generators utilizing geometrical and material properties
B. Richter, J. Twiefel, T. Hemsel, J. Wallaschek, in: ASME 2006 International Mechanical Engineering Congress and Exposition, Chicago, Illinois, USA, 2006.
LibreCat | DOI
 

2006 | Conference Paper | LibreCat-ID: 38107
A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 2412
System-level performance evaluation of reconfigurable processors
R. Enzler, C. Plessl, M. Platzner, Microprocessors and Microsystems 29 (2005) 63–73.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 39030
A UML Virtual Machine for Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 39032
Transformation of UML State Machines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 2422
Co-simulation of a Hybrid Multi-Context Architecture
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 39411
Customer-Oriented Systems Design through Virtual Prototyps
S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39421
The Simulation Semantics of SystemC
W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.
LibreCat | DOI
 

Filters and Search Terms

keyword="co-design"

Search

Filter Publications

Display / Sort

Export / Embed