BibTeX records: Giorgio Mongardi

• > Home > Persons > Giorgio Mongardi

@article{DBLP:journals/csse/BondavalliNSM01,
  author       = {Andrea Bondavalli and
                  Manuela Nelli and
                  Luca Simoncini and
                  Giorgio Mongardi},
  title        = {Hierarchical modelling of complex control systems: dependability analysis
                  of a railway interlocking},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {16},
  number       = {4},
  pages        = {249--261},
  year         = {2001},
  timestamp    = {Wed, 05 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csse/BondavalliNSM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CimattiGMRTT98,
  author       = {Alessandro Cimatti and
                  Fausto Giunchiglia and
                  Giorgio Mongardi and
                  Dario Romano and
                  Fernando Torielli and
                  Paolo Traverso},
  title        = {Formal Verification of a Railway Interlocking System using Model Checking},
  journal      = {Formal Aspects Comput.},
  volume       = {10},
  number       = {4},
  pages        = {361--380},
  year         = {1998},
  url          = {https://doi.org/10.1007/s001650050022},
  doi          = {10.1007/S001650050022},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CimattiGMRTT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BernardeschiFGLMR98,
  author       = {Cinzia Bernardeschi and
                  Alessandro Fantechi and
                  Stefania Gnesi and
                  Salvatore Larosa and
                  Giorgio Mongardi and
                  Dario Romano},
  title        = {A Formal Verification Environment for Railway Signaling System Design},
  journal      = {Formal Methods Syst. Des.},
  volume       = {12},
  number       = {2},
  pages        = {139--161},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008645826258},
  doi          = {10.1023/A:1008645826258},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BernardeschiFGLMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/BolognaBDMBPMK98,
  author       = {Sandro Bologna and
                  Rocco Bove and
                  Giovanni Dipoppa and
                  Giorgio Mongardi and
                  Gino Biondi and
                  Carmen Porzia and
                  Benny Graft Mortensen and
                  Niels Kirkegaard},
  editor       = {Wolfgang D. Ehrenberger},
  title        = {Applying Formal Methods in Industry The UseGat Project},
  booktitle    = {Computer Safety, Reliability and Security, 17th International Conference,
                  SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1516},
  pages        = {231--242},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49646-7\_18},
  doi          = {10.1007/3-540-49646-7\_18},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/BolognaBDMBPMK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/CimattiGMRTT98,
  author       = {Alessandro Cimatti and
                  Fausto Giunchiglia and
                  Giorgio Mongardi and
                  Dario Romano and
                  Fernando Torielli and
                  Paolo Traverso},
  editor       = {Wolfgang D. Ehrenberger},
  title        = {Model Checking Safety Critical Software with {SPIN:} An Application
                  to a Railway Interlocking System},
  booktitle    = {Computer Safety, Reliability and Security, 17th International Conference,
                  SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1516},
  pages        = {284--295},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49646-7\_22},
  doi          = {10.1007/3-540-49646-7\_22},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/CimattiGMRTT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/edcc/BernardeschiFGM96,
  author       = {Cinzia Bernardeschi and
                  Alessandro Fantechi and
                  Stefania Gnesi and
                  Giorgio Mongardi},
  editor       = {Andrzej Hlawiczka and
                  Jo{\~{a}}o Gabriel Silva and
                  Luca Simoncini},
  title        = {Proving Safety Properties for Embedded Control Systems},
  booktitle    = {Dependable Computing - EDCC-2, Second European Dependable Computing
                  Conference, Taormina, Italy, October 2-4, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1150},
  pages        = {321--332},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61772-8\_46},
  doi          = {10.1007/3-540-61772-8\_46},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/BernardeschiFGM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/AnselmiBFGLMT95,
  author       = {A. Anselmi and
                  Cinzia Bernardeschi and
                  Alessandro Fantechi and
                  Stefania Gnesi and
                  Salvatore Larosa and
                  Giorgio Mongardi and
                  Fernando Torielli},
  editor       = {Gerhard Rabe},
  title        = {An Experience in Formal Verification of Safety Properties of a Railway
                  Signalling Control System},
  booktitle    = {14th International Conference on Computer Safety, Reliability and
                  Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995},
  pages        = {474--488},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-1-4471-3054-3\_33},
  doi          = {10.1007/978-1-4471-3054-3\_33},
  timestamp    = {Tue, 25 Jun 2019 09:49:42 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/AnselmiBFGLMT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}