Edoardo Corsetti

Publication Activity (10 Years)

Years Active: 1991-1996
Publications (10 Years): 0

Publications

Oliver Botti, M. Cesana, Edoardo Corsetti, P. Coslett, J. Hammond, F. Maestri, R. Meda, Elena Ratto, G. L. Redaelli, Alan Tully
SImulation of High-Voltage Substations on Parallel ARchitectures. HPCN Europe (1996)
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto, Ernani Crivelli
Specifying Industrial Real-Time Systems with a Temporal Logic Framework. Int. J. Softw. Eng. Knowl. Eng. 6 (1) (1996)
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto
Specifying industrial real-time systems in a logical framework. ICLP Workshop: Applications of Logic Programming to Software Engineering (1994)
Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari, Pierluigi San Pietro
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. Sci. Comput. Program. 20 (1-2) (1993)
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto
Logical Specification of Real-Time Granular Systems in an Object Oriented Language. IJCAI (1993)
Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto
Dealing with different time scales in formal specifications. IWSSD (1991)
Edoardo Corsetti, Angelo Montanari, Elena Ratto
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. Real Time Syst. 3 (2) (1991)
Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti
Embedding time granularity in logical specifications of real-time systems. RTS (1991)