default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuca Simoncini
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
[c28]Luca Simoncini:
Socio-technical Complex Systems of Systems: Can We Justifiably Trust Their Resilience? Dependable and Historic Computing 2011: 486-497- 2010
- [j14]Luca Simoncini:
Technological and Educational Challenges of Resilient Computing. Int. J. Adapt. Resilient Auton. Syst. 1(1): 41-57 (2010)
2000 – 2009
- 2009
- [c27]Luca Simoncini:
Resilient computing: An engineering discipline. IPDPS 2009: 1 - 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 - 2005
- [j13]Luca Simoncini:
Ambient dependability: a grand challenge. Comput. Syst. Sci. Eng. 20(3) (2005) - 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 - 2003
- [c24]Luca Simoncini:
AMSD: A Dependability Roadmap for the Information Society in Europe. SRDS 2003: 153- - [c23]Luca Simoncini:
Architectural Challenges for "Ambient Dependability". WORDS Fall 2003: 245-249 - 2002
- [c22]Luca Simoncini:
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability. EDCC 2002: 227-233 - 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)
1990 – 1999
- 1999
- [c20]Luca Simoncini:
Towards a Discipline of System Engineering: Validation of Dependable Systems Architectures. ISADS 1999: 409-410 - 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- - [e1]Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini:
Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings. Lecture Notes in Computer Science 1150, Springer 1996, ISBN 3-540-61772-8 [contents] - 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
- [c12]Luca Simoncini:
Design Description Languages for the Design of Predictability Dependable Real-Time Systems. IFIP Congress (1) 1992: 598 - [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 - [c10]Luca Simoncini:
What is the Right Specification/Design/Implementation Paradigm for Real-Time Applications? NATO ASI RTC 1992: 617-618 - [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
1980 – 1989
- 1989
- [c7]Maurizio A. Bonuccelli, Luca Simoncini:
A Fault-Tolerant Distributed Control VLSI Permutation Network. Fehlertolerierende Rechensysteme 1989: 85-99 - 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
- [c6]M. Scevarolli, Luca Simoncini:
Reliable Multicast Protocols for a Token Ring Architecture. Fehlertolerierende Rechensysteme 1987: 249-262 - [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 - 1980
- [j5]Arthur D. Friedman, Luca Simoncini:
System-Level Fault Diagnosis. Computer 13(3): 47-53 (1980) - [j4]Luca Simoncini, Herbert Taylor:
Subgraphs smaller than the girth. J. Graph Theory 4(1): 101-105 (1980) - [j3]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)
1970 – 1979
- 1979
- [j2]P. Ciompi, Luca Simoncini:
Analysis and Optimal Design of Self-Diagnosable Systems with Repair. IEEE Trans. Computers 28(5): 362-365 (1979) - 1978
- [j1]Arthur D. Friedman, Luca Simoncini:
The Effect of LSI Technology on the Theory of Modular Computer Design. Computer 11(7): 60-67 (1978) - [c2]Luca Simoncini, Arthur D. Friedman:
Incomplete Fault Coverage In Modular Miltiprocessor Systems. ACM Annual Conference (1) 1978: 210-216 - 1975
- [c1]P. Ciompi, Luca Simoncini, Marco Tomljanovich, Giorgio Valle:
State of the art and trends in Design Automation in Italy. DAC 1975: 23-31
Coauthor Index
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-24 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
