BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × Hungary
1 × Italy
1 × Russia
2 × France
2 × United Kingdom
3 × USA
Collaborated with:
R.Bloem A.Khalimov V.Sofronie-Stokkermans V.Kuncak J.Faber C.Ihlemann B.Finkbeiner ∅ P.Suter N.Braud-Santoni K.Chatterjee R.Könighofer B.Aminof S.Rubin
Talks about:
synthesi (7) parameter (4) specif (3) reason (3) complex (2) toward (2) system (2) verif (2) token (2) local (2)

Person: Swen Jacobs

DBLP DBLP: Jacobs:Swen

Contributed to:

TACAS 20152015
VMCAI 20142014
CAV 20132013
VMCAI 20132013
TACAS 20122012
VMCAI 20122012
VMCAI 20112011
IFM 20102010
CAV 20092009
TACAS 20082008
IFM 20072007
CAV (1) 20162016

Wrote 13 papers:

TACAS-2015-BloemCJK #concurrent #source code #synthesis
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information (RB, KC, SJ, RK), pp. 517–532.
VMCAI-2014-AminofJKR #model checking
Parameterized Model Checking of Token-Passing Systems (BA, SJ, AK, SR), pp. 262–281.
CAV-2013-KhalimovJB #synthesis
PARTY Parameterized Synthesis of Token Rings (AK, SJ, RB), pp. 928–933.
VMCAI-2013-JacobsKS #reduction #synthesis
Reductions for Synthesis Procedures (SJ, VK, PS), pp. 88–107.
VMCAI-2013-KhalimovJB #performance #synthesis #towards
Towards Efficient Parameterized Synthesis (AK, SJ, RB), pp. 108–127.
TACAS-2012-JacobsB #synthesis
Parameterized Synthesis (SJ, RB), pp. 362–376.
VMCAI-2012-FinkbeinerJ #lazy evaluation #synthesis
Lazy Synthesis (BF, SJ), pp. 219–234.
VMCAI-2011-JacobsK #axiom #reasoning #specification #towards
Towards Complete Reasoning about Axiomatic Specifications (SJ, VK), pp. 278–293.
IFM-2010-FaberIJS #automation #parametricity #specification #verification
Automatic Verification of Parametric Specifications with Complex Topologies (JF, CI, SJ, VSS), pp. 152–167.
CAV-2009-Jacobs #generative #incremental #reasoning
Incremental Instance Generation in Local Reasoning (SJ), pp. 368–382.
TACAS-2008-IhlemannJS #on the #reasoning #verification
On Local Reasoning in Verification (CI, SJ, VSS), pp. 265–281.
IFM-2007-FaberJS #data type #parametricity #specification #verification
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters (JF, SJ, VSS), pp. 233–252.
CAV-2016-BloemBJ #distributed #self #synthesis
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems (RB, NBS, SJ), pp. 157–176.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.