default search action

combined dblp search
author search
venue search
publication search

ask others

Daniele Trentini

> Home > Persons

Person information

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?

2023
[c4]
- 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
2020
[c3]
- 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

2010 – 2019

see FAQ

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

2019
[c2]
- 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
2018
[c1]
- 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

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.