dblp.uni-trier.dewww.uni-trier.de

Elena Ratto

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996
5 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: 935-937
4EEEmanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto, Ernani Crivelli: Specifying Industrial Real-Time Systems with a Temporal Logic Framework. International Journal of Software Engineering and Knowledge Engineering 6(1): 21-61 (1996)
1993
3 Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto: Logical Specification of Real-Time Granular Systems in an Object Oriented Language. IJCAI 1993: 881-888
1992
2 Angelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto: Dealing with Time Granularity in the Event Calculus. FGCS 1992: 702-712
1991
1 Edoardo Corsetti, Angelo Montanari, Elena Ratto: Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. Real-Time Systems 3(2): 191-215 (1991)

Coauthor Index

1Oliver Botti [5]
2M. Cesana [5]
3Emanuele Ciapessoni [2] [3] [4]
4Edoardo Corsetti [1] [3] [4] [5]
5P. Coslett [5]
6Ernani Crivelli [4]
7J. Hammond [5]
8F. Maestri [5]
9Enrico Maim [2]
10R. Meda [5]
11Manlio Migliorati [3] [4]
12Angelo Montanari [1] [2]
13G. L. Redaelli [5]
14Alan Tully [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)