Alberto Coen-Porisini
Alberto Coen-Porisini
Professor of software engineering, University of Insubria, Italy
Verified email at uninsubria.it
Title
Cited by
Cited by
Year
Security, privacy and trust in Internet of Things: The road ahead
S Sicari, A Rizzardi, LA Grieco, A Coen-Porisini
Computer networks 76, 146-164, 2015
17142015
Using symbolic execution for verifying safety-critical systems
A Coen-Porisini, G Denaro, C Ghezzi, M Pezzé
Proceedings of the 8th European software engineering conference held jointly …, 2001
1252001
A secure and quality-aware prototypical architecture for the Internet of Things
S Sicari, A Rizzardi, D Miorandi, C Cappiello, A Coen-Porisini
Information Systems 58, 43-55, 2016
1012016
From formal models to formally based methods: An industrial experience
E Ciapessoni, P Mirandola, A Coen-Porisini, D Mandrioli, A Morzenti
ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (1), 79-113, 1999
981999
A security-and quality-aware system architecture for Internet of Things
S Sicari, C Cappiello, F De Pellegrini, D Miorandi, A Coen-Porisini
Information Systems Frontiers 18 (4), 665-677, 2016
962016
A formal approach for designing CORBA-based applications
A Coen-Porisini, M Pradella, M Rossi, D Mandrioli
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (2), 107-151, 2003
902003
Specification of realtime systems using ASTRAL
A Coen-Porisini, C Ghezzi, RA Kemmerer
IEEE Transactions on Software Engineering 23 (9), 572-598, 1997
861997
DyDAP: A dynamic data aggregation scheme for privacy aware wireless sensor networks
S Sicari, LA Grieco, G Boggia, A Coen-Porisini
Journal of Systems and Software 85 (1), 152-166, 2012
702012
Software specialization via symbolic execution
A Coen-Porisini, F De Paoli, C Ghezzi, D Mandrioli
IEEE Transactions on Software Engineering 17 (9), 884, 1991
631991
AUPS: An open source AUthenticated Publish/Subscribe system for the Internet of Things
A Rizzardi, S Sicari, D Miorandi, A Coen-Porisini
Information Systems 62, 29-41, 2016
592016
REATO: REActing TO Denial of Service attacks in the Internet of Things
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Computer Networks 137, 37-48, 2018
492018
Security policy enforcement for networked smart objects
S Sicari, A Rizzardi, D Miorandi, C Cappiello, A Coen-Porisini
Computer Networks 108, 133-147, 2016
472016
A formal framework for ASTRAL intralevel proof obligations
A Coen-Porisini, RA Kemmerer, D Mandrioli
IEEE Transactions on Software Engineering 20 (8), 548-561, 1994
421994
A policy enforcement framework for Internet of Things applications in the smart health
S Sicari, A Rizzardi, LA Grieco, G Piro, A Coen-Porisini
Smart Health 3, 39-74, 2017
362017
Toward data governance in the internet of things
S Sicari, A Rizzardi, C Cappiello, D Miorandi, A Coen-Porisini
New advances in the internet of things, 59-74, 2018
252018
DARE: evaluating Data Accuracy using node REputation
S Sicari, A Coen-Porisini, R Riggio
Computer Networks 57 (15), 3098-3111, 2013
252013
A secure ICN-IoT architecture
S Sicari, A Rizzardi, LA Grieco, A Coen-Porisini
2017 IEEE international conference on communications workshops (ICC …, 2017
222017
A NFP model for internet of things applications
S Sicari, A Rizzardi, A Coen-Porisini, C Cappiello
2014 IEEE 10th International Conference on Wireless and Mobile Computing …, 2014
222014
Introducing privacy in a hospital information system
S Braghin, A Coen-Porisini, P Colombo, S Sicari, A Trombetta
Proceedings of the fourth international workshop on Software engineering for …, 2008
222008
Networked smart objects: Moving data processing closer to the source
A Rizzardi, D Miorandi, S Sicari, C Cappiello, A Coen-Porisini
International Internet of Things Summit, 28-35, 2015
212015
The system can't perform the operation now. Try again later.
Articles 1–20