COEN PORISINI, ALBERTO
COEN PORISINI, ALBERTO
DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE
5G in the Internet of Things era: an overview on security and privacy challenges
2020-01-01 Sicari, SABRINA SOPHY; Rizzardi, Alessandra; COEN PORISINI, Alberto
A finite domain semantics for executing temporal logic specifications
1998-01-01 COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P.
A Formal Approach for Designing CORBA-based Applications
2003-01-01 COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D.
A formal framework for ASTRAL inter-level proof obbligations
1995-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A formal framework for ASTRAL intra-level proof obligations
1993-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A Formal Framework for ASTRAL Intra-Level Proof Obligations
1994-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A framework architecture for Supervision and Control Systems
2000-01-01 Capobianchi, R.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A.
A framework architecture for the development of new generation supervision and control systems
2000-01-01 Capobianchi, R.; Carcagno, D.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A.
A Meta-model for Problem Frames: Conceptual Issues and Tool Building Support
2010-01-01 Colombo, Pietro; DEL BIANCO, Vieri; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto
A meta-model supporting the decomposition of problem descriptions
2010-01-01 Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto; Colombo, Pietro; Vieri del, Bianco
A methodological framework for SysML: a Problem Frames-based approach
2007-01-01 Colombo, Pietro; DEL BIANCO, V; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto
A risk assessment methodology for the Internet of Things
2018-01-01 Sicari, SABRINA SOPHY; Rizzardi, Alessandra; Miorandi, Daniele; COEN PORISINI, Alberto
A stepwise approach for designing CORBA-based applications
2000-01-01 COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D.
A tool for the automatic analysis od sequential and parallel communication among protocol entities
1989-01-01 COEN PORISINI, Alberto; Lombardo, A.; Palazzo, S.
An approach for designing and enacting distributed simulation environments
2000-01-01 Baresi, L.; COEN PORISINI, Alberto
An evolutionary approach to the design of supervision and control systems
1999-01-01 COEN PORISINI, Alberto; Pradella, M.; Rossi, M.
An Experience in Modeling Real-Time Systems with SysML
2006-01-01 Colombo, Pietro; DEL BIANCO, V; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto
Analysis on functionalities and security features of Internet of Things related protocols
2022-01-01 Rizzardi, Alessandra; Sicari, Sabrina; COEN PORISINI, Alberto
Architetture e Tecnologie Informatiche per lo Sviluppo ed Evoluzione di Software Open-Source per la Simulazione a componenti Distribuiti Orientate al Settore Manifatturiero
2001-01-01 COEN PORISINI, Alberto
Array representation in Symbolic Execution
1993-01-01 COEN PORISINI, Alberto; DE PAOLI, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 5G in the Internet of Things era: an overview on security and privacy challenges | 1-gen-2020 | Sicari, SABRINA SOPHY; Rizzardi, Alessandra; COEN PORISINI, Alberto | |
| A finite domain semantics for executing temporal logic specifications | 1-gen-1998 | COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P. | |
| A Formal Approach for Designing CORBA-based Applications | 1-gen-2003 | COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D. | |
| A formal framework for ASTRAL inter-level proof obbligations | 1-gen-1995 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
| A formal framework for ASTRAL intra-level proof obligations | 1-gen-1993 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
| A Formal Framework for ASTRAL Intra-Level Proof Obligations | 1-gen-1994 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
| A framework architecture for Supervision and Control Systems | 1-gen-2000 | Capobianchi, R.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A. | |
| A framework architecture for the development of new generation supervision and control systems | 1-gen-2000 | Capobianchi, R.; Carcagno, D.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A. | |
| A Meta-model for Problem Frames: Conceptual Issues and Tool Building Support | 1-gen-2010 | Colombo, Pietro; DEL BIANCO, Vieri; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto | |
| A meta-model supporting the decomposition of problem descriptions | 1-gen-2010 | Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto; Colombo, Pietro; Vieri del, Bianco | |
| A methodological framework for SysML: a Problem Frames-based approach | 1-gen-2007 | Colombo, Pietro; DEL BIANCO, V; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto | |
| A risk assessment methodology for the Internet of Things | 1-gen-2018 | Sicari, SABRINA SOPHY; Rizzardi, Alessandra; Miorandi, Daniele; COEN PORISINI, Alberto | |
| A stepwise approach for designing CORBA-based applications | 1-gen-2000 | COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D. | |
| A tool for the automatic analysis od sequential and parallel communication among protocol entities | 1-gen-1989 | COEN PORISINI, Alberto; Lombardo, A.; Palazzo, S. | |
| An approach for designing and enacting distributed simulation environments | 1-gen-2000 | Baresi, L.; COEN PORISINI, Alberto | |
| An evolutionary approach to the design of supervision and control systems | 1-gen-1999 | COEN PORISINI, Alberto; Pradella, M.; Rossi, M. | |
| An Experience in Modeling Real-Time Systems with SysML | 1-gen-2006 | Colombo, Pietro; DEL BIANCO, V; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto | |
| Analysis on functionalities and security features of Internet of Things related protocols | 1-gen-2022 | Rizzardi, Alessandra; Sicari, Sabrina; COEN PORISINI, Alberto | |
| Architetture e Tecnologie Informatiche per lo Sviluppo ed Evoluzione di Software Open-Source per la Simulazione a componenti Distribuiti Orientate al Settore Manifatturiero | 1-gen-2001 | COEN PORISINI, Alberto | |
| Array representation in Symbolic Execution | 1-gen-1993 | COEN PORISINI, Alberto; DE PAOLI, F. |