According to our database1, Alejandro Sanchez
Legend:Book In proceedings Article PhD thesis Other
Big Data Analysis and Visualization for the Smart Grid.
Proceedings of the 2017 IEEE International Congress on Big Data, 2017
A perspective on architectural re-engineering.
Sci. Comput. Program., 2015
On the verification of architectural reconfigurations.
Computer Languages, Systems & Structures, 2015
Modelling and Verifying Smell-Free Architectures with the Archery Language.
Proceedings of the Software Engineering and Formal Methods, 2014
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
Analysing Tactics in Architectural Patterns.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012
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
Linguistic description of traffic in a roundabout.
Proceedings of the FUZZ-IEEE 2010, 2010
Semantic Interoperability Middleware - Cases and applications in Electronic Government.
Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008
Structuring a Formal Specification starting from Process Modeling.
Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002