BibTeX records: Dario Romano

• > Home > Persons > Dario Romano

@inproceedings{DBLP:conf/splc/RomanoFBRR22,
  author       = {Dario Romano and
                  Kevin Feichtinger and
                  Danilo Beuche and
                  Uwe Ryssel and
                  Rick Rabiser},
  editor       = {Alexander Felfernig and
                  Lidia Fuentes and
                  Jane Cleland{-}Huang and
                  Wesley K. G. Assun{\c{c}}{\~{a}}o and
                  Cl{\'{e}}ment Quinton and
                  Jianmei Guo and
                  Klaus Schmid and
                  Marianne Huchard and
                  Inmaculada Ayala and
                  Jos{\'{e}} Miguel Rojas and
                  Viet{-}Man Le and
                  Jos{\'{e}} Miguel Horcas},
  title        = {Bridging the gap between academia and industry: transforming the universal
                  variability language to pure: : variants and back},
  booktitle    = {{SPLC} '22: 26th {ACM} International Systems and Software Product
                  Line Conference, Graz, Austria, September 12 - 16, 2022, Volume {B}},
  pages        = {123--131},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3503229.3547056},
  doi          = {10.1145/3503229.3547056},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/splc/RomanoFBRR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vamos/FeichtingerSRR21,
  author       = {Kevin Feichtinger and
                  Johann St{\"{o}}bich and
                  Dario Romano and
                  Rick Rabiser},
  editor       = {Paul Gr{\"{u}}nbacher and
                  Christoph Seidl and
                  Deepak Dhungana and
                  Helena Lovasz{-}Bukvova},
  title        = {{TRAVART:} An Approach for Transforming Variability Models},
  booktitle    = {VaMoS'21: 15th International Working Conference on Variability Modelling
                  of Software-Intensive Systems, Virtual Event / Krems, Austria, February
                  9-11, 2021},
  pages        = {8:1--8:10},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3442391.3442400},
  doi          = {10.1145/3442391.3442400},
  timestamp    = {Mon, 26 Jun 2023 20:49:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vamos/FeichtingerSRR21.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/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/cav/CimattiGPPPRTY97,
  author       = {Alessandro Cimatti and
                  Fausto Giunchiglia and
                  Paolo Pecchiari and
                  Bruno Pietra and
                  Joe Profeta and
                  Dario Romano and
                  Paolo Traverso and
                  Bing Yu},
  editor       = {Orna Grumberg},
  title        = {A Provably Correct Embedded Verifier for the Certification of Safety
                  Critical Software},
  booktitle    = {Computer Aided Verification, 9th International Conference, {CAV} '97,
                  Haifa, Israel, June 22-25, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1254},
  pages        = {202--213},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63166-6\_21},
  doi          = {10.1007/3-540-63166-6\_21},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CimattiGPPPRTY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}