 | 2007 |
|---|
| 7 |       | Luca Ferrarini,
Juliano S. A. Carneiro,
Simone Radaelli,
Emanuele Ciapessoni:
Dependability Analysis of Power System Protections using Stochastic Hybrid Simulation with Modelica.
ICRA 2007: 1584-1589 |
| 2001 |
|---|
| 6 | | Emanuele Ciapessoni,
Francesco Maestri,
Judit Szanto,
Stefano Crespi-Reghizzi,
Andrea Ornstein,
Giuseppe Psaila:
Partitioning of Hierarchical Automation Systems.
ECRTS 2001: 143- |
| 1999 |
|---|
| 5 | | Emanuele Ciapessoni,
Piergiorgio Mirandola,
Alberto Coen-Porisini,
Dino Mandrioli,
Angelo Morzenti:
From Formal Models to Formally Based Methods: An Industrial Experience.
ACM Trans. Softw. Eng. Methodol. 8(1): 79-113 (1999) |
| 1996 |
|---|
| 4 | | Emanuele 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 |
| 2 | | 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): 141-171 (1993) |
| 1992 |
|---|
| 1 | | Angelo Montanari,
Enrico Maim,
Emanuele Ciapessoni,
Elena Ratto:
Dealing with Time Granularity in the Event Calculus.
FGCS 1992: 702-712 |
