关注
Alberto Coen-Porisini
Alberto Coen-Porisini
Professor of software engineering, University of Insubria, Italy
在 uninsubria.it 的电子邮件经过验证
标题
引用次数
引用次数
年份
14th Asia Pacific Software Engineering Conference
M Jackson, MA Babar, A Babar, V Tosic, J Potter, P Colombo, ...
5G In the internet of things era: An overview on security and privacy challenges
S Sicari, A Rizzardi, A Coen-Porisini
Computer Networks 179, 107345, 2020
1442020
A conceptual model for privacy policies
A Coen-Porisini, P Colombo, S Sicari, A Trombetta
Proc. of SEA, 2007
142007
A finite domain semantics for executing temporal logic specifications
A COEN PORISINI, M Pradella, P SAN PIETRO
Intl. Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
1998
A finite-domain semantics for testing temporal logic specifications
A Coen-Porisini, M Pradella, PS Pietro
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998
121998
A formal approach for designing CORBA based applications
M Pradella, M Rossi, D Mandrioli, A Coen-Porisini
Proceedings of the 22nd international conference on Software engineering …, 2000
102000
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
922003
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
511994
A framework architecture for supervision and control systems
R Capobianchi, A Coen-Porisini, D Mandrioli, A Morzenti
ACM Computing Surveys (CSUR) 32 (1es), 26-es, 2000
72000
A framework architecture for the development of new generation supervision and control systems
R Capobianchi, D Carcagno, A COEN PORISINI, D Mandrioli, A Morzenti
Object Oriented Frameworks: Applications and Experiences 3, 231-249, 2000
92000
A Meta-model for Problem Frames: Conceptual Issues and Tool Building Support
P Colombo, V DEL BIANCO, LA Lavazza, A COEN PORISINI
International Journal On Advances in Software 3, 100-113, 2010
22010
A meta-model supporting the decomposition of problem descriptions
L Lavazza, A Coen-Porisini, P Colombo, V Del Bianco
2010 Fifth International Conference on Software Engineering Advances, 50-57, 2010
52010
A methodological framework for SysML: a Problem Frames-based approach
P Colombo, V Del Bianco, L Lavazza, A Coen-Porisini
14th Asia-Pacific Software Engineering Conference (APSEC'07), 25-32, 2007
192007
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
262014
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
632017
A risk assessment methodology for the Internet of Things
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Computer Communications 129, 67-79, 2018
432018
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
1492016
A secure ICN-IoT architecture
S Sicari, A Rizzardi, LA Grieco, A Coen-Porisini
2017 IEEE international conference on communications workshops (ICC …, 2017
282017
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, 665-677, 2016
1472016
A stepwise approach for designing CORBA-based applications
A COEN PORISINI, M Pradella, M Rossi, D Mandrioli
2000
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交