Articles with public access mandates - Barbara JobstmannLearn more
Available somewhere: 11
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
Mandates: Swiss National Science Foundation
Instantaneous soundness checking of industrial business process models
D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ...
Business Process Management: 7th International Conference, BPM 2009, Ulm …, 2009
Mandates: German Research Foundation
Environment assumptions for synthesis
K Chatterjee, TA Henzinger, B Jobstmann
CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008
Mandates: Swiss National Science Foundation
Interface theories with component reuse
L Doyen, TA Henzinger, B Jobstmann, T Petrov
Proceedings of the 8th ACM international conference on Embedded software, 79-88, 2008
Mandates: Swiss National Science Foundation
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51, 193-220, 2014
Mandates: Austrian Science Fund, European Commission
Synthesizing robust systems
R Bloem, K Greimel, TA Henzinger, B Jobstmann
2009 Formal Methods in Computer-Aided Design, 85-92, 2009
Mandates: Swiss National Science Foundation
Measuring and synthesizing systems in probabilistic environments
K Chatterjee, TA Henzinger, B Jobstmann, R Singh
Journal of the ACM (JACM) 62 (1), 1-34, 2015
Mandates: Austrian Science Fund, European Commission
Formalisms for specifying Markovian population models
T Henzinger, B Jobstmann, V Wolf
International Journal of Foundations of Computer Science 22 (04), 823-841, 2011
Mandates: Swiss National Science Foundation
Model checking transactional memories
R Guerraoui, TA Henzinger, B Jobstmann, V Singh
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
Mandates: Swiss National Science Foundation
Open implication
K Greimel, R Bloem, B Jobstmann, M Vardi
International Colloquium on Automata, Languages, and Programming, 361-372, 2008
Mandates: Swiss National Science Foundation
Specification-centered robustness
R Bloem, K Chatterjee, K Greimel, TA Henzinger, B Jobstmann
2011 6th IEEE International Symposium on Industrial and Embedded Systems …, 2011
Mandates: Austrian Science Fund
Publication and funding information is determined automatically by a computer program