GianLuigi Ferrari

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 1

Top Topics

Formal Ontologies

Distributed Systems

Top Venues

Eur. J. Law Technol.

Publications

Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. CoRR (2019)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, GianLuigi Ferrari
Security in Pervasive Applications: A Survey. Eur. J. Law Technol. 4 (2) (2013)
Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto
A symbolic framework for multi-faceted security protocol analysis. Int. J. Inf. Sec. 7 (1) (2008)
GianLuigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
Coordination Via Types in an Event-Based Framework. FORTE (2007)
Alois Ferscha, Alexander Schill, GianLuigi Ferrari, Valérie Issarny
Topic 14: Mobile and Ubiquitous Computing. Euro-Par (2006)
GianLuigi Ferrari, Alberto Lluch-Lafuente
A Logic for Graphs with QoS. Electron. Notes Theor. Comput. Sci. 142 (2006)