ADRIANO VALENZANO
- Type
- Persona (Classe)
- Label
- ADRIANO VALENZANO (literal)
- ADRIANO VALENZANO (literal)
- Gestore di
- Partecipa a commessa
- Partecipazione a Commessa "Reti e Protocolli per lAutomazione ed il Controllo di Processo" (ICT.P07.004) di DOTT. ADRIANO VALENZANO nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Reti e Protocolli per lAutomazione ed il Controllo di Processo" (ICT.P07.004) di DOTT. ADRIANO VALENZANO nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. ADRIANO VALENZANO nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. ADRIANO VALENZANO nell'anno 2007 (Partecipazione a commessa)
- Persona in rapporto
- Employment relationship with CNR of DOTT. ADRIANO VALENZANO (Rapporto con CNR)
- Autore CNR di
- Design, Verification, and Performance of a MODBUS-CAN Adaptation Layer (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Synchronize Your Watches: Part II: Special-Purpose Solutions for Distributed Real-Time Control (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- PROGETTO COORDINATO CNR \"STRUMENTI E TECNICHE PER LA REALIZZAZIONE DI NEGOZI VIRTUALI DISTRIBUITI\" (Progetti) (Prodotto della ricerca)
- La Cybersecurity delle Reti Industriali (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An Efficient Fixed-Length Encoding Scheme for CAN (Contributo in atti di convegno) (Prodotto della ricerca)
- Review of Security Issues in Industrial Networks (Articolo in rivista) (Prodotto della ricerca)
- Synchronize Your Watches: Part I: General-Purpose Solutions for Distributed Real-Time Control (Articolo in rivista) (Prodotto della ricerca)
- On a Family of Run Length Limited, Block Decodable Codes to Prevent Payload-Induced Jitter in Controller Area Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Ethernet for Control Automation Technology (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Hybrid Wired/Wireless Real-Time Industrial Networks (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Controller Area Networks for Embedded Systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Wireless Machine Vision Systems Based on COTS Equipment (Contributo in atti di convegno) (Prodotto della ricerca)
- Controller Area Network: a Survey (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Performance Evaluation of MiniMAP Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Some Properties of Timed -Token Medium Access Protocols (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Detecting Chains of Vulnerabilities in Industrial Networks (Articolo in rivista) (Prodotto della ricerca)
- An Abstract Execution Model for Basic LOTOS (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Selection of Token Holding Times in Timed-Token Protocols (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Protocol for Multirendezvous of LOTOS Processes (Articolo in rivista) (Prodotto della ricerca)
- A Systolic Accelerator for Parametric Surface Modelling (Articolo in rivista) (Prodotto della ricerca)
- Adaptive Bandwidth Balancing Mechanisms for DQDB Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Time Characteristics of the IEEE 802.4 Token-Bus Protocol (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- iAPX 432 Hardware Fault-Handling Mechanisms (Articolo in rivista) (Prodotto della ricerca)
- Product Data Exchange Using STEP (Contributo in atti di convegno) (Prodotto della ricerca)
- Performance Analysis of Type III LLC in Industrial 802.5 Networks (Articolo in rivista) (Prodotto della ricerca)
- Partitioned Array for Stable Matrix Triangularisation (Articolo in rivista) (Prodotto della ricerca)
- Industrial IEEE 802.3 Networks with Short Delivery Time for Urgent Messages (Articolo in rivista) (Prodotto della ricerca)
- A Practical Study of Semi-Automatic OSI Protocol Implementation (Articolo in rivista) (Prodotto della ricerca)
- Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison (Articolo in rivista) (Prodotto della ricerca)
- Implementation of Algorithms for Graphic Surface Modeling Using Transputers (Articolo in rivista) (Prodotto della ricerca)
- Authentication Mechanisms in Microprocessor-Based Local Area Networks (Articolo in rivista) (Prodotto della ricerca)
- On the Performance of IEEE 802.11e Wireless Infrastructures for Soft-Real-Time Industrial Applications (Articolo in rivista) (Prodotto della ricerca)
- Gestione remota di reti di campo (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Introducing field buses in presses for plastic material injection (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A LOTOS Extension for the Performance Analysis of Distributed Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Rapid Prototyping of Protocols from LOTOS Specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Standard Fieldbus Networks for Industrial Applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Operating Principles and Features of CAN Networks (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- The EN50170 Standard for a European Fieldbus (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Improving the Security of Industrial Networks by Means of Formal Verification (Articolo in rivista) (Prodotto della ricerca)
- EtherCAT (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Transputer e Algoritmi per la Grafica (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Obiettivi ed Evoluzione del Progetto MAP (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- La ricerca sulle reti di comunicazioni industriali presso il CNR (Comunicazione a convegno) (Prodotto della ricerca)
- A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Introducing field buses in presses for plastic material injection (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Graphic LOTOS Specification of an EN50254 System (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Experimental Analysis of Latencies in Ethernet Communications (Contributo in atti di convegno) (Prodotto della ricerca)
- MUST: a Quasi-Round Robin Access Scheme for CAN Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols (Contributo in atti di convegno) (Prodotto della ricerca)
- Reasoning About Communication Latencies in Real WLANs (Contributo in atti di convegno) (Prodotto della ricerca)
- Un Codec a Basso Jitter per Reti CAN (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Wireless Extensions of Wired Industrial Communication Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Overclocking of Controller Area Networks (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of Real-Time Communication Performance in QoS-Enabled Infrastructure WLANs (Contributo in atti di convegno) (Prodotto della ricerca)
- Il bus di campo CAN e le sue possibili evoluzioni (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Performance Evaluation of the EtherCAT Distributed Clock Algorithm (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On the Use of Automatic Tools for the Formal Analysis of the IEEE 802.11 Key-Exchange Protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Performance Analysis of Byteflight Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Software Implementation of IEEE 1588 on RTAI/RTnet Platforms (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Socket-Based CAN Support for Embedded Operating Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Efficient Polling of Devices in CANopen Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evolution of Standard Fieldbus Networks (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- On the Analysis of Vulnerability Chains in Industrial Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Dynamic Data Management in STEP (Contributo in atti di convegno) (Prodotto della ricerca)
- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Protocol for Automatic Node Discovery in CANopen Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Security Aspects of Safety Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A High-Performance CUDA-Based Computing Platform for Industrial Control Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluation of the Real-Time Properties of Open-Source Protocol Stacks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Integrating the CAN and MUST Access Techniques in a Single Fieldbus (Contributo in atti di convegno) (Prodotto della ricerca)
- New Efficient Communication Services for ISO 11898 Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Delay Analysis of Priority Promotion Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Industrial Applications of IEEE 802.11e WLANs (Contributo in atti di convegno) (Prodotto della ricerca)
- An Arbitration-Based Access Scheme for EtherCAT Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Hybrid Wired/Wireless Networks for Real-Time Communications (Articolo in rivista) (Prodotto della ricerca)
- Modelling CANopen Communications According to the Socket Paradigm (Contributo in atti di convegno) (Prodotto della ricerca)
- A Compression-Gathering Technique for Improving the Performance of ISO 11898 Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A High Performance Field Network Based on a Tree Topology (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic Testing Equivalence Verification of Spi-calculus Specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Process Communication in a Distributed Object Architecture (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Integrated Methodology for the Design of an FMS Architecture (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Performance Analysis of Acknowledgement Mechanisms in Token-Bus Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- CIMNET: A Prototype Network for Time-Critical Applications in the Factory (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Nuove Tecniche per Migliorare le Prestazioni di CAN (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Misura di Prestazioni di Reti Ethernet Industriali (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Una Tecnica di Arbitraggio Distribuito e Gerarchico per LAN Industriali Real-Time (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Controllo di Accesso in Sistemi Industriali Distribuiti (Articolo in rivista) (Prodotto della ricerca)
- Sistema di Sviluppo per Controlli Automatici su Microelaboratori (Articolo in rivista) (Prodotto della ricerca)
- Reti Locali per Isole Integrate di Produzione (Articolo in rivista) (Prodotto della ricerca)
- Struttura di Comunicazione e Gestione della Rete Locale MODIAC (Articolo in rivista) (Prodotto della ricerca)
- Industrial Cybersecurity: Improving Security Through Access Control Policy Models (Articolo in rivista) (Prodotto della ricerca)
- Automated Analysis of Access Policies in Industrial Plants (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Unified Class Model for Checking Security Policies in ICT Infrastructures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Enhancing the Efficiency of Controller Area Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Product Data Sharing and Long Term Archiving (Contributo in atti di convegno) (Prodotto della ricerca)
- MAP & TOP Communications: Standards and Applications (Monografia o trattato scientifico) (Prodotto della ricerca)
- Advanced Microprocessor Architectures (Monografia o trattato scientifico) (Prodotto della ricerca)
- Dynamic Duplicate Deferral Techniques for Redundant Wi-Fi Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Parallel Cellular Structures for Linear Predictive Coding (Articolo in rivista) (Prodotto della ricerca)
- Fiber-Optic Local Area Networks (Articolo in rivista) (Prodotto della ricerca)
- Advances in Automotive Digital Communications (Articolo in rivista) (Prodotto della ricerca)
- Design and Implementation of an ISO/OSI Session Layer for a Microprocessor-Based LAN (Articolo in rivista) (Prodotto della ricerca)
- Efficient Authentication Mechanisms Using the iAPX-432 (Articolo in rivista) (Prodotto della ricerca)
- Integrating Performance Analysis in the Context of LOTOS-Based Design (Contributo in atti di convegno) (Prodotto della ricerca)
- Reduced Protocol Architectures for Factory Applications (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- A Distributed Mechanism to Improve Fairness of CAN Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A FIP Prototype Network for Numerical Control Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal Specification and Verification of the Real-Time Scheduler in FIP (Contributo in atti di convegno) (Prodotto della ricerca)
- Effect of Jitter-Reducing Encoders on CAN Error Detection Mechanisms (Contributo in atti di convegno) (Prodotto della ricerca)
- Comparison of Adaptive Fairness Control Mechanisms for DQDB Metropolitan Area Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- On the Performances of Two Popular Fieldbuses (Contributo in atti di convegno) (Prodotto della ricerca)
- Sharing Product Information in a Distributed Enterprise (Contributo in atti di convegno) (Prodotto della ricerca)
- Probabilistic Characterization of Algebraic Protocol Specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- A Formalization of the FIP Protocol Using Estelle (Contributo in atti di convegno) (Prodotto della ricerca)
- A Static Semantic Analyzer for LOTOS Specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- Throughput Analysis of Timed-Token Protocols in Double Ring Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Flexible Manufacturing Systems: the MODIAC Project (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Wireless Extensions of Real-Time Industrial Networks (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Communication and Programming Issues in Robotic Manufacturing Cells (Contributo in atti di convegno) (Prodotto della ricerca)
- Using Local Area Networks in Integrated Manufacturing Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Mechanisms for Communication Resource Management in ISO/OSI Layers (Contributo in atti di convegno) (Prodotto della ricerca)
- Reliability and Performance Issues in FDDI Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Defect-Tolerant Array Structures for VLSI and WSI Architectures (Contributo in atti di convegno) (Prodotto della ricerca)
- Inexpensive Tools for Measuring Ethernet Performance (Contributo in atti di convegno) (Prodotto della ricerca)
- A LOTOS Specification of the SERCOS Fieldbus Protocol (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The Reference-Broadcast Infrastructure Synchronization Protocol (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- System-Level Performance of an Automation Solution Based on Industry Standards (Contributo in atti di convegno) (Prodotto della ricerca)
- Performance Comparison of Mechanisms To Reduce Bit Stuffing Jitters in Controller Area Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A Socket-Based Interface to CAN (Contributo in atti di convegno) (Prodotto della ricerca)
- Performance Evaluation and Improvement of the CPU-CAN Controller Interface for Low-Jitter Communication (Contributo in atti di convegno) (Prodotto della ricerca)
- The MODIAC Local Communication Network for Process Control (Contributo in atti di convegno) (Prodotto della ricerca)
- A Distributed Operating System for Object-Based Machines (Contributo in atti di convegno) (Prodotto della ricerca)
- VLSI Structures for Speech Analysis and Pattern Recognition (Contributo in atti di convegno) (Prodotto della ricerca)
- Fast and Accurate Matrix Triangularization Using an Iterative Structure (Contributo in atti di convegno) (Prodotto della ricerca)
- A Cellular Structure for Gaussian Dense Matrix Triangularization (Contributo in atti di convegno) (Prodotto della ricerca)
- A Local Network for Industrial Automation (Contributo in atti di convegno) (Prodotto della ricerca)
- Modeling Emergency Response Plans with Coloured Petri Nets (Contributo in atti di convegno) (Prodotto della ricerca)
- Architecture of the Network Software Implemented for a Multimicrocomputer-Based Distributed Control System (Contributo in atti di convegno) (Prodotto della ricerca)
- Analysis of Response Times in 802.11 Industrial Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A High-Performance CAN-like Arbitration Scheme for EtherCAT (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluation of Response Times in Industrial WLANs (Articolo in rivista) (Prodotto della ricerca)
- A Socket Interface for CAN Devices (Articolo in rivista) (Prodotto della ricerca)
- Performance Analysis of Ethernet Powerlink Networks for Distributed Control and Automation Systems (Articolo in rivista) (Prodotto della ricerca)
- Latency Evaluation of a Firewall for Industrial Networks Based on the Tofino Industrial Security Solution (Contributo in atti di convegno) (Prodotto della ricerca)
- Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller (Contributo in atti di convegno) (Prodotto della ricerca)
- A Model for the Analysis of Security Policies in Industrial Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Distribute-Merge Switch for EtherCAT Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- On The Accuracy Of The Distributed Clock Mechanism in EtherCAT (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic Analysis of Security Policies in Industrial Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Performance Analysis of Switched EtherCAT Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software (Contributo in atti di convegno) (Prodotto della ricerca)
- Protocols and Services in Controller Area Networks (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- System Configuration Check Against Security Policies in Industrial Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico (Brevetto) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1601)
- Integrating Fieldbus and Factory Intranets (Articolo in rivista) (Prodotto della ricerca)
- An Enhanced MAC To Increase Reliability in Redundant Wi-Fi Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A new CAN-like field network based on a star topology (Articolo in rivista) (Prodotto della ricerca)
- High Speed LANs Based on Fiber Optics' (Articolo in rivista) (Prodotto della ricerca)
- MONOSK: a Network Operating System for Real Time Applications (Articolo in rivista) (Prodotto della ricerca)
- Acknowledgement and Priority Mechanisms in the 802.4 Token Bus (Articolo in rivista) (Prodotto della ricerca)
- Low Cost Serial Multipliers for High-Speed Specialised Processors (Articolo in rivista) (Prodotto della ricerca)
- Implementation of Static Semantic Analysis of LOTOS Specifications (Articolo in rivista) (Prodotto della ricerca)
- An Improved CAN Fieldbus for Industrial Applications (Articolo in rivista) (Prodotto della ricerca)
- On the Equivalence of IEEE 802.4 and FDDI Timed Token Protocols (Contributo in atti di convegno) (Prodotto della ricerca)
- Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS (Contributo in atti di convegno) (Prodotto della ricerca)
- A Graphical Tool for Protocol Design with Estelle (Contributo in atti di convegno) (Prodotto della ricerca)
- Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- An EXPRESS Model for the Description of Fieldbus Devices (Contributo in atti di convegno) (Prodotto della ricerca)
- A Cellular Array for Computing Bicubical B-Splines Coefficients (Contributo in atti di convegno) (Prodotto della ricerca)
- Process Location Strategy in a LAN for Industrial Application (Contributo in atti di convegno) (Prodotto della ricerca)
- Some Properties of Double-Ring Networks With Real-Time Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
- On the Behavior of Control Token Protocols with Asynchronous and Synchronous Traffic (Contributo in atti di convegno) (Prodotto della ricerca)
- Systolic Array for Bicubical Polynomial Evaluation in Computer Graphics (Contributo in atti di convegno) (Prodotto della ricerca)
- Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines (Contributo in atti di convegno) (Prodotto della ricerca)
- Upper Bounds for the Token Rotation Time in the 802.4 Token -Passing Bus (Contributo in atti di convegno) (Prodotto della ricerca)
- Requirements for Token Holding Times in Timed-Token Protocols (Contributo in atti di convegno) (Prodotto della ricerca)
- Un'Evoluzione di CAN ad Alte Prestazioni (Articolo in rivista) (Prodotto della ricerca)
- Nuove Tecniche per Migliorare le Prestazioni di CAN (Articolo in rivista) (Prodotto della ricerca)
- FastCAN: a High-Performance Enhanced CAN-like Network (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Star Topology to Improve CAN Performance (Contributo in atti di convegno) (Prodotto della ricerca)
- Misura di Tempi di Latenza in Reti Industrial Ethernet (Articolo in rivista) (Prodotto della ricerca)
- Exploiting Symmetries for Testing Equivalence in the Spi Calculus (Articolo in rivista) (Prodotto della ricerca)
- Parallel Dense Matrix Triangularizations for Adaptive Control Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Parallel Cellular Structures for Linear Predictive Coding (Contributo in atti di convegno) (Prodotto della ricerca)
- Protocols for Interprocess Communication in a Distributed Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- The MODIAC Local Network for Process Control (Contributo in atti di convegno) (Prodotto della ricerca)
- I Protocolli di Comunicazione MAP e TOP (Articolo in rivista) (Prodotto della ricerca)
- Reti Locali Standard Basate su Fibre Ottiche (Articolo in rivista) (Prodotto della ricerca)
- Il Bus di Campo CAN (Articolo in rivista) (Prodotto della ricerca)
- A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modeling of Distributed Systems (Articolo in rivista) (Prodotto della ricerca)
- Le Reti di Campo e la Normativa Europea (Articolo in rivista) (Prodotto della ricerca)
- Archiviazione a Lungo Termine di Dati di Prodotto Conformi allo Standard ISO 10303 (STEP) (Articolo in rivista) (Prodotto della ricerca)
- Sincronizzazione Distribuita nelle Reti CAN (Articolo in rivista) (Prodotto della ricerca)
- Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis (Articolo in rivista) (Prodotto della ricerca)
- Trattamento dei Dati di Prodotto e Norma ISO 10303 (Articolo in rivista) (Prodotto della ricerca)
- Introducing intelligent sensors in presses for plastic material injection (Articolo in rivista) (Prodotto della ricerca)
- Automatic Detection of Attacks on Cryptographic Protocols: A Case Study (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of EtherCAT Distributed Clock Performance (Articolo in rivista) (Prodotto della ricerca)
- On the Performance of the IEC 61158 Fieldbus (Articolo in rivista) (Prodotto della ricerca)
- A Multistage Hierarchical Distributed Arbitration Technique for Priority-Based Real-time Communication Systems (Articolo in rivista) (Prodotto della ricerca)
- Achieving Round-Robin Access in Controller Area Networks (Articolo in rivista) (Prodotto della ricerca)
- Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus (Articolo in rivista) (Prodotto della ricerca)
- On the Properties of the Flexible Time Division Multiple Access Technique (Articolo in rivista) (Prodotto della ricerca)
- Efficient Implementation of Semaphores in Controller Area Networks (Articolo in rivista) (Prodotto della ricerca)
- On the Description of Access Control Policies in Networked Industrial Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication (Articolo in rivista) (Prodotto della ricerca)
- Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Coautore
- RICCARDO SISTO (Unità di personale esterno)
- LUCIA SENO (Unità di personale esterno)
- STEFANO SCANZIO (Persona)
- STEFANO SCANZIO (Persona)
- MARCO CEREIA (Persona)
- CLAUDIO ZUNINO (Persona)
- ALESSANDRO BRUSAFERRI (Persona)
- STEFANO VITTURI (Unità di personale interno)
- MARCO CEREIA (Unità di personale esterno)
- GIANLUCA CENA (Unità di personale interno)
- LUCA DURANTE (Persona)
- TINGTING HU (Persona)
- ANDREA BALLARINO (Persona)
- IVAN CIBRARIO BERTOLOTTI (Persona)
- MANUEL CHEMINOD (Persona)
- federico tramarin (Unità di personale esterno)
- Responsabile di
- Nome
- ADRIANO (literal)
- Cognome
- VALENZANO (literal)
- Afferisce a
- Ha pubblicazioni con
- GIANLUCA CENA (Unità di personale interno)
- LUCA DURANTE (Persona)
- CLAUDIO ZUNINO (Persona)
- STEFANO VITTURI (Unità di personale interno)
- RICCARDO SISTO (Unità di personale esterno)
- LUCIA SENO (Unità di personale esterno)
- MANUEL CHEMINOD (Persona)
- IVAN CIBRARIO BERTOLOTTI (Persona)
Incoming links:
- Autore CNR
- Experimental Analysis of Latencies in Ethernet Communications (Contributo in atti di convegno) (Prodotto della ricerca)
- Reasoning About Communication Latencies in Real WLANs (Contributo in atti di convegno) (Prodotto della ricerca)
- Wireless Extensions of Wired Industrial Communication Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols (Contributo in atti di convegno) (Prodotto della ricerca)
- Evaluation of Real-Time Communication Performance in QoS-Enabled Infrastructure WLANs (Contributo in atti di convegno) (Prodotto della ricerca)
- On the Analysis of Vulnerability Chains in Industrial Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Performance Analysis of Byteflight Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Software Implementation of IEEE 1588 on RTAI/RTnet Platforms (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Efficient Polling of Devices in CANopen Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Performance Evaluation of the EtherCAT Distributed Clock Algorithm (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On the Use of Automatic Tools for the Formal Analysis of the IEEE 802.11 Key-Exchange Protocols (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Socket-Based CAN Support for Embedded Operating Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Industrial Applications of IEEE 802.11e WLANs (Contributo in atti di convegno) (Prodotto della ricerca)
- An Arbitration-Based Access Scheme for EtherCAT Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Modelling CANopen Communications According to the Socket Paradigm (Contributo in atti di convegno) (Prodotto della ricerca)
- A High-Performance CUDA-Based Computing Platform for Industrial Control Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Security Aspects of Safety Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluation of the Real-Time Properties of Open-Source Protocol Stacks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Protocol for Automatic Node Discovery in CANopen Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Achieving Round-Robin Access in Controller Area Networks (Articolo in rivista) (Prodotto della ricerca)
- A Multistage Hierarchical Distributed Arbitration Technique for Priority-Based Real-time Communication Systems (Articolo in rivista) (Prodotto della ricerca)
- On the Properties of the Flexible Time Division Multiple Access Technique (Articolo in rivista) (Prodotto della ricerca)
- Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus (Articolo in rivista) (Prodotto della ricerca)
- Exploiting Symmetries for Testing Equivalence in the Spi Calculus (Articolo in rivista) (Prodotto della ricerca)
- Introducing intelligent sensors in presses for plastic material injection (Articolo in rivista) (Prodotto della ricerca)
- Automatic Detection of Attacks on Cryptographic Protocols: A Case Study (Articolo in rivista) (Prodotto della ricerca)
- Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of EtherCAT Distributed Clock Performance (Articolo in rivista) (Prodotto della ricerca)
- Automatic Testing Equivalence Verification of Spi-calculus Specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Socket Interface for CAN Devices (Articolo in rivista) (Prodotto della ricerca)
- Evaluation of Response Times in Industrial WLANs (Articolo in rivista) (Prodotto della ricerca)
- Performance Analysis of Ethernet Powerlink Networks for Distributed Control and Automation Systems (Articolo in rivista) (Prodotto della ricerca)
- Advances in Automotive Digital Communications (Articolo in rivista) (Prodotto della ricerca)
- Improving the Security of Industrial Networks by Means of Formal Verification (Articolo in rivista) (Prodotto della ricerca)
- Detecting Chains of Vulnerabilities in Industrial Networks (Articolo in rivista) (Prodotto della ricerca)
- Tools for Cryptographic Protocols Analysis: A Technical and Experimental Comparison (Articolo in rivista) (Prodotto della ricerca)
- On the Performance of IEEE 802.11e Wireless Infrastructures for Soft-Real-Time Industrial Applications (Articolo in rivista) (Prodotto della ricerca)
- Hybrid Wired/Wireless Networks for Real-Time Communications (Articolo in rivista) (Prodotto della ricerca)
- A High-Performance CAN-like Arbitration Scheme for EtherCAT (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Analysis of Response Times in 802.11 Industrial Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Socket-Based Interface to CAN (Contributo in atti di convegno) (Prodotto della ricerca)
- Inexpensive Tools for Measuring Ethernet Performance (Contributo in atti di convegno) (Prodotto della ricerca)
- On The Accuracy Of The Distributed Clock Mechanism in EtherCAT (Contributo in atti di convegno) (Prodotto della ricerca)
- Automatic Analysis of Security Policies in Industrial Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A Distribute-Merge Switch for EtherCAT Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Performance Analysis of Switched EtherCAT Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- La ricerca sulle reti di comunicazioni industriali presso il CNR (Comunicazione a convegno) (Prodotto della ricerca)
- Il bus di campo CAN e le sue possibili evoluzioni (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Controller Area Networks for Embedded Systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Hybrid Wired/Wireless Real-Time Industrial Networks (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Controller Area Network: a Survey (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- EtherCAT (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Operating Principles and Features of CAN Networks (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- PROGETTO COORDINATO CNR \"STRUMENTI E TECNICHE PER LA REALIZZAZIONE DI NEGOZI VIRTUALI DISTRIBUITI\" (Progetti) (Prodotto della ricerca)
- Integrating Fieldbus and Factory Intranets (Articolo in rivista) (Prodotto della ricerca)
- Evolution of Standard Fieldbus Networks (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Dynamic Data Management in STEP (Contributo in atti di convegno) (Prodotto della ricerca)
- A Compression-Gathering Technique for Improving the Performance of ISO 11898 Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A High Performance Field Network Based on a Tree Topology (Contributo in atti di convegno) (Prodotto della ricerca)
- Integrating the CAN and MUST Access Techniques in a Single Fieldbus (Contributo in atti di convegno) (Prodotto della ricerca)
- System Configuration Check Against Security Policies in Industrial Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Improved CAN Fieldbus for Industrial Applications (Articolo in rivista) (Prodotto della ricerca)
- Implementation of Static Semantic Analysis of LOTOS Specifications (Articolo in rivista) (Prodotto della ricerca)
- Acknowledgement and Priority Mechanisms in the 802.4 Token Bus (Articolo in rivista) (Prodotto della ricerca)
- Low Cost Serial Multipliers for High-Speed Specialised Processors (Articolo in rivista) (Prodotto della ricerca)
- High Speed LANs Based on Fiber Optics' (Articolo in rivista) (Prodotto della ricerca)
- MONOSK: a Network Operating System for Real Time Applications (Articolo in rivista) (Prodotto della ricerca)
- Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- An EXPRESS Model for the Description of Fieldbus Devices (Contributo in atti di convegno) (Prodotto della ricerca)
- A Graphical Tool for Protocol Design with Estelle (Contributo in atti di convegno) (Prodotto della ricerca)
- On the Equivalence of IEEE 802.4 and FDDI Timed Token Protocols (Contributo in atti di convegno) (Prodotto della ricerca)
- Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS (Contributo in atti di convegno) (Prodotto della ricerca)
- Upper Bounds for the Token Rotation Time in the 802.4 Token -Passing Bus (Contributo in atti di convegno) (Prodotto della ricerca)
- Requirements for Token Holding Times in Timed-Token Protocols (Contributo in atti di convegno) (Prodotto della ricerca)
- Systolic Array for Bicubical Polynomial Evaluation in Computer Graphics (Contributo in atti di convegno) (Prodotto della ricerca)
- Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines (Contributo in atti di convegno) (Prodotto della ricerca)
- Some Properties of Double-Ring Networks With Real-Time Constraints (Contributo in atti di convegno) (Prodotto della ricerca)
- On the Behavior of Control Token Protocols with Asynchronous and Synchronous Traffic (Contributo in atti di convegno) (Prodotto della ricerca)
- A Cellular Array for Computing Bicubical B-Splines Coefficients (Contributo in atti di convegno) (Prodotto della ricerca)
- Process Location Strategy in a LAN for Industrial Application (Contributo in atti di convegno) (Prodotto della ricerca)
- Protocols for Interprocess Communication in a Distributed Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- The MODIAC Local Network for Process Control (Contributo in atti di convegno) (Prodotto della ricerca)
- Parallel Dense Matrix Triangularizations for Adaptive Control Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Parallel Cellular Structures for Linear Predictive Coding (Contributo in atti di convegno) (Prodotto della ricerca)
- A Star Topology to Improve CAN Performance (Contributo in atti di convegno) (Prodotto della ricerca)
- Misura di Tempi di Latenza in Reti Industrial Ethernet (Articolo in rivista) (Prodotto della ricerca)
- Un'Evoluzione di CAN ad Alte Prestazioni (Articolo in rivista) (Prodotto della ricerca)
- Nuove Tecniche per Migliorare le Prestazioni di CAN (Articolo in rivista) (Prodotto della ricerca)
- Sincronizzazione Distribuita nelle Reti CAN (Articolo in rivista) (Prodotto della ricerca)
- Trattamento dei Dati di Prodotto e Norma ISO 10303 (Articolo in rivista) (Prodotto della ricerca)
- Le Reti di Campo e la Normativa Europea (Articolo in rivista) (Prodotto della ricerca)
- Archiviazione a Lungo Termine di Dati di Prodotto Conformi allo Standard ISO 10303 (STEP) (Articolo in rivista) (Prodotto della ricerca)
- Il Bus di Campo CAN (Articolo in rivista) (Prodotto della ricerca)
- A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modeling of Distributed Systems (Articolo in rivista) (Prodotto della ricerca)
- I Protocolli di Comunicazione MAP e TOP (Articolo in rivista) (Prodotto della ricerca)
- Reti Locali Standard Basate su Fibre Ottiche (Articolo in rivista) (Prodotto della ricerca)
- Transputer e Algoritmi per la Grafica (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Obiettivi ed Evoluzione del Progetto MAP (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Introducing field buses in presses for plastic material injection (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Review of Security Issues in Industrial Networks (Articolo in rivista) (Prodotto della ricerca)
- Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software (Contributo in atti di convegno) (Prodotto della ricerca)
- A new CAN-like field network based on a star topology (Articolo in rivista) (Prodotto della ricerca)
- On the Performance of the IEC 61158 Fieldbus (Articolo in rivista) (Prodotto della ricerca)
- FastCAN: a High-Performance Enhanced CAN-like Network (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- MUST: a Quasi-Round Robin Access Scheme for CAN Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Overclocking of Controller Area Networks (Articolo in rivista) (Prodotto della ricerca)
- Wireless Machine Vision Systems Based on COTS Equipment (Contributo in atti di convegno) (Prodotto della ricerca)
- Gestione remota di reti di campo (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Introducing field buses in presses for plastic material injection (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The EN50170 Standard for a European Fieldbus (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Standard Fieldbus Networks for Industrial Applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A LOTOS Extension for the Performance Analysis of Distributed Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Rapid Prototyping of Protocols from LOTOS Specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Design and Implementation of an ISO/OSI Session Layer for a Microprocessor-Based LAN (Articolo in rivista) (Prodotto della ricerca)
- Efficient Authentication Mechanisms Using the iAPX-432 (Articolo in rivista) (Prodotto della ricerca)
- Parallel Cellular Structures for Linear Predictive Coding (Articolo in rivista) (Prodotto della ricerca)
- Fiber-Optic Local Area Networks (Articolo in rivista) (Prodotto della ricerca)
- MAP & TOP Communications: Standards and Applications (Monografia o trattato scientifico) (Prodotto della ricerca)
- Advanced Microprocessor Architectures (Monografia o trattato scientifico) (Prodotto della ricerca)
- Enhancing the Efficiency of Controller Area Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Product Data Sharing and Long Term Archiving (Contributo in atti di convegno) (Prodotto della ricerca)
- On the Performances of Two Popular Fieldbuses (Contributo in atti di convegno) (Prodotto della ricerca)
- Sharing Product Information in a Distributed Enterprise (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal Specification and Verification of the Real-Time Scheduler in FIP (Contributo in atti di convegno) (Prodotto della ricerca)
- Comparison of Adaptive Fairness Control Mechanisms for DQDB Metropolitan Area Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A Distributed Mechanism to Improve Fairness of CAN Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- A FIP Prototype Network for Numerical Control Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Integrating Performance Analysis in the Context of LOTOS-Based Design (Contributo in atti di convegno) (Prodotto della ricerca)
- Reduced Protocol Architectures for Factory Applications (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Flexible Manufacturing Systems: the MODIAC Project (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- A Static Semantic Analyzer for LOTOS Specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- Throughput Analysis of Timed-Token Protocols in Double Ring Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Probabilistic Characterization of Algebraic Protocol Specifications (Contributo in atti di convegno) (Prodotto della ricerca)
- A Formalization of the FIP Protocol Using Estelle (Contributo in atti di convegno) (Prodotto della ricerca)
- Defect-Tolerant Array Structures for VLSI and WSI Architectures (Contributo in atti di convegno) (Prodotto della ricerca)
- Mechanisms for Communication Resource Management in ISO/OSI Layers (Contributo in atti di convegno) (Prodotto della ricerca)
- Reliability and Performance Issues in FDDI Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Communication and Programming Issues in Robotic Manufacturing Cells (Contributo in atti di convegno) (Prodotto della ricerca)
- Using Local Area Networks in Integrated Manufacturing Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- The MODIAC Local Communication Network for Process Control (Contributo in atti di convegno) (Prodotto della ricerca)
- A Distributed Operating System for Object-Based Machines (Contributo in atti di convegno) (Prodotto della ricerca)
- Performance Comparison of Mechanisms To Reduce Bit Stuffing Jitters in Controller Area Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Performance Evaluation and Improvement of the CPU-CAN Controller Interface for Low-Jitter Communication (Contributo in atti di convegno) (Prodotto della ricerca)
- The Reference-Broadcast Infrastructure Synchronization Protocol (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modeling Emergency Response Plans with Coloured Petri Nets (Contributo in atti di convegno) (Prodotto della ricerca)
- Architecture of the Network Software Implemented for a Multimicrocomputer-Based Distributed Control System (Contributo in atti di convegno) (Prodotto della ricerca)
- A Cellular Structure for Gaussian Dense Matrix Triangularization (Contributo in atti di convegno) (Prodotto della ricerca)
- A Local Network for Industrial Automation (Contributo in atti di convegno) (Prodotto della ricerca)
- VLSI Structures for Speech Analysis and Pattern Recognition (Contributo in atti di convegno) (Prodotto della ricerca)
- Fast and Accurate Matrix Triangularization Using an Iterative Structure (Contributo in atti di convegno) (Prodotto della ricerca)
- Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Graphic LOTOS Specification of an EN50254 System (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Delay Analysis of Priority Promotion Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- New Efficient Communication Services for ISO 11898 Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Efficient Implementation of Semaphores in Controller Area Networks (Articolo in rivista) (Prodotto della ricerca)
- An Efficient Fixed-Length Encoding Scheme for CAN (Contributo in atti di convegno) (Prodotto della ricerca)
- Adaptive Bandwidth Balancing Mechanisms for DQDB Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Time Characteristics of the IEEE 802.4 Token-Bus Protocol (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Protocol for Multirendezvous of LOTOS Processes (Articolo in rivista) (Prodotto della ricerca)
- A Systolic Accelerator for Parametric Surface Modelling (Articolo in rivista) (Prodotto della ricerca)
- An Abstract Execution Model for Basic LOTOS (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Selection of Token Holding Times in Timed-Token Protocols (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Performance Evaluation of MiniMAP Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Some Properties of Timed -Token Medium Access Protocols (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Implementation of Algorithms for Graphic Surface Modeling Using Transputers (Articolo in rivista) (Prodotto della ricerca)
- Authentication Mechanisms in Microprocessor-Based Local Area Networks (Articolo in rivista) (Prodotto della ricerca)
- Industrial IEEE 802.3 Networks with Short Delivery Time for Urgent Messages (Articolo in rivista) (Prodotto della ricerca)
- A Practical Study of Semi-Automatic OSI Protocol Implementation (Articolo in rivista) (Prodotto della ricerca)
- Performance Analysis of Type III LLC in Industrial 802.5 Networks (Articolo in rivista) (Prodotto della ricerca)
- Partitioned Array for Stable Matrix Triangularisation (Articolo in rivista) (Prodotto della ricerca)
- iAPX 432 Hardware Fault-Handling Mechanisms (Articolo in rivista) (Prodotto della ricerca)
- Product Data Exchange Using STEP (Contributo in atti di convegno) (Prodotto della ricerca)
- CIMNET: A Prototype Network for Time-Critical Applications in the Factory (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Performance Analysis of Acknowledgement Mechanisms in Token-Bus Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Process Communication in a Distributed Object Architecture (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Integrated Methodology for the Design of an FMS Architecture (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Reti Locali per Isole Integrate di Produzione (Articolo in rivista) (Prodotto della ricerca)
- Struttura di Comunicazione e Gestione della Rete Locale MODIAC (Articolo in rivista) (Prodotto della ricerca)
- Sistema di Sviluppo per Controlli Automatici su Microelaboratori (Articolo in rivista) (Prodotto della ricerca)
- Misura di Prestazioni di Reti Ethernet Industriali (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Una Tecnica di Arbitraggio Distribuito e Gerarchico per LAN Industriali Real-Time (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Nuove Tecniche per Migliorare le Prestazioni di CAN (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Unified Class Model for Checking Security Policies in ICT Infrastructures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- La Cybersecurity delle Reti Industriali (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- On a Family of Run Length Limited, Block Decodable Codes to Prevent Payload-Induced Jitter in Controller Area Networks (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Synchronize Your Watches: Part I: General-Purpose Solutions for Distributed Real-Time Control (Articolo in rivista) (Prodotto della ricerca)
- A LOTOS Specification of the SERCOS Fieldbus Protocol (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller (Contributo in atti di convegno) (Prodotto della ricerca)
- Synchronize Your Watches: Part II: Special-Purpose Solutions for Distributed Real-Time Control (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Model for the Analysis of Security Policies in Industrial Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Un Codec a Basso Jitter per Reti CAN (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- An Enhanced MAC To Increase Reliability in Redundant Wi-Fi Networks (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Controllo di Accesso in Sistemi Industriali Distribuiti (Articolo in rivista) (Prodotto della ricerca)
- Automated Analysis of Access Policies in Industrial Plants (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Industrial Cybersecurity: Improving Security Through Access Control Policy Models (Articolo in rivista) (Prodotto della ricerca)
- Effect of Jitter-Reducing Encoders on CAN Error Detection Mechanisms (Contributo in atti di convegno) (Prodotto della ricerca)
- Protocols and Services in Controller Area Networks (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- System-Level Performance of an Automation Solution Based on Industry Standards (Contributo in atti di convegno) (Prodotto della ricerca)
- A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication (Articolo in rivista) (Prodotto della ricerca)
- Design, Verification, and Performance of a MODBUS-CAN Adaptation Layer (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- On the Description of Access Control Policies in Networked Industrial Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Wireless Extensions of Real-Time Industrial Networks (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Ethernet for Control Automation Technology (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Latency Evaluation of a Firewall for Industrial Networks Based on the Tofino Industrial Security Solution (Contributo in atti di convegno) (Prodotto della ricerca)
- Dynamic Duplicate Deferral Techniques for Redundant Wi-Fi Networks (Contributo in atti di convegno) (Prodotto della ricerca)
- Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico (Brevetto) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1601)
- Ha afferente
- Partecipazione di
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. ADRIANO VALENZANO nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Reti e Protocolli per lAutomazione ed il Controllo di Processo" (ICT.P07.004) di DOTT. ADRIANO VALENZANO nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Reti e Protocolli per lAutomazione ed il Controllo di Processo" (ICT.P07.004) di DOTT. ADRIANO VALENZANO nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. ADRIANO VALENZANO nell'anno 2007 (Partecipazione a commessa)
- Coautore
- IVAN CIBRARIO BERTOLOTTI (Persona)
- GIANLUCA CENA (Unità di personale interno)
- LUCA DURANTE (Persona)
- STEFANO VITTURI (Unità di personale interno)
- CLAUDIO ZUNINO (Persona)
- STEFANO SCANZIO (Persona)
- MARCO CEREIA (Unità di personale esterno)
- MANUEL CHEMINOD (Persona)
- RICCARDO SISTO (Unità di personale esterno)
- LUCIA SENO (Unità di personale esterno)
- federico tramarin (Unità di personale esterno)
- TINGTING HU (Persona)
- ALESSANDRO BRUSAFERRI (Persona)
- ANDREA BALLARINO (Persona)
- STEFANO SCANZIO (Persona)
- MARCO CEREIA (Persona)
- http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID24713
- http://www.cnr.it/ontology/cnr/individuo/unitaDiPersonaleEsterno/ID24714
- Ha pubblicazioni con
- IVAN CIBRARIO BERTOLOTTI (Persona)
- GIANLUCA CENA (Unità di personale interno)
- LUCA DURANTE (Persona)
- STEFANO VITTURI (Unità di personale interno)
- CLAUDIO ZUNINO (Persona)
- MANUEL CHEMINOD (Persona)
- RICCARDO SISTO (Unità di personale esterno)
- LUCIA SENO (Unità di personale esterno)
- Responsabile
- Gestore
- Rapporto con persona
- Employment relationship with CNR of DOTT. ADRIANO VALENZANO (Rapporto con CNR)