Zobrazeno 1 - 10
of 160
pro vyhledávání: '"Alessandro Fantechi"'
Publikováno v:
Applied Sciences, Vol 11, Iss 9, p 4026 (2021)
Reliability Block Diagrams (RBDs) are widely used in reliability engineering to model how the system reliability depends on the reliability of components or subsystems. In this paper, we present librbd, a C library providing a generic, efficient and
Externí odkaz:
https://doaj.org/article/5f85b1748488417b98c6f6c0d03616ed
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 98, Iss Proc. WWV 2012, Pp 60-76 (2012)
By considering an essential subset of the BPEL orchestration language, we define SeB, a session based style of this subset. We discuss the formal semantics of SeB and we present its main properties. We use a new approach to address the formal semanti
Externí odkaz:
https://doaj.org/article/3cde0fa299974d2686346fda0e82d510
Publikováno v:
Haxthausen, A E & Fantechi, A 2023, ' Compositional Verification of Railway Interlocking Systems ', Formal Aspects of Computing, vol. 35, no. 1, 4 . https://doi.org/10.1145/3549736
Model checking techniques have often been applied to the verification of railway interlocking systems, responsible for guiding trains safely through a given railway network. However, these techniques fail to scale to the interlocking systems controll
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7d109979e2108f7429d73aedd78de098
https://orbit.dtu.dk/en/publications/85936bb2-88af-48cb-921f-f916c2d85e71
https://orbit.dtu.dk/en/publications/85936bb2-88af-48cb-921f-f916c2d85e71
Publikováno v:
2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Publikováno v:
The Journal of systems and software 195 (2022). doi:10.1016/j.jss.2022.111540
Variability is a characteristic of a software project and describes the fact that a system can be configured in different ways, obtaining different products (variants) from a common code base, accordingly to the software product line paradigm. This p
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::624ec8b8e410d3240546e3ecee8110eb
https://doi.org/10.1007/978-3-031-05814-1_1
https://doi.org/10.1007/978-3-031-05814-1_1
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f6c4718e6ef27e29233150339937d879
https://doi.org/10.1007/978-3-031-05814-1_14
https://doi.org/10.1007/978-3-031-05814-1_14
Publikováno v:
ISoLA'22-11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 243–245, Rhodes, Greece, 22-30/10/2022
Lecture Notes in Computer Science ISBN: 9783031197611
Lecture Notes in Computer Science ISBN: 9783031197611
The adoption of formal methods in railway signalling has been the subject of specific tracks of past ISOLA conferences since a decade.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d26beac7a6f95482449d163179e96dd
https://openportal.isti.cnr.it/doc?id=people______::73657eb5712f712bf2aedc7922ef5139
https://openportal.isti.cnr.it/doc?id=people______::73657eb5712f712bf2aedc7922ef5139
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031197611
ISoLA 2022-11th International Symposium on Leveraging Applications of Formal Methods, pp. 269–285, Rhodes, Greece, 22-30/10/2022
ISoLA 2022-11th International Symposium on Leveraging Applications of Formal Methods, pp. 269–285, Rhodes, Greece, 22-30/10/2022
The prospected advent of advanced train control systems, such as moving block and virtual coupling, raises the issue of the effects that uncertainty on critical parameters (such as position or speed) can have on dependability. Several approaches to t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dacdcf0e262888562090dccd1478e84
https://doi.org/10.1007/978-3-031-19762-8_21
https://doi.org/10.1007/978-3-031-19762-8_21
Publikováno v:
Innovations in Systems and Software Engineering. 16:215-230
In the last decades, the socio-demographic evolution of the population has substantially changed mobility demand, posing new challenges in minimizing urban congestion and reducing environmental impact. In this scenario, understanding how different mo