You can download the publications I have made so far as first author:

- Alejandro Mario Hernandez and Flemming Nielson. Position paper: A generic approach for security policies composition. In Proceedings of the ACM SIGPLAN 7th Workshop on Programming Languages and Analysis for Security, PLAS Õ12. ACM, 2012.
[ bibtex (includes abstract) ] [ pdf ]

- Alejandro Mario Hernandez and Flemming Nielson and Hanne Riis Nielson, Designing, capturing and validating history-sensitive security policies for distributed systems. Scientific Annals of Computer Science, vol. 21, p. 107-149. "A.I. Cuza" University Press, Iaşi.
[ bibtex (includes abstract) ] [ pdf ]

- Alejandro Mario Hernandez, Globally reasoning about localised security policies in distributed systems. Technical Report, DTU, 2011. Available on request.

- Alejandro Mario Hernandez and Flemming Nielson, History-sensitive versus future-sensitive approaches to security in distributed systems. ICE2010 - 3rd Interaction and Concurrency Experience - EPTCS, vol.38, p. 29-43.
[ bibtex (includes abstract) ] [ pdf ]

- Alejandro Hernandez and Flemming Nielson, Enforcing Mandatory Access Control in Distributed Systems using Aspect Orientation. 21st Nordic Workshop on Programming Theory -- NWPT2009, 14th-16th October 2009, pages 62-64.
[ bibtex (includes abstract) ] [ pdf ]

- Alejandro Hernandez and Norbert Giambiasi, State Reachability for DEVS Models. 6th Argentine Symposium on Software Engineering -- ASSE05 - 34th JAIIO, 29th-31st August 2005, pages 267-277.
[ bibtex (includes abstract) ] [ pdf ]