Alberto Lluch Lafuente

maude rewriting logic model checking adaptation autonomic computing context oriented computing formal methods ascens concurrent programing verification distributed computing awareness symmetry reduction logical reflection term rewriting reflective computation graphs information security iot giraph networks big data coordination quantitative analysis logic qos relaxed memory models multi-core gossip algorithms cloud computing computational fields ant colony optimization swarm computing bisimulation control synthesis interface automata adaptivity control reflection wrla state space explosion contextj ensembles model transfrormation graph transformation mde sos aspectj unification rules research imt teaching computing service oriented computer science algebra process calculus graph transformation