Barbara Jobstmann

Citado por

	Total	Desde 2019
Citas	3167	895
Índice h	24	15
Índice i10	31	17

280

140

210

200520062007200820092010201120122013201420152016201720182019202020212022202320248 9 34 57 99 146 207 235 230 253 264 275 198 218 161 158 171 181 178 46

Acceso público

Ver todo

11 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Thomas HenzingerIST AustriaDirección de correo verificada de ist.ac.at
Krishnendu ChatterjeeProfessor, IST AustriaDirección de correo verificada de ist.ac.at
Stefan GallerGraz University of TechnologyDirección de correo verificada de ist.tugraz.at
Andreas GriesmayerImperial College LondonDirección de correo verificada de arm.com
Rohit SinghMIT, Uber AI, Facebook, Meta, CitadelDirección de correo verificada de csail.mit.edu
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Niels LohmannUniversität RostockDirección de correo verificada de uni-rostock.de
Tatjana PetrovUniversity of KonstanzDirección de correo verificada de uni-konstanz.de
Harald RuessfortissDirección de correo verificada de fortiss.org
Robert KönighoferGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Rastislav BodikUniversity of WashingtonDirección de correo verificada de cs.washington.edu
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusDirección de correo verificada de cs.uni-saarland.de
rachid guerraouiProfessor of Computer and Communication Systems, EPFLDirección de correo verificada de epfl.ch
vasu singhDirección de correo verificada de bmw.de
Saddek BensalemUniversité Grenoble Alpes, VERIMAGDirección de correo verificada de univ-grenoble-alpes.fr
Arjun RadhakrishnaMicrosoftDirección de correo verificada de microsoft.com
David ParkerProfessor of Computer Science, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Viktor KunčakEPFLDirección de correo verificada de epfl.ch
Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu

Seguir

Barbara Jobstmann

Scientist at EPFL

Dirección de correo verificada de epfl.ch - Página principal

Verification Synthesis Game Theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	506	2012
Program repair as a game B Jobstmann, A Griesmayer, R Bloem Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	283	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	258	2009
Optimizations for LTL synthesis B Jobstmann, R Bloem 2006 Formal Methods in Computer Aided Design, 117-124, 2006	201	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	193	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	162	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 CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008	146	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	131	2007
Graph games and reactive synthesis R Bloem, K Chatterjee, B Jobstmann Handbook of model checking, 921-962, 2018	108	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	94	2005
Synthesizing robust systems R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ... Acta Informatica 51, 193-220, 2014	91	2014
Synthesizing robust systems R Bloem, K Greimel, TA Henzinger, B Jobstmann 2009 Formal Methods in Computer-Aided Design, 85-92, 2009	79	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	69	2015
Algorithmic program synthesis: introduction R Bodík, B Jobstmann International journal on software tools for technology transfer 15, 397-411, 2013	61	2013
Finding and fixing faults B Jobstmann, S Staber, A Griesmayer, R Bloem Journal of Computer and System Sciences 78 (2), 441-460, 2012	61	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	56	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	55	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores