Swen Jacobs

Citado por

	Total	Desde 2019
Citas	1464	759
Índice h	23	16
Índice i10	33	22

160

120

20072008200920102011201220132014201520162017201820192020202120222023202415 21 20 54 31 20 42 56 62 139 106 112 104 113 131 121 150 135

Acceso público

Ver todo

32 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Roderick BloemGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Ayrat KhalimovTU ClausthalDirección de correo verificada de tu-clausthal.de
Sasha RubinUniversity of SydneyDirección de correo verificada de sydney.edu.au
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienDirección de correo verificada de forsyte.tuwien.ac.at
Josef WidderInformal SystemsDirección de correo verificada de informal.systems
Viorica Sofronie-StokkermansProfessor, University of KoblenzDirección de correo verificada de uni-koblenz.de
Leander TentrupSaarland University, Saarland Informatics CampusDirección de correo verificada de cs.uni-saarland.de
Guillermo A. PérezAssociate Professor, University of AntwerpDirección de correo verificada de uantwerp.be
Mouhammad SakrPostdoctoral Researcher, CritiX, Luxembourg UniversityDirección de correo verificada de uni.lu
Ocan SankurCNRS, Université de RennesDirección de correo verificada de cnrs.fr
Robert KönighoferGraz University of TechnologyDirección de correo verificada de iaik.tugraz.at
Igor KonnovIndependent Security and Formal Methods ResearcherDirección de correo verificada de konnov.phd
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityDirección de correo verificada de cispa.de
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Dirección de correo verificada de ulb.ac.be
Roopsha SamantaAssistant Professor, Purdue UniversityDirección de correo verificada de purdue.edu
Adam WalkerNICTA/UNSWDirección de correo verificada de nicta.com.au
Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityDirección de correo verificada de purdue.edu
Romain BrenguierUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Christopher WagnerPurdue UniversityDirección de correo verificada de purdue.edu
Viktor KunčakEPFLDirección de correo verificada de epfl.ch

Seguir

Swen Jacobs

CISPA Helmholtz Center for Information Security, Saarland Informatics Campus

Dirección de correo verificada de cispa.saarland - Página principal

Formal Methods Verification Synthesis Automated Reasoning


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Decidability of Parameterized Verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder Synthesis Lectures on Distributed Computing Theory 6 (1), 1-170, 2015	211	2015
On local reasoning in verification C Ihlemann, S Jacobs, V Sofronie-Stokkermans Tools and Algorithms for the Construction and Analysis of Systems, 265-281, 2008	103	2008
Parameterized Synthesis S Jacobs, R Bloem Logical Methods in Computer Science 10 (1:12), 1-29, 2014	75	2014
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ... arXiv preprint arXiv:1711.11439, 2017	69	2017
How to handle assumptions in synthesis R Bloem, R Ehlers, S Jacobs, R Könighofer Workshop on Synthesis, 2014	69	2014
Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin International Conference on Verification, Model Checking, and Abstract …, 2014	63	2014
The first reactive synthesis competition (SYNTCOMP 2014) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... International Journal on Software Tools for Technology Transfer, 2016	55	2016
Exact state set representations in the verification of linear hybrid systems with large discrete state space W Damm, S Disch, H Hungar, S Jacobs, J Pang, F Pigorsch, C Scholl, ... International Symposium on Automated Technology for Verification and …, 2007	52	2007
A high-level LTL synthesis format: TLSF v1. 1 S Jacobs, F Klein, S Schirmer arXiv preprint arXiv:1604.02284, 2016	51	2016
Lazy Synthesis B Finkbeiner, S Jacobs Verification, Model Checking, and Abstract Interpretation, 2012	44	2012
PARTY Parameterized Synthesis of Token Rings A Khalimov, S Jacobs, R Bloem International Conference on Computer Aided Verification, 928-933, 2013	43	2013
Verifying CSP-OZ-DC specifications with complex data types and timing parameters J Faber, S Jacobs, V Sofronie-Stokkermans Proceedings of the 6th international conference on Integrated formal methods …, 2007	40	2007
Applications of hierarchical reasoning in the verification of complex systems S Jacobs, V Sofronie-Stokkermans Electronic Notes in Theoretical Computer Science 174 (8), 39-54, 2007	38	2007
Tight cutoffs for guarded protocols with fairness S Außerlechner, S Jacobs, A Khalimov Verification, Model Checking, and Abstract Interpretation: 17th …, 2016	33	2016
Synthesis of self-stabilising and byzantine-resilient distributed systems R Bloem, N Braud-Santoni, S Jacobs Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016	32	2016
Towards efficient parameterized synthesis A Khalimov, S Jacobs, R Bloem International Conference on Verification, Model Checking, and Abstract …, 2013	32	2013
Assume-guarantee synthesis for concurrent reactive programs with partial information R Bloem, K Chatterjee, S Jacobs, R Könighofer International Conference on Tools and Algorithms for the Construction and …, 2015	30	2015
Towards complete reasoning about axiomatic specifications S Jacobs, V Kuncak International Conference on Verification, Model Checking, and Abstract …, 2011	30	2011
Analyzing guarded protocols: Better cutoffs, more systems, more expressivity S Jacobs, M Sakr Verification, Model Checking, and Abstract Interpretation: 19th …, 2018	27	2018
Incremental instance generation in local reasoning S Jacobs Computer Aided Verification, 368-382, 2009	27	2009

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