Подписаться
Swen Jacobs
Swen Jacobs
CISPA Helmholtz Center for Information Security, Saarland Informatics Campus
Подтвержден адрес электронной почты в домене cispa.saarland - Главная страница
Название
Процитировано
Процитировано
Год
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
2132015
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
1042008
Parameterized Synthesis
S Jacobs, R Bloem
Logical Methods in Computer Science 10 (1:12), 1-29, 2014
772014
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
692017
How to handle assumptions in synthesis
R Bloem, R Ehlers, S Jacobs, R Könighofer
Workshop on Synthesis, 2014
692014
Parameterized model checking of token-passing systems
B Aminof, S Jacobs, A Khalimov, S Rubin
International Conference on Verification, Model Checking, and Abstract …, 2014
642014
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
552016
A high-level LTL synthesis format: TLSF v1. 1
S Jacobs, F Klein, S Schirmer
arXiv preprint arXiv:1604.02284, 2016
522016
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
522007
Lazy Synthesis
B Finkbeiner, S Jacobs
Verification, Model Checking, and Abstract Interpretation, 2012
442012
PARTY Parameterized Synthesis of Token Rings
A Khalimov, S Jacobs, R Bloem
International Conference on Computer Aided Verification, 928-933, 2013
432013
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
402007
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
382007
Tight cutoffs for guarded protocols with fairness
S Außerlechner, S Jacobs, A Khalimov
Verification, Model Checking, and Abstract Interpretation: 17th …, 2016
342016
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
322016
Towards efficient parameterized synthesis
A Khalimov, S Jacobs, R Bloem
International Conference on Verification, Model Checking, and Abstract …, 2013
322013
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
312015
Towards complete reasoning about axiomatic specifications
S Jacobs, V Kuncak
International Conference on Verification, Model Checking, and Abstract …, 2011
302011
Analyzing guarded protocols: Better cutoffs, more systems, more expressivity
S Jacobs, M Sakr
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
282018
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, 1-17, 2024
272024
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20