مقاله‌های دارای تعهدات انتشار عمومی - A. Fantechiبیشتر بدانید
جای دیگری دردسترس نیست: ۵
Model checking geographically distributed interlocking systems using UMC
A Fantechi, AE Haxthausen, MBR Nielsen
2017 25th Euromicro international conference on parallel, distributed and …, 2017
تعهدات: Villum Foundation, Innovation Fund Denmark
Inconsistency detection in natural language requirements using chatgpt: a preliminary evaluation
A Fantechi, S Gnesi, L Passaro, L Semini
2023 IEEE 31st International Requirements Engineering Conference (RE), 335-340, 2023
تعهدات: Government of Italy
VIBE: looking for variability in ambiguous requirements
A Fantechi, S Gnesi, L Semini
Journal of Systems and Software 195, 111540, 2023
تعهدات: Government of Italy
Formal techniques for a data-driven certification of advanced railway signalling systems
A Fantechi
Critical Systems: Formal Methods and Automated Verification: Joint 21st …, 2016
تعهدات: Villum Foundation
Language and Communication Problems in Formalization: A Natural Language Approach
A Fantechi, S Gnesi, L Semini
Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on …, 2021
تعهدات: Government of Italy
جای دیگری دردسترس است: ۳۴
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain
A Ferrari, G Gori, B Rosadini, I Trotta, S Bacherini, A Fantechi, S Gnesi
Empirical Software Engineering 23 (6), 3684-3733, 2018
تعهدات: European Commission
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints
MH ter Beek, A Fantechi, S Gnesi, F Mazzanti
Journal of Logical and Algebraic Methods in Programming 85 (2), 287-315, 2016
تعهدات: European Commission, Government of Italy
On the industrial uptake of formal methods in the railway domain: A survey with stakeholders
D Basile, MH ter Beek, A Fantechi, S Gnesi, F Mazzanti, A Piattino, ...
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
تعهدات: European Commission
Adopting formal methods in an industrial setting: the railways case
MH ter Beek, A Borälv, A Fantechi, A Ferrari, S Gnesi, C Löfving, ...
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
تعهدات: European Commission
Survey on formal methods and tools in railways: the ASTRail approach
A Ferrari, MH ter Beek, F Mazzanti, D Basile, A Fantechi, S Gnesi, ...
International Conference on Reliability, Safety, and Security of Railway …, 2019
تعهدات: European Commission
Comparing formal tools for system design: a judgment study
A Ferrari, F Mazzanti, D Basile, MH Beek, A Fantechi
Proceedings of the ACM/IEEE 42nd international conference on software …, 2020
تعهدات: European Commission
Validation process for railway interlocking systems
A Bonacchi, A Fantechi, S Bacherini, M Tempestini
Science of Computer Programming 128, 2-21, 2016
تعهدات: Villum Foundation
A vision of intelligent train control
F Flammini, L De Donato, A Fantechi, V Vittorini
International Conference on Reliability, Safety, and Security of Railway …, 2022
تعهدات: European Commission
Compositional verification of multi-station interlocking systems
HD Macedo, A Fantechi, AE Haxthausen
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
تعهدات: Villum Foundation, Innovation Fund Denmark
Product line models of large cyber-physical systems: the case of ERTMS/ETCS
MH Beek, A Fantechi, S Gnesi
Proceedings of the 22nd International Systems and Software Product Line …, 2018
تعهدات: European Commission
Compositional model checking of interlocking systems for lines with multiple stations
HD Macedo, A Fantechi, AE Haxthausen
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
تعهدات: Villum Foundation, Innovation Fund Denmark
Compositional verification of interlocking systems for large stations
A Fantechi, AE Haxthausen, HD Macedo
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
تعهدات: Villum Foundation, Innovation Fund Denmark
Formal analysis of the UNISIG safety application intermediate sub-layer: applying formal methods to railway standard interfaces
D Basile, A Fantechi, I Rosadi
Formal Methods for Industrial Critical Systems: 26th International …, 2021
تعهدات: European Commission
Challenges in modelling and analyzing quantitative aspects of bike-sharing systems
MH ter Beek, A Fantechi, S Gnesi
International Symposium On Leveraging Applications of Formal Methods …, 2014
تعهدات: Government of Italy
Using FMC for family-based analysis of software product lines
MH ter Beek, A Fantechi, S Gnesi, F Mazzanti
Proceedings of the 19th International Conference on Software Product Line …, 2015
تعهدات: European Commission, Government of Italy
اطلاعات انتشارات و تأمین بودجه به‌طورخودکار توسط برنامه رایانه‌ای تعیین می‌شود.