Edoardo Corsetti

According to our database, Edoardo Corsetti 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

Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems.

Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari, Pierluigi San Pietro

Sci. Comput. Program., 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

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