The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Adriano Valenzano" ( http://dblp.L3S.de/Authors/Adriano_Valenzano )

  Author page on DBLP  Author page in RDF  Community of Adriano Valenzano in ASPL-2

Publication years (Num. hits)
1984-1992 (17) 1993-2001 (16) 2002-2006 (16) 2007-2009 (15) 2010-2013 (18) 2014-2015 (17) 2016-2017 (24) 2018-2019 (13)
Publication types (Num. hits)
article(57) book(2) incollection(3) inproceedings(74)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 38 occurrences of 33 keywords

Results
Found 137 publication records. Showing 136 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano Experimental Evaluation of Techniques to Lower Spectrum Consumption in Wi-Red. Search on Bibsonomy IEEE Trans. Wireless Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano SDMAC: A Software-Defined MAC for Wi-Fi to Ease Implementation of Soft Real-Time Applications. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano On a software-defined CAN controller for embedded systems. Search on Bibsonomy Computer Standards & Interfaces The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano A comprehensive approach to the automatic refinement and verification of access control policies. Search on Bibsonomy Computers & Security The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano Optimal retransmission allocation for EDF-based networked real-time applications. Search on Bibsonomy WFCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano Performance Evaluation and Modeling of an Industrial Application-Layer Firewall. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano Improving Effectiveness of Seamless Redundancy in Real Industrial Wi-Fi Networks. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano Deadline-Constrained Repeat reQuest mechanisms for wireless communication channels. Search on Bibsonomy WFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Fulvio Valenza, Adriano Valenzano Toward attribute-based access control policy in industrial networked systems. Search on Bibsonomy WFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano A neural network clock discipline algorithm for the RBIS clock synchronization protocol. Search on Bibsonomy WFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano Error detection and management in CAN XR. Search on Bibsonomy WFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano Adaptive duplication avoidance for Wi-Red. Search on Bibsonomy WFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano A Prototype Implementation of Wi-Fi Seamless Redundancy with Reactive Duplication Avoidance. Search on Bibsonomy ETFA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lucia Seno, Gianluca Cena, Adriano Valenzano, Claudio Zunino Bandwidth Management for Soft Real-Time Control Applications in Industrial Wireless Networks. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano Experimental Evaluation of Seamless Redundancy Applied to Industrial Wi-Fi Networks. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lucia Seno, Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino Enhancing Communication Determinism in Wi-Fi Networks for Soft Real-Time Industrial Applications. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano Detection of attacks based on known vulnerabilities in industrial networked systems. Search on Bibsonomy J. Inf. Sec. Appl. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano Automated fixing of access policy implementation in Industrial Networked Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano A model for the analysis of security policies in service function chains. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano A software-defined MAC architecture for Wi-Fi operating in user space on conventional PCs. Search on Bibsonomy WFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano Automated fixing of access policy implementation in Industrial Networked Systems. Search on Bibsonomy WFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano Duplication avoidance mechanisms to reduce bandwidth usage in redundant Wi-Fi networks. Search on Bibsonomy WFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano, Claudio Zunino Leveraging SDN to improve security in industrial networks. Search on Bibsonomy WFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano Optimized event notification in CAN through in-frame replies and Bloom filters. Search on Bibsonomy WFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano Supporting security protocols on CAN-based networks. Search on Bibsonomy ICIT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano A model for the analysis of security policies in service function chains. Search on Bibsonomy NetSoft The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano Seamless Link-Level Redundancy to Improve Reliability of Industrial Wi-Fi Networks. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano Seamless integration of CAN in intranets. Search on Bibsonomy Computer Standards & Interfaces The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano, Claudio Zunino Combining reliability and timeliness in industrial wireless networks: An experimental assessment. Search on Bibsonomy WFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano Experimental characterization of redundant channels in industrial Wi-Fi networks. Search on Bibsonomy WFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano CAN XR: CAN with extensible in-frame Reply. Search on Bibsonomy INDIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano A fixed-priority access scheme for industrial Wi-Fi networks. Search on Bibsonomy IECON The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Lucia Seno, Adriano Valenzano A soft real-time scheduling framework for wireless industrial sensor actuator networks. Search on Bibsonomy SIES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Marcello Maggiora, Adriano Valenzano, Claudio Zunino Performance of Firewalls for Industrial Applications. Search on Bibsonomy ICS-CSR The full citation details ... 2016 DBLP  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Adriano Valenzano, Claudio Zunino Performance impact of commercial industrial firewalls on networked control systems. Search on Bibsonomy ETFA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano Design guidelines to improve reliability of seamless redundancy in Wi-Fi networks. Search on Bibsonomy ETFA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Piotr Gaj, Aleksander Malinowski, Thilo Sauter, Adriano Valenzano Guest editorial: Distributed data processing in industrial applications. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano Semiautomated Verification of Access Control Implementation in Industrial Networked Systems. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino Implementation and Evaluation of the Reference Broadcast Infrastructure Synchronization Protocol. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano A twofold model for the analysis of access control policies in industrial networked systems. Search on Bibsonomy Computer Standards & Interfaces The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lucia Seno, Adriano Valenzano, Claudio Zunino A dynamic bandwidth reassignment technique for improving QoS in EDF-based industrial wireless networks. Search on Bibsonomy INDIN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano Analysis of access control policies in networked embedded systems: A case study. Search on Bibsonomy SIES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano Analysis of Exploitable Vulnerability Sequences in Industrial Networked Systems: A Proof of Concepts. Search on Bibsonomy ICS-CSR The full citation details ... 2015 DBLP  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano Reliable comparison of clock discipline algorithms for time synchronization protocols. Search on Bibsonomy ETFA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano Design, verification, and performance of a MODBUS-CAN adaptation layer. Search on Bibsonomy WFCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano On the description of access control policies in networked industrial systems. Search on Bibsonomy WFCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano Effect of jitter-reducing encoders on CAN error detection mechanisms. Search on Bibsonomy WFCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino An enhanced MAC to increase reliability in redundant Wi-Fi networks. Search on Bibsonomy WFCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Lucia Seno, Adriano Valenzano Automated Analysis of Access Policies in Industrial Plants. Search on Bibsonomy ICS-CSR The full citation details ... 2014 DBLP  BibTeX  RDF
1Andrea Ballarino, Alessandro Brusaferri, Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Egidio Leo, Leonardo Nicolosi, Lucia Seno, Stefano Spinelli, Federico Tramarin, Adriano Valenzano, Stefano Vitturi System-level performance of an automation solution based on industry standards. Search on Bibsonomy ETFA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution. Search on Bibsonomy ETFA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino Dynamic duplicate deferral techniques for redundant Wi-Fi networks. Search on Bibsonomy ETFA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Adriano Valenzano Review of Security Issues in Industrial Networks. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks. Search on Bibsonomy Computer Standards & Interfaces The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Adriano Valenzano A Model for the Analysis of Security Policies in Industrial Networks. Search on Bibsonomy ICS-CSR The full citation details ... 2013 DBLP  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano Software-based assessment of the synchronization and error handling behavior of a real CAN controller. Search on Bibsonomy ETFA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino Evaluation of EtherCAT Distributed Clock Performance. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino Wireless machine vision systems based on COTS equipment. Search on Bibsonomy WFCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano An efficient fixed-length encoding scheme for CAN. Search on Bibsonomy WFCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano Modeling Emergency Response Plans with Coloured Petri Nets. Search on Bibsonomy CRITIS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Luca Durante, Adriano Valenzano System configuration check against security policies in industrial networks. Search on Bibsonomy SIES The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks. Search on Bibsonomy ETFA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication. Search on Bibsonomy ETFA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino The reference-broadcast infrastructure synchronization protocol. Search on Bibsonomy ETFA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino Evaluation of the real-time properties of open-source protocol stacks. Search on Bibsonomy ETFA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Marco Cereia, Adriano Valenzano Security aspects of safety networks. Search on Bibsonomy ETFA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Lucia Seno, Adriano Valenzano, Claudio Zunino On the Performance of IEEE 802.11e Wireless Infrastructures for Soft-Real-Time Industrial Applications. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Stefano Scanzio, Adriano Valenzano, Claudio Zunino Performance analysis of switched EtherCAT Networks. Search on Bibsonomy ETFA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino A software implementation of IEEE 1588 on RTAI/RTnet platforms. Search on Bibsonomy ETFA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano Detecting Chains of Vulnerabilities in Industrial Networks. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Lucia Seno, Adriano Valenzano, Stefano Vitturi Performance analysis of Ethernet Powerlink networks for distributed control and automation systems. Search on Bibsonomy Computer Standards & Interfaces The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano Tools for cryptographic protocols analysis: A technical and experimental comparison. Search on Bibsonomy Computer Standards & Interfaces The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Adriano Valenzano, Stefano Vitturi Hybrid Wired/Wireless Networks Real-Time Industrial Networks. Search on Bibsonomy Networked Embedded Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Adriano Valenzano Controller Area Network for Embedded Systems. Search on Bibsonomy Networked Embedded Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Adriano Valenzano, Claudio Zunino, Lucia Seno Evaluation of Real-time Communication Performance in QoS-enabled Infrastructure WLANs. Search on Bibsonomy ETFA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino A High-performance CAN-like Arbitration Scheme for EtherCAT. Search on Bibsonomy ETFA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano Efficient representation of the attacker's knowledge in cryptographic protocols analysis. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Knowledge representation, Cryptographic protocols, State space exploration
1Gianluca Cena, Adriano Valenzano, Claudio Zunino An arbitration-based access scheme for EtherCAT networks. Search on Bibsonomy ETFA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino Evaluation of Response Times in Industrial WLANs. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano Improving the security of industrial networks by means of formal verification. Search on Bibsonomy Computer Standards & Interfaces The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano A socket interface for CAN devices. Search on Bibsonomy Computer Standards & Interfaces The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. Search on Bibsonomy DepCoS-RELCOMEX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. Search on Bibsonomy DepCoS-RELCOMEX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino Reasoning about communication latencies in real WLANs. Search on Bibsonomy ETFA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Adriano Valenzano On the properties of the flexible time division multiple access technique. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano Comparing lexical analysis tools for buffer overflow detection in network software. Search on Bibsonomy COMSWARE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Adriano Valenzano, Stefano Vitturi Introducing intelligent sensors in presses for plastic material injection. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Adriano Valenzano, Stefano Vitturi Advances in automotive digital communications. Search on Bibsonomy Computer Standards & Interfaces The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Adriano Valenzano Operating Principles and Features of CAN Networks. Search on Bibsonomy The Industrial Information Technology Handbook The full citation details ... 2005 DBLP  BibTeX  RDF
1Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. Search on Bibsonomy DIMVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano Modelling CANopen communications according to the socket paradigm. Search on Bibsonomy ETFA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano Exploiting Symmetries for Testing Equivalence in the Spi Calculus. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gianluca Cena, Adriano Valenzano A protocol for automatic node discovery in CANopen networks. Search on Bibsonomy IEEE Trans. Industrial Electronics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luca Durante, Riccardo Sisto, Adriano Valenzano Automatic testing equivalence verification of spi calculus specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF equivalence verification, Cryptographic protocols, state space exploration
1Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. Search on Bibsonomy FORTE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 136 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license