Theo dõi
Barbara Jobstmann
Barbara Jobstmann
Scientist at EPFL
Email được xác minh tại epfl.ch - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
5522012
Program repair as a game
B Jobstmann, A Griesmayer, R Bloem
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
2992005
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
2612009
Optimizations for LTL synthesis
B Jobstmann, R Bloem
2006 Formal Methods in Computer Aided Design, 117-124, 2006
2082006
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
1672007
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
1542007
Environment assumptions for synthesis
K Chatterjee, TA Henzinger, B Jobstmann
CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008
1502008
Graph games and reactive synthesis
R Bloem, K Chatterjee, B Jobstmann
Handbook of model checking, 921-962, 2018
1382018
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
1382007
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
1052008
Finding and fixing faults
S Staber, B Jobstmann, R Bloem
Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced …, 2005
972005
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51, 193-220, 2014
942014
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
772015
Algorithmic program synthesis: introduction
R Bodík, B Jobstmann
International journal on software tools for technology transfer 15, 397-411, 2013
702013
Finding and fixing faults
B Jobstmann, S Staber, A Griesmayer, R Bloem
Journal of Computer and System Sciences 78 (2), 441-460, 2012
612012
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
582010
Formalisms for specifying Markovian population models
T Henzinger, B Jobstmann, V Wolf
International Journal of Foundations of Computer Science 22 (04), 823-841, 2011
572011
Model checking transactional memories
R Guerraoui, TA Henzinger, B Jobstmann, V Singh
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
542008
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20