Smart wearables for the next generation of footballers

The football world is looking ahead to the 2026 World Cup—and to the technologies that will shape the future of the sport.

Research

Model-based Systems Engineering

Hands-on workshop for a successful introduction to MBSE – Reducing complexity and streamlining development processes.

Focus topics

Working together to shape safe AI

Seeking SME partners: Artificial intelligence that thinks for itself and acts safely—join fortiss in researching the next generation of AI assistants.

Services

Scientific publications

Authors

Yliès Falcone

Publications

Export list as BibTeX file

November 2012 Towards Certified Runtime Verification Jan Olaf Blech , Yliès Falcone and Klaus Becker In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, November 2012. ACM. Details DOI BIB
2012 Behavioral specification based runtime monitors for OSGi services Jan Olaf Blech , Yliès Falcone , Harald Rueß and Bernhard Schätz In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, . Springer, 2012. Details BIB
2012 Behavioral Specification Based Runtime Monitors for OSGi Services Jan Olaf Blech , Yliès Falcone , Harald Rueß and Bernhard Schätz In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, P, pages 405–419, 2012. Details URL DOI 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