2008 |
36 | EE | Gianluca Cena,
Adriano Valenzano,
Claudio Zunino:
An arbitration-based access scheme for EtherCAT networks.
ETFA 2008: 416-423 |
35 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Efficient representation of the attacker's knowledge in cryptographic protocols analysis.
Formal Asp. Comput. 20(3): 303-348 (2008) |
2007 |
34 | EE | M. Cheminod,
Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems.
DepCoS-RELCOMEX 2007: 11-18 |
33 | EE | M. Cheminod,
Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.
DepCoS-RELCOMEX 2007: 153-160 |
32 | EE | Gianluca Cena,
Ivan Cibrario Bertolotti,
Adriano Valenzano,
Claudio Zunino:
Evaluation of Response Times in Industrial WLANs.
IEEE Trans. Industrial Informatics 3(3): 191-201 (2007) |
2006 |
31 | | Davide Pozza,
Riccardo Sisto,
Luca Durante,
Adriano Valenzano:
Comparing lexical analysis tools for buffer overflow detection in network software.
COMSWARE 2006 |
30 | EE | Gianluca Cena,
Adriano Valenzano:
On the properties of the flexible time division multiple access technique.
IEEE Trans. Industrial Informatics 2(2): 86-94 (2006) |
29 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus.
Int. J. Found. Comput. Sci. 17(4): 815-832 (2006) |
2005 |
28 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.
DIMVA 2005: 69-84 |
27 | EE | Gianluca Cena,
Ivan Cibrario Bertolotti,
Adriano Valenzano:
Modelling CANopen communications according to the socket paradigm.
ETFA 2005 |
26 | | Gianluca Cena,
Adriano Valenzano:
Operating Principles and Features of CAN Networks.
The Industrial Information Technology Handbook 2005: 1-16 |
25 | EE | Gianluca Cena,
Adriano Valenzano,
Stefano Vitturi:
Introducing intelligent sensors in presses for plastic material injection.
IEEE Trans. Industrial Informatics 1(2): 136-148 (2005) |
2004 |
24 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence in the Spi Calculus.
ATVA 2004: 135-149 |
2003 |
23 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.
FORTE 2003: 224-239 |
22 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.
TACAS 2003: 284-298 |
21 | EE | Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Automatic testing equivalence verification of spi calculus specifications.
ACM Trans. Softw. Eng. Methodol. 12(2): 222-284 (2003) |
2001 |
20 | EE | Gianluca Cena,
Adriano Valenzano,
Stefano Vitturi:
Integrating fieldbuses and factory intranets.
Int. J. Computer Integrated Manufacturing 14(1): 41-54 (2001) |
2000 |
19 | | Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.
FORTE 2000: 155-170 |
18 | EE | Gianluca Cena,
Adriano Valenzano:
Delay analysis of priority promotion systems.
Computer Communications 23(13): 1252-1262 (2000) |
1998 |
17 | | Claudio Demartini,
S. Rivoira,
Adriano Valenzano:
Product Data Exchange Using STEP.
PROLAMAT 1998: 257-270 |
1997 |
16 | EE | Gianluca Cena,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Adaptive bandwidth balancing mechanisms for DQDB networks.
Computer Communications 20(9): 804-819 (1997) |
1995 |
15 | | Riccardo Sisto,
Adriano Valenzano:
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions.
IEEE Trans. Computers 44(12): 1361-1370 (1995) |
1994 |
14 | | Marco Ajmone Marsan,
Andrea Bianco,
Luigi Ciminiera,
Riccardo Sisto,
Adriano Valenzano:
Integrating Peforamnce Analysis in the Context of LOTOS-Based Design.
MASCOTS 1994: 292-298 |
13 | | Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A LOTOS specification of the SERCOS field-bus protocol.
SEKE 1994: 139-147 |
12 | EE | Marco Ajmone Marsan,
Andrea Bianco,
Luigi Ciminiera,
Riccardo Sisto,
Adriano Valenzano:
A LOTOS extension for the performance analysis of distributed systems.
IEEE/ACM Trans. Netw. 2(2): 151-165 (1994) |
1993 |
11 | | Adriano Valenzano,
Riccardo Sisto,
Luigi Ciminiera:
Rapid Prototyping of Protocols from LOTOS Specifications.
Softw., Pract. Exper. 23(1): 31-54 (1993) |
1992 |
10 | | Riccardo Sisto,
Luigi Ciminiera,
Adriano Valenzano:
Probabilistic Characterization of Algebraic Protocol Specifications.
ICDCS 1992: 260-268 |
1991 |
9 | | Paolo Montuschi,
Adriano Valenzano,
Luigi Ciminiera:
On the Equivalence of IEEE 802.4 and FDDI Timed Token Protocols.
INFOCOM 1991: 435-440 |
8 | | Riccardo Sisto,
Luigi Ciminiera,
Adriano Valenzano:
A Protocol for Multirendezvous of LOTOS Processes.
IEEE Trans. Computers 40(4): 437-447 (1991) |
1990 |
7 | EE | Adriano Valenzano,
Riccardo Sisto,
Luigi Ciminiera:
Modeling the execution of LOTOS specifications by cooperating extended finite state machines.
SPDP 1990: 780-785 |
6 | EE | Adriano Valenzano,
Paolo Montuschi,
Luigi Ciminiera:
Some Properties of Timed Token Medium Access Protocols.
IEEE Trans. Software Eng. 16(8): 858-869 (1990) |
1989 |
5 | | Luigi Ciminiera,
Paolo Montuschi,
Adriano Valenzano:
Some Properties of Double-Ring Networks with Real-Time Constraints.
IEEE Real-Time Systems Symposium 1989: 360-368 |
4 | | Adriano Valenzano,
Paolo Montuschi,
Luigi Ciminiera:
On the Behavior of Control Token Protocols with Asynchronous and Synchronous Traffic.
INFOCOM 1989: 348-355 |
3 | EE | Luigi Ciminiera,
Adriano Valenzano:
Authentication Mechanisms in Microprocessor-Based Local Area Networks.
IEEE Trans. Software Eng. 15(5): 654-658 (1989) |
1988 |
2 | | Luigi Ciminiera,
Claudio Demartini,
Adriano Valenzano:
A Practical Study of Semi-automatic OSI Protocol Implementation.
Softw., Pract. Exper. 18(3): 255-277 (1988) |
1987 |
1 | | Luigi Ciminiera,
Adriano Valenzano:
Performance Analysis of Acknowledgment Mechanisms in Token-Bus Networks.
IEEE Real-Time Systems Symposium 1987: 179-185 |