E-LIB Suche - Ergebnisse für: Fantechi, Alessandro

1

Does Every Computer Scientist Need to Know Formal Methods?:

Broy, Manfred ; Brucker, Achim ; Fantechi, Alessandro...
Formal Aspects of Computing. , 2024

Link: https://doi.org/10.1145/..

2

Exploring LLMs' Ability to Detect Variability in Requiremen..:

, In: Requirements Engineering: Foundation for Software Quality; Lecture Notes in Computer Science,

Fantechi, Alessandro ; Gnesi, Stefania ; Semini, Laura - p. 178-188 , 2024

Link: https://doi.org/10.1007/..

3

Coherent modal transition systems refinement:

Basile, Davide ; ter Beek, Maurice H. ; Fantechi, Alessandro.
Journal of Logical and Algebraic Methods in Programming. 138 (2024) - p. 100954 , 2024

Link: https://doi.org/10.1016/..

4

VIBE: Looking for Variability In amBiguous rEquirements:

Fantechi, Alessandro ; Gnesi, Stefania ; Semini, Laura
Journal of Systems and Software. 195 (2023) - p. 111540 , 2023

Link: https://doi.org/10.1016/..

5

Automated Compositional Verification of Interlocking System:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Haxthausen, Anne E. ; Fantechi, Alessandro ; Gori, Gloria.. - p. 146-164 , 2023

Link: https://doi.org/10.1007/..

6

Decomposing the Verification of Interlocking Systems:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

Haxthausen, Anne E. ; Fantechi, Alessandro ; Gori, Gloria - p. 96-113 , 2023

Link: https://doi.org/10.1007/..

7

Compositional Verification of Railway Interlocking Systems:

Haxthausen, Anne Elisabeth ; Fantechi, Alessandro
Formal Aspects of Computing. 35 (2023) 1 - p. 1-46 , 2023

Link: https://doi.org/10.1145/..

8

The 4SECURail Case Study on Rigorous Standard Interface Spe..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Belli, Dimitri ; Fantechi, Alessandro ; Gnesi, Stefania... - p. 22-39 , 2023

Link: https://doi.org/10.1007/..

9

Inconsistency Detection in Natural Language Requirements us..:

, In: 2023 IEEE 31st International Requirements Engineering Conference (RE),

Fantechi, Alessandro ; Gnesi, Stefania ; Passaro, Lucia. - p. 335-340 , 2023

Link: https://doi.org/10.1109/..

10

Runtime Reliability Monitoring for Complex Fault-Tolerance ..:

, In: 2022 6th International Conference on System Reliability and Safety (ICSRS),

Fantechi, Alessandro ; Gori, Gloria ; Papini, Marco - p. 110-119 , 2022

Link: https://doi.org/10.1109/..

11

A Vision of Intelligent Train Control:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Flammini, Francesco ; De Donato, Lorenzo ; Fantechi, Alessandro. - p. 192-208 , 2022

Link: https://doi.org/10.1007/..

12

Software rejuvenation and runtime reliability monitoring:

, In: 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Fantechi, Alessandro ; Gori, Gloria ; Papini, Marco - p. 162-169 , 2022

Link: https://doi.org/10.1109/..

13

Future Train Control Systems: Challenges for Dependability ..:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice,

Fantechi, Alessandro ; Gnesi, Stefania ; Gori, Gloria - p. 269-285 , 2022

Link: https://doi.org/10.1007/..

14

Proceedings of the 16th International Working Conference on..:

Arcaini, Paolo ; Devroey, Xavier ; Fantechi, Alessandro , 2022

Link: https://dl.acm.org/doi/1..

15

Compositional Verification of Railway Interlockings: Compar..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Fantechi, Alessandro ; Gori, Gloria ; Haxthausen, Anne E.. - p. 3-19 , 2022

Link: https://doi.org/10.1007/..