Gabriel Erzse

According to our database, Gabriel Erzse authored at least 1 paper in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.

Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012