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: Tarifa:Silvia_Lizeth_Tapia
Contributed to:
2015
2011
2009
2019Wrote 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.