Barbara Jobstmann
Barbara Jobstmann
Scientist at EPFL
Email verificata su epfl.ch - Home page
Titolo
Citata da
Citata da
Anno
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
3932012
Program repair as a game
B Jobstmann, A Griesmayer, R Bloem
International conference on computer aided verification, 226-238, 2005
2492005
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
International Conference on Computer Aided Verification, 140-156, 2009
2262009
Optimizations for LTL synthesis
B Jobstmann, R Bloem
2006 Formal Methods in Computer Aided Design, 117-124, 2006
1882006
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
1732009
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
1482007
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51 (3-4), 193-220, 2014
1452014
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
1412007
Anzu: A tool for property synthesis
B Jobstmann, S Galler, M Weiglhofer, R Bloem
International Conference on Computer Aided Verification, 258-262, 2007
1252007
Environment assumptions for synthesis
K Chatterjee, TA Henzinger, B Jobstmann
International Conference on Concurrency Theory, 147-161, 2008
1172008
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
1022008
Finding and fixing faults
S Staber, B Jobstmann, R Bloem
Advanced Research Working Conference on Correct Hardware Design and …, 2005
892005
Finding and fixing faults
B Jobstmann, S Staber, A Griesmayer, R Bloem
Journal of Computer and System Sciences 78 (2), 441-460, 2012
592012
Model checking transactional memories
R Guerraoui, TA Henzinger, B Jobstmann, V Singh
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
522008
Formalisms for specifying Markovian population models
T Henzinger, B Jobstmann, V Wolf
International Journal of Foundations of Computer Science 22 (04), 823-841, 2011
482011
Measuring and synthesizing systems in probabilistic environments
K Chatterjee, TA Henzinger, B Jobstmann, R Singh
International Conference on Computer Aided Verification, 380-395, 2010
472010
Graph games and reactive synthesis
R Bloem, K Chatterjee, B Jobstmann
Handbook of Model Checking, 921-962, 2018
452018
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
442010
Algorithmic program synthesis: introduction
R Bodík, B Jobstmann
International journal on software tools for technology transfer 15 (5), 397-411, 2013
422013
Program repair without regret
C Von Essen, B Jobstmann
Formal Methods in System Design 47 (1), 26-50, 2015
412015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20