BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × France
Collaborated with:
D.Bianculli C.Ghezzi M.M.Bersani P.S.Pietro
Talks about:
trace (2) check (2) soloist (1) tempor (1) metric (1) aggreg (1) spars (1) reduc (1) modal (1) logic (1)

Person: Srdan Krstic

DBLP DBLP: Krstic:Srdan

Contributed to:

FASE 20142014
SEFM 20142014

Wrote 2 papers:

FASE-2014-BersaniBGKP #smt
SMT-Based Checking of SOLOIST over Sparse Traces (MMB, DB, CG, SK, PSP), pp. 276–290.
SEFM-2014-BianculliGK #logic #metric #pipes and filters #using
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce (DB, CG, SK), pp. 144–158.

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.