| 2008 |
|---|
| 31 | 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 |
|---|
| 30 | 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 |
| 29 | 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 |
| 2006 |
|---|
| 28 | | Davide Pozza,
Riccardo Sisto,
Luca Durante,
Adriano Valenzano:
Comparing lexical analysis tools for buffer overflow detection in network software.
COMSWARE 2006 |
| 27 | 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 |
|---|
| 26 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.
DIMVA 2005: 69-84 |
| 25 | EE | Gianluca Cena,
Ivan Cibrario Bertolotti,
Adriano Valenzano:
Modelling CANopen communications according to the socket paradigm.
ETFA 2005 |
| 24 | | Gianluca Cena,
Adriano Valenzano:
Operating Principles and Features of CAN Networks.
The Industrial Information Technology Handbook 2005: 1-16 |
| 2004 |
|---|
| 23 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence in the Spi Calculus.
ATVA 2004: 135-149 |
| 2003 |
|---|
| 22 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.
FORTE 2003: 224-239 |
| 21 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.
TACAS 2003: 284-298 |
| 20 | 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) |
| 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 |
