BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
Collaborated with:
J.Schmaltz M.Brockschmidt R.Thiemann A.Y.0002
Talks about:
communic (2) fabric (2) architectur (1) transfer (1) transit (1) scalabl (1) extract (1) certifi (1) automat (1) termin (1)

Person: Sebastiaan J. C. Joosten

DBLP DBLP: Joosten:Sebastiaan_J=_C=

Contributed to:

DATE 20152015
DATE 20142014
CADE 20172017

Wrote 3 papers:

DATE-2015-JoostenS #architecture #automation #communication #design #modelling
Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs (SJCJ, JS), pp. 1413–1418.
DATE-2014-JoostenS #communication #liveness #scalability #verification
Scalable liveness verification for communication fabrics (SJCJ, JS), pp. 1–6.
CADE-2017-BrockschmidtJT0 #integer #proving #safety #termination
Certifying Safety and Termination Proofs for Integer Transition Systems (MB, SJCJ, RT, AY0), pp. 454–471.

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.