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

Emanuele Ciapessoni Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamuele 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmiliano 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea C. Ornstein, Giuseppe Psaila: Partitioning of Hierarchical Automation Systems. ECRTS 2001: 143-
1999
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuele 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuele 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuele Ciapessoni, Edoardo Corsetti, Manlio Migliorati, Elena Ratto: Logical Specification of Real-Time Granular Systems in an Object Oriented Language. IJCAI 1993: 881-888
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmanuele 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto: Dealing with Time Granularity in the Event Calculus. FGCS 1992: 702-712

Coauthor Index

1Sandro Bologna [8]
2Luigi Brasca [8]
3Stefano Buschi [8]
4Juliano S. A. Carneiro [7]
5Emiliano Casalicchio [8]
6Diego Cirio [9]
7Alberto Coen-Porisini [5]
8Edoardo Corsetti [2] [3] [4]
9Stefano Crespi-Reghizzi [6]
10Ernani Crivelli [4]
11Gregorio D'Agostino [8]
12Luca Ferrarini [7]
13Vincenzo Fioriti [8]
14Enrico Gaglioti [9]
15Samuele Grillo [9]
16Francesco Maestri [6]
17Enrico Maim [1]
18Dino Mandrioli [5]
19Stefano Massucco [9]
20Manlio Migliorati [3] [4]
21Piergiorgio Mirandola [5]
22Angelo Montanari [1] [2]
23Federico Morabito [8]
24Angelo Morzenti [5]
25Andrea C. Ornstein [6]
26Pierluigi San Pietro [2]
27Andrea Pitto [9]
28Giuseppe Psaila [6]
29Simone Radaelli [7]
30Elena Ratto [1] [3] [4]
31Judit Szanto [6]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page