Travelled to:1 × USA
2 × Germany
Collaborated with:R.Leupers G.Ascheid J.F.Eusse J.Jovic S.Yakoushkin S.Wawroschek J.Castrillón
Talks about:hybrid (2) simul (2) constraint (1) processor (1) synchron (1) concurr (1) automat (1) system (1) extens (1) detect (1)
Person: Luis Gabriel Murillo
DBLP: Murillo:Luis_Gabriel
Contributed to:
2014
20122012Wrote 3 papers:
- DATE-2014-MurilloWCLA #automation #concurrent #constraints #debugging #detection
- Automatic detection of concurrency bugs through event ordering constraints (LGM, SW, JC, RL, GA), pp. 1–6.
- DAC-2012-MurilloEJYLA #hybrid #simulation
- Synchronization for hybrid MPSoC full-system simulation (LGM, JFE, JJ, SY, RL, GA), pp. 121–126.
- DATE-2012-JovicYMELA #hybrid #simulation
- Hybrid simulation for extensible processor cores (JJ, SY, LGM, JFE, RL, GA), pp. 288–291.