Παρακολούθηση
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
5482012
Program repair as a game
B Jobstmann, A Griesmayer, R Bloem
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
2982005
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
2602009
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
1652007
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
1492008
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
1342007
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
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
722015
Algorithmic program synthesis: introduction
R Bodík, B Jobstmann
International journal on software tools for technology transfer 15, 397-411, 2013
692013
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