Barbara Jobstmann

Cited by

	All	Since 2017
Citations	2964	1071
h-index	24	16
i10-index	32	22

280

140

210

2006200720082009201020112012201320142015201620172018201920202021202211 32 59 97 166 208 249 227 253 266 275 203 216 161 160 173 157

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Thomas HenzingerISTAustriaVerified 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, Facebook, Meta, CitadelVerified 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
Harald RuessfortissVerified email at fortiss.org
Tatjana PetrovUniversity of KonstanzVerified email at uni-konstanz.de
Robert KönighoferGraz University of TechnologyVerified email at iaik.tugraz.at
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
rachid guerraouiProfessor of Computer and Communication Systems, EPFLVerified email at epfl.ch
vasu singhVerified email at bmw.de
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Viktor KunčakEPFLVerified email at epfl.ch
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	451	2012
Program repair as a game B Jobstmann, A Griesmayer, R Bloem International conference on computer aided verification, 226-238, 2005	266	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	245	2009
Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006	195	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	183	2009
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	158	2007
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	147	2007
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann International Conference on Concurrency Theory, 147-161, 2008	136	2008
Anzu: A tool for property synthesis B Jobstmann, S Galler, M Weiglhofer, R Bloem International Conference on Computer Aided Verification, 258-262, 2007	129	2007
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	104	2008
Finding and fixing faults S Staber, B Jobstmann, R Bloem Advanced Research Working Conference on Correct Hardware Design and …, 2005	91	2005
Synthesizing robust systems R Bloem, K Greimel, TA Henzinger, B Jobstmann 2009 Formal Methods in Computer-Aided Design, 85-92, 2009	81	2009
Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51 (3), 193-220, 2014	79	2014
Graph games and reactive synthesis R Bloem, K Chatterjee, B Jobstmann Handbook of Model Checking, 921-962, 2018	69	2018
Finding and fixing faults B Jobstmann, S Staber, A Griesmayer, R Bloem Journal of Computer and System Sciences 78 (2), 441-460, 2012	59	2012
Formalisms for specifying Markovian population models T Henzinger, B Jobstmann, V Wolf International Journal of Foundations of Computer Science 22 (04), 823-841, 2011	55	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	52	2010
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
Algorithmic program synthesis: introduction R Bodík, B Jobstmann International journal on software tools for technology transfer 15 (5), 397-411, 2013	49	2013
Measuring and synthesizing systems in probabilistic environments K Chatterjee, TA Henzinger, B Jobstmann, R Singh International Conference on Computer Aided Verification, 380-395, 2010	48	2010

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

Follow

Cited by

Co-authors