Antonio Cansado

Publications

129

Citations

H-Index

2007

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre National de la Recherche Scientifique

Antonio Cansado is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, engineering, and system software.

Top concepts

Computer ScienceEngineeringFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering

Publications per year

2007–2010

Publications

Behavioural models for distributed Fractal components

Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado et al. · Annals of Telecommunications · 2009 · 61 citations

Cellular Automaton, Computer Science, Distributed Fractal Components +2

A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation

Antonio Cansado, Carlos Canal, Gwen Salaün et al. · Electronic Notes in Theoretical Computer Science · 2010 · 23 citations · Full text

Software Maintenance, Engineering, Software Engineering +23

Model-checking Distributed Components: The Vercors Platform

Tomás Barros, Antonio Cansado, Eric Madelaine et al. · Electronic Notes in Theoretical Computer Science · 2007 · 23 citations · Full text

Software Maintenance, Engineering, Distributed Components +23

UNSUPERVISED ANOMALY DETECTION IN LARGE DATABASES USING BAYESIAN NETWORKS

Antonio Cansado, Álvaro Soto · Applied Artificial Intelligence · 2008 · 22 citations · Full text

Anomaly Detection, Machine Learning, Data Science +14

Rows per page

1–4 of 4