Skip to main navigation
Skip to search
Skip to main content
Graz University of Technology Home
English
Deutsch
Home
Persons
Publications
Organisations
Projects
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Formal Methods for Design & Verification
Jacobs, Swen
(Co-Investigator (CoI))
Bloem, Roderick
(Co-Investigator (CoI))
Könighofer, Robert
(Co-Investigator (CoI))
Könighofer, Bettina
(Co-Investigator (CoI))
Khalimov, Ayrat
(Co-Investigator (CoI))
Hofferek, Georg
(Co-Investigator (CoI))
Braud-Santoni, Nicolas
(Co-Investigator (CoI))
Institute of Applied Information Processing and Communications (7050)
Project
:
Research area
Overview
Fingerprint
Publications
(58)
Research output
Research output per year
2007
2010
2011
2012
2014
2015
2015
34
Conference paper
15
Other report
3
Article
2
Diploma Thesis
4
More
2
Doctoral Thesis
1
(Old data) Lecture or Presentation
1
Poster
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Doctoral Thesis
Search results
2015
Satisfiability-Based Methods for Controller Synthesis
Könighofer, R.
,
2015
Research output
:
Thesis
›
Doctoral Thesis
Open Access
File
2014
Controller Synthesis with Uninterpreted Functions
Hofferek, G.
,
2014
Research output
:
Thesis
›
Doctoral Thesis
Open Access
File