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

Luca Simoncini

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

2007
30EEFrancesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, Luca Simoncini: Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies. HASE 2007: 305-312
2005
29 Luca Simoncini: Ambient dependability: a grand challenge. Comput. Syst. Sci. Eng. 20(3): (2005)
2004
28 Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna: Architectural challenges for a dependable Information Society. IFIP Congress Topical Sessions 2004: 283-304
2003
27EELuca Simoncini: AMSD: A Dependability Roadmap for the Information Society in Europe. SRDS 2003: 153-
26EELuca Simoncini: Architectural Challenges for "Ambient Dependability". WORDS Fall 2003: 245-249
2002
25EELuca Simoncini: Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. EDCC 2002: 227-233
2001
24EEF. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli: Modeling and Analysis of the Behavior of GPRS Systems. WORDS 2001: 51-58
23 Andrea Bondavalli, Manuela Nelli, Luca Simoncini, Giorgio Mongardi: Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. Comput. Syst. Sci. Eng. 16(4): 249-261 (2001)
22EEAndrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini: Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001)
2000
21 Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formally Verifying Fault Tolerant System Designs. Comput. J. 43(3): 191-205 (2000)
1999
20EELuca Simoncini: Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures. ISADS 1999: 409-410
1998
19EECinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi: Validating the Design of Dependable Systems. ISORC 1998: 364-372
1996
18 Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini: Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings Springer 1996
17 Manuela Nelli, Andrea Bondavalli, Luca Simoncini: Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. EDCC 1996: 93-110
16EEB. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini: Reachability and Timing Analysis in Data Flow Networks: A Case Study. EUROMICRO 1996: 193-
1994
15 Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini: Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC 1994: 77-94
1993
14 Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini: From Data Flow Networks to Process Algebras. PARLE 1993: 740-743
1992
13 Luca Simoncini: Design Description Languages for the Design of Predictability Dependable Real-Time Systems. IFIP Congress (1) 1992: 598
12 Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini: Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. SRDS 1992: 214-221
1991
11 Andrea Bondavalli, M. Mannocci, F. Tarini, P. Zini, L. Nardone, Luca Simoncini: A Performable BSM Architecture. Fault-Tolerant Computing Systems 1991: 332-347
1989
10 Maurizio A. Bonuccelli, Luca Simoncini: A Fault-Tolerant Distributed Control VLSI Permutation Network. Fehlertolerierende Rechensysteme 1989: 85-99
1988
9 Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini: Gracefully Degradable Algorithm for Byzantine Agreement. Comput. Syst. Sci. Eng. 3(1): 32-40 (1988)
1987
8 M. Scevarolli, Luca Simoncini: Reliable Multicast Protocols for a Token Ring Architecture. Fehlertolerierende Rechensysteme 1987: 249-262
7 Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini: A Gracefully Degradable Algorithm for Byzantine Agreement. SRDS 1987: 188-200
1985
6 Paolo Corsini, Cosimo Antonio Prete, Luca Simoncini: MuTEAM: An experience in the design of robust multiprocessor systems. Comput. Syst. Sci. Eng. 1(1): 23-35 (1985)
1984
5 Paolo Corsini, Luca Simoncini, Lorenzo Strigini: The architecture and the fault-treatment of MuTEAM. Fehlertolerierende Rechensysteme 1984: 1-13
4 D. Briatico, Augusto Ciuffoletti, Luca Simoncini: A Distributed Domino-Effect free recovery Algorithm. Symposium on Reliability in Distributed Software and Database Systems 1984: 207-215
1980
3 Luca Simoncini, F. Saheban, Arthur D. Friedman: Design of Self-Diagnosable Multiprocessor Systems with Concurrent Computation and Diagnosis. IEEE Trans. Computers 29(6): 540-546 (1980)
1979
2 P. Ciompi, Luca Simoncini: Analysis and Optimal Design of Self-Diagnosable Systems with Repair. IEEE Trans. Computers 28(5): 362-365 (1979)
1978
1EELuca Simoncini, Arthur D. Friedman: Incomplete Fault Coverage In Modular Miltiprocessor Systems. ACM Annual Conference (1) 1978: 210-216

Coauthor Index

1B. Antal [16]
2Cinzia Bernardeschi [14] [15] [19] [21]
3Andrea Bondavalli [11] [12] [14] [16] [17] [22] [23] [24] [28]
4Maurizio A. Bonuccelli [10]
5D. Briatico [4]
6Silvano Chiaradonna [28] [30]
7P. Ciompi [2]
8Augusto Ciuffoletti [4]
9Paolo Corsini [5] [6]
10György Csertán [16]
11Alessandro Fantechi [15] [19] [21] [22]
12Arthur D. Friedman [1] [3]
13Felicita Di Giandomenico [7] [9] [24] [28] [30]
14Fabrizio Grandoni [7] [9]
15M. L. Guidotti [7] [9]
16Andrzej Hlawiczka [18]
17Diego Latella [22]
18István Majzik [16]
19M. Mannocci [11]
20Giorgio Mongardi [23]
21L. Nardone [11]
22Manuela Nelli [17] [23]
23Stefano Porcarelli [24]
24Cosimo Antonio Prete [6]
25Francesco Romani [30]
26F. Saheban [3]
27M. Scevarolli [8]
28João Gabriel Silva [18]
29Lorenzo Strigini [5] [12]
30F. Tarini [11]
31F. Tataranni [24]
32P. Zini [11]

Colors in the list of coauthors

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