Подписаться
Barbara Jobstmann
Barbara Jobstmann
Scientist at EPFL
Подтвержден адрес электронной почты в домене epfl.ch - Главная страница
Название
Процитировано
Процитировано
Год
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
5392012
Program repair as a game
B Jobstmann, A Griesmayer, R Bloem
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
2952005
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
2592009
Optimizations for LTL synthesis
B Jobstmann, R Bloem
2006 Formal Methods in Computer Aided Design, 117-124, 2006
2042006
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
1952009
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
1642007
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
1502007
Environment assumptions for synthesis
K Chatterjee, TA Henzinger, B Jobstmann
CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008
1482008
Anzu: A Tool for Property Synthesis: (Tool Paper)
B Jobstmann, S Galler, M Weiglhofer, R Bloem
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
1332007
Graph games and reactive synthesis
R Bloem, K Chatterjee, B Jobstmann
Handbook of model checking, 921-962, 2018
1312018
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
1042008
Finding and fixing faults
S Staber, B Jobstmann, R Bloem
Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced …, 2005
962005
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51, 193-220, 2014
932014
Synthesizing robust systems
R Bloem, K Greimel, TA Henzinger, B Jobstmann
2009 Formal Methods in Computer-Aided Design, 85-92, 2009
822009
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
722015
Algorithmic program synthesis: introduction
R Bodík, B Jobstmann
International journal on software tools for technology transfer 15, 397-411, 2013
682013
Finding and fixing faults
B Jobstmann, S Staber, A Griesmayer, R Bloem
Journal of Computer and System Sciences 78 (2), 441-460, 2012
622012
Formalisms for specifying Markovian population models
T Henzinger, B Jobstmann, V Wolf
International Journal of Foundations of Computer Science 22 (04), 823-841, 2011
582011
Robustness in the presence of liveness
R Bloem, K Chatterjee, K Greimel, TA Henzinger, B Jobstmann
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
562010
Model checking transactional memories
R Guerraoui, TA Henzinger, B Jobstmann, V Singh
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
542008
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20