BibTeX records: Matteo Tempestini

• > Home > Persons > Matteo Tempestini

@article{DBLP:journals/scp/BonacchiFBT16,
  author       = {Andrea Bonacchi and
                  Alessandro Fantechi and
                  Stefano Bacherini and
                  Matteo Tempestini},
  title        = {Validation process for railway interlocking systems},
  journal      = {Sci. Comput. Program.},
  volume       = {128},
  pages        = {2--21},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.04.004},
  doi          = {10.1016/J.SCICO.2016.04.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BonacchiFBT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FerrariFMGT13,
  author       = {Alessio Ferrari and
                  Alessandro Fantechi and
                  Gianluca Magnani and
                  Daniele Grasso and
                  Matteo Tempestini},
  title        = {The Metr{\^{o}} Rio case study},
  journal      = {Sci. Comput. Program.},
  volume       = {78},
  number       = {7},
  pages        = {828--842},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.scico.2012.04.003},
  doi          = {10.1016/J.SCICO.2012.04.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FerrariFMGT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BonacchiFBTC13,
  author       = {Andrea Bonacchi and
                  Alessandro Fantechi and
                  Stefano Bacherini and
                  Matteo Tempestini and
                  Leonardo Cipriani},
  editor       = {Steve Counsell and
                  Manuel N{\'{u}}{\~{n}}ez},
  title        = {Validation of Railway Interlocking Systems by Formal Verification,
                  {A} Case Study},
  booktitle    = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
                  BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
                  September 23-24, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8368},
  pages        = {237--252},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05032-4\_18},
  doi          = {10.1007/978-3-319-05032-4\_18},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/BonacchiFBTC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/quatic/BonacchiFBTC12,
  author       = {Andrea Bonacchi and
                  Alessandro Fantechi and
                  Stefano Bacherini and
                  Matteo Tempestini and
                  Leonardo Cipriani},
  editor       = {Jo{\~{a}}o Pascoal Faria and
                  Alberto Rodrigues da Silva and
                  Ricardo Jorge Machado},
  title        = {A {GUI} Testability Problem: {A} Case Study in the Railway Signaling
                  Domain},
  booktitle    = {8th International Conference on the Quality of Information and Communications
                  Technology, {QUATIC} 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings},
  pages        = {103--107},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QUATIC.2012.10},
  doi          = {10.1109/QUATIC.2012.10},
  timestamp    = {Wed, 09 Aug 2023 08:39:51 +0200},
  biburl       = {https://dblp.org/rec/conf/quatic/BonacchiFBTC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijertcs/FerrariMGFT11,
  author       = {Alessio Ferrari and
                  Gianluca Magnani and
                  Daniele Grasso and
                  Alessandro Fantechi and
                  Matteo Tempestini},
  title        = {Adoption of Model-Based Testing and Abstract Interpretation by a Railway
                  Signalling Manufacturer},
  journal      = {Int. J. Embed. Real Time Commun. Syst.},
  volume       = {2},
  number       = {2},
  pages        = {42--61},
  year         = {2011},
  url          = {https://doi.org/10.4018/jertcs.2011040103},
  doi          = {10.4018/JERTCS.2011040103},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijertcs/FerrariMGFT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/FerrariGMFT10,
  author       = {Alessio Ferrari and
                  Daniele Grasso and
                  Gianluca Magnani and
                  Alessandro Fantechi and
                  Matteo Tempestini},
  editor       = {Stefan Kowalewski and
                  Marco Roveri},
  title        = {The Metr{\^{o}} Rio {ATP} Case Study},
  booktitle    = {Formal Methods for Industrial Critical Systems - 15th International
                  Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6371},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15898-8\_1},
  doi          = {10.1007/978-3-642-15898-8\_1},
  timestamp    = {Tue, 09 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/FerrariGMFT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/BacheriniFTZ06,
  author       = {Stefano Bacherini and
                  Alessandro Fantechi and
                  Matteo Tempestini and
                  Niccol{\`{o}} Zingoni},
  editor       = {Jayadev Misra and
                  Tobias Nipkow and
                  Emil Sekerinski},
  title        = {A Story About Formal Methods Adoption by a Railway Signaling Manufacturer},
  booktitle    = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
                  Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4085},
  pages        = {179--189},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11813040\_13},
  doi          = {10.1007/11813040\_13},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/BacheriniFTZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}