Barbara Jobstmann

Cited by

	All	Since 2019
Citations	3236	965
h-index	24	15
i10-index	32	17

280

140

210

20062007200820092010201120122013201420152016201720182019202020212022202320249 34 57 100 147 214 235 230 249 260 276 198 214 161 164 173 184 187 96

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 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, 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
Tatjana PetrovUniversity of KonstanzVerified email at uni-konstanz.de
Harald RuessfortissVerified email at fortiss.org
Robert KönighoferGraz University of TechnologyVerified email at iaik.tugraz.at
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu
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
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
3.12 Quantitative Objectives In Reactive Synthesis B Jobstmann Non-Zero-Sum-Games and Control, 12, 2015		2015
Algorithmic program synthesis: introduction R Bodík, B Jobstmann International journal on software tools for technology transfer 15, 397-411, 2013	65	2013
Algorithms for synthesizing priorities in component-based systems CH Cheng, S Bensalem, YF Chen, R Yan, B Jobstmann, H Ruess, ... International Symposium on Automated Technology for Verification and …, 2011	14	2011
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	133	2007
Applications and optimizations for LTL synthesis B Jobstmann na, 2007	24	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	148	2007
Better quality in synthesis through quantitative objectives R Bloem, K Chatterjee, TA Henzinger, B Jobstmann Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	259	2009
Diagnosis is repair S Staber, B Jobstmann, R Bloem Proc. 16th Int. Workshop on Principles of Diagnosis (DX), 169-174, 2005	17	2005
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511) M Huismann, B Jobstmann, I Schaefer, M Stoelinga Dagstuhl Reports 2 (12), 2013		2013
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008	147	2008
Finding and fixing faults B Jobstmann, S Staber, A Griesmayer, R Bloem Journal of Computer and System Sciences 78 (2), 441-460, 2012	62	2012
Finding and fixing faults S Staber, B Jobstmann, R Bloem Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced …, 2005	95	2005
Formalisms for specifying Markovian population models T Henzinger, B Jobstmann, V Wolf International Journal of Foundations of Computer Science 22 (04), 823-841, 2011	57	2011
FudgeFactor: Syntax-guided synthesis for accurate RTL error localization and correction A Becker, D Maksimovic, D Novo, M Ewaida, A Veneris, B Jobstmann, ... Hardware and Software: Verification and Testing: 11th International Haifa …, 2015	5	2015
FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction A Veneris, B Jobstmann, P Ienne Hardware and Software: Verification and Testing: 11th International Haifa …, 2015		2015
Game Theory for Reliable Computer Systems B Jobstmann		2009
Game-based and simulation-based improvements for LTL synthesis B Jobstmann, R Bloem 3nd Workshop on Games in Design and Verification, 2006	6	2006
Gist: A Solver for Probabilistic Games K Chatterjee, TA Henzinger, B Jobstmann, A Radhakrishna Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010	36	2010
Graph games and reactive synthesis R Bloem, K Chatterjee, B Jobstmann Handbook of model checking, 921-962, 2018	119	2018
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	195	2009

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