Items where Author is "Bicarregui, Juan"

Arenas, Alvaro E., Aziz, Benjamin, Bicarregui, Juan and Wilson, Michael D. (2010) An Event-B Approach to Data Sharing Agreements. In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings.

Aziz, Benjamin, Arenas, Alvaro, Bicarregui, Juan, Ponsard, Christophe and Massonet, Philippe (2009) From Goal-Oriented Requirements to Event-B Specifications. In: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.

Arenas, Alvaro, Aziz, Benjamin, Bicarregui, Juan, Matthews, Brian and Yang, Erica Y. (2008) Modelling Security Properties in a Grid-based Operating System with Anti-Goals. In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain.

Bicarregui, Juan, Arenas, Alvaro, Aziz, Benjamin, Massonet, Philippe and Ponsard, Christophe (2008) Towards Modelling Obligations in Event-B. In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings.

Arenas, Alvaro, Aziz, Benjamin, Bicarregui, Juan and Matthews, Brian (2007) Managing Conflicts of Interest in Virtual Organisations. In: Proceedings of the 3rd International Workshop on Security and Trust Management, STM@ESORICS 2007, Dresden, Germany, September 27, 2007.

Aziz, Benjamin, Arenas, Alvaro, Bicarregui, Juan, Matthews, Brian and Yang, Erica (2007) A formal security requirements model for a grid-based operating system. In: FACS 2007 Christmas Workshop: Formal Methods in Industry.