Edoardo Corsetti

Orcid: 0000-0002-8673-347X

According to our database1, Edoardo Corsetti authored at least 8 papers between 1991 and 1996.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1996
Specifying Industrial Real-Time Systems with a Temporal Logic Framework.
Int. J. Softw. Eng. Knowl. Eng., 1996

SImulation of High-Voltage Substations on Parallel ARchitectures.
Proceedings of the High-Performance Computing and Networking, 1996

1994
Specifying industrial real-time systems in a logical framework.
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.
Sci. Comput. Program., 1993

Logical Specification of Real-Time Granular Systems in an Object Oriented Language.
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.
Real Time Syst., 1991

Dealing with different time scales in formal specifications.
Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Embedding time granularity in logical specifications of real-time systems.
Proceedings of the Euromicro '91 Workshop on Real Time Systems, 1991


  Loading...