Gonzalo Argote-Garcia
According to our database1,
Gonzalo Argote-Garcia
authored at least 8 papers
between 2006 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
2006
2007
2008
2009
0
1
2
3
4
5
1
4
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Inf. Softw. Technol., 2009
2008
A Formal Approach for Translating a SAM Architecture to PROMELA.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
Proceedings of the 3rd International Workshop on Automation of Software Test, 2008
Proceedings of the Third International Conference on Systems, 2008
2007
An Approach to Validating Translation Correctness From SAM to Java.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
2006
Achieving a Better Middleware Design through Formal Modeling and Analysis.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Collaboration Security for Modern Information Systems.
Proceedings of the SECRYPT 2006, 2006