Barbara Jobstmann

Cited by

	All	Since 2016
Citations	2623	1047
h-index	22	15
i10-index	30	23

300

150

225

200520062007200820092010201120122013201420152016201720182019202020217 11 32 59 89 165 205 245 224 241 265 281 196 194 162 170 43

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Stefan GallerGraz University of TechnologyVerified email at ist.tugraz.at
Andreas GriesmayerImperial College LondonVerified email at arm.com
Rohit SinghMIT, Uber AI, FacebookVerified email at csail.mit.edu
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Niels LohmannUniversität RostockVerified email at uni-rostock.de
Robert KönighoferGraz University of TechnologyVerified email at iaik.tugraz.at
Tatjana PetrovUniversity of KonstanzVerified email at uni-konstanz.de
Harald RuessfortissVerified email at fortiss.org
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
rachid guerraouiProfessor of Computer and Communication Systems, EPFLVerified email at epfl.ch
vasu singhVerified email at bmw.de
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu
Viktor KunčakEPFLVerified email at epfl.ch
David ParkerProfessor of Computer Science, University of BirminghamVerified email at cs.bham.ac.uk
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu

Barbara Jobstmann

Scientist at EPFL

Verified email at epfl.ch - Homepage

Verification Synthesis Game Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	367	2012
Program repair as a game B Jobstmann, A Griesmayer, R Bloem International conference on computer aided verification, 226-238, 2005	245	2005
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann International Conference on Computer Aided Verification, 140-156, 2009	218	2009
Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006	186	2006
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	168	2009
Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3-4), 193-220, 2014	139	2014
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	135	2007
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	129	2007
Anzu: A tool for property synthesis B Jobstmann, S Galler, M Weiglhofer, R Bloem International Conference on Computer Aided Verification, 258-262, 2007	125	2007
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann International Conference on Concurrency Theory, 147-161, 2008	115	2008
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	100	2008
Finding and fixing faults S Staber, B Jobstmann, R Bloem Advanced Research Working Conference on Correct Hardware Design and …, 2005	88	2005
Finding and fixing faults B Jobstmann, S Staber, A Griesmayer, R Bloem Journal of Computer and System Sciences 78 (2), 441-460, 2012	58	2012
Model checking transactional memories R Guerraoui, TA Henzinger, B Jobstmann, V Singh Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	52	2008
Measuring and synthesizing systems in probabilistic environments K Chatterjee, TA Henzinger, B Jobstmann, R Singh International Conference on Computer Aided Verification, 380-395, 2010	47	2010
Formalisms for specifying Markovian population models T Henzinger, B Jobstmann, V Wolf International Journal of Foundations of Computer Science 22 (04), 823-841, 2011	46	2011
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	44	2010
Algorithmic program synthesis: introduction R Bodík, B Jobstmann International journal on software tools for technology transfer 15 (5), 397-411, 2013	40	2013
Program repair without regret C Von Essen, B Jobstmann Formal Methods in System Design 47 (1), 26-50, 2015	38	2015
Graph games and reactive synthesis R Bloem, K Chatterjee, B Jobstmann Handbook of Model Checking, 921-962, 2018	36	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors