Alejandro Sanchez

Orcid: 0000-0003-4899-6567

According to our database1, Alejandro Sanchez authored at least 14 papers between 2002 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
A Machine Learning Approach as an Aid for Early COVID-19 Detection.
Sensors, 2021

2017
Big Data Analysis and Visualization for the Smart Grid.
Proceedings of the 2017 IEEE International Congress on Big Data, 2017

2015
A perspective on architectural re-engineering.
Sci. Comput. Program., 2015

On the verification of architectural reconfigurations.
Comput. Lang. Syst. Struct., 2015

2014
Modelling and Verifying Smell-Free Architectures with the Archery Language.
Proceedings of the Software Engineering and Formal Methods, 2014

2013
Verifying Bigraphical Models of Architectural Reconfigurations.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Multiobjective transmission planning with security constraints.
Proceedings of Eurocon 2013, 2013

2012
Analysing Tactics in Architectural Patterns.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

2011
Testbed federation: An approach for experimentation-driven research in cognitive radios and cognitive networking.
Proceedings of the 2011 Future Network & Mobile Summit, Warsaw, Poland, June 15-17, 2011, 2011

Bigraphical Modelling of Architectural Patterns.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

A language for behavioural modelling of architectural patterns.
Proceedings of the Third Workshop on Behavioural Modelling, 2011

2010
Linguistic description of traffic in a roundabout.
Proceedings of the FUZZ-IEEE 2010, 2010

2008
Semantic Interoperability Middleware - Cases and applications in Electronic Government.
Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008

2002
Structuring a Formal Specification starting from Process Modeling.
Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002


  Loading...