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 × Germany
1 × Ireland
1 × Italy
Collaborated with:
E.B.Johnsen A.P.Vargas A.G.Garis C.George N.Bezirgiannis F.S.d.Boer K.I.Pun E.Albert S.Genaim M.Gómez-Zamalloa R.Schlatte S.Brandauer E.Castegren D.Clarke K.Fernandez-Reyes K.I.Pun T.Wrigstad A.M.Yang
Talks about:
parallel (2) multicor (2) object (2) case (2) implement (1) behavior (1) languag (1) formula (1) concurr (1) system (1)

Person: Silvia Lizeth Tapia Tarifa

DBLP DBLP: Tarifa:Silvia_Lizeth_Tapia

Contributed to:

SFM 20152015
FM 20112011
IFM 20092009
FASE 20192019

Wrote 4 papers:

SFM-2015-BrandauerCCFJPT #parallel
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore (SB, EC, DC, KFR, EBJ, KIP, SLTT, TW, AMY), pp. 1–56.
FM-2011-AlbertGGJST #behaviour #bound #concurrent #simulation #worst-case
Simulating Concurrent Behaviors with Worst-Case Cost Bounds (EA, SG, MGZ, EBJ, RS, SLTT), pp. 353–368.
IFM-2009-VargasGTG #ltl #model checking
Model Checking LTL Formulae in RAISE with FDR (APV, AGG, SLTT, CG), pp. 231–245.
FASE-2019-BezirgiannisBJP #case study #implementation #manycore #memory management
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System (NB, FSdB, EBJ, KIP, SLTT), pp. 332–350.

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.