Adriano Valenzano

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002

A multistage hierarchical distributed arbitration technique for priority-based real-time communication systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2002

Achieving round-robin access in controller area networks.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2002

2001

Integrating fieldbuses and factory intranets.

[BibT_eX]

[DOI]

Stefano Vitturi

Int. J. Comput. Integr. Manuf., 2001

A new CAN-like field network based on a star topology.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2001

Integrating the CAN and MUST access techniques in a single fieldbus.

[BibT_eX]

[DOI]

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

2000

FastCAN: a high-performance enhanced CAN-like network.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2000

Delay analysis of priority promotion systems.

[BibT_eX]

[DOI]

Comput. Commun., 2000

A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.

[BibT_eX]

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

Efficient implementation of semaphores in controller area networks.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 1999

1998

The EN50170 standard for a European fieldbus.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 1998

Product Data Exchange Using STEP.

[BibT_eX]

S. Rivoira

Proceedings of the Globalization of Manufacturing in the Digital Communications Era of the 21<sup>st</sup> Century: Innovation, 1998

1997

An improved CAN fieldbus for industrial applications.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 1997

Adaptive bandwidth balancing mechanisms for DQDB networks.

[BibT_eX]

[DOI]

Comput. Commun., 1997

1995

Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1995

1994

A LOTOS extension for the performance analysis of distributed systems.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 1994

Implementation of static semantic analysis of LOTOS specifications.

[BibT_eX]

[DOI]

Softw. Eng. J., 1994

A LOTOS specification of the SERCOS field-bus protocol.

[BibT_eX]

Proceedings of the SEKE'94, 1994

Integrating Peforamnce Analysis in the Context of LOTOS-Based Design.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

1993

Rapid Prototyping of Protocols from LOTOS Specifications.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1993

1992

CIMNET: a prototype network for time critical applications in the factory.

[BibT_eX]

[DOI]

Proceedings of the 17th Conference on Local Computer Networks, 1992

Throughput analysis of timed token protocols in double ring networks.

[BibT_eX]

[DOI]

Proceedings of the 17th Conference on Local Computer Networks, 1992

Probabilistic Characterization of Algebraic Protocol Specifications.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

MAP and TOP communications - standards and applications.

[BibT_eX]

Electronic systems engineering series, Addison-Wesley, ISBN: 978-0-201-41665-7, 1992

1991

A Protocol for Multirendezvous of LOTOS Processes.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1991

On the Equivalence of IEEE 802.4 and FDDI Timed Token Protocols.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '91, 1991

1990

Some Properties of Timed Token Medium Access Protocols.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

An abstract execution model for basic LOTOS.

[BibT_eX]

[DOI]

Softw. Eng. J., 1990

Modeling the execution of LOTOS specifications by cooperating extended finite state machines.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

1989

Authentication Mechanisms in Microprocessor-Based Local Area Networks.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Implementation of algorithms for graphic surface modeling using transputers.

[BibT_eX]

[DOI]

Microprocess. Microprogramming, 1989

Some Properties of Double-Ring Networks with Real-Time Constraints.

[BibT_eX]

[DOI]

Proceedings of the Real-Time Systems Symposium, 1989

On the Behavior of Control Token Protocols with Asynchronous and Synchronous Traffic.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '89, 1989

1988

A Practical Study of Semi-automatic OSI Protocol Implementation.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1988

Performance analysis of type 3 LLC in industrial 802.5 nets.

[BibT_eX]

[DOI]

IEEE Netw., 1988

1987

Reliability and performance issues in FDDI networks.

[BibT_eX]

[DOI]

Proceedings of the 1987 Symposium on the Simulation of Computer Networks, 1987

Performance Analysis of Acknowledgment Mechanisms in Token-Bus Networks.

[BibT_eX]

Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

Advanced microprocessor architectures.

[BibT_eX]

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

1984

iAPX 432 hardware fault-handling mechanisms.

[BibT_eX]

[DOI]

Softw. Microsystems, 1984

Communication and programming issues in robotic manufacturing cells.

[BibT_eX]

[DOI]

Giordano Bruno