Riccardo Mattolini

According to our database, Riccardo Mattolini authored at least 6 papers between 1993 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2001

An Interval Logic for Real-Time System Specification.

Riccardo Mattolini, Paolo Nesi

IEEE Trans. Software Eng., 2001

1996

Using TILCO for Specifying Real-Time Systems.

Riccardo Mattolini, Paolo Nesi

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995

Automatic transition from rapid prototyping to target code for distributed systems.

Giacomo Bucci, Riccardo Mattolini, Enrico Vicario

Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

1994

Supporting Process Migration Through Communicating Petri Nets.

Giacomo Bucci, Riccardo Mattolini, Enrico Vicario

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

1993

Using communicating Petri nets to implement parallel computation in single-tasking operating systems.

Giacomo Bucci, Riccardo Mattolini, Enrico Vicario

Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

A framework for the development of object-oriented distributed systems.

Giacomo Bucci, Riccardo Mattolini, Enrico Vicario

Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993