Sergi Arguimbau

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Formal Verification

Bounded Model Checking

Adaptive Systems

Top Venues

Publications

Daniel Bujosa, Sergi Arguimbau, Patricia Arguimbau, Julián Proenza, Manuel Barranco
Formal Verification of the FTTRS Mechanisms for the Consistent Update of the Traffic Schedule. ETFA (2019)
Alberto Ballesteros, Manuel Barranco, Sergi Arguimbau, Marc Costa, Julián Proenza
Temporal Replication of Messages for Adaptive Systems using a Holistic Approach. ETFA (2019)