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.

72 Publications


2013 | Conference Paper | LibreCat-ID: 4480
@inproceedings{Brahm_Jenert_2013, title={A latent growth curve analysis of Business students’ intrinsic and extrinsic motivation}, publisher={EARLI European Association for Research on Learning and Instruction}, author={Brahm, Taiga and Jenert, Tobias}, year={2013} }
LibreCat
 

2013 | Journal Article | LibreCat-ID: 4699
@article{Becker_Beverungen_Knackstedt_Matzner_Müller_Pöppelbuss_2013, title={Designing interaction routines in service networks: A modularity and social construction-based approach}, number={1}, journal={Scandinavian Journal of Information Systems}, author={Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf and Matzner, Martin and Müller, Oliver and Pöppelbuss, Jens}, year={2013}, pages={17--47} }
LibreCat | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 9796
@inproceedings{Al-Ashtari_Hunstig_Hemsel_Sextro_2013, place={Hannover, Germany}, series={Berichte aus dem IDS}, title={Characteristics of Piezoelectric Energy Harvesters in Autonomous Systems}, number={05/2013}, booktitle={Proceedings of 10th International Workshop on Piezoelectric Materials and Applications and 8th Energy Harvesting Workshop, Hannover, Germany, 14.-17.7.2013}, author={Al-Ashtari, Waleed and Hunstig, Matthias and Hemsel, Tobias and Sextro, Walter}, year={2013}, pages={159–161}, collection={Berichte aus dem IDS} }
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 9797
@inproceedings{Althoff_Neuhaus_Hemsel_Sextro_2013, place={Orlando (Florida), USA}, title={A friction based approach for modeling wire bonding}, DOI={10.4071/isom-2013-TA67}, booktitle={IMAPS 2013, 46th International Symposium on Microelectronics}, author={Althoff, Simon and Neuhaus, Jan and Hemsel, Tobias and Sextro, Walter}, year={2013} }
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 36919
@inproceedings{Mischkalla_Müller_2013, place={Karlsruhe}, title={Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach}, DOI={10.1109/PATMOS.2013.6662171}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 9784
@inproceedings{Hunstig_Hemsel_Sextro_2012, title={An efficient simulation technique for high-frequency piezoelectric inertia motors}, DOI={10.1109/ULTSYM.2012.0068}, booktitle={Ultrasonics Symposium (IUS), 2012 IEEE International}, author={Hunstig, Matthias and Hemsel, Tobias and Sextro, Walter}, year={2012}, pages={277–280} }
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 45933
@article{Karátson_Kovács_2012, title={Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation}, volume={65}, DOI={10.1016/j.camwa.2012.04.021}, number={3}, journal={Computers & Mathematics with Applications}, publisher={Elsevier BV}, author={Karátson, J. and Kovács, Balázs}, year={2012}, pages={449–459} }
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 37002
@inproceedings{Xie_Müller_Letombe_2011, place={Oulu, Finnland}, title={HDL-Mutation Based Simulation Data Generation by Propagation Guided Search}, DOI={10.1109/DSD.2011.83}, booktitle={Proceedings of Euromicro DSD 2011}, publisher={IEEE}, author={Xie, Tao and Müller, Wolfgang and Letombe, Florian}, year={2011} }
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 24065
@inproceedings{Pottebaum_Japs_Prödel_Koch_2010, place={Seattle, WA}, title={Design and modeling of a domain ontology for fire protection}, booktitle={ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management}, author={Pottebaum, Jens and Japs, Anna Maria and Prödel, Stephan and Koch, Rainer}, editor={French, Simon and Tomaszewski, Brian and Zobel, Chris}, year={2010} }
LibreCat
 

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: 37037
@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander 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: 37057
@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379}, booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B. and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }
LibreCat | DOI
 

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: 37067
@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A UML Frontend for IP-XACT-based IP Management}, DOI={10.1109/DATE.2009.5090664}, booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang}, year={2009} }
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 9571
@article{Mracek_Hemsel_Sattel_Vasiljev_Wallaschek_2008, title={Driving concepts for bundled ultrasonic linear motors}, volume={20}, DOI={10.1007/s10832-007-9123-5}, number={3–4}, journal={Journal of Electroceramics}, publisher={Springer US}, author={Mracek, Maik and Hemsel, Tobias and Sattel, Thomas and Vasiljev, Piotr and Wallaschek, Jörg}, year={2008}, pages={153–158} }
LibreCat | DOI
 

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
 

2005 | Conference Paper | LibreCat-ID: 39032
@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39061
@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }
LibreCat | DOI
 

Filters and Search Terms

keyword="Modeling"

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed