BibTeX records: Giorgio Mongardi

download as .bib file

@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/bib/journals/csse/BondavalliNSM01},
  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 Asp. Comput.},
  volume    = {10},
  number    = {4},
  pages     = {361--380},
  year      = {1998},
  url       = {https://doi.org/10.1007/s001650050022},
  doi       = {10.1007/s001650050022},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/CimattiGMRTT98},
  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 in System Design},
  volume    = {12},
  number    = {2},
  pages     = {139--161},
  year      = {1998},
  url       = {https://doi.org/10.1023/A:1008645826258},
  doi       = {10.1023/A:1008645826258},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/BernardeschiFGLMR98},
  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},
  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},
  pages     = {231--242},
  year      = {1998},
  crossref  = {DBLP:conf/safecomp/1998},
  url       = {https://doi.org/10.1007/3-540-49646-7\_18},
  doi       = {10.1007/3-540-49646-7\_18},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/BolognaBDMBPMK98},
  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},
  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},
  pages     = {284--295},
  year      = {1998},
  crossref  = {DBLP:conf/safecomp/1998},
  url       = {https://doi.org/10.1007/3-540-49646-7\_22},
  doi       = {10.1007/3-540-49646-7\_22},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/CimattiGMRTT98},
  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},
  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},
  pages     = {321--332},
  year      = {1996},
  crossref  = {DBLP:conf/edcc/1996},
  url       = {https://doi.org/10.1007/3-540-61772-8\_46},
  doi       = {10.1007/3-540-61772-8\_46},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edcc/BernardeschiFGM96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/1998,
  editor    = {Wolfgang D. Ehrenberger},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49646-7},
  doi       = {10.1007/3-540-49646-7},
  isbn      = {3-540-65110-1},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/safecomp/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edcc/1996,
  editor    = {Andrzej Hlawiczka and
               Jo{\~{a}}o Gabriel Silva and
               Luca Simoncini},
  title     = {Dependable Computing - EDCC-2, Second European Dependable Computing
               Conference, Taormina, Italy, October 2-4, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1150},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61772-8},
  doi       = {10.1007/3-540-61772-8},
  isbn      = {3-540-61772-8},
  timestamp = {Mon, 22 May 2017 16:14:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edcc/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier