Best Paper Award at the FSEN’09

Viktor Shuppan won the best paper award for his paper on unsatisfiable cores at FSEN’09.

New Software Developer Position in the Embedded Systems Unit
New Researcher position in the field of formal verification of complex control systems
TASTE
New researcher position in the field of model-based design for autonomous systems (Deadline extended to May 11)
NuSMV – Symbolic Model Checker

Contact:
The use of content covered by intellectual property is carried out in compliance with articles 2, 21, 33 of the Constitution and art. 70 of the copyright law.
This publication was produced with the support of the Autonomous Province of Trento.

We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking “Accept All”, you consent to the use of ALL the cookies. However, you may visit "Cookie Settings" to provide a controlled consent.

Cookie Settings Accept All

Manage consent

Privacy Overview

This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.

Necessary

Always Enabled

Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.

Non-necessary

Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. It is mandatory to procure user consent prior to running these cookies on your website.

SAVE & ACCEPT

Best Paper Award at the FSEN’09

Recent Posts