Travelled to:1 × Austria
1 × Spain
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:J.Oliver J.Silva S.Tamarit C.Herrero M.Leuschel
Talks about:csp (3) influenc (2) generat (2) analysi (2) static (2) specif (2) graph (2) distribut (1) algorithm (1) synchron (1)
Person: Marisa Llorens
DBLP: Llorens:Marisa
Contributed to:
2013
2010
2010
20092008Wrote 6 papers:
- ITiCSE-2013-HerreroLOST #student
- The influence of students distribution on their grades (CH, ML, JO, JS, ST), p. 316.
- ITiCSE-2013-HerreroLOST13a #analysis #empirical #performance
- An empirical analysis of the influence of classmates on the academic performance (CH, ML, JO, JS, ST), p. 328.
- LOPSTR-2010-LlorensOST #csp #generative #graph #process
- Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.
- SAC-2010-LlorensOST #algorithm #control flow #graph
- An algorithm to generate the context-sensitive synchronized control flow graph (ML, JO, JS, ST), pp. 2144–2148.
- PEPM-2009-LeuschelLOST #csp #named #slicing #specification
- SOC: a slicer for CSP specifications (ML, ML, JO, JS, ST), pp. 165–168.
- LOPSTR-2008-LeuschelLOST #csp #specification #static analysis
- The MEB and CEB Static Analysis for CSP Specifications (ML, ML, JO, JS, ST), pp. 103–118.