BibTeX records: Victor Carreño

• > Home > Persons > Victor Carreño

@inproceedings{DBLP:conf/rodin/MunozCD06,
  author       = {C{\'{e}}sar A. Mu{\~{n}}oz and
                  Victor Carre{\~{n}}o and
                  Gilles Dowek},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Formal Analysis of the Operational Concept for the Small Aircraft
                  Transportation System},
  booktitle    = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
                  {RODIN} project]},
  series       = {Lecture Notes in Computer Science},
  volume       = {4157},
  pages        = {306--325},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11916246\_16},
  doi          = {10.1007/11916246\_16},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/rodin/MunozCD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/MunozDC04,
  author       = {C{\'{e}}sar A. Mu{\~{n}}oz and
                  Gilles Dowek and
                  Victor Carre{\~{n}}o},
  editor       = {George S. Avrunin and
                  Gregg Rothermel},
  title        = {Modeling and verification of an air traffic concept of operations},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
                  11-14, 2004},
  pages        = {175--182},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1007512.1007536},
  doi          = {10.1145/1007512.1007536},
  timestamp    = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/MunozDC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/MunozCDB03,
  author       = {C{\'{e}}sar A. Mu{\~{n}}oz and
                  Victor Carre{\~{n}}o and
                  Gilles Dowek and
                  Ricky W. Butler},
  title        = {Formal verification of conflict detection algorithms},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {4},
  number       = {3},
  pages        = {371--380},
  year         = {2003},
  url          = {https://doi.org/10.1007/s10009-002-0084-3},
  doi          = {10.1007/S10009-002-0084-3},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/MunozCDB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tphol/2002,
  editor       = {Victor Carre{\~{n}}o and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Sofi{\`{e}}ne Tahar},
  title        = {Theorem Proving in Higher Order Logics, 15th International Conference,
                  TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2410},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45685-6},
  doi          = {10.1007/3-540-45685-6},
  isbn         = {3-540-44039-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/charme/ButlerCDM01,
  author       = {Ricky W. Butler and
                  Victor Carre{\~{n}}o and
                  Gilles Dowek and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  editor       = {Tiziana Margaria and
                  Thomas F. Melham},
  title        = {Formal Verification of Conflict Detection Algorithms},
  booktitle    = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
                  10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
                  Scotland, UK, September 4-7, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2144},
  pages        = {403--417},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44798-9\_31},
  doi          = {10.1007/3-540-44798-9\_31},
  timestamp    = {Sun, 02 Jun 2019 21:23:48 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/ButlerCDM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/CarrenoM00,
  author       = {Victor Carre{\~{n}}o and
                  C{\'{e}}sar A. Mu{\~{n}}oz},
  editor       = {Mark D. Aagaard and
                  John Harrison},
  title        = {Aircraft Trajectory Modeling and Altering Algorithm Verification},
  booktitle    = {Theorem Proving in Higher Order Logics, 13th International Conference,
                  TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1869},
  pages        = {90--105},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44659-1\_6},
  doi          = {10.1007/3-540-44659-1\_6},
  timestamp    = {Tue, 15 Aug 2023 09:02:05 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/CarrenoM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/LuttgenC99,
  author       = {Gerald L{\"{u}}ttgen and
                  Victor Carre{\~{n}}o},
  editor       = {Dennis Dams and
                  Rob Gerth and
                  Stefan Leue and
                  Mieke Massink},
  title        = {Analyzing Mode Confusion via Model Checking},
  booktitle    = {Theoretical and Practical Aspects of {SPIN} Model Checking, 5th and
                  6th International {SPIN} Workshops, Trento, Italy, July 5, 1999, Toulouse,
                  France, September 21 and 24 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1680},
  pages        = {120--135},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48234-2\_9},
  doi          = {10.1007/3-540-48234-2\_9},
  timestamp    = {Mon, 15 Jun 2020 17:08:41 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/LuttgenC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/Carreno93,
  author       = {Victor Carre{\~{n}}o},
  editor       = {Jeffrey J. Joyce and
                  Carl{-}Johan H. Seger},
  title        = {Verification in Higher Order Logic of Mutual Exclusion Algorithm},
  booktitle    = {Higher Order Logic Theorem Proving and its Applications, 6th International
                  Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {780},
  pages        = {501--513},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57826-9\_159},
  doi          = {10.1007/3-540-57826-9\_159},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/Carreno93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}