COEN PORISINI, ALBERTO

COEN PORISINI, ALBERTO  

DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE  

Mostra records
Risultati 1 - 20 di 93 (tempo di esecuzione: 0.019 secondi).
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-1994 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 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.