Alejandro Sanchez
According to our database1, Alejandro Sanchez
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
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.
Computer Languages, Systems & Structures, 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