Alberto Coen-Porisini
Alberto Coen-Porisini
Professor of software engineering, University of Insubria, Italy
Email verificata su uninsubria.it
Titolo
Citata da
Citata da
Anno
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
13892015
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
1232001
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
961999
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
932003
Specification of realtime systems using ASTRAL
A Coen-Porisini, C Ghezzi, RA Kemmerer
IEEE Transactions on Software Engineering 23 (9), 572-598, 1997
861997
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
832016
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
822016
Software specialization via symbolic execution
A Coen-Porisini, F De Paoli, C Ghezzi, D Mandrioli
IEEE Transactions on Software Engineering 17 (9), 884, 1991
641991
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
622012
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
512016
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
391994
Security policy enforcement for networked smart objects
S Sicari, A Rizzardi, D Miorandi, C Cappiello, A Coen-Porisini
Computer Networks 108, 133-147, 2016
382016
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
342018
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
252017
DARE: evaluating Data Accuracy using node REputation
S Sicari, A Coen-Porisini, R Riggio
Computer Networks 57 (15), 3098-3111, 2013
242013
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
222015
A secure ICN-IoT architecture
S Sicari, A Rizzardi, LA Grieco, A Coen-Porisini
2017 IEEE international conference on communications workshops (ICC …, 2017
192017
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
192014
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
192008
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
182018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20