Остановите войну!
for scientists:
default search action
Luca Simoncini
- > Home > Persons > Luca Simoncini
Publications
- 2007
- [c26]Francesco 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 - 2004
- [c25]Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna:
Architectural challenges for a dependable Information Society. IFIP Congress Topical Sessions 2004: 282-304 - 2001
- [j12]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) - [j11]Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini:
Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001) - [c21]F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli:
Modeling and Analysis of the Behavior of GPRS Systems. WORDS 2001: 51-58 - 2000
- [j10]Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini:
Formally Verifying Fault Tolerant System Designs. Comput. J. 43(3): 191-205 (2000) - 1998
- [j9]Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini:
Temporal analysis of data flow control systems. Autom. 34(2): 169-182 (1998) - [c19]Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi:
Validating the Design of Dependable Systems. ISORC 1998: 364-372 - 1996
- [c18]Manuela Nelli, Andrea Bondavalli, Luca Simoncini:
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. EDCC 1996: 93-110 - [c17]B. 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- - 1995
- [j8]Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini:
Using Process Algebras for the Semantic Analysis of Data Flow Networks. IEICE Trans. Inf. Syst. 78-D(8): 959-968 (1995) - 1994
- [c16]Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini:
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC 1994: 77-94 - 1993
- [c15]Andrea Bondavalli, Luca Simoncini:
Functional paradigm for designing dependable large-scale parallel computing systems. ISADS 1993: 108-114 - [c14]Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini:
From Data Flow Networks to Process Algebras. PARLE 1993: 740-743 - [c13]Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli:
Data Flow Control Systems: an Example of Safety Validation. SAFECOMP 1993: 9-20 - 1992
- [c11]Andrea Bondavalli, Luca Simoncini, Cinzia Bernardeschi:
The Design of Distributed, Dependable Real-Time Systems Using a Functional Paradigm. NATO ASI RTC 1992: 527-529 - [c9]Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini:
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. SRDS 1992: 214-221 - 1991
- [c8]Andrea Bondavalli, M. Mannocci, Fabio Tarini, Paolo Zini, L. Nardone, Luca Simoncini:
A Performable BSM Architecture. Fault-Tolerant Computing Systems 1991: 332-347 - 1988
- [j7]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
- [c5]Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini:
A Gracefully Degradable Algorithm for Byzantine Agreement. SRDS 1987: 188-200 - 1985
- [j6]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
- [c4]Paolo Corsini, Luca Simoncini, Lorenzo Strigini:
The architecture and the fault-treatment of MuTEAM. Fehlertolerierende Rechensysteme 1984: 1-13 - [c3]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint