conf.researchr.org / Elvira Albert

Not registered as user yet

Name: Elvira Albert

Personal website: http://costa.ls.fi.upm.es/~elvira/

Contributions

ICST 2020Committee Member in Program Committee within the Research Papers-track
VORTEX 2019Committee Member in Program Committee within the VORTEX 2019-track
PEPM 2019Committee Member in Program Committee within the PEPM 2019-track
ISSTA 2019Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track
Author of SAFEVM: A Safety Verifier for Ethereum Smart Contracts within the Tool Demonstration-track
PEPM 2017Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
PEPM 2015Committee Member in Program Committee within the PEPM 2015-track
Committee Member in Steering Committee within the PEPM 2015-track