default search action
Adriano Valenzano
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j66]Claudio Zunino, Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Adaptive Seamless Redundancy to Achieve Highly Dependable MQTT Communication. IEEE Trans. Ind. Informatics 20(1): 984-994 (2024) - [i14]Stefano Scanzio, Gianluca Cena, Adriano Valenzano:
QRscript: Embedding a Programming Language in QR codes to support Decision and Management. CoRR abs/2404.05073 (2024) - 2023
- [j65]Stefano Scanzio, Gianluca Cena, Adriano Valenzano:
Enhanced Energy-Saving Mechanisms in TSCH Networks for the IIoT: The PRIL Approach. IEEE Trans. Ind. Informatics 19(6): 7445-7455 (2023) - [c99]Gabriele Formis, Stefano Scanzio, Gianluca Cena, Adriano Valenzano:
Linear Combination of Exponential Moving Averages for Wireless Channel Prediction. INDIN 2023: 1-6 - [c98]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Composite CAN XL-Ethernet Networks for Next-Gen Automotive and Automation Systems. WFCS 2023: 1-8 - [c97]Gabriele Formis, Stefano Scanzio, Gianluca Cena, Adriano Valenzano:
Predicting Wireless Channel Quality by Means of Moving Averages and Regression Models. WFCS 2023: 1-8 - [i13]Stefano Scanzio, Federico Bitondo, Gianluca Cena, Adriano Valenzano:
CONSIP: Consistency Protocol for Hopping Function Exchange and Black listing in TSCH. CoRR abs/2301.00070 (2023) - [i12]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Enabling Listening Suspension in the Time Slotted Channel Hopping Protocol. CoRR abs/2301.03803 (2023) - [i11]Gabriele Formis, Stefano Scanzio, Gianluca Cena, Adriano Valenzano:
Predicting Wireless Channel Quality by means of Moving Averages and Regression Models. CoRR abs/2306.08634 (2023) - [i10]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Composite CAN XL-Ethernet Networks for Next-Gen Automotive and Automation Systems. CoRR abs/2306.09498 (2023) - [i9]Gabriele Formis, Stefano Scanzio, Gianluca Cena, Adriano Valenzano:
Linear Combination of Exponential Moving Averages for Wireless Channel Prediction. CoRR abs/2312.07945 (2023) - 2022
- [j64]Stefano Scanzio, Francesco Xia, Gianluca Cena, Adriano Valenzano:
Predicting Wi-Fi link quality through artificial neural networks. Internet Technol. Lett. 5(2) (2022) - [c96]Stefano Scanzio, Gianluca Cena, Adriano Valenzano:
QRscript: Embedding a Programming Language in QR codes to support Decision and Management. ETFA 2022: 1-8 - [c95]Stefano Scanzio, Gianluca Cena, Claudio Zunino, Adriano Valenzano:
Machine Learning to Support Self-Configuration of Industrial Systems Interconnected over Wi-Fi. ETFA 2022: 1-8 - [c94]Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano:
Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior*. IECON 2022: 1-6 - [c93]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
A Fair Access Mechanism to Support Fragmented Data Transfers in CAN. WFCS 2022: 1-8 - [c92]Stefano Scanzio, Federico Bitondo, Gianluca Cena, Adriano Valenzano:
CONSIP: Consistency Protocol for Hopping Function Exchange and Black listing in TSCH. WFCS 2022: 1-8 - [c91]Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano:
Improving performance and cyber-attack resilience in multi-firewall industrial networks. WFCS 2022: 1-8 - [c90]Claudio Zunino, Davide Malena, Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Resilient MQTT to Support Uninterruptible Services. WFCS 2022: 1-8 - [i8]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Enhanced Energy-Saving Mechanisms in TSCH Networks for the IIoT: the PRIL Approach. CoRR abs/2210.16396 (2022) - [i7]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Experimental Evaluation of Seamless Redundancy Applied to Industrial Wi-Fi Networks. CoRR abs/2210.16404 (2022) - [i6]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Seamless Link-level Redundancy to Improve Reliability of Industrial Wi-Fi Networks. CoRR abs/2211.03575 (2022) - [i5]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
SDMAC: A Software-Defined MAC for Wi-Fi to Ease Implementation of Soft Real-time Applications. CoRR abs/2211.06074 (2022) - [i4]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Improving Effectiveness of Seamless Redundancy in Real Industrial Wi-Fi Networks. CoRR abs/2211.09165 (2022) - [i3]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Experimental Evaluation of Techniques to Lower Spectrum Consumption in Wi-Red. CoRR abs/2211.12198 (2022) - 2021
- [j63]Luca Durante, Lucia Seno, Adriano Valenzano:
A Formal Model and Technique to Redistribute the Packet Filtering Load in Multiple Firewall Networks. IEEE Trans. Inf. Forensics Secur. 16: 2637-2651 (2021) - [c89]Stefano Scanzio, Gianluca Cena, Lucia Seno, Adriano Valenzano:
Robustness and Optimization of PRIL Techniques for Energy Saving in TSCH Networks. ETFA 2021: 1-8 - [c88]Claudio Zunino, Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Experimental Characterization of Asynchronous Notification Latency for Subscriptions in OPC UA. ETFA 2021: 1-8 - [c87]Claudio Zunino, Davide Malena, Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Black-Box Analysis of the Publish-Subscribe Notification Latency in Real OPC UA Servers. ETFA 2021: 1-4 - [c86]Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
An Algorithm for Security Policy Migration in Multiple Firewall Networks. ITASEC 2021: 344-359 - [c85]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Enabling Listening Suspension in the Time Slotted Channel Hopping Protocol. WFCS 2021: 19-26 - [d1]Stefano Scanzio, Mohammad Ghazi Vakili, Gianluca Cena, Claudio Giovanni Demartini, Bartolomeo Montrucchio, Adriano Valenzano, Claudio Zunino:
Wireless Sensor Networks Dataset (TSCH a Compromise Between Reliability, Power Consumption, and Latency). IEEE DataPort, 2021 - 2020
- [j62]Stefano Scanzio, Mohammad Ghazi Vakili, Gianluca Cena, Claudio Demartini, Bartolomeo Montrucchio, Adriano Valenzano, Claudio Zunino:
Wireless Sensor Networks and TSCH: A Compromise Between Reliability, Power Consumption, and Latency. IEEE Access 8: 167042-167058 (2020) - [j61]Gianluca Cena, Claudio Demartini, Mohammad Ghazi Vakili, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
Evaluating and Modeling IEEE 802.15.4 TSCH Resilience against Wi-Fi Interference in New-Generation Highly-Dependable Wireless Sensor Networks. Ad Hoc Networks 106: 102199 (2020) - [j60]Claudio Zunino, Adriano Valenzano, Roman Obermaisser, Stig Petersen:
Factory Communications at the Dawn of the Fourth Industrial Revolution. Comput. Stand. Interfaces 71: 103433 (2020) - [c84]Stefano Scanzio, Gianluca Cena, Adriano Valenzano, Claudio Zunino:
Energy Saving in TSCH Networks by Means of Proactive Reduction of Idle Listening. ADHOC-NOW 2020: 131-144 - [c83]Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano, Claudio Zunino:
Energy-Efficient Link Capacity Overprovisioning In Time Slotted Channel Hopping Networks. WFCS 2020: 1-8
2010 – 2019
- 2019
- [j59]Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano:
A comprehensive approach to the automatic refinement and verification of access control policies. Comput. Secur. 80: 186-199 (2019) - [j58]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
On a software-defined CAN controller for embedded systems. Comput. Stand. Interfaces 63: 43-51 (2019) - [j57]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
SDMAC: A Software-Defined MAC for Wi-Fi to Ease Implementation of Soft Real-Time Applications. IEEE Trans. Ind. Informatics 15(6): 3143-3154 (2019) - [j56]Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet, Adriano Valenzano:
Event Notification in CAN-Based Sensor Networks. IEEE Trans. Ind. Informatics 15(10): 5613-5625 (2019) - [j55]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Experimental Evaluation of Techniques to Lower Spectrum Consumption in Wi-Red. IEEE Trans. Wirel. Commun. 18(2): 824-837 (2019) - [c82]Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano:
Comparison of Mixed Diversity Schemes to Enhance Reliability of Wireless Networks. ADHOC-NOW 2019: 118-135 - [c81]Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano, Claudio Zunino:
A Software-Defined Retransmission Mechanism to Manage Real-Time Traffic in Wi-Fi Networks. ADHOC-NOW 2019: 275-289 - [c80]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
Experimental Analysis and Comparison of Industrial IoT Devices based on TSCH. ETFA 2019: 184-191 - [c79]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
A Full-Wireless Network Architecture Based on the Industrial Internet of Things Paradigm. ETFA 2019: 1301-1304 - [c78]Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano:
Optimal retransmission allocation for EDF-based networked real-time applications. WFCS 2019: 1-8 - 2018
- [j54]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Improving Effectiveness of Seamless Redundancy in Real Industrial Wi-Fi Networks. IEEE Trans. Ind. Informatics 14(5): 2095-2107 (2018) - [j53]Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall. IEEE Trans. Ind. Informatics 14(5): 2159-2170 (2018) - [c77]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
A Prototype Implementation of Wi-Fi Seamless Redundancy with Reactive Duplication Avoidance. ETFA 2018: 179-186 - [c76]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Error detection and management in CAN XR. WFCS 2018: 1-9 - [c75]Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano:
Deadline-Constrained Repeat reQuest mechanisms for wireless communication channels. WFCS 2018: 1-10 - [c74]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
A neural network clock discipline algorithm for the RBIS clock synchronization protocol. WFCS 2018: 1-10 - [c73]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Adaptive duplication avoidance for Wi-Red. WFCS 2018: 1-5 - [c72]Manuel Cheminod, Luca Durante, Fulvio Valenza, Adriano Valenzano:
Toward attribute-based access control policy in industrial networked systems. WFCS 2018: 1-9 - 2017
- [j52]Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Detection of attacks based on known vulnerabilities in industrial networked systems. J. Inf. Secur. Appl. 34: 153-165 (2017) - [j51]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Experimental Evaluation of Seamless Redundancy Applied to Industrial Wi-Fi Networks. IEEE Trans. Ind. Informatics 13(2): 856-865 (2017) - [j50]Lucia Seno, Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
Enhancing Communication Determinism in Wi-Fi Networks for Soft Real-Time Industrial Applications. IEEE Trans. Ind. Informatics 13(2): 866-876 (2017) - [j49]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation. IEEE Trans. Ind. Informatics 13(5): 2436-2446 (2017) - [j48]Lucia Seno, Gianluca Cena, Adriano Valenzano, Claudio Zunino:
Bandwidth Management for Soft Real-Time Control Applications in Industrial Wireless Networks. IEEE Trans. Ind. Informatics 13(5): 2484-2495 (2017) - [c71]Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Supporting security protocols on CAN-based networks. ICIT 2017: 1334-1339 - [c70]Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano:
A model for the analysis of security policies in service function chains. NetSoft 2017: 1-6 - [c69]Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Optimized event notification in CAN through in-frame replies and Bloom filters. WFCS 2017: 1-10 - [c68]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Duplication avoidance mechanisms to reduce bandwidth usage in redundant Wi-Fi networks. WFCS 2017: 1-10 - [c67]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
A software-defined MAC architecture for Wi-Fi operating in user space on conventional PCs. WFCS 2017: 1-10 - [c66]Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano:
Automated fixing of access policy implementation in Industrial Networked Systems. WFCS 2017: 1-9 - [c65]Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano, Claudio Zunino:
Leveraging SDN to improve security in industrial networks. WFCS 2017: 1-7 - [i2]Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano:
A model for the analysis of security policies in service function chains. CoRR abs/1710.03486 (2017) - [i1]Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano:
Automated fixing of access policy implementation in Industrial Networked Systems. CoRR abs/1710.03491 (2017) - 2016
- [j47]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Seamless integration of CAN in intranets. Comput. Stand. Interfaces 46: 1-14 (2016) - [j46]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Seamless Link-Level Redundancy to Improve Reliability of Industrial Wi-Fi Networks. IEEE Trans. Ind. Informatics 12(2): 608-620 (2016) - [c64]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Design guidelines to improve reliability of seamless redundancy in Wi-Fi networks. ETFA 2016: 1-8 - [c63]Manuel Cheminod, Luca Durante, Adriano Valenzano, Claudio Zunino:
Performance impact of commercial industrial firewalls on networked control systems. ETFA 2016: 1-8 - [c62]Manuel Cheminod, Luca Durante, Marcello Maggiora, Adriano Valenzano, Claudio Zunino:
Performance of Firewalls for Industrial Applications. ICS-CSR 2016 - [c61]Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano:
A fixed-priority access scheme for industrial Wi-Fi networks. IECON 2016: 4633-4638 - [c60]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
CAN XR: CAN with extensible in-frame Reply. INDIN 2016: 1198-1201 - [c59]Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano:
A soft real-time scheduling framework for wireless industrial sensor actuator networks. SIES 2016: 92-102 - [c58]Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano, Claudio Zunino:
Combining reliability and timeliness in industrial wireless networks: An experimental assessment. WFCS 2016: 1-4 - [c57]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Experimental characterization of redundant channels in industrial Wi-Fi networks. WFCS 2016: 1-4 - 2015
- [j45]Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano:
A twofold model for the analysis of access control policies in industrial networked systems. Comput. Stand. Interfaces 42: 171-181 (2015) - [j44]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication. IEEE Trans. Ind. Informatics 11(1): 83-93 (2015) - [j43]Piotr Gaj, Aleksander Malinowski, Thilo Sauter, Adriano Valenzano:
Guest editorial: Distributed data processing in industrial applications. IEEE Trans. Ind. Informatics 11(3): 737-740 (2015) - [j42]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
Implementation and Evaluation of the Reference Broadcast Infrastructure Synchronization Protocol. IEEE Trans. Ind. Informatics 11(3): 801-811 (2015) - [j41]Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Semiautomated Verification of Access Control Implementation in Industrial Networked Systems. IEEE Trans. Ind. Informatics 11(6): 1388-1399 (2015) - [c56]Gianluca Cena, Stefano Scanzio, Adriano Valenzano:
Reliable comparison of clock discipline algorithms for time synchronization protocols. ETFA 2015: 1-9 - [c55]Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts. ICS-CSR 2015 - [c54]Lucia Seno, Adriano Valenzano, Claudio Zunino:
A dynamic bandwidth reassignment technique for improving QoS in EDF-based industrial wireless networks. INDIN 2015: 892-899 - [c53]Manuel Cheminod, Luca Durante, Marcello Maggiora, Lucia Seno, Carmela Troilo, Adriano Valenzano:
A semi-graphical modeling framework for the automated analysis of networked systems security. RTSI 2015: 411-418 - [c52]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Improving compatibility between CAN FD and legacy CAN devices. RTSI 2015: 419-426 - [c51]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
A unified clock synchronization protocol for infrastructure wireless LANs. RTSI 2015: 508-515 - [c50]Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Analysis of access control policies in networked embedded systems: A case study. SIES 2015: 69-78 - 2014
- [c49]Andrea Ballarino, Alessandro Brusaferri, Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Egidio Leo, Leonardo Nicolosi, Lucia Seno, Stefano Spinelli, Federico Tramarin, Adriano Valenzano, Stefano Vitturi:
System-level performance of an automation solution based on industry standards. ETFA 2014: 1-6 - [c48]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
Dynamic duplicate deferral techniques for redundant Wi-Fi networks. ETFA 2014: 1-8 - [c47]Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano:
Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution. ETFA 2014: 1-8 - [c46]Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
Automated Analysis of Access Policies in Industrial Plants. ICS-CSR 2014 - [c45]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Effect of jitter-reducing encoders on CAN error detection mechanisms. WFCS 2014: 1-10 - [c44]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Design, verification, and performance of a MODBUS-CAN adaptation layer. WFCS 2014: 1-10 - [c43]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
An enhanced MAC to increase reliability in redundant Wi-Fi networks. WFCS 2014: 1-10 - [c42]Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano:
On the description of access control policies in networked industrial systems. WFCS 2014: 1-10 - 2013
- [j40]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks. Comput. Stand. Interfaces 35(5): 536-548 (2013) - [j39]Manuel Cheminod, Luca Durante, Adriano Valenzano:
Review of Security Issues in Industrial Networks. IEEE Trans. Ind. Informatics 9(1): 277-293 (2013) - [j38]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication. IEEE Trans. Ind. Informatics 9(4): 2155-2164 (2013) - [c41]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Software-based assessment of the synchronization and error handling behavior of a real CAN controller. ETFA 2013: 1-9 - [c40]Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Adriano Valenzano:
A Model for the Analysis of Security Policies in Industrial Networks. ICS-CSR 2013 - 2012
- [j37]Gianluca Cena, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
Evaluation of EtherCAT Distributed Clock Performance. IEEE Trans. Ind. Informatics 8(1): 20-29 (2012) - [c39]Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano:
Modeling Emergency Response Plans with Coloured Petri Nets. CRITIS 2012: 106-117 - [c38]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks. ETFA 2012: 1-8 - [c37]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication. ETFA 2012: 1-8 - [c36]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
The reference-broadcast infrastructure synchronization protocol. ETFA 2012: 1-4 - [c35]Manuel Cheminod, Luca Durante, Adriano Valenzano:
System configuration check against security policies in industrial networks. SIES 2012: 247-265 - [c34]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
Wireless machine vision systems based on COTS equipment. WFCS 2012: 3-12 - [c33]Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano:
An efficient fixed-length encoding scheme for CAN. WFCS 2012: 265-274 - 2011
- [c32]Gianluca Cena, Marco Cereia, Adriano Valenzano:
Security aspects of safety networks. ETFA 2011: 1-4 - [c31]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
Evaluation of the real-time properties of open-source protocol stacks. ETFA 2011: 1-8 - 2010
- [j36]Gianluca Cena, Lucia Seno, Adriano Valenzano, Claudio Zunino:
On the Performance of IEEE 802.11e Wireless Infrastructures for Soft-Real-Time Industrial Applications. IEEE Trans. Ind. Informatics 6(3): 425-437 (2010) - [c30]Gianluca Cena, Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
A software implementation of IEEE 1588 on RTAI/RTnet platforms. ETFA 2010: 1-8 - [c29]Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino:
Performance analysis of switched EtherCAT Networks. ETFA 2010: 1-4
2000 – 2009
- 2009
- [j35]Gianluca Cena, Lucia Seno, Adriano Valenzano, Stefano Vitturi:
Performance analysis of Ethernet Powerlink networks for distributed control and automation systems. Comput. Stand. Interfaces 31(3): 566-572 (2009) - [j34]Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Tools for cryptographic protocols analysis: A technical and experimental comparison. Comput. Stand. Interfaces 31(5): 954-961 (2009) - [j33]Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano:
Detecting Chains of Vulnerabilities in Industrial Networks. IEEE Trans. Ind. Informatics 5(2): 181-193 (2009) - [c28]Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino:
A High-performance CAN-like Arbitration Scheme for EtherCAT. ETFA 2009: 1-8 - [c27]Gianluca Cena, Adriano Valenzano, Claudio Zunino, Lucia Seno:
Evaluation of Real-time Communication Performance in QoS-enabled Infrastructure WLANs. ETFA 2009: 1-7 - [p3]Gianluca Cena, Adriano Valenzano:
Controller Area Network for Embedded Systems. Networked Embedded Systems 2009: 15 - [p2]Gianluca Cena, Adriano Valenzano, Stefano Vitturi:
Hybrid Wired/Wireless Networks Real-Time Industrial Networks. Networked Embedded Systems 2009: 26 - 2008
- [j32]Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Efficient representation of the attacker's knowledge in cryptographic protocols analysis. Formal Aspects Comput. 20(3): 303-348 (2008) - [c26]Gianluca Cena, Adriano Valenzano, Claudio Zunino:
An arbitration-based access scheme for EtherCAT networks. ETFA 2008: 416-423 - 2007
- [j31]Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano:
Improving the security of industrial networks by means of formal verification. Comput. Stand. Interfaces 29(3): 387-397 (2007) - [j30]Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano:
A socket interface for CAN devices. Comput. Stand. Interfaces 29(6): 662-673 (2007) - [j29]Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino:
Evaluation of Response Times in Industrial WLANs. IEEE Trans. Ind. Informatics 3(3): 191-201 (2007) - [c25]Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. DepCoS-RELCOMEX 2007: 11-18 - [c24]Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. DepCoS-RELCOMEX 2007: 153-160 - [c23]Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino:
Reasoning about communication latencies in real WLANs. ETFA 2007: 187-194 - 2006
- [j28]Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. Int. J. Found. Comput. Sci. 17(4): 815-832 (2006) - [j27]Gianluca Cena, Adriano Valenzano:
On the properties of the flexible time division multiple access technique. IEEE Trans. Ind. Informatics 2(2): 86-94 (2006) - [c22]Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano:
Comparing lexical analysis tools for buffer overflow detection in network software. COMSWARE 2006: 1-7 - 2005
- [j26]Gianluca Cena, Adriano Valenzano, Stefano Vitturi:
Advances in automotive digital communications. Comput. Stand. Interfaces 27(6): 665-678 (2005) - [j25]Gianluca Cena, Adriano Valenzano, Stefano Vitturi:
Introducing intelligent sensors in presses for plastic material injection. IEEE Trans. Ind. Informatics 1(2): 136-148 (2005) - [c21]Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA 2005: 69-84 - [c20]Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano:
Modelling CANopen communications according to the socket paradigm. ETFA 2005 - [p1]Gianluca Cena, Adriano Valenzano:
Operating Principles and Features of CAN Networks. The Industrial Information Technology Handbook 2005: 1-16 - 2004
- [c19]Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA 2004: 135-149 - 2003
- [j24]Gianluca Cena, Adriano Valenzano:
A protocol for automatic node discovery in CANopen networks. IEEE Trans. Ind. Electron. 50(3): 419-430 (2003) - [j23]Luca Durante, Riccardo Sisto, Adriano Valenzano:
Automatic testing equivalence verification of spi calculus specifications. ACM Trans. Softw. Eng. Methodol. 12(2): 222-284 (2003) - [c18]Gianluca Cena, Adriano Valenzano:
Efficient polling of devices in CANopen networks. ETFA (1) 2003: 123-130 - [c17]Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE 2003: 224-239 - [c16]Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS 2003: 284-298 - 2002
- [j22]Gianluca Cena, Adriano Valenzano:
Achieving round-robin access in controller area networks. IEEE Trans. Ind. Electron. 49(6): 1202-1213 (2002) - [j21]Gianluca Cena, Adriano Valenzano:
A multistage hierarchical distributed arbitration technique for priority-based real-time communication systems. IEEE Trans. Ind. Electron. 49(6): 1227-1239 (2002) - 2001
- [j20]Gianluca Cena, Luca Durante, Adriano Valenzano:
A new CAN-like field network based on a star topology. Comput. Stand. Interfaces 23(3): 209-222 (2001) - [j19]Gianluca Cena, Adriano Valenzano, Stefano Vitturi:
Integrating fieldbuses and factory intranets. Int. J. Comput. Integr. Manuf. 14(1): 41-54 (2001) - [c15]Gianluca Cena, Adriano Valenzano:
Integrating the CAN and MUST access techniques in a single fieldbus. ETFA (1) 2001: 231-239 - 2000
- [j18]Gianluca Cena, Adriano Valenzano:
Delay analysis of priority promotion systems. Comput. Commun. 23(13): 1252-1262 (2000) - [j17]Gianluca Cena, Adriano Valenzano:
FastCAN: a high-performance enhanced CAN-like network. IEEE Trans. Ind. Electron. 47(4): 951-963 (2000) - [c14]Luca Durante, Riccardo Sisto, Adriano Valenzano:
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. FORTE 2000: 155-170
1990 – 1999
- 1999
- [j16]Gianluca Cena, Adriano Valenzano:
Efficient implementation of semaphores in controller area networks. IEEE Trans. Ind. Electron. 46(2): 417-428 (1999) - 1998
- [j15]Claudio Demartini, Adriano Valenzano:
The EN50170 standard for a European fieldbus. Comput. Stand. Interfaces 19(5-6): 257-273 (1998) - [c13]Claudio Demartini, S. Rivoira, Adriano Valenzano:
Product Data Exchange Using STEP. PROLAMAT 1998: 257-270 - 1997
- [j14]Gianluca Cena, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Adaptive bandwidth balancing mechanisms for DQDB networks. Comput. Commun. 20(9): 804-819 (1997) - [j13]Gianluca Cena, Adriano Valenzano:
An improved CAN fieldbus for industrial applications. IEEE Trans. Ind. Electron. 44(4): 553-564 (1997) - 1995
- [j12]Riccardo Sisto, Adriano Valenzano:
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions. IEEE Trans. Computers 44(12): 1361-1370 (1995) - 1994
- [j11]Luca Durante, Riccardo Sisto, Adriano Valenzano:
Implementation of static semantic analysis of LOTOS specifications. Softw. Eng. J. 9(2): 55-66 (1994) - [j10]Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano:
A LOTOS extension for the performance analysis of distributed systems. IEEE/ACM Trans. Netw. 2(2): 151-165 (1994) - [c12]Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano:
Integrating Peforamnce Analysis in the Context of LOTOS-Based Design. MASCOTS 1994: 292-298 - [c11]Luca Durante, Riccardo Sisto, Adriano Valenzano:
A LOTOS specification of the SERCOS field-bus protocol. SEKE 1994: 139-147 - 1993
- [j9]Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera:
Rapid Prototyping of Protocols from LOTOS Specifications. Softw. Pract. Exp. 23(1): 31-54 (1993) - 1992
- [b2]Adriano Valenzano, Claudio Demartini, Luigi Ciminiera:
MAP and TOP communications - standards and applications. Electronic systems engineering series, Addison-Wesley 1992, ISBN 978-0-201-41665-7, pp. I-XIV, 1-541 - [c10]Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano:
Probabilistic Characterization of Algebraic Protocol Specifications. ICDCS 1992: 260-268 - [c9]Adriano Valenzano, Claudio Demartini, Gianluca Cena:
CIMNET: a prototype network for time critical applications in the factory. LCN 1992: 466-472 - [c8]Claudio Demartini, Paolo Montuschi, Adriano Valenzano, Luigi Ciminiera, Riccardo Sisto:
Throughput analysis of timed token protocols in double ring networks. LCN 1992: 473-482 - 1991
- [j8]Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano:
A Protocol for Multirendezvous of LOTOS Processes. IEEE Trans. Computers 40(4): 437-447 (1991) - [c7]Paolo Montuschi, Adriano Valenzano, Luigi Ciminiera:
On the Equivalence of IEEE 802.4 and FDDI Timed Token Protocols. INFOCOM 1991: 435-440 - 1990
- [j7]Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera:
An abstract execution model for basic LOTOS. Softw. Eng. J. 5(6): 311-318 (1990) - [j6]Adriano Valenzano, Paolo Montuschi, Luigi Ciminiera:
Some Properties of Timed Token Medium Access Protocols. IEEE Trans. Software Eng. 16(8): 858-869 (1990) - [c6]Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera:
Modeling the execution of LOTOS specifications by cooperating extended finite state machines. SPDP 1990: 780-785
1980 – 1989
- 1989
- [j5]Adriano Valenzano, Paolo Montuschi, Luigi Ciminiera:
Implementation of algorithms for graphic surface modeling using transputers. Microprocess. Microprogramming 25(1-5): 265-270 (1989) - [j4]Luigi Ciminiera, Adriano Valenzano:
Authentication Mechanisms in Microprocessor-Based Local Area Networks. IEEE Trans. Software Eng. 15(5): 654-658 (1989) - [c5]Adriano Valenzano, Paolo Montuschi, Luigi Ciminiera:
On the Behavior of Control Token Protocols with Asynchronous and Synchronous Traffic. INFOCOM 1989: 348-355 - [c4]Luigi Ciminiera, Paolo Montuschi, Adriano Valenzano:
Some Properties of Double-Ring Networks with Real-Time Constraints. RTSS 1989: 360-368 - 1988
- [j3]Luigi Ciminiera, Claudio Demartini, Adriano Valenzano:
Performance analysis of type 3 LLC in industrial 802.5 nets. IEEE Netw. 2(3): 90-96 (1988) - [j2]Luigi Ciminiera, Claudio Demartini, Adriano Valenzano:
A Practical Study of Semi-automatic OSI Protocol Implementation. Softw. Pract. Exp. 18(3): 255-277 (1988) - 1987
- [b1]Luigi Ciminiera, Adriano Valenzano:
Advanced microprocessor architectures. Electronic systems engineering series, Addison-Wesley 1987, ISBN 978-0-201-14550-2, pp. I-XIV, 1-476 - [c3]Luigi Ciminiera, Adriano Valenzano:
Performance Analysis of Acknowledgment Mechanisms in Token-Bus Networks. RTSS 1987: 179-185 - [c2]Luigi Ciminiera, Adriano Valenzano:
Reliability and performance issues in FDDI networks. Simulation of Computer Networks 1987: 94-101 - 1984
- [j1]Luigi Ciminiera, Adriano Valenzano:
iAPX 432 hardware fault-handling mechanisms. Softw. Microsystems 3(3): 67-74 (1984) - [c1]Giordano Bruno, Claudio Demartini, Adriano Valenzano:
Communication and programming issues in robotic manufacturing cells. ICRA 1984: 361-367
Coauthor Index
aka: Claudio Demartini
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint