Barbara Jobstmann
Barbara Jobstmann
Scientist at EPFL
Verified email at epfl.ch - Homepage
TitleCited byYear
Synthesis of reactive (1) designs
R Bloem, B Jobstmann, N Piterman, A Pnueli, Y Saʼar
Journal of Computer and System Sciences 78 (3), 911-938, 2012
2952012
Program repair as a game
B Jobstmann, A Griesmayer, R Bloem
International conference on computer aided verification, 226-238, 2005
2202005
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
International Conference on Computer Aided Verification, 140-156, 2009
1922009
Optimizations for LTL synthesis
B Jobstmann, R Bloem
2006 Formal Methods in Computer Aided Design, 117-124, 2006
1812006
Instantaneous soundness checking of industrial business process models
D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ...
International Conference on Business Process Management, 278-293, 2009
1582009
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51 (3-4), 193-220, 2014
1252014
Automatic hardware synthesis from specifications: A case study
R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
1252007
Anzu: A tool for property synthesis
B Jobstmann, S Galler, M Weiglhofer, R Bloem
International Conference on Computer Aided Verification, 258-262, 2007
1242007
Specify, compile, run: Hardware from PSL
R Bloem, S Galler, B Jobstmann, N Piterman, A Pnueli, M Weiglhofer
Electronic Notes in Theoretical Computer Science 190 (4), 3-16, 2007
1232007
Environment assumptions for synthesis
K Chatterjee, TA Henzinger, B Jobstmann
International Conference on Concurrency Theory, 147-161, 2008
1032008
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
912008
Finding and fixing faults
S Staber, B Jobstmann, R Bloem
Advanced Research Working Conference on Correct Hardware Design and …, 2005
842005
Model checking transactional memories
R Guerraoui, TA Henzinger, B Jobstmann, V Singh
ACM SIGPLAN Notices 43 (6), 372-382, 2008
682008
Finding and fixing faults
B Jobstmann, S Staber, A Griesmayer, R Bloem
Journal of Computer and System Sciences 78 (2), 441-460, 2012
582012
Formalisms for specifying Markovian population models
T Henzinger, B Jobstmann, V Wolf
International Journal of Foundations of Computer Science 22 (04), 823-841, 2011
422011
Measuring and synthesizing systems in probabilistic environments
K Chatterjee, TA Henzinger, B Jobstmann, R Singh
International Conference on Computer Aided Verification, 380-395, 2010
422010
Robustness in the presence of liveness
R Bloem, K Chatterjee, K Greimel, TA Henzinger, B Jobstmann
International Conference on Computer Aided Verification, 410-424, 2010
422010
Algorithmic program synthesis: introduction
R Bodik, B Jobstmann
International journal on software tools for technology transfer 15 (5-6 …, 2013
312013
Program repair without regret
C Von Essen, B Jobstmann
Formal Methods in System Design 47 (1), 26-50, 2015
292015
Synthesis for regular specifications over unbounded domains
J Hamza, B Jobstmann, V Kuncak
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided …, 2010
242010
The system can't perform the operation now. Try again later.
Articles 1–20