Scientific publications - fortiss

fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Keywords: Embedded Systems

Export list as BibTeX file

2015

2015 AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems Vincent Aravantinos, Sebastian Voss, Sabine Teufl, Florian Hölzl and Bernhard Schätz In ACES-MB&WUCOR@MoDELS 2015, . CEUR-WS.org, 1508 edition, Details URL BIB

2014

March 2014 A framework for reliability-aware embedded system design on multiprocessor platforms Jia Huang, Simon Barner, Andreas Raabe, Christian Buckl and Alois Knoll Microprocessors and Microsystems, 38(6):539–551, March 2014. Details DOI BIB

2012

April 2012 Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger and Christian Buckl In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), pages 224, Details DOI BIB

2011

2011 User-friendly Model Checking Integration in Model-based Development Alarico Campetelli, Florian Hölzl and Florian Neubeck In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, Details BIB

In addition to the cookies necessary for the operation and smooth functioning of our website, fortiss (see Imprint) uses marketing cookies to analyse and improve the website content. With the help of these cookies, user flow can be analyzed and assessed through pseudonymized data from website users. The types of cookies are described in the Privacy Policy. There you can change your consent at any time.

Mandatory

These cookies are needed for a smooth operation of our website.

Name	Purpose	Lifetime	Type	Provider
CookieConsent	Saves your consent to using cookies.	1 year	HTML	Website

Marketing

With the help of these cookies we strive to improve our offer for our users. By means of anonymized data of website users we can optimize the user flow. This enables us to improve ads and website content.

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo