Barbara Jobstmann

Citata da

	Tutte	Dal 2019
Citazioni	3286	1012
Indice H	24	15
i10-index	32	17

280

140

210

20062007200820092010201120122013201420152016201720182019202020212022202320249 34 57 100 147 214 235 230 249 260 276 198 214 162 164 173 182 185 146

Accesso pubblico

Visualizza tutto

11 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Roderick BloemGraz University of TechnologyEmail verificata su iaik.tugraz.at
Thomas HenzingerIST AustriaEmail verificata su ist.ac.at
Krishnendu ChatterjeeProfessor, IST AustriaEmail verificata su ist.ac.at
Stefan GallerGraz University of TechnologyEmail verificata su ist.tugraz.at
Andreas GriesmayerImperial College LondonEmail verificata su arm.com
Rohit SinghMIT, Uber AI, Facebook, Meta, CitadelEmail verificata su csail.mit.edu
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyEmail verificata su tue.nl
Niels LohmannUniversität RostockEmail verificata su uni-rostock.de
Tatjana PetrovUniversity of KonstanzEmail verificata su uni-konstanz.de
Harald RuessfortissEmail verificata su fortiss.org
Robert KönighoferGraz University of TechnologyEmail verificata su iaik.tugraz.at
Saddek BensalemUniversité Grenoble Alpes, VERIMAGEmail verificata su univ-grenoble-alpes.fr
Rastislav BodikUniversity of WashingtonEmail verificata su cs.washington.edu
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail verificata su dfki.de
rachid guerraouiProfessor of Computer and Communication Systems, EPFLEmail verificata su epfl.ch
vasu singhEmail verificata su bmw.de
Arjun RadhakrishnaMicrosoftEmail verificata su microsoft.com
David ParkerProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
Viktor KunčakEPFLEmail verificata su epfl.ch
Moshe Y. VardiRice UniversityEmail verificata su cs.rice.edu

Segui

Barbara Jobstmann

Scientist at EPFL

Email verificata su epfl.ch - Home page

Verification Synthesis Game Theory


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	542	2012
Program repair as a game B Jobstmann, A Griesmayer, R Bloem Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	296	2005
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
Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006	204	2006
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
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	164	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	150	2007
Environment assumptions for synthesis K Chatterjee, TA Henzinger, B Jobstmann CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008	148	2008
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
Graph games and reactive synthesis R Bloem, K Chatterjee, B Jobstmann Handbook of model checking, 921-962, 2018	131	2018
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 Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced …, 2005	97	2005
Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51, 193-220, 2014	93	2014
Synthesizing robust systems R Bloem, K Greimel, TA Henzinger, B Jobstmann 2009 Formal Methods in Computer-Aided Design, 85-92, 2009	82	2009
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	72	2015
Algorithmic program synthesis: introduction R Bodík, B Jobstmann International journal on software tools for technology transfer 15, 397-411, 2013	69	2013
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
Formalisms for specifying Markovian population models T Henzinger, B Jobstmann, V Wolf International Journal of Foundations of Computer Science 22 (04), 823-841, 2011	58	2011
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	56	2010
Model checking transactional memories R Guerraoui, TA Henzinger, B Jobstmann, V Singh Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	54	2008

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori