Elena Ratto

According to our database, Elena Ratto authored at least 8 papers between 1991 and 1996.

Collaborative distances:

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

1996

Specifying Industrial Real-Time Systems with a Temporal Logic Framework.

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto, Ernani Crivelli

Int. J. Softw. Eng. Knowl. Eng., 1996

SImulation of High-Voltage Substations on Parallel ARchitectures.

Oliver Botti, M. Cesana, Edoardo Corsetti, P. Coslett, J. Hammond, F. Maestri, R. Meda, Elena Ratto, G. L. Redaelli, Alan Tully

Proceedings of the High-Performance Computing and Networking, 1996

1994

Specifying industrial real-time systems in a logical framework.

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto

Proceedings of the ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, 1994

1993

Logical Specification of Real-Time Granular Systems in an Object Oriented Language.

Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Dealing with Time Granularity in the Event Calculus.

Angelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems.

Edoardo Corsetti, Angelo Montanari, Elena Ratto

Real Time Syst., 1991

Dealing with different time scales in formal specifications.

Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Embedding time granularity in logical specifications of real-time systems.

Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti

Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991