Adriano Valenzano

185 papers A* 3A 4B 6C 63Journal 81Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Low-Cost Software Evaluation of Communication Delays in Networked Industrial Systems. Future Internet Manuel Cheminod, Ivan Cibrario Bertolotti, Adriano Valenzano, Luca Durante
2024	J	`jnl`	Adaptive Seamless Redundancy to Achieve Highly Dependable MQTT Communication. IEEE Trans. Ind. Informatics Claudio Zunino, Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2024	J	`jnl`	QRscript: Embedding a Programming Language in QR codes to support Decision and Management. CoRR Stefano Scanzio, Gianluca Cena, Adriano Valenzano
2023	J	`jnl`	CONSIP: Consistency Protocol for Hopping Function Exchange and Black listing in TSCH. CoRR Stefano Scanzio, Federico Bitondo, Gianluca Cena, Adriano Valenzano
2023	C	`conf`	Composite CAN XL-Ethernet Networks for Next-Gen Automotive and Automation Systems. WFCS Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2023	J	`jnl`	Composite CAN XL-Ethernet Networks for Next-Gen Automotive and Automation Systems. CoRR Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2023	J	`jnl`	Enabling Listening Suspension in the Time Slotted Channel Hopping Protocol. CoRR Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2023	J	`jnl`	Enhanced Energy-Saving Mechanisms in TSCH Networks for the IIoT: The PRIL Approach. IEEE Trans. Ind. Informatics Stefano Scanzio, Gianluca Cena, Adriano Valenzano
2023	C	`conf`	Linear Combination of Exponential Moving Averages for Wireless Channel Prediction. INDIN Gabriele Formis, Stefano Scanzio, Gianluca Cena, Adriano Valenzano
2023	J	`jnl`	Linear Combination of Exponential Moving Averages for Wireless Channel Prediction. CoRR Gabriele Formis, Stefano Scanzio, Gianluca Cena, Adriano Valenzano
2023	C	`conf`	Predicting Wireless Channel Quality by Means of Moving Averages and Regression Models. WFCS Gabriele Formis, Stefano Scanzio, Gianluca Cena, Adriano Valenzano
2023	J	`jnl`	Predicting Wireless Channel Quality by means of Moving Averages and Regression Models. CoRR Gabriele Formis, Stefano Scanzio, Gianluca Cena, Adriano Valenzano
2022	C	`conf`	A Fair Access Mechanism to Support Fragmented Data Transfers in CAN. WFCS Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2022	C	`conf`	CONSIP: Consistency Protocol for Hopping Function Exchange and Black listing in TSCH. WFCS Stefano Scanzio, Federico Bitondo, Gianluca Cena, Adriano Valenzano
2022	J	`jnl`	Enhanced Energy-Saving Mechanisms in TSCH Networks for the IIoT: the PRIL Approach. CoRR Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2022	J	`jnl`	Experimental Evaluation of Seamless Redundancy Applied to Industrial Wi-Fi Networks. CoRR Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2022	J	`jnl`	Experimental Evaluation of Techniques to Lower Spectrum Consumption in Wi-Red. CoRR Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2022	J	`jnl`	Improving Effectiveness of Seamless Redundancy in Real Industrial Wi-Fi Networks. CoRR Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2022	C	`conf`	Improving performance and cyber-attack resilience in multi-firewall industrial networks. WFCS Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
2022	C	`conf`	Machine Learning to Support Self-Configuration of Industrial Systems Interconnected over Wi-Fi. ETFA Stefano Scanzio, Gianluca Cena, Claudio Zunino, Adriano Valenzano
2022	C	`conf`	Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior IECON Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano
2022	J	`jnl`	Predicting Wi-Fi link quality through artificial neural networks. Internet Technol. Lett. Stefano Scanzio, Francesco Xia, Gianluca Cena, Adriano Valenzano
2022	C	`conf`	QRscript: Embedding a Programming Language in QR codes to support Decision and Management. ETFA Stefano Scanzio, Gianluca Cena, Adriano Valenzano
2022	C	`conf`	Resilient MQTT to Support Uninterruptible Services. WFCS Claudio Zunino, Davide Malena, Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2022	J	`jnl`	SDMAC: A Software-Defined MAC for Wi-Fi to Ease Implementation of Soft Real-time Applications. CoRR Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2022	J	`jnl`	Seamless Link-level Redundancy to Improve Reliability of Industrial Wi-Fi Networks. CoRR Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2021	J	`jnl`	A Formal Model and Technique to Redistribute the Packet Filtering Load in Multiple Firewall Networks. IEEE Trans. Inf. Forensics Secur. Luca Durante, Lucia Seno, Adriano Valenzano
2021	—	`conf`	An Algorithm for Security Policy Migration in Multiple Firewall Networks. ITASEC Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2021	C	`conf`	Black-Box Analysis of the Publish-Subscribe Notification Latency in Real OPC UA Servers. ETFA Claudio Zunino, Davide Malena, Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2021	C	`conf`	Enabling Listening Suspension in the Time Slotted Channel Hopping Protocol. WFCS Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2021	C	`conf`	Experimental Characterization of Asynchronous Notification Latency for Subscriptions in OPC UA. ETFA Claudio Zunino, Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2021	C	`conf`	Robustness and Optimization of PRIL Techniques for Energy Saving in TSCH Networks. ETFA Stefano Scanzio, Gianluca Cena, Lucia Seno, Adriano Valenzano
2020	—	`conf`	Energy Saving in TSCH Networks by Means of Proactive Reduction of Idle Listening. ADHOC-NOW Stefano Scanzio, Gianluca Cena, Adriano Valenzano, Claudio Zunino
2020	C	`conf`	Energy-Efficient Link Capacity Overprovisioning In Time Slotted Channel Hopping Networks. WFCS Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano, Claudio Zunino
2020	J	`jnl`	Evaluating and Modeling IEEE 802.15.4 TSCH Resilience against Wi-Fi Interference in New-Generation Highly-Dependable Wireless Sensor Networks. Ad Hoc Networks Gianluca Cena, Claudio Demartini, Mohammad Ghazi Vakili, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2020	J	`jnl`	Factory Communications at the Dawn of the Fourth Industrial Revolution. Comput. Stand. Interfaces Claudio Zunino, Adriano Valenzano, Roman Obermaisser, Stig Petersen
2020	J	`jnl`	Wireless Sensor Networks and TSCH: A Compromise Between Reliability, Power Consumption, and Latency. IEEE Access Stefano Scanzio, Mohammad Ghazi Vakili, Gianluca Cena, Claudio Demartini, Bartolomeo Montrucchio, Adriano Valenzano, Claudio Zunino
2019	C	`conf`	A Full-Wireless Network Architecture Based on the Industrial Internet of Things Paradigm. ETFA Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2019	—	`conf`	A Software-Defined Retransmission Mechanism to Manage Real-Time Traffic in Wi-Fi Networks. ADHOC-NOW Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano, Claudio Zunino
2019	J	`jnl`	A comprehensive approach to the automatic refinement and verification of access control policies. Comput. Secur. Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
2019	—	`conf`	Comparison of Mixed Diversity Schemes to Enhance Reliability of Wireless Networks. ADHOC-NOW Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano
2019	J	`jnl`	Event Notification in CAN-Based Sensor Networks. IEEE Trans. Ind. Informatics Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet, Adriano Valenzano
2019	C	`conf`	Experimental Analysis and Comparison of Industrial IoT Devices based on TSCH. ETFA Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2019	J	`jnl`	Experimental Evaluation of Techniques to Lower Spectrum Consumption in Wi-Red. IEEE Trans. Wirel. Commun. Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2019	J	`jnl`	On a software-defined CAN controller for embedded systems. Comput. Stand. Interfaces Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2019	C	`conf`	Optimal retransmission allocation for EDF-based networked real-time applications. WFCS Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano
2019	J	`jnl`	SDMAC: A Software-Defined MAC for Wi-Fi to Ease Implementation of Soft Real-Time Applications. IEEE Trans. Ind. Informatics Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2018	C	`conf`	A Prototype Implementation of Wi-Fi Seamless Redundancy with Reactive Duplication Avoidance. ETFA Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2018	C	`conf`	A neural network clock discipline algorithm for the RBIS clock synchronization protocol. WFCS Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2018	C	`conf`	Adaptive duplication avoidance for Wi-Red. WFCS Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2018	C	`conf`	Deadline-Constrained Repeat reQuest mechanisms for wireless communication channels. WFCS Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano
2018	C	`conf`	Error detection and management in CAN XR. WFCS Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2018	J	`jnl`	Improving Effectiveness of Seamless Redundancy in Real Industrial Wi-Fi Networks. IEEE Trans. Ind. Informatics Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2018	J	`jnl`	Performance Evaluation and Modeling of an Industrial Application-Layer Firewall. IEEE Trans. Ind. Informatics Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2018	C	`conf`	Toward attribute-based access control policy in industrial networked systems. WFCS Manuel Cheminod, Luca Durante, Fulvio Valenza, Adriano Valenzano
2017	B	`conf`	A model for the analysis of security policies in service function chains. NetSoft Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
2017	J	`jnl`	A model for the analysis of security policies in service function chains. CoRR Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
2017	C	`conf`	A software-defined MAC architecture for Wi-Fi operating in user space on conventional PCs. WFCS Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2017	C	`conf`	Automated fixing of access policy implementation in Industrial Networked Systems. WFCS Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
2017	J	`jnl`	Automated fixing of access policy implementation in Industrial Networked Systems. CoRR Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano
2017	J	`jnl`	Bandwidth Management for Soft Real-Time Control Applications in Industrial Wireless Networks. IEEE Trans. Ind. Informatics Lucia Seno, Gianluca Cena, Adriano Valenzano, Claudio Zunino
2017	J	`jnl`	CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation. IEEE Trans. Ind. Informatics Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2017	J	`jnl`	Detection of attacks based on known vulnerabilities in industrial networked systems. J. Inf. Secur. Appl. Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2017	C	`conf`	Duplication avoidance mechanisms to reduce bandwidth usage in redundant Wi-Fi networks. WFCS Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2017	J	`jnl`	Enhancing Communication Determinism in Wi-Fi Networks for Soft Real-Time Industrial Applications. IEEE Trans. Ind. Informatics Lucia Seno, Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2017	J	`jnl`	Experimental Evaluation of Seamless Redundancy Applied to Industrial Wi-Fi Networks. IEEE Trans. Ind. Informatics Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2017	C	`conf`	Leveraging SDN to improve security in industrial networks. WFCS Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano, Claudio Zunino
2017	C	`conf`	Optimized event notification in CAN through in-frame replies and Bloom filters. WFCS Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2017	—	`conf`	Supporting security protocols on CAN-based networks. ICIT Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2016	C	`conf`	A fixed-priority access scheme for industrial Wi-Fi networks. IECON Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano
2016	—	`conf`	A soft real-time scheduling framework for wireless industrial sensor actuator networks. SIES Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano
2016	C	`conf`	CAN XR: CAN with extensible in-frame Reply. INDIN Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2016	C	`conf`	Combining reliability and timeliness in industrial wireless networks: An experimental assessment. WFCS Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano, Claudio Zunino
2016	C	`conf`	Design guidelines to improve reliability of seamless redundancy in Wi-Fi networks. ETFA Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2016	C	`conf`	Experimental characterization of redundant channels in industrial Wi-Fi networks. WFCS Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2016	C	`conf`	Performance impact of commercial industrial firewalls on networked control systems. ETFA Manuel Cheminod, Luca Durante, Adriano Valenzano, Claudio Zunino
2016	—	`conf`	Performance of Firewalls for Industrial Applications. ICS-CSR Manuel Cheminod, Luca Durante, Marcello Maggiora, Adriano Valenzano, Claudio Zunino
2016	J	`jnl`	Seamless Link-Level Redundancy to Improve Reliability of Industrial Wi-Fi Networks. IEEE Trans. Ind. Informatics Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2016	J	`jnl`	Seamless integration of CAN in intranets. Comput. Stand. Interfaces Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2015	J	`jnl`	A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication. IEEE Trans. Ind. Informatics Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2015	C	`conf`	A dynamic bandwidth reassignment technique for improving QoS in EDF-based industrial wireless networks. INDIN Lucia Seno, Adriano Valenzano, Claudio Zunino
2015	—	`conf`	A semi-graphical modeling framework for the automated analysis of networked systems security. RTSI Manuel Cheminod, Luca Durante, Marcello Maggiora, Lucia Seno, Carmela Troilo, Adriano Valenzano
2015	J	`jnl`	A twofold model for the analysis of access control policies in industrial networked systems. Comput. Stand. Interfaces Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano
2015	—	`conf`	A unified clock synchronization protocol for infrastructure wireless LANs. RTSI Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2015	—	`conf`	Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts. ICS-CSR Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2015	—	`conf`	Analysis of access control policies in networked embedded systems: A case study. SIES Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2015	J	`jnl`	Guest editorial: Distributed data processing in industrial applications. IEEE Trans. Ind. Informatics Piotr Gaj, Aleksander Malinowski, Thilo Sauter, Adriano Valenzano
2015	J	`jnl`	Implementation and Evaluation of the Reference Broadcast Infrastructure Synchronization Protocol. IEEE Trans. Ind. Informatics Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2015	—	`conf`	Improving compatibility between CAN FD and legacy CAN devices. RTSI Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2015	C	`conf`	Reliable comparison of clock discipline algorithms for time synchronization protocols. ETFA Gianluca Cena, Stefano Scanzio, Adriano Valenzano
2015	J	`jnl`	Semiautomated Verification of Access Control Implementation in Industrial Networked Systems. IEEE Trans. Ind. Informatics Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2014	C	`conf`	An enhanced MAC to increase reliability in redundant Wi-Fi networks. WFCS Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2014	—	`conf`	Automated Analysis of Access Policies in Industrial Plants. ICS-CSR Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2014	C	`conf`	Design, verification, and performance of a MODBUS-CAN adaptation layer. WFCS Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2014	C	`conf`	Dynamic duplicate deferral techniques for redundant Wi-Fi networks. ETFA Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2014	C	`conf`	Effect of jitter-reducing encoders on CAN error detection mechanisms. WFCS Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2014	C	`conf`	Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution. ETFA Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
2014	C	`conf`	On the description of access control policies in networked industrial systems. WFCS Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano
2014	C	`conf`	System-level performance of an automation solution based on industry standards. ETFA 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
2013	—	`conf`	A Model for the Analysis of Security Policies in Industrial Networks. ICS-CSR Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Adriano Valenzano
2013	J	`jnl`	Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication. IEEE Trans. Ind. Informatics Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2013	J	`jnl`	On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks. Comput. Stand. Interfaces Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2013	J	`jnl`	Review of Security Issues in Industrial Networks. IEEE Trans. Ind. Informatics Manuel Cheminod, Luca Durante, Adriano Valenzano
2013	C	`conf`	Software-based assessment of the synchronization and error handling behavior of a real CAN controller. ETFA Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2012	C	`conf`	An efficient fixed-length encoding scheme for CAN. WFCS Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano
2012	J	`jnl`	Evaluation of EtherCAT Distributed Clock Performance. IEEE Trans. Ind. Informatics Gianluca Cena, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2012	C	`conf`	Modeling Emergency Response Plans with Coloured Petri Nets. CRITIS Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
2012	C	`conf`	Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks. ETFA Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2012	C	`conf`	Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication. ETFA Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
2012	—	`conf`	System configuration check against security policies in industrial networks. SIES Manuel Cheminod, Luca Durante, Adriano Valenzano
2012	C	`conf`	The reference-broadcast infrastructure synchronization protocol. ETFA Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2012	C	`conf`	Wireless machine vision systems based on COTS equipment. WFCS Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2011	C	`conf`	Evaluation of the real-time properties of open-source protocol stacks. ETFA Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2011	C	`conf`	Security aspects of safety networks. ETFA Gianluca Cena, Marco Cereia, Adriano Valenzano
2010	C	`conf`	A software implementation of IEEE 1588 on RTAI/RTnet platforms. ETFA Gianluca Cena, Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2010	J	`jnl`	On the Performance of IEEE 802.11e Wireless Infrastructures for Soft-Real-Time Industrial Applications. IEEE Trans. Ind. Informatics Gianluca Cena, Lucia Seno, Adriano Valenzano, Claudio Zunino
2010	C	`conf`	Performance analysis of switched EtherCAT Networks. ETFA Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
2009	C	`conf`	A High-performance CAN-like Arbitration Scheme for EtherCAT. ETFA Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino
2009	—	`ch.`	Controller Area Network for Embedded Systems. Networked Embedded Systems Gianluca Cena, Adriano Valenzano
2009	J	`jnl`	Detecting Chains of Vulnerabilities in Industrial Networks. IEEE Trans. Ind. Informatics Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano
2009	C	`conf`	Evaluation of Real-time Communication Performance in QoS-enabled Infrastructure WLANs. ETFA Gianluca Cena, Adriano Valenzano, Claudio Zunino, Lucia Seno
2009	—	`ch.`	Hybrid Wired/Wireless Networks Real-Time Industrial Networks. Networked Embedded Systems Gianluca Cena, Adriano Valenzano, Stefano Vitturi
2009	J	`jnl`	Performance analysis of Ethernet Powerlink networks for distributed control and automation systems. Comput. Stand. Interfaces Gianluca Cena, Lucia Seno, Adriano Valenzano, Stefano Vitturi
2009	J	`jnl`	Tools for cryptographic protocols analysis: A technical and experimental comparison. Comput. Stand. Interfaces Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2008	C	`conf`	An arbitration-based access scheme for EtherCAT networks. ETFA Gianluca Cena, Adriano Valenzano, Claudio Zunino
2008	J	`jnl`	Efficient representation of the attacker's knowledge in cryptographic protocols analysis. Formal Aspects Comput. Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2007	J	`jnl`	A socket interface for CAN devices. Comput. Stand. Interfaces Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano
2007	—	`conf`	Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. DepCoS-RELCOMEX Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2007	J	`jnl`	Evaluation of Response Times in Industrial WLANs. IEEE Trans. Ind. Informatics Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino
2007	—	`conf`	Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. DepCoS-RELCOMEX Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2007	J	`jnl`	Improving the security of industrial networks by means of formal verification. Comput. Stand. Interfaces Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano
2007	C	`conf`	Reasoning about communication latencies in real WLANs. ETFA Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino
2006	—	`conf`	Comparing lexical analysis tools for buffer overflow detection in network software. COMSWARE Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano
2006	J	`jnl`	Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. Int. J. Found. Comput. Sci. Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2006	J	`jnl`	On the properties of the flexible time division multiple access technique. IEEE Trans. Ind. Informatics Gianluca Cena, Adriano Valenzano
2005	J	`jnl`	Advances in automotive digital communications. Comput. Stand. Interfaces Gianluca Cena, Adriano Valenzano, Stefano Vitturi
2005	B	`conf`	Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2005	J	`jnl`	Introducing intelligent sensors in presses for plastic material injection. IEEE Trans. Ind. Informatics Gianluca Cena, Adriano Valenzano, Stefano Vitturi
2005	C	`conf`	Modelling CANopen communications according to the socket paradigm. ETFA Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano
2005	—	`ch.`	Operating Principles and Features of CAN Networks. The Industrial Information Technology Handbook Gianluca Cena, Adriano Valenzano
2004	B	`conf`	Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2003	A	`conf`	A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2003	J	`jnl`	A protocol for automatic node discovery in CANopen networks. IEEE Trans. Ind. Electron. Gianluca Cena, Adriano Valenzano
2003	J	`jnl`	Automatic testing equivalence verification of spi calculus specifications. ACM Trans. Softw. Eng. Methodol. Luca Durante, Riccardo Sisto, Adriano Valenzano
2003	—	`conf`	Efficient polling of devices in CANopen networks. ETFA (1) Gianluca Cena, Adriano Valenzano
2003	C	`conf`	Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2002	J	`jnl`	A multistage hierarchical distributed arbitration technique for priority-based real-time communication systems. IEEE Trans. Ind. Electron. Gianluca Cena, Adriano Valenzano
2002	J	`jnl`	Achieving round-robin access in controller area networks. IEEE Trans. Ind. Electron. Gianluca Cena, Adriano Valenzano
2001	J	`jnl`	A new CAN-like field network based on a star topology. Comput. Stand. Interfaces Gianluca Cena, Luca Durante, Adriano Valenzano
2001	J	`jnl`	Integrating fieldbuses and factory intranets. Int. J. Comput. Integr. Manuf. Gianluca Cena, Adriano Valenzano, Stefano Vitturi
2001	—	`conf`	Integrating the CAN and MUST access techniques in a single fieldbus. ETFA (1) Gianluca Cena, Adriano Valenzano
2000	C	`conf`	A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. FORTE Luca Durante, Riccardo Sisto, Adriano Valenzano
2000	J	`jnl`	Delay analysis of priority promotion systems. Comput. Commun. Gianluca Cena, Adriano Valenzano
2000	J	`jnl`	FastCAN: a high-performance enhanced CAN-like network. IEEE Trans. Ind. Electron. Gianluca Cena, Adriano Valenzano
1999	J	`jnl`	Efficient implementation of semaphores in controller area networks. IEEE Trans. Ind. Electron. Gianluca Cena, Adriano Valenzano
1998	—	`conf`	Product Data Exchange Using STEP. PROLAMAT Claudio Demartini, S. Rivoira, Adriano Valenzano
1998	J	`jnl`	The EN50170 standard for a European fieldbus. Comput. Stand. Interfaces Claudio Demartini, Adriano Valenzano
1997	J	`jnl`	Adaptive bandwidth balancing mechanisms for DQDB networks. Comput. Commun. Gianluca Cena, Luca Durante, Riccardo Sisto, Adriano Valenzano
1997	J	`jnl`	An improved CAN fieldbus for industrial applications. IEEE Trans. Ind. Electron. Gianluca Cena, Adriano Valenzano
1995	J	`jnl`	Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions. IEEE Trans. Computers Riccardo Sisto, Adriano Valenzano
1994	J	`jnl`	A LOTOS extension for the performance analysis of distributed systems. IEEE/ACM Trans. Netw. Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano
1994	C	`conf`	A LOTOS specification of the SERCOS field-bus protocol. SEKE Luca Durante, Riccardo Sisto, Adriano Valenzano
1994	J	`jnl`	Implementation of static semantic analysis of LOTOS specifications. Softw. Eng. J. Luca Durante, Riccardo Sisto, Adriano Valenzano
1994	B	`conf`	Integrating Peforamnce Analysis in the Context of LOTOS-Based Design. MASCOTS Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano
1993	J	`jnl`	Rapid Prototyping of Protocols from LOTOS Specifications. Softw. Pract. Exp. Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera
1992	B	`conf`	CIMNET: a prototype network for time critical applications in the factory. LCN Adriano Valenzano, Claudio Demartini, Gianluca Cena
1992	—	`book`	MAP and TOP communications - standards and applications. Adriano Valenzano, Claudio Demartini, Luigi Ciminiera
1992	A	`conf`	Probabilistic Characterization of Algebraic Protocol Specifications. ICDCS Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano
1992	B	`conf`	Throughput analysis of timed token protocols in double ring networks. LCN Claudio Demartini, Paolo Montuschi, Adriano Valenzano, Luigi Ciminiera, Riccardo Sisto
1991	J	`jnl`	A Protocol for Multirendezvous of LOTOS Processes. IEEE Trans. Computers Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano
1991	A*	`conf`	On the Equivalence of IEEE 802.4 and FDDI Timed Token Protocols. INFOCOM Paolo Montuschi, Adriano Valenzano, Luigi Ciminiera
1990	J	`jnl`	An abstract execution model for basic LOTOS. Softw. Eng. J. Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera
1990	—	`conf`	Modeling the execution of LOTOS specifications by cooperating extended finite state machines. SPDP Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera
1990	J	`jnl`	Some Properties of Timed Token Medium Access Protocols. IEEE Trans. Software Eng. Adriano Valenzano, Paolo Montuschi, Luigi Ciminiera
1989	J	`jnl`	Authentication Mechanisms in Microprocessor-Based Local Area Networks. IEEE Trans. Software Eng. Luigi Ciminiera, Adriano Valenzano
1989	J	`jnl`	Implementation of algorithms for graphic surface modeling using transputers. Microprocess. Microprogramming Adriano Valenzano, Paolo Montuschi, Luigi Ciminiera
1989	A*	`conf`	On the Behavior of Control Token Protocols with Asynchronous and Synchronous Traffic. INFOCOM Adriano Valenzano, Paolo Montuschi, Luigi Ciminiera
1989	A	`conf`	Some Properties of Double-Ring Networks with Real-Time Constraints. RTSS Luigi Ciminiera, Paolo Montuschi, Adriano Valenzano
1988	J	`jnl`	A Practical Study of Semi-automatic OSI Protocol Implementation. Softw. Pract. Exp. Luigi Ciminiera, Claudio Demartini, Adriano Valenzano
1988	J	`jnl`	Performance analysis of type 3 LLC in industrial 802.5 nets. IEEE Netw. Luigi Ciminiera, Claudio Demartini, Adriano Valenzano
1987	—	`book`	Advanced microprocessor architectures. Luigi Ciminiera, Adriano Valenzano
1987	A	`conf`	Performance Analysis of Acknowledgment Mechanisms in Token-Bus Networks. RTSS Luigi Ciminiera, Adriano Valenzano
1987	—	`conf`	Reliability and performance issues in FDDI networks. Simulation of Computer Networks Luigi Ciminiera, Adriano Valenzano
1984	A*	`conf`	Communication and programming issues in robotic manufacturing cells. ICRA Giordano Bruno, Claudio Demartini, Adriano Valenzano
1984	J	`jnl`	iAPX 432 hardware fault-handling mechanisms. Softw. Microsystems Luigi Ciminiera, Adriano Valenzano