Adriano Valenzano

According to our database1, Adriano Valenzano authored at least 145 papers between 1984 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Factory Communications at the Dawn of the Fourth Industrial Revolution.
Comput. Stand. Interfaces, 2020

Evaluating and Modeling IEEE 802.15.4 TSCH Resilience against Wi-Fi Interference in New-Generation Highly-Dependable Wireless Sensor Networks.
Ad Hoc Networks, 2020

Wireless Sensor Networks and TSCH: A Compromise Between Reliability, Power Consumption, and Latency.
IEEE Access, 2020

Energy-Efficient Link Capacity Overprovisioning In Time Slotted Channel Hopping Networks.
Proceedings of the 16th IEEE International Conference on Factory Communication Systems, 2020

Energy Saving in TSCH Networks by Means of Proactive Reduction of Idle Listening.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2020

2019
Experimental Evaluation of Techniques to Lower Spectrum Consumption in Wi-Red.
IEEE Trans. Wirel. Commun., 2019

SDMAC: A Software-Defined MAC for Wi-Fi to Ease Implementation of Soft Real-Time Applications.
IEEE Trans. Ind. Informatics, 2019

Event Notification in CAN-Based Sensor Networks.
IEEE Trans. Ind. Informatics, 2019

On a software-defined CAN controller for embedded systems.
Comput. Stand. Interfaces, 2019

A comprehensive approach to the automatic refinement and verification of access control policies.
Comput. Secur., 2019

Optimal retransmission allocation for EDF-based networked real-time applications.
Proceedings of the 15th IEEE International Workshop on Factory Communication Systems, 2019

A Full-Wireless Network Architecture Based on the Industrial Internet of Things Paradigm.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Experimental Analysis and Comparison of Industrial IoT Devices based on TSCH.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

A Software-Defined Retransmission Mechanism to Manage Real-Time Traffic in Wi-Fi Networks.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2019

Comparison of Mixed Diversity Schemes to Enhance Reliability of Wireless Networks.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 2019

2018
Performance Evaluation and Modeling of an Industrial Application-Layer Firewall.
IEEE Trans. Ind. Informatics, 2018

Improving Effectiveness of Seamless Redundancy in Real Industrial Wi-Fi Networks.
IEEE Trans. Ind. Informatics, 2018

Toward attribute-based access control policy in industrial networked systems.
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

Adaptive duplication avoidance for Wi-Red.
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

A neural network clock discipline algorithm for the RBIS clock synchronization protocol.
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

Deadline-Constrained Repeat reQuest mechanisms for wireless communication channels.
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

Error detection and management in CAN XR.
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

A Prototype Implementation of Wi-Fi Seamless Redundancy with Reactive Duplication Avoidance.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
Bandwidth Management for Soft Real-Time Control Applications in Industrial Wireless Networks.
IEEE Trans. Ind. Informatics, 2017

Enhancing Communication Determinism in Wi-Fi Networks for Soft Real-Time Industrial Applications.
IEEE Trans. Ind. Informatics, 2017

Experimental Evaluation of Seamless Redundancy Applied to Industrial Wi-Fi Networks.
IEEE Trans. Ind. Informatics, 2017

CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation.
IEEE Trans. Ind. Informatics, 2017

Detection of attacks based on known vulnerabilities in industrial networked systems.
J. Inf. Secur. Appl., 2017

Leveraging SDN to improve security in industrial networks.
Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

Automated fixing of access policy implementation in Industrial Networked Systems.
Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

A software-defined MAC architecture for Wi-Fi operating in user space on conventional PCs.
Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

Duplication avoidance mechanisms to reduce bandwidth usage in redundant Wi-Fi networks.
Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

Optimized event notification in CAN through in-frame replies and Bloom filters.
Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

A model for the analysis of security policies in service function chains.
Proceedings of the 2017 IEEE Conference on Network Softwarization, 2017

Supporting security protocols on CAN-based networks.
Proceedings of the IEEE International Conference on Industrial Technology, 2017

2016
Seamless Link-Level Redundancy to Improve Reliability of Industrial Wi-Fi Networks.
IEEE Trans. Ind. Informatics, 2016

Seamless integration of CAN in intranets.
Comput. Stand. Interfaces, 2016

Experimental characterization of redundant channels in industrial Wi-Fi networks.
Proceedings of the IEEE World Conference on Factory Communication Systems, 2016

Combining reliability and timeliness in industrial wireless networks: An experimental assessment.
Proceedings of the IEEE World Conference on Factory Communication Systems, 2016

A soft real-time scheduling framework for wireless industrial sensor actuator networks.
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

CAN XR: CAN with extensible in-frame Reply.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

A fixed-priority access scheme for industrial Wi-Fi networks.
Proceedings of the IECON 2016, 2016

Performance of Firewalls for Industrial Applications.
Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research 2016, 2016

Performance impact of commercial industrial firewalls on networked control systems.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Design guidelines to improve reliability of seamless redundancy in Wi-Fi networks.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
Guest editorial: Distributed data processing in industrial applications.
IEEE Trans. Ind. Informatics, 2015

Semiautomated Verification of Access Control Implementation in Industrial Networked Systems.
IEEE Trans. Ind. Informatics, 2015

Implementation and Evaluation of the Reference Broadcast Infrastructure Synchronization Protocol.
IEEE Trans. Ind. Informatics, 2015

A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication.
IEEE Trans. Ind. Informatics, 2015

A twofold model for the analysis of access control policies in industrial networked systems.
Comput. Stand. Interfaces, 2015

Analysis of access control policies in networked embedded systems: A case study.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

A dynamic bandwidth reassignment technique for improving QoS in EDF-based industrial wireless networks.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts.
Proceedings of the 3rd International Symposium for ICS & SCADA Cyber Security Research 2015, 2015

Reliable comparison of clock discipline algorithms for time synchronization protocols.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014
On the description of access control policies in networked industrial systems.
Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

An enhanced MAC to increase reliability in redundant Wi-Fi networks.
Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Design, verification, and performance of a MODBUS-CAN adaptation layer.
Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Effect of jitter-reducing encoders on CAN error detection mechanisms.
Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Automated Analysis of Access Policies in Industrial Plants.
Proceedings of the 2nd International Symposium for ICS & SCADA Cyber Security Research 2014, 2014

Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Dynamic duplicate deferral techniques for redundant Wi-Fi networks.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

System-level performance of an automation solution based on industry standards.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Review of Security Issues in Industrial Networks.
IEEE Trans. Ind. Informatics, 2013

Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication.
IEEE Trans. Ind. Informatics, 2013

On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks.
Comput. Stand. Interfaces, 2013

A Model for the Analysis of Security Policies in Industrial Networks.
Proceedings of the 1st International Symposium for ICS & SCADA Cyber Security Research 2013, 2013

Software-based assessment of the synchronization and error handling behavior of a real CAN controller.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
Evaluation of EtherCAT Distributed Clock Performance.
IEEE Trans. Ind. Informatics, 2012

Wireless machine vision systems based on COTS equipment.
Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

An efficient fixed-length encoding scheme for CAN.
Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

System configuration check against security policies in industrial networks.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

The reference-broadcast infrastructure synchronization protocol.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Modeling Emergency Response Plans with Coloured Petri Nets.
Proceedings of the Critical Information Infrastructures Security, 2012

2011
Evaluation of the real-time properties of open-source protocol stacks.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Security aspects of safety networks.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010
On the Performance of IEEE 802.11e Wireless Infrastructures for Soft-Real-Time Industrial Applications.
IEEE Trans. Ind. Informatics, 2010

Performance analysis of switched EtherCAT Networks.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

A software implementation of IEEE 1588 on RTAI/RTnet platforms.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009
Detecting Chains of Vulnerabilities in Industrial Networks.
IEEE Trans. Ind. Informatics, 2009

Tools for cryptographic protocols analysis: A technical and experimental comparison.
Comput. Stand. Interfaces, 2009

Performance analysis of Ethernet Powerlink networks for distributed control and automation systems.
Comput. Stand. Interfaces, 2009

Evaluation of Real-time Communication Performance in QoS-enabled Infrastructure WLANs.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

A High-performance CAN-like Arbitration Scheme for EtherCAT.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Hybrid Wired/Wireless Networks Real-Time Industrial Networks.
Proceedings of the Networked Embedded Systems - Volume 2 of the Embedded Systems Handbook, 2009

Controller Area Network for Embedded Systems.
Proceedings of the Networked Embedded Systems - Volume 2 of the Embedded Systems Handbook, 2009

2008
Efficient representation of the attacker's knowledge in cryptographic protocols analysis.
Formal Aspects Comput., 2008

An arbitration-based access scheme for EtherCAT networks.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007
Evaluation of Response Times in Industrial WLANs.
IEEE Trans. Ind. Informatics, 2007

A socket interface for CAN devices.
Comput. Stand. Interfaces, 2007

Improving the security of industrial networks by means of formal verification.
Comput. Stand. Interfaces, 2007

Reasoning about communication latencies in real WLANs.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems.
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

2006
On the properties of the flexible time division multiple access technique.
IEEE Trans. Ind. Informatics, 2006

Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus.
Int. J. Found. Comput. Sci., 2006

Comparing lexical analysis tools for buffer overflow detection in network software.
Proceedings of the First International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), 2006

2005
Introducing intelligent sensors in presses for plastic material injection.
IEEE Trans. Ind. Informatics, 2005

Advances in automotive digital communications.
Comput. Stand. Interfaces, 2005

Modelling CANopen communications according to the socket paradigm.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.
Proceedings of the Detection of Intrusions and Malware, 2005

Operating Principles and Features of CAN Networks.
Proceedings of the Industrial Information Technology Handbook, 2005

2004
Exploiting Symmetries for Testing Equivalence in the Spi Calculus.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
Automatic testing equivalence verification of spi calculus specifications.
ACM Trans. Softw. Eng. Methodol., 2003

A protocol for automatic node discovery in CANopen networks.
IEEE Trans. Ind. Electron., 2003

A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

Efficient polling of devices in CANopen networks.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002
A multistage hierarchical distributed arbitration technique for priority-based real-time communication systems.
IEEE Trans. Ind. Electron., 2002

Achieving round-robin access in controller area networks.
IEEE Trans. Ind. Electron., 2002

2001
Integrating fieldbuses and factory intranets.
Int. J. Comput. Integr. Manuf., 2001

A new CAN-like field network based on a star topology.
Comput. Stand. Interfaces, 2001

Integrating the CAN and MUST access techniques in a single fieldbus.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

2000
FastCAN: a high-performance enhanced CAN-like network.
IEEE Trans. Ind. Electron., 2000

Delay analysis of priority promotion systems.
Comput. Commun., 2000

A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.
Proceedings of the Formal Techniques for Distributed System Development, 2000

1999
Efficient implementation of semaphores in controller area networks.
IEEE Trans. Ind. Electron., 1999

1998
The EN50170 standard for a European fieldbus.
Comput. Stand. Interfaces, 1998

Product Data Exchange Using STEP.
Proceedings of the Globalization of Manufacturing in the Digital Communications Era of the 21<sup>st</sup> Century: Innovation, 1998

1997
An improved CAN fieldbus for industrial applications.
IEEE Trans. Ind. Electron., 1997

Adaptive bandwidth balancing mechanisms for DQDB networks.
Comput. Commun., 1997

1995
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions.
IEEE Trans. Computers, 1995

1994
A LOTOS extension for the performance analysis of distributed systems.
IEEE/ACM Trans. Netw., 1994

Implementation of static semantic analysis of LOTOS specifications.
Softw. Eng. J., 1994

A LOTOS specification of the SERCOS field-bus protocol.
Proceedings of the SEKE'94, 1994

Integrating Peforamnce Analysis in the Context of LOTOS-Based Design.
Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

1993
Rapid Prototyping of Protocols from LOTOS Specifications.
Softw. Pract. Exp., 1993

1992
CIMNET: a prototype network for time critical applications in the factory.
Proceedings of the 17th Conference on Local Computer Networks, 1992

Throughput analysis of timed token protocols in double ring networks.
Proceedings of the 17th Conference on Local Computer Networks, 1992

Probabilistic Characterization of Algebraic Protocol Specifications.
Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

MAP and TOP communications - standards and applications.
Electronic systems engineering series, Addison-Wesley, ISBN: 978-0-201-41665-7, 1992

1991
A Protocol for Multirendezvous of LOTOS Processes.
IEEE Trans. Computers, 1991

On the Equivalence of IEEE 802.4 and FDDI Timed Token Protocols.
Proceedings of the Proceedings IEEE INFOCOM '91, 1991

1990
Some Properties of Timed Token Medium Access Protocols.
IEEE Trans. Software Eng., 1990

An abstract execution model for basic LOTOS.
Softw. Eng. J., 1990

Modeling the execution of LOTOS specifications by cooperating extended finite state machines.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

1989
Authentication Mechanisms in Microprocessor-Based Local Area Networks.
IEEE Trans. Software Eng., 1989

Some Properties of Double-Ring Networks with Real-Time Constraints.
Proceedings of the Real-Time Systems Symposium, 1989

On the Behavior of Control Token Protocols with Asynchronous and Synchronous Traffic.
Proceedings of the Proceedings IEEE INFOCOM '89, 1989

1988
A Practical Study of Semi-automatic OSI Protocol Implementation.
Softw. Pract. Exp., 1988

1987
Performance Analysis of Acknowledgment Mechanisms in Token-Bus Networks.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

Advanced microprocessor architectures.
Electronic systems engineering series, Addison-Wesley, ISBN: 978-0-201-14550-2, 1987

1984
iAPX 432 hardware fault-handling mechanisms.
Softw. Microsystems, 1984

Communication and programming issues in robotic manufacturing cells.
Proceedings of the 1984 IEEE International Conference on Robotics and Automation, 1984


  Loading...