Carlos Varela

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 1

Top Topics

Stochastic Models

Formal Verification

Top Venues

Publications

Peiyuan Zhou, Saswata Paul, Airin Dutta, Carlos Varela, Fotis Kopsaftopoulos
On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models. DDDAS (2022)
Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge
Erlang/OTP Framework for Complex Management Applications Development. WEBIST (1) (2007)
Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela
Formalisation of a Functional Risk Management System. ICEIS (3) (2006)
Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías
On modelling agent systems with Erlang. Erlang Workshop (2004)
David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro
ARMISTICE: an experience developing management software with Erlang. Erlang Workshop (2003)