![]() | ![]() |
| 2010 | ||
|---|---|---|
| 9 | Samuele Grillo, Stefano Massucco, Andrea Pitto, Emanuele Ciapessoni, Diego Cirio, Enrico Gaglioti: An Integrated Platform for Power System Security Assessment Implementing Probabilistic and Deterministic Methodologies. COMPENG 2010: 40-42 | |
| 8 | Emiliano Casalicchio, Sandro Bologna, Luigi Brasca, Stefano Buschi, Emanuele Ciapessoni, Gregorio D'Agostino, Vincenzo Fioriti, Federico Morabito: Inter-dependency Assessment in the ICT-PS Network: The MIA Project Results. CRITIS 2010: 1-12 | |
| 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 C. 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 | |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page