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 × The Netherlands
2 × Germany
Collaborated with:
S.J.C.Joosten F.Verbeek F.Heidarian F.W.Vaandrager
Talks about:
network (3) deadlock (2) communic (2) fabric (2) architectur (1) algorithm (1) wireless (1) transfer (1) synchron (1) protocol (1)

Person: Julien Schmaltz

DBLP DBLP: Schmaltz:Julien

Contributed to:

DATE 20152015
DATE 20142014
PDP 20112011
DATE 20102010
FM 20092009

Wrote 5 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.
PDP-2011-VerbeekS #algorithm #concurrent #network #performance #proving
A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free (FV, JS), pp. 3–10.
DATE-2010-VerbeekS #concurrent #specification
Formal specification of networks-on-chips: deadlock and evacuation (FV, JS), pp. 1701–1706.
FM-2009-HeidarianSV #analysis #network #protocol
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks (FH, JS, FWV), pp. 516–531.

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.