Volgen
Barbara Jobstmann
Barbara Jobstmann
Scientist at EPFL
Geverifieerd e-mailadres voor epfl.ch - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
4512012
Program repair as a game
B Jobstmann, A Griesmayer, R Bloem
International conference on computer aided verification, 226-238, 2005
2662005
Better quality in synthesis through quantitative objectives
R Bloem, K Chatterjee, TA Henzinger, B Jobstmann
International Conference on Computer Aided Verification, 140-156, 2009
2452009
Optimizations for LTL synthesis
B Jobstmann, R Bloem
2006 Formal Methods in Computer Aided Design, 117-124, 2006
1952006
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
1832009
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
1582007
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
1472007
Environment assumptions for synthesis
K Chatterjee, TA Henzinger, B Jobstmann
International Conference on Concurrency Theory, 147-161, 2008
1362008
Anzu: A tool for property synthesis
B Jobstmann, S Galler, M Weiglhofer, R Bloem
International Conference on Computer Aided Verification, 258-262, 2007
1292007
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
Advanced Research Working Conference on Correct Hardware Design and …, 2005
912005
Synthesizing robust systems
R Bloem, K Greimel, TA Henzinger, B Jobstmann
2009 Formal Methods in Computer-Aided Design, 85-92, 2009
812009
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51 (3), 193-220, 2014
792014
Graph games and reactive synthesis
R Bloem, K Chatterjee, B Jobstmann
Handbook of Model Checking, 921-962, 2018
692018
Finding and fixing faults
B Jobstmann, S Staber, A Griesmayer, R Bloem
Journal of Computer and System Sciences 78 (2), 441-460, 2012
602012
Formalisms for specifying Markovian population models
T Henzinger, B Jobstmann, V Wolf
International Journal of Foundations of Computer Science 22 (04), 823-841, 2011
542011
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
522010
Model checking transactional memories
R Guerraoui, TA Henzinger, B Jobstmann, V Singh
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
522008
Algorithmic program synthesis: introduction
R Bodík, B Jobstmann
International journal on software tools for technology transfer 15 (5), 397-411, 2013
492013
Measuring and synthesizing systems in probabilistic environments
K Chatterjee, TA Henzinger, B Jobstmann, R Singh
International Conference on Computer Aided Verification, 380-395, 2010
482010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20