Swen Jacobs

Cituota

	Visi	Nuo 2020
Šaltiniai	1502	687
h-rodyklė	24	15
i10-rodyklė	33	21

160

120

200720082009201020112012201320142015201620172018201920202021202220232024202516 21 21 54 31 20 43 56 66 137 106 117 103 116 132 126 152 129 31

Viešas pasiekiamumas

Peržiūrėti viską

32 straipsniai

1 straipsnis

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Roderick BloemGraz University of TechnologyPatvirtintas el. paštas iaik.tugraz.at
Ayrat KhalimovTU ClausthalPatvirtintas el. paštas tu-clausthal.de
Sasha RubinUniversity of SydneyPatvirtintas el. paštas sydney.edu.au
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienPatvirtintas el. paštas forsyte.tuwien.ac.at
Josef WidderInformal SystemsPatvirtintas el. paštas informal.systems
Viorica Sofronie-StokkermansProfessor, University of KoblenzPatvirtintas el. paštas uni-koblenz.de
Leander TentrupSaarland University, Saarland Informatics CampusPatvirtintas el. paštas cs.uni-saarland.de
Guillermo A. PérezAssociate Professor, University of AntwerpPatvirtintas el. paštas uantwerp.be
Mouhammad SakrPostdoctoral Researcher, CritiX, Luxembourg UniversityPatvirtintas el. paštas uni.lu
Ocan SankurCNRS, Université de RennesPatvirtintas el. paštas cnrs.fr
Robert KönighoferGraz University of TechnologyPatvirtintas el. paštas iaik.tugraz.at
Igor KonnovIndependent Security and Formal Methods ResearcherPatvirtintas el. paštas konnov.phd
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityPatvirtintas el. paštas cispa.de
Roopsha SamantaAssistant Professor, Purdue UniversityPatvirtintas el. paštas purdue.edu
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Patvirtintas el. paštas ulb.ac.be
Milind KulkarniAssociate Professor of Electrical and Computer Engineering, Purdue UniversityPatvirtintas el. paštas purdue.edu
Adam WalkerNICTA/UNSWPatvirtintas el. paštas nicta.com.au
Romain BrenguierUniversity of OxfordPatvirtintas el. paštas cs.ox.ac.uk
Christopher WagnerPurdue UniversityPatvirtintas el. paštas purdue.edu
Viktor KunčakEPFLPatvirtintas el. paštas epfl.ch

Stebėti

Swen Jacobs

CISPA Helmholtz Center for Information Security, Saarland Informatics Campus

Patvirtintas el. paštas cispa.saarland - Pagrindinis puslapis

Formal Methods Verification Synthesis Automated Reasoning


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	217	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	105	2008
Parameterized Synthesis S Jacobs, R Bloem Logical Methods in Computer Science 10 (1:12), 1-29, 2014	77	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
Parameterized model checking of token-passing systems B Aminof, S Jacobs, A Khalimov, S Rubin International Conference on Verification, Model Checking, and Abstract …, 2014	69	2014
How to handle assumptions in synthesis R Bloem, R Ehlers, S Jacobs, R Könighofer Workshop on Synthesis, 2014	68	2014
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	56	2007
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	54	2016
A high-level LTL synthesis format: TLSF v1. 1 S Jacobs, F Klein, S Schirmer arXiv preprint arXiv:1604.02284, 2016	53	2016
PARTY Parameterized Synthesis of Token Rings A Khalimov, S Jacobs, R Bloem International Conference on Computer Aided Verification, 928-933, 2013	44	2013
Lazy Synthesis B Finkbeiner, S Jacobs Verification, Model Checking, and Abstract Interpretation, 2012	43	2012
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	38	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	35	2016
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	33	2015
Towards efficient parameterized synthesis A Khalimov, S Jacobs, R Bloem International Conference on Verification, Model Checking, and Abstract …, 2013	32	2013
Synthesis of self-stabilising and byzantine-resilient distributed systems R Bloem, N Braud-Santoni, S Jacobs International Conference on Computer Aided Verification, 157-176, 2016	31	2016
Towards complete reasoning about axiomatic specifications S Jacobs, V Kuncak International Conference on Verification, Model Checking, and Abstract …, 2011	31	2011
The reactive synthesis competition (SYNTCOMP): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International journal on software tools for technology transfer 26 (5), 551-567, 2024	28	2024
Analyzing guarded protocols: Better cutoffs, more systems, more expressivity S Jacobs, M Sakr Verification, Model Checking, and Abstract Interpretation: 19th …, 2018	27	2018

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai