VALENZANO, ADRIANO
VALENZANO, ADRIANO
002490
A comprehensive approach to the automatic refinement and verification of access control policies
2019 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano
A Distributed Operating System for Object-Based Machines
1984 Rivoira, Silvano; Valenzano, Adriano
A Formalization Of The FIP Protocol Using Estelle
1992 Sisto, Riccardo; Valenzano, Adriano
A Graphical Tool for Protocol Design with Estelle
1991 Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano
A LOTOS Specification of the SERCOS Field-bus Protocol
1994 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication
2015 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
A Model for the Analysis of Security Policies in Industrial Networks
2013 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
A Model for the Analysis of Security Policies in Service Function Chains
2017 Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification
2000 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A Static Semantic Analyzer for LOTOS Specifications
1993 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems
1995 AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano
A Unified Class Model for Checking Security Policies in ICT Infrastructures
2012 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
ACKNOWLEDGEMENT AND PRIORITY MECHANISMS IN THE 802. 4 TOKEN-BUS.
1988 Ciminiera, Luigi; Valenzano, Adriano
Advanced Microprocessor Architectures
1987 Ciminiera, Luigi; Valenzano, Adriano
Archiviazione a lungo termine di dati di prodotto conformi allo standard ISO 10303
1997 Demartini, Claudio Giovanni; Valenzano, Adriano; Rivoira, Silvano
Authentication mechanisms in microprocessor-based local area networks
1992 Ciminiera, Luigi; Valenzano, Adriano
Automated Fixing of Access Policy Implementation in Industrial Networked Systems
2017 Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks
1995 Cena, Gianluca; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
DEFECT-TOLERANT ARRAY STRUCTURES FOR VLSI AND WSI ARCHITECTURES.
1987 Ciminiera, Luigi; Demartini, Claudio Giovanni; Valenzano, Adriano
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS
1991 Valenzano, Adriano; Sisto, Riccardo; Ciminiera, Luigi
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
A comprehensive approach to the automatic refinement and verification of access control policies / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano. - In: COMPUTERS & SECURITY. - ISSN 0167-4048. - 80:(2019), pp. 186-199. [10.1016/j.cose.2018.09.013] | 1-gen-2019 | Cheminod, ManuelDurante, LucaValenza, FulvioValenzano, Adriano + | main.pdf; 1-s2.0-S0167404818303870-main.pdf |
A Distributed Operating System for Object-Based Machines / Rivoira, Silvano; Valenzano, Adriano. - (1984), pp. 46-50. ((Intervento presentato al convegno 1984 IEEE Int. Conf. on Parallel Processing tenutosi a Bellaire, Michigan. | 1-gen-1984 | RIVOIRA, SilvanoVALENZANO, ADRIANO | - |
A Formalization Of The FIP Protocol Using Estelle / Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1992), pp. 348-353. ((Intervento presentato al convegno IEEE International Workshop on Emerging Technologies and Factory Automation tenutosi a Melbourne, Australia nel 11-14 August 1992 [10.1109/ETFA.1992.683278]. | 1-gen-1992 | SISTO, RiccardoVALENZANO, ADRIANO | - |
A Graphical Tool for Protocol Design with Estelle / Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1991), pp. 552-556. ((Intervento presentato al convegno CompEuro '91. 5th Annual European Computer Conference tenutosi a Bologna, Italy nel 13-16 May 1991 [10.1109/CMPEUR.1991.257446]. | 1-gen-1991 | CIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO | - |
A LOTOS Specification of the SERCOS Field-bus Protocol / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1994), pp. 139-147. ((Intervento presentato al convegno SEKE '94: the 6th International Conference on Software Engineering and Knowledge Engineering tenutosi a Jurmala, Latvia nel 21-23 June. | 1-gen-1994 | DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 11:1(2015), pp. 83-93. [10.1109/TII.2014.2365153] | 1-gen-2015 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | TII_j_can_crc_Early_Access.pdf; 06936873.pdf |
A Model for the Analysis of Security Policies in Industrial Networks / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2013), pp. 66-77. ((Intervento presentato al convegno 1st International Symposium for ICS and SCADA Cyber Security Research nel 2013. | 1-gen-2013 | CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO | Durante13_ICS_CSR.pdf |
A Model for the Analysis of Security Policies in Service Function Chains / Durante, Luca; Lucia, Seno; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - (2017). ((Intervento presentato al convegno Second IEEE International Workshop on Security in NFV-SDN (SNS2017) tenutosi a BOLOGNA (IT) [10.1109/NETSOFT.2017.8004230]. | 1-gen-2017 | DURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANO + | 08004230.pdf; 2017SNS_author.pdf |
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2000), pp. 155-170. ((Intervento presentato al convegno FORTE/PSTV 2000 Joint Int. Conf. tenutosi a Pisa nel October 2000. | 1-gen-2000 | DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |
A Static Semantic Analyzer for LOTOS Specifications / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1993), pp. 585-592. ((Intervento presentato al convegno IEEE Phoenix Conference on Computers and Communications nel 23-26 March 1993 [10.1109/PCCC.1993.344534]. | 1-gen-1993 | DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems / AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - In: RIVISTA DI INFORMATICA. - ISSN 0390-668X. - STAMPA. - 25:3(1995), pp. 195-214. | 1-gen-1995 | AJMONE MARSAN, Marco GiuseppeBIANCO, ANDREACIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO | - |
A Unified Class Model for Checking Security Policies in ICT Infrastructures / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-6. ((Intervento presentato al convegno International IEEE–AESS Conference in Europe about Space and Satellite Telecommunications [10.1109/ESTEL.2012.6400068]. | 1-gen-2012 | CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO | Durante12_ESTEL.pdf |
ACKNOWLEDGEMENT AND PRIORITY MECHANISMS IN THE 802. 4 TOKEN-BUS / Ciminiera, Luigi; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS. - ISSN 0278-0046. - 35:(1988), pp. 307-316. | 1-gen-1988 | CIMINIERA, LuigiVALENZANO, ADRIANO | - |
Advanced Microprocessor Architectures / Ciminiera, Luigi; Valenzano, Adriano. - STAMPA. - (1987), pp. 1-476. | 1-gen-1987 | CIMINIERA, LuigiVALENZANO, ADRIANO | - |
Archiviazione a lungo termine di dati di prodotto conformi allo standard ISO 10303 / Demartini, Claudio Giovanni; Valenzano, Adriano; Rivoira, Silvano. - (1997), pp. 117-126. ((Intervento presentato al convegno 41° Convegno Nazionale ANIPLA tenutosi a Torino. | 1-gen-1997 | DEMARTINI, Claudio GiovanniVALENZANO, ADRIANORIVOIRA, Silvano | - |
Authentication mechanisms in microprocessor-based local area networks / Ciminiera, Luigi; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. - ISSN 0098-5589. - v:(1992), pp. 654-658. | 1-gen-1992 | CIMINIERA, LuigiVALENZANO, ADRIANO | - |
Automated Fixing of Access Policy Implementation in Industrial Networked Systems / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano. - ELETTRONICO. - (2017). ((Intervento presentato al convegno 13th IEEE International Workshop on Factory Communication Systems tenutosi a Trondheim (NO) nel May 31 - June 2 [10.1109/WFCS.2017.7991947]. | 1-gen-2017 | CHEMINOD, MANUELDURANTE, LUCAVALENZA, FULVIOVALENZANO, ADRIANO + | 2017WFCS_ACP.pdf; 2017WFCS_ACP_author.pdf |
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks / Cena, Gianluca; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1995), pp. 205-211. ((Intervento presentato al convegno 1995 IEEE Fourteenth Annual International Phoenix Conference on Computers and Communications tenutosi a Scottsdale, AZ, USA nel 28-31 March 1995 [10.1109/PCCC.1995.472490]. | 1-gen-1995 | CENA, GianlucaDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |
DEFECT-TOLERANT ARRAY STRUCTURES FOR VLSI AND WSI ARCHITECTURES / Ciminiera, Luigi; Demartini, Claudio Giovanni; Valenzano, Adriano. - 1:(1987), pp. 21-30. ((Intervento presentato al convegno Proceedings of the Hawaii International Conference on System Science nel 1987. | 1-gen-1987 | CIMINIERA, LuigiDEMARTINI, Claudio GiovanniVALENZANO, ADRIANO | - |
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS / Valenzano, Adriano; Sisto, Riccardo; Ciminiera, Luigi. - STAMPA. - (1991), pp. 346-352. ((Intervento presentato al convegno Tenth Annual International Phoenix Conference on Computers and Communications tenutosi a Scottsdale, Arizona, USA nel March 1991 [10.1109/PCCC.1991.113832]. | 1-gen-1991 | VALENZANO, ADRIANOSISTO, RiccardoCIMINIERA, Luigi | - |