default search action

combined dblp search
author search
venue search
publication search

ask others

Alessandro Fantechi

> Home > Persons

Person information

affiliation: University of Florence, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/BasileBFG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/BasileBFG24
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Coherent modal transition systems refinement. J. Log. Algebraic Methods Program. 138: 100954 (2024)
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiGH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiGH24
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (5) 2024: 109-111
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LimbreeHGF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LimbreeHGF24
Christophe Limbrée, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi:
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. ISoLA (5) 2024: 127-141
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeekFGLP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekFGLP24
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi:
Can AI Help with the Formalization of Railway Cybersecurity Requirements? ISoLA (1) 2024: 186-203
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BasileBCCGFG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BasileBCCGFG24
Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori:
An Integrated Perspective on the Evaluation of Complex Railway Systems. ISoLA (5) 2024: 190-207
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/FantechiGS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FantechiGS24
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Exploring LLMs' Ability to Detect Variability in Requirements. REFSQ 2024: 178-188
[i6]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/0001BGCF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/0001BGCF24
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi:
Advanced Integrated Evaluation of Railway Systems . ERCIM News 2024(137) (2024)
2023
[j40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/HaxthausenF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/HaxthausenF23
Anne Elisabeth Haxthausen, Alessandro Fantechi:
Compositional Verification of Railway Interlocking Systems. Formal Aspects Comput. 35(1): 4:1-4:46 (2023)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/FantechiGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/FantechiGS23
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
VIBE: Looking for Variability In amBiguous rEquirements. J. Syst. Softw. 195: 111540 (2023)
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HaxthausenFG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HaxthausenFG23
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori:
Decomposing the Verification of Interlocking Systems. Applicable Formal Methods for Safe Industrial Products 2023: 96-113
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BelliFGMMQTV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BelliFGMMQTV23
Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi:
The 4SECURail Case Study on Rigorous Standard Interface Specifications. FMICS 2023: 22-39
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FantechiGPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FantechiGPS23
Alessandro Fantechi, Stefania Gnesi, Lucia C. Passaro, Laura Semini:
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. RE 2023: 335-340
[c125]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/FantechiGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FantechiGS23
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. REFSQ Workshops 2023
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/HaxthausenFGMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/HaxthausenFGMP23
Anne E. Haxthausen, Alessandro Fantechi, Gloria Gori, Óli Kárason Mikkelsen, Sofie-Amalie Petersen:
Automated Compositional Verification of Interlocking Systems. RSSRail 2023: 146-164
2022
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/FantechiGP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/FantechiGP22
Alessandro Fantechi, Gloria Gori, Marco Papini:
Runtime Reliability Monitoring for Complex Fault-Tolerance Policies. ICSRS 2022: 110-119
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiGH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiGH22
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Control Systems of Future Railways. ISoLA (4) 2022: 243-245
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiGG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiGG22
Alessandro Fantechi, Stefania Gnesi, Gloria Gori:
Future Train Control Systems: Challenges for Dependability Assessment. ISoLA (4) 2022: 269-285
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/FantechiGP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/FantechiGP22
Alessandro Fantechi, Gloria Gori, Marco Papini:
Software rejuvenation and runtime reliability monitoring. ISSRE Workshops 2022: 162-169
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/FantechiGHL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/FantechiGHL22
Alessandro Fantechi, Gloria Gori, Anne E. Haxthausen, Christophe Limbrée:
Compositional Verification of Railway Interlockings: Comparison of Two Methods. RSSRail 2022: 3-19
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/FlamminiDFV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/FlamminiDFV22
Francesco Flammini, Lorenzo De Donato, Alessandro Fantechi, Valeria Vittorini:
A Vision of Intelligent Train Control. RSSRail 2022: 192-208
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/2022
Paolo Arcaini, Xavier Devroey, Alessandro Fantechi:
VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022. ACM 2022, ISBN 978-1-4503-9604-2 [contents]
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-12111
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-12111
Alessandro Fantechi, Gloria Gori, Marco Papini:
Runtime reliability monitoring for complex fault-tolerance policies. CoRR abs/2208.12111 (2022)
2021
[j38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/FantechiHW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/FantechiHW21
Alessandro Fantechi, Anne E. Haxthausen, Jim Woodcock:
Editorial. Formal Aspects Comput. 33(6): 923-924 (2021)
[j37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BasileFRM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BasileFRM21
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò:
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. Formal Aspects Comput. 33(6): 957-987 (2021)
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FantechiGS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FantechiGS21
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Language and Communication Problems in Formalization: A Natural Language Approach. Logic, Computation and Rigorous Methods 2021: 121-134
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BasileFR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BasileFR21
Davide Basile, Alessandro Fantechi, Irene Rosadi:
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. FMICS 2021: 174-190
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FantechiGLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FantechiGLS21
Alessandro Fantechi, Stefania Gnesi, Samuele Livi, Laura Semini:
A spaCy-based tool for extracting variability from NL requirements. SPLC (B) 2021: 32-35
2020
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/CarnevaliFGV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/CarnevaliFGV20
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario:
Stochastic modeling and analysis of road-tramway intersections. Innov. Syst. Softw. Eng. 16(2): 215-230 (2020)
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/0001MBBF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0001MBBF20
Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi:
Comparing formal tools for system design: a judgment study. ICSE 2020: 62-74
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BasileBGFGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BasileBGFGS20
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo:
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) 2020: 368-384
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiGH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiGH20
Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Computing in Future Railway Systems. ISoLA (3) 2020: 389-392
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BasileBF0GMMPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BasileBF0GMMPT20
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini:
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) 2020: 467-485
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/ArrabitoFGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/ArrabitoFGS20
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. QUATIC 2020: 488-498
[c109]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/ArrabitoFGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/ArrabitoFGS20
Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
A comparison of NLP Tools for RE to extract Variation Points. REFSQ Workshops 2020
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/sci/ArganeseFGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sci/ArganeseFGS20
Eleonora Arganese, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents. Integrating Research and Practice in Software Engineering 2020: 125-143

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BeekFS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BeekFS19
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini:
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. From Software Engineering to Formal Methods and Tools, and Back 2019: 1-11
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FantechiNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FantechiNS19
Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani:
From Behavioural Contracts to Session Types. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 278-297
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BeekBFFGLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BeekBFFGLM19
Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti:
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM 2019: 762-772
[c105]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/FantechiGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/FantechiGS19
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
From Generic Requirements to Variability. REFSQ Workshops 2019
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/Fantechi19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/Fantechi19
Alessandro Fantechi:
Connected or Autonomous Trains? RSSRail 2019: 3-19
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/BasileFRM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/BasileFRM19
Davide Basile, Alessandro Fantechi, Luigi Rucher, Gianluca Mandò:
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. RSSRail 2019: 41-58
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/FerrariBMBFGPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/FerrariBMBFGPT19
Alessio Ferrari, Maurice H. ter Beek, Franco Mazzanti, Davide Basile, Alessandro Fantechi, Stefania Gnesi, Andrea Piattino, Daniele Trentini:
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail 2019: 226-241
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/rtsi/CarnevaliCFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtsi/CarnevaliCFP19
Laura Carnevali, Lorenzo Ciani, Alessandro Fantechi, Marco Papini:
A novel layered approach to evaluate reliability of complex systems. RTSI 2019: 291-295
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/CeccarelliBBFFF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/CeccarelliBBFFF19
Andrea Ceccarelli, Davide Basile, Andrea Bondavalli, Lorenzo Falai, Alessandro Fantechi, Sandro Ferrari, Gianluca Mandò, Nicola Nostro, Luigi Rucher:
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. SAFECOMP Workshops 2019: 185-197
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FantechiGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FantechiGS19
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Applying the QuARS tool to detect variability. SPLC (B) 2019: 62:1-62:4
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2019gnesi
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2019gnesi
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini:
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer 2019, ISBN 978-3-030-30984-8 [contents]
[i4]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/GiandomenicoGSF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/GiandomenicoGSF19
Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi:
Smart Services for Railways. ERCIM News 2019(117) (2019)
2018
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/FerrariGRTBFG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/FerrariGRTBFG18
Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi:
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Empir. Softw. Eng. 23(6): 3684-3733 (2018)
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BeekFGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BeekFGM18
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta 2018: 110-128
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FantechiH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FantechiH18
Alessandro Fantechi, Anne E. Haxthausen:
Safety Interlocking as a Distributed Mutual Exclusion Problem. FMICS 2018: 52-66
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BasileBFGMPTF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BasileBFGMPTF18
Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari:
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM 2018: 20-29
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FantechiFGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FantechiFGS18
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini:
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. RE 2018: 418-423
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekFG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekFG18
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Product line models of large cyber-physical systems: the case of ERTMS/ETCS. SPLC 2018: 208-214
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/FantechiFGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/FantechiFGS18
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Semini:
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. VaMoS 2018: 43-50
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/CarnevaliFGV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/CarnevaliFGV18
Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario:
Analysis of a Road/Tramway Intersection by the ORIS Tool. VECoS 2018: 185-199
[i3]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/BeekFFGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BeekFFGS18
Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno:
Formal Methods for the Railway Sector. ERCIM News 2018(112) (2018)
2017
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/telsys/PaganelliAFG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/telsys/PaganelliAFG17
Federica Paganelli, Terence Ambra, Alessandro Fantechi, Dino Giuli:
Formalizing REST APIs for web-based communication and SIP interworking. Telecommun. Syst. 66(1): 75-93 (2017)
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FantechiGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FantechiGS17
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Optimizing Feature Interaction Detection. FMICS-AVoCS 2017: 201-216
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MacedoFH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MacedoFH17
Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen:
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. NFM 2017: 146-162
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/FantechiHN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/FantechiHN17
Alessandro Fantechi, Anne E. Haxthausen, Michel Boje Randahl Nielsen:
Model Checking Geographically Distributed Interlocking Systems Using UMC. PDP 2017: 278-286
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/RosadiniFGFGTB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/RosadiniFGFGTB17
Benedetta Rosadini, Alessio Ferrari, Gloria Gori, Alessandro Fantechi, Stefania Gnesi, Iacopo Trotta, Stefano Bacherini:
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. REFSQ 2017: 344-360
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FantechiHM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FantechiHM17
Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo:
Compositional Verification of Interlocking Systems for Large Stations. SEFM 2017: 236-252
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/FantechiGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/FantechiGS17
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Ambiguity defects as variation points in requirements. VaMoS 2017: 13-19
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/2017
Alessandro Fantechi, Thierry Lecomte, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Lecture Notes in Computer Science 10598, Springer 2017, ISBN 978-3-319-68498-7 [contents]
2016
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/BeekFGM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/BeekFGM16
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Log. Algebraic Methods Program. 85(2): 287-315 (2016)
[j32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BonacchiFBT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BonacchiFBT16
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini:
Validation process for railway interlocking systems. Sci. Comput. Program. 128: 2-21 (2016)
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/Fantechi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/Fantechi16
Alessandro Fantechi:
Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems. FMICS-AVoCS 2016: 231-245
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiFG16
Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi:
Formal Methods and Safety Certification: Challenges in the Railways Domain. ISoLA (2) 2016: 261-265
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/MacedoFH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/MacedoFH16
Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen:
Compositional Verification of Multi-station Interlocking Systems. ISoLA (2) 2016: 279-293
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeekFGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekFGS16
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) 2016: 465-481
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/FantechiP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/FantechiP16
Alessandro Fantechi, Stefano Pepi:
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems. AMARETTO@MODELSWARD 2016: 5-13
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/PepiF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/PepiF16
Stefano Pepi, Alessandro Fantechi:
Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System. MODELSWARD (Revised Selected Papers) 2016: 46-69
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/FantechiG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/FantechiG16
Alessandro Fantechi, Stefania Gnesi:
Refinement of Behavioural Models for Variability Description. From Action Systems to Distributed Systems 2016: 155-169
2015
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekFG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekFG15
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC 2015: 321-326
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BeekFGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BeekFGM15
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
Using FMC for family-based analysis of software product lines. SPLC 2015: 432-439
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/2015
Alessandro Fantechi, Patrizio Pelliccione:
Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. Lecture Notes in Computer Science 9274, Springer 2015, ISBN 978-3-319-23128-0 [contents]
2014
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/FantechiFG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FantechiFG14
Alessandro Fantechi, Francesco Flammini, Stefania Gnesi:
Formal methods for railway control systems. Int. J. Softw. Tools Technol. Transf. 16(6): 643-646 (2014)
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BonacchiF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BonacchiF14
Andrea Bonacchi, Alessandro Fantechi:
On the Validation of an Interlocking System by Model-Checking. FMICS 2014: 94-108
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeekFG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeekFG14
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) 2014: 351-367
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/ClaudioFMMN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/ClaudioFMMN14
Mariano Di Claudio, Alessandro Fantechi, Giacomo Martelli, Simone Menabeni, Paolo Nesi:
Model-based development of an automatic train operation component for communication based train control. ITSC 2014: 1015-1020
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/BonacchiF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/BonacchiF14
Andrea Bonacchi, Alessandro Fantechi:
Validation of Interlocking Systems by Testing their Models. QUATIC 2014: 226-229
[e4]
- view
- export record
  dblp key:
  - conf/splc/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2014
Stefania Gnesi, Alessandro Fantechi, Patrick Heymans, Julia Rubin, Krzysztof Czarnecki, Deepak Dhungana:
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014. ACM 2014, ISBN 978-1-4503-2740-4 [contents]
[e3]
- view
- export record
  dblp key:
  - conf/splc/2014w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2014w
Stefania Gnesi, Alessandro Fantechi, Maurice H. ter Beek, Goetz Botterweck, Martin Becker:
18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014. ACM 2014, ISBN 978-1-4503-2739-8 [contents]
2013
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/ijbis/BernardiniPMFI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijbis/BernardiniPMFI13
Gionni Bernardini, Federica Paganelli, Mauro Manetti, Alessandro Fantechi, Ernesto Iadanza:
SYRMA: a tool for a system approach to risk management in mission critical systems. Int. J. Bus. Inf. Syst. 13(1): 21-44 (2013)
[j29]
- view
  - electronic edition @ ejlt.org
  - no references & citations available
- export record
  dblp key:
  - journals/jilt/FantechiNPVM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jilt/FantechiNPVM13
Alessandro Fantechi, Chris D. Nugent, Alessandro Pinzuti, Enrico Vicario, Tommaso Magherini:
An On-line system for automated recognition of human activities. Eur. J. Law Technol. 4(2) (2013)
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/MichauxNF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MichauxNF13
Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Session types for safe Web service orchestration. J. Log. Algebraic Methods Program. 82(8): 282-310 (2013)
[j27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FerrariFMGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FerrariFMGT13
Alessio Ferrari, Alessandro Fantechi, Gianluca Magnani, Daniele Grasso, Matteo Tempestini:
The Metrô Rio case study. Sci. Comput. Program. 78(7): 828-842 (2013)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/software/FerrariFGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/FerrariFGM13
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi, Gianluca Magnani:
Model-Based Development and Formal Methods in the Railway Industry. IEEE Softw. 30(3): 28-34 (2013)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/thms/MagheriniFNV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/thms/MagheriniFNV13
Tommaso Magherini, Alessandro Fantechi, Chris D. Nugent, Enrico Vicario:
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living. IEEE Trans. Hum. Mach. Syst. 43(6): 509-521 (2013)
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/fgct/AmbraPFGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fgct/AmbraPFGM13
Terence Ambra, Federica Paganelli, Alessandro Fantechi, Dino Giuli, Lorenzo Mazzi:
Resource-oriented design towards the convergence of Web-centric and Telecom-centric services. FGCT 2013: 120-125
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Fantechi13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Fantechi13
Alessandro Fantechi:
Twenty-Five Years of Formal Methods and Railways: What Next? SEFM Workshops 2013: 167-183
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BonacchiFBTC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BonacchiFBTC13
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani:
Validation of Railway Interlocking Systems by Formal Verification, A Case Study. SEFM Workshops 2013: 237-252
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/GiandomenicoFGI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/GiandomenicoFGI13
Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria:
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. SERENE 2013: 184-198
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/Fantechi13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/Fantechi13
Alessandro Fantechi:
Topologically configurable systems as product families. SPLC 2013: 151-156
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MichauxNF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MichauxNF13
Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Safe Session-Based Service Orchestration with Unreliable Communication. WS-FM 2013: 106-126
2012
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FantechiGLMPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FantechiGLMPT12
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3): 16:1-16:46 (2012)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AsirelliBFG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AsirelliBFG12
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) 2012: 146-161
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/FantechiFG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/FantechiFG12
Alessandro Fantechi, Francesco Flammini, Stefania Gnesi:
Formal Methods for Intelligent Transportation Systems. ISoLA (2) 2012: 187-189
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/Fantechi12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/Fantechi12
Alessandro Fantechi:
Distributing the Challenge of Model Checking Interlocking Control Tables. ISoLA (2) 2012: 276-289
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/FerrariFG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FerrariFG12
Alessio Ferrari, Alessandro Fantechi, Stefania Gnesi:
Lessons Learnt from the Adoption of Formal Model-Based Development. NASA Formal Methods 2012: 24-38
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/BonacchiFBTC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/BonacchiFBTC12
Andrea Bonacchi, Alessandro Fantechi, Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani:
A GUI Testability Problem: A Case Study in the Railway Signaling Domain. QUATIC 2012: 103-107
[c62]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-6114
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-6114
Jonathan Michaux, Elie Najm, Alessandro Fantechi:
Adding Sessions to BPEL. WWV 2012: 60-76
2011
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/ijertcs/FerrariMGFT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijertcs/FerrariMGFT11
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi, Matteo Tempestini:
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. Int. J. Embed. Real Time Commun. Syst. 2(2): 42-61 (2011)
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CoferFLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CoferFLM11
Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino:
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. 76(2): 63-64 (2011)
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BeekFGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BeekFGM11
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2): 119-135 (2011)
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AsirelliBFG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AsirelliBFG11
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AsirelliBFGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AsirelliBFGM11
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
Design and validation of variability in product lines. PLEASE@ICSE 2011: 25-30
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/FantechiG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/FantechiG11
Alessandro Fantechi, Stefania Gnesi:
On the Adoption of Model Checking in Safety-Related Software Industry. SAFECOMP 2011: 383-396
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sew/BeekGFF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sew/BeekGFF11
Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro:
Variability and Rigour in Service Computing Engineering. SEW 2011: 122-127
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/AsirelliBGF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/AsirelliBGF11
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
Formal Description of Variability in Product Families. SPLC 2011: 130-139
2010
[c56]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/acota/BeekGFZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acota/BeekGFZ10
Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro:
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA 2010: 14-19
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FerrariGMFT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FerrariGMFT10
Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini:
The Metrô Rio ATP Case Study. FMICS 2010: 1-16
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/forms/FerrariMGF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forms/FerrariMGF10
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi:
Model Checking Interlocking Control Tables. FORMS/FORMAT 2010: 107-115
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/GrassoFFBB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/GrassoFFBB10
Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini:
Model Based Testing and Abstract Interpretation in the Railway Signaling Context. ICST 2010: 103-106
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/AsirelliBFG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/AsirelliBFG10
Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
A Logical Framework to Deal with Variability. IFM 2010: 43-58
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BucchiaroneGFT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BucchiaroneGFT10
Antonio Bucchiarone, Stefania Gnesi, Alessandro Fantechi, Gianluca Trentanni:
An experience in using a tool for evaluating a large set of natural language requirements. SAC 2010: 281-286
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/serene/FerrariPFG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serene/FerrariPFG10
Alessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso:
An industrial application of formal model based development: the Metrô Rio ATP case. SERENE 2010: 71-76
[c49]
- view
  - electronic edition @ vamos-workshop.net
  - no references & citations available
- export record
  dblp key:
  - conf/vamos/AsirelliBGF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/AsirelliBGF10
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FerrariFBZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FerrariFBZ09
Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni:
Formal Development for Railway Signaling Using Commercial Tools. FMICS 2009: 197-198
[c47]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/nfm/FerrariFBZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/FerrariFBZ09
Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni:
Modeling Guidelines for Code Generation in the Railway Signaling Context. NASA Formal Methods 2009: 166-170
[c46]
- view
  - electronic edition @ vamos-workshop.net
  - no references & citations available
- export record
  dblp key:
  - conf/vamos/AsirelliBGF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/AsirelliBGF09
Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/2008
Darren D. Cofer, Alessandro Fantechi:
Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5596, Springer 2009, ISBN 978-3-642-03239-4 [contents]
2008
[j20]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/csse/BanciGFL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csse/BanciGFL08
Michele Banci, Stefania Gnesi, Alessandro Fantechi, Giovanni Lombardi:
Model driven development of railway systems using diversity. Comput. Syst. Sci. Eng. 23(5) (2008)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/FantechiN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/FantechiN08
Alessandro Fantechi, Elie Najm:
Session Types for Orchestration Charts. COORDINATION 2008: 117-134
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/FantechiGLMPT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FantechiGLMPT08
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/FantechiF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/FantechiF08
Alessandro Fantechi, Alessio Ferrari:
Panel Discussion on Formal Methods in Commercial Software Development Tools. FMICS 2008: 4-6
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WirsingHABCFGGGKLMMPSTTV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08
Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BucchiaroneGLTF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BucchiaroneGLTF08
Antonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi:
QuARS Express - A Tool Demonstration. ASE 2008: 473-474
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FantechiG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FantechiG08
Alessandro Fantechi, Stefania Gnesi:
Formal Modeling for Product Families Engineering. SPLC 2008: 193-202
[i2]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/BucchiaroneGTF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/BucchiaroneGTF08
Antonio Bucchiarone, Stefania Gnesi, Gianluca Trentanni, Alessandro Fantechi:
Evaluation of Natural Language Requirements in the MODCONTROL Project. ERCIM News 2008(75) (2008)
[i1]
- view
  - electronic edition @ ercim.eu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ercim/FantechiGL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/FantechiGL08
Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Experimenting with Diversity in the Formal Development of Railway Signalling Systems. ERCIM News 2008(75) (2008)
2007
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BeekFGM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BeekFGM07
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. FMICS 2007: 133-148
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/BanciFGL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/BanciFGL07
Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Model Driven Development and Code Generation: An Automotive Case Study. SDL Forum 2007: 19-34
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BanciFGL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BanciFGL07
Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi:
Experimenting with diversity in the model driven development of a railway signaling system. EFTS 2007: 5
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/FantechiG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/FantechiG07
Alessandro Fantechi, Stefania Gnesi:
A behavioural model for product families. ESEC/SIGSOFT FSE 2007: 521-524
2006
[j19]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/jid/BanciFG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jid/BanciFG06
Michele Banci, Alessandro Fantechi, Stefania Gnesi:
Statecharts Composition to Model Topologically Distributed Applications. Trans. SDPS 10(1): 1-15 (2006)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BacheriniFTZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BacheriniFTZ06
Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni:
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. FM 2006: 179-189
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/rodin/FantechiGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rodin/FantechiGS06
Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Achieving Fault Tolerance by a Formally Validated Interaction Policy. RODIN Book 2006: 133-152
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BertolinoFGL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BertolinoFGL06
Antonia Bertolino, Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami:
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Software Product Lines 2006: 425-445
2005
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/adt/CarrezFN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/adt/CarrezFN05
Cyril Carrez, Alessandro Fantechi, Elie Najm:
Assembling components with behavioural contracts. Ann. des Télécommunications 60(7-8): 989-1022 (2005)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/BecucciFGS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/BecucciFGS05
Marcello Becucci, Alessandro Fantechi, Marco Giromini, Emilio Spinicci:
A comparison between handwritten and automatic generation of C code from SDL using static analysis. Softw. Pract. Exp. 35(14): 1317-1347 (2005)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BanciF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BanciF05
Michele Banci, Alessandro Fantechi:
Instantiating generic charts for railway interlocking systems. FMICS 2005: 134-143
[c32]
- view
  - electronic edition @ puc-rio.br (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wer/FantechiS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wer/FantechiS05
Alessandro Fantechi, Emilio Spinicci:
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents. WER 2005: 245-256
2004
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/das/CasciniFS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/das/CasciniFS04
Gaetano Cascini, Alessandro Fantechi, Emilio Spinicci:
Natural Language Processing of Patents and Technical Documentation. Document Analysis Systems 2004: 508-520
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/MeolicFG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MeolicFG04
Robert Meolic, Alessandro Fantechi, Stefania Gnesi:
Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/FantechiGLN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/FantechiGLN04
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti:
A Methodology for the Derivation and Verification of Use Cases for Product Lines. SPLC 2004: 255-265
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BanciF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BanciF05
Michele Banci, Alessandro Fantechi:
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. FMICS 2004: 3-19
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BanciBFS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BanciBFS05
Michele Banci, Marcello Becucci, Alessandro Fantechi, Emilio Spinicci:
Validation Coverage for a Component-based SDL model of a Railway Signaling System. TACoS 2004: 99-111
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FantechiGM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FantechiGM05
Alessandro Fantechi, Stefania Gnesi, Adriana Maggiore:
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. TACoS 2004: 199-211
2003
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/re/FantechiGLM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/FantechiGLM03
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari:
Applications of linguistic techniques for use case analysis. Requir. Eng. 8(3): 161-170 (2003)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/CarrezFN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CarrezFN03
Cyril Carrez, Alessandro Fantechi, Elie Najm:
Behavioural Contracts for a Sound Assembly of Components. FORTE 2003: 111-126
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/pfe/FantechiGJLD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pfe/FantechiGJLD03
Alessandro Fantechi, Stefania Gnesi, Isabel John, Giuseppe Lami, Jörg Dörr:
Elicitation of Use Cases for Product Lines. PFE 2003: 152-167
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FantechiS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FantechiS03
Alessandro Fantechi, Emilio Spinicci:
Modelling and Validating a multiple-configuration railway signalling system using SDL. TACoS 2003: 66-76
2002
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/BernardeschiFG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/BernardeschiFG02
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Model checking fault tolerant systems. Softw. Test. Verification Reliab. 12(4): 251-275 (2002)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/re/FantechiGLM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/FantechiGLM02
Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari:
Application of Linguistic Techniques for Use Case Analysis. RE 2002: 157-164
2001
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/FrancescoFGI01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/FrancescoFGI01
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi:
Finite Approximations for Model Checking Non-finite-state Processes. Comput. J. 44(2): 109-123 (2001)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/micro/BondavalliFLS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/micro/BondavalliFLS01
Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini:
Design Validation of Embedded Dependable Systems. IEEE Micro 21(5): 52-62 (2001)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/BernardeschiFG01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/BernardeschiFG01
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal validation of fault-tolerance mechanisms inside GUARDS. Reliab. Eng. Syst. Saf. 71(3): 261-270 (2001)
2000
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/BernardeschiFS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/BernardeschiFS00
Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini:
Formally Verifying Fault Tolerant System Designs. Comput. J. 43(3): 191-205 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/PowellABBCFJRW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/PowellABBCFJRW99
David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings:
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. IEEE Trans. Parallel Distributed Syst. 10(6): 580-599 (1999)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BernardeschiFG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BernardeschiFG99
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal Validation of the GUARDS Inter-Consistency Mechanism. SAFECOMP 1999: 420-430
[e1]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/fmoods/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/1999
Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri:
Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. IFIP Conference Proceedings 139, Kluwer 1999, ISBN 0-7923-8429-6 [contents]
1998
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BernardeschiFGLMR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BernardeschiFGLMR98
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano:
A Formal Verification Environment for Railway Signaling System Design. Formal Methods Syst. Des. 12(2): 139-161 (1998)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FantechiGMPT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FantechiGMPT98
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci:
A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/isorc/BernardeschiSF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isorc/BernardeschiSF98
Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi:
Validating the Design of Dependable Systems. ISORC 1998: 364-372
1997
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/BernardeschiFG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/BernardeschiFG97
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
An industrial application for the JACK environment. J. Syst. Softw. 39(3): 249-264 (1997)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/csmr/FantechiNS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csmr/FantechiNS97
Alessandro Fantechi, Paolo Nesi, E. Somma:
Object-Oriented Analysis of COBOL. CSMR 1997: 157-164
1996
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/FantechiGL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FantechiGL96
Alessandro Fantechi, Stefania Gnesi, Diego Latella:
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. CONCUR 1996: 563-578
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/BernardeschiFGM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/BernardeschiFGM96
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi:
Proving Safety Properties for Embedded Control Systems. EDCC 1996: 321-332
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BernardeschiFG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BernardeschiFG96
Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal Verification of Safety Requirements on Complex Systems. SAFECOMP 1996: 21-30
1995
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/NicolaFGLR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/NicolaFGLR95
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori:
Verifying hardware components within JACK. CHARME 1995: 246-260
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/AnselmiBFGLMT95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/AnselmiBFGLMT95
A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli:
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. SAFECOMP 1995: 474-488
[c12]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/BernardeschiFP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/BernardeschiFP95
Cinzia Bernardeschi, Alessandro Fantechi, Fabio Paternò:
Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. SEKE 1995: 234-243
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FrancescoFGI95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FrancescoFGI95
Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi:
Model Checking of Non-Finite State Processes by Finite Approximations. TACAS 1995: 195-215
1994
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FantechiGR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FantechiGR94
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
Model Checking for Action-Based Logics. Formal Methods Syst. Des. 4(2): 187-203 (1994)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FantechiGRCVM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FantechiGRCVM94
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini:
Assisting Requirement Formalization by Means of Natural Language Translation. Formal Methods Syst. Des. 4(3): 243-263 (1994)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/BernardeschiFS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/BernardeschiFS94
Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini:
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. EDCC 1994: 77-94
[c9]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/FantechiGS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FantechiGS94
Alessandro Fantechi, Stefania Gnesi, R. Sacchelli:
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. FORTE 1994: 218-220
1993
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/NicolaFGR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/NicolaFGR93
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Comput. Networks ISDN Syst. 25(7): 761-778 (1993)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/FantechiGP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/FantechiGP93
Alessandro Fantechi, Stefania Gnesi, V. Perticaroli:
An Expressive Logic for Basic Process Algebra. MFCS 1993: 453-462
1991
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/FantechiG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/FantechiG91
Alessandro Fantechi, Stefania Gnesi:
Compositionality and Bisimulation: A Negative Result. Inf. Process. Lett. 39(2): 109-114 (1991)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/FantechiGLT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/FantechiGLT91
Alessandro Fantechi, Stefania Gnesi, F. Leggio, P. Talini:
Executing the formal definition of Ada. ACM SIGPLAN Notices 26(3): 25-34 (1991)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/NicolaFGR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/NicolaFGR91
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. CAV 1991: 37-47
1990
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/FantechiGM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FantechiGM90
Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini:
How Expressive Are LOTOS Behaviour Expressions? FORTE 1990: 17-32
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/FantechiGR90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/FantechiGR90
Alessandro Fantechi, Stefania Gnesi, Gioia Ristori:
Compositional logic semantics and LOTOS. PSTV 1990: 365-378

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/FantechiGL89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/FantechiGL89
Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve:
An Expressive Temporal Logic for Basic LOTOS. FORTE 1989: 261-276
1987
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/BaiardiFTV87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/BaiardiFTV87
Fabrizio Baiardi, Alessandro Fantechi, A. Tomasi, Marco Vanneschi:
Distributed Implementation of Nested Communicating Sequential Processes: Communication and Termination. J. Parallel Distributed Comput. 4(6): 531-545 (1987)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/FantechiGIM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/FantechiGIM87
Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari:
An Executon Environment for the Formal Definiton of Ada. ESEC 1987: 327-335
1986
[j1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/spe/FantechiIL86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/FantechiIL86
Alessandro Fantechi, Paola Inverardi, Norma Lijtmaer:
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. Softw. Pract. Exp. 16(8): 701-717 (1986)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/AcetoNF86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/AcetoNF86
Luca Aceto, Rocco De Nicola, Alessandro Fantechi:
Testing Equivalences for Event Structures. Mathematical Models for the Semantics of Parallelism 1986: 1-20
1982
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/adatec/FantechiG82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adatec/FantechiG82
Alessandro Fantechi, F. Gallo:
Portable Ada programming system: a proposed run-time architecture. AdaTEC Conference on Ada 1982: 48-56

Coauthor Index

see FAQ

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.