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.

1245 Publications


2014 | Conference Paper | LibreCat-ID: 25155
@inproceedings{Becker_Kuznik_Müller_2014, title={Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems}, booktitle={ACM/IEEE 5th International Conference on Cyber-Physical Systems}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25156
@inproceedings{Petrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title={Security and Privacy Challenges in On-The-Fly Computing}, booktitle={Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)}, author={Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph}, year={2014} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25159
@inproceedings{Grösbrink_2014, title={Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization}, booktitle={GI Design For Future Workshop}, author={Grösbrink, Stefan}, year={2014} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25160
@inproceedings{Grösbrink_Almeida_de Sousa_Petters_2014, title={Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization}, booktitle={20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)}, author={Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M.}, year={2014} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25161
@inproceedings{Koppelmann_Becker_Müller_2014, title={Portierung der TriCore-Architektur auf QEMU}, booktitle={17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }, author={Koppelmann, Bastian and Becker, Markus and Müller, Wolfgang}, year={2014} }
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25162
@article{Kuznik_Müller_2014, title={Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25163
@inproceedings{Kuznik_Defo_Müller_2014, title={Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung}, booktitle={17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }, author={Kuznik, Christoph and Defo, Bertrand Gilles and Müller, Wolfgang}, year={2014} }
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25164
@article{Becker_Müller_Stroop_Kiffmeier_2014, title={HeroeS3 -- A Framework for Heterogeneous Software-Intensive System Design with SystemC}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden}, author={Becker, Markus and Müller, Wolfgang and Stroop, Joachim and Kiffmeier, Ulrich}, year={2014} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25165
@inproceedings{Grösbrink_Korrapati_Schmitz_Schreckenberg_2014, title={Hypervisor-based Consolidation for Automated Teller Machines}, booktitle={Embedded World Conference}, author={Grösbrink, Stefan and Korrapati, Sandeep and Schmitz, André and Schreckenberg, Andreas}, year={2014} }
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25166
@inproceedings{Kuznik_Müller_2014, title={Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM}, booktitle={26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed