Roberto Vigo

15 papers A 2B 1C 2Misc 1Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2016 J jnl
Discovering, quantifying, and displaying attacks.
Log. Methods Comput. Sci.
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2015 Misc conf
A calculus for attribute-based communication.
SAC
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
2015 J jnl
A calculus of quality for robustness against unreliable communication.
J. Log. Algebraic Methods Program.
Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
2015 — —
Availability by Design:A Complementary Approach to Denial-of-Service.
Roberto Vigo
2014 A conf
Automated Generation of Attack Trees.
CSF
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2014 — conf
Trust-Based Enforcement of Security Policies.
TGC
Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson
2014 C conf
Uniform Protection for Multi-exposed Targets.
FORTE
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2013 B conf
Broadcast, Denial-of-Service, and Secure Communication.
IFM
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
2013 — conf
Security Games for Cyber-Physical Systems.
NordSec
Roberto Vigo, Alessandro Bruni, Ender Yüksel
2012 — conf
A Calculus for Quality.
FACS
Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
2012 — conf
The Cyber-Physical Attacker.
SAFECOMP Workshops
Roberto Vigo
2012 — conf
Toward a Threat Model for Energy-Harvesting Wireless Sensor Networks.
NDT (2)
Alessio Di Mauro, Davide Papini, Roberto Vigo, Nicola Dragoni
2011 C conf
A framework for semi-automated process instance discovery from decorative attributes.
CIDM
Andrea Burattin, Roberto Vigo
2011 — conf
Process Mining Manifesto.
Business Process Management Workshops (1)
Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn
2009 A conf
Expressive Power of Definite Clauses for Verifying Authenticity.
CSF
Gilberto Filé, Roberto Vigo