BibTeX records: Vladimeros Vladimerou

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Vladimeros Vladimerou

download as .bib file

@inproceedings{DBLP:conf/vnc/SakrVJ19,
  author       = {Ahmed Hamdi Sakr and
                  Vladimeros Vladimerou and
                  Miles Johnson},
  title        = {Preceding Vehicle State Prediction Using {V2V} Safety Messages},
  booktitle    = {2019 {IEEE} Vehicular Networking Conference, {VNC} 2019, Los Angeles,
                  CA, USA, December 4-6, 2019},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/VNC48660.2019.9062805},
  doi          = {10.1109/VNC48660.2019.9062805},
  timestamp    = {Sun, 19 Apr 2020 11:03:20 +0200},
  biburl       = {https://dblp.org/rec/conf/vnc/SakrVJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itsc/SakrBVJ18,
  author       = {Ahmed Hamdi Sakr and
                  Gaurav Bansal and
                  Vladimeros Vladimerou and
                  Miles Johnson},
  editor       = {Wei{-}Bin Zhang and
                  Alexandre M. Bayen and
                  Javier J. S{\'{a}}nchez Medina and
                  Matthew J. Barth},
  title        = {Lane Change Detection Using {V2V} Safety Messages},
  booktitle    = {21st International Conference on Intelligent Transportation Systems,
                  {ITSC} 2018, Maui, HI, USA, November 4-7, 2018},
  pages        = {3967--3973},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ITSC.2018.8569690},
  doi          = {10.1109/ITSC.2018.8569690},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/SakrBVJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itsc/SakrBVKJ17,
  author       = {Ahmed Hamdi Sakr and
                  Gaurav Bansal and
                  Vladimeros Vladimerou and
                  Kris Kusano and
                  Miles Johnson},
  title        = {{V2V} and on-board sensor fusion for road geometry estimation},
  booktitle    = {20th {IEEE} International Conference on Intelligent Transportation
                  Systems, {ITSC} 2017, Yokohama, Japan, October 16-19, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ITSC.2017.8317876},
  doi          = {10.1109/ITSC.2017.8317876},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/SakrBVKJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PrabhakarVVD15,
  author       = {Pavithra Prabhakar and
                  Vladimeros Vladimerou and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  title        = {A decidable class of planar linear hybrid systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {574},
  pages        = {1--17},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2014.11.018},
  doi          = {10.1016/J.TCS.2014.11.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PrabhakarVVD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tac/VladimerouPVD12,
  author       = {Vladimeros Vladimerou and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  title        = {Verification of Bounded Discrete Horizon Hybrid Automata},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {57},
  number       = {6},
  pages        = {1445--1455},
  year         = {2012},
  url          = {https://doi.org/10.1109/TAC.2011.2178319},
  doi          = {10.1109/TAC.2011.2178319},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/VladimerouPVD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/VladimerouPVD11,
  author       = {Vladimeros Vladimerou and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  title        = {Specifications for decidable hybrid games},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {48},
  pages        = {6770--6785},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2011.08.036},
  doi          = {10.1016/J.TCS.2011.08.036},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/VladimerouPVD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/MartenssonV11,
  author       = {Karl M{\aa}rtensson and
                  Vladimeros Vladimerou},
  title        = {Distributed resource management using iterative gradient update synthesis},
  booktitle    = {American Control Conference, {ACC} 2011, San Francisco, CA, USA, June
                  29 - July 1, 2011},
  pages        = {3435--3440},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACC.2011.5990912},
  doi          = {10.1109/ACC.2011.5990912},
  timestamp    = {Wed, 08 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/MartenssonV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/us/Vladimerou09,
  author       = {Vladimeros Vladimerou},
  title        = {Specifications for Decidable Hybrid Automata and Games},
  school       = {University of Illinois Urbana-Champaign, {USA}},
  year         = {2009},
  url          = {https://hdl.handle.net/2142/81134},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Vladimerou09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/VladimerouPVD09,
  author       = {Vladimeros Vladimerou and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  editor       = {Rupak Majumdar and
                  Paulo Tabuada},
  title        = {{STORMED} Hybrid Games},
  booktitle    = {Hybrid Systems: Computation and Control, 12th International Conference,
                  {HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5469},
  pages        = {480--484},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00602-9\_39},
  doi          = {10.1007/978-3-642-00602-9\_39},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/VladimerouPVD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rtss/PrabhakarVVD09,
  author       = {Pavithra Prabhakar and
                  Vladimeros Vladimerou and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  editor       = {Theodore P. Baker},
  title        = {Verifying Tolerant Systems Using Polynomial Approximations},
  booktitle    = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
                  2009, Washington, DC, USA, 1-4 December 2009},
  pages        = {181--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/RTSS.2009.28},
  doi          = {10.1109/RTSS.2009.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/PrabhakarVVD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/PrabhakarVVD08,
  author       = {Pavithra Prabhakar and
                  Vladimeros Vladimerou and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  editor       = {Magnus Egerstedt and
                  Bud Mishra},
  title        = {A Decidable Class of Planar Linear Hybrid Systems},
  booktitle    = {Hybrid Systems: Computation and Control, 11th International Workshop,
                  {HSCC} 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4981},
  pages        = {401--414},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78929-1\_29},
  doi          = {10.1007/978-3-540-78929-1\_29},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/PrabhakarVVD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/VladimerouPVD08,
  author       = {Vladimeros Vladimerou and
                  Pavithra Prabhakar and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  editor       = {Luca Aceto and
                  Ivan Damg{\aa}rd and
                  Leslie Ann Goldberg and
                  Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Igor Walukiewicz},
  title        = {{STORMED} Hybrid Systems},
  booktitle    = {Automata, Languages and Programming, 35th International Colloquium,
                  {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
                  {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
                  Track {C:} Security and Cryptography Foundations},
  series       = {Lecture Notes in Computer Science},
  volume       = {5126},
  pages        = {136--147},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70583-3\_12},
  doi          = {10.1007/978-3-540-70583-3\_12},
  timestamp    = {Fri, 27 Mar 2020 09:02:59 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/VladimerouPVD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/sp/necs2005/VladimerouD05,
  author       = {Vladimeros Vladimerou and
                  Geir E. Dullerud},
  editor       = {Dimitrios Hristu{-}Varsakelis and
                  William S. Levine},
  title        = {Wireless Control with Bluetooth},
  booktitle    = {Handbook of Networked and Embedded Control Systems},
  pages        = {779--793},
  publisher    = {Birkh{\"{a}}user},
  year         = {2005},
  timestamp    = {Thu, 21 Jul 2005 14:19:27 +0200},
  biburl       = {https://dblp.org/rec/books/sp/necs2005/VladimerouD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/VladimerouSRFSD04,
  author       = {Vladimeros Vladimerou and
                  Andrew Stubbs and
                  Joel Rubel and
                  Adam Fulford and
                  Jeffrey Strick and
                  Geir E. Dullerud},
  title        = {A hovercraft testbed for decentralized and cooperative control},
  booktitle    = {Proceedings of the 2004 American Control Conference, {ACC} 2004, Boston,
                  MA, USA, June 30 - July 2, 2004},
  pages        = {5332--5337},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.23919/ACC.2004.1384700},
  doi          = {10.23919/ACC.2004.1384700},
  timestamp    = {Thu, 24 Nov 2022 09:21:27 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/VladimerouSRFSD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/StubbsVVD02,
  author       = {Andrew Stubbs and
                  Vladimeros Vladimerou and
                  Andy Vaughn and
                  Geir E. Dullerud},
  title        = {Development of a vehicle network control testbed},
  booktitle    = {American Control Conference, {ACC} 2002, Anchorage, Alaska, USA, May
                  8-10 2002},
  pages        = {3028--3033},
  publisher    = {{IEEE}},
  year         = {2002},
  url          = {https://doi.org/10.1109/ACC.2002.1025253},
  doi          = {10.1109/ACC.2002.1025253},
  timestamp    = {Wed, 27 Jul 2022 14:28:37 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/StubbsVVD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/StubbsVRD02,
  author       = {Andrew Stubbs and
                  Vladimeros Vladimerou and
                  Joel Rubel and
                  Geir E. Dullerud},
  title        = {Distributed control of network vehicles},
  booktitle    = {41st {IEEE} Conference on Decision and Control, {CDC} 2002, Las Vegas,
                  NV, USA, December 10-13, 2002},
  pages        = {1237--1238},
  publisher    = {{IEEE}},
  year         = {2002},
  url          = {https://doi.org/10.1109/CDC.2002.1184683},
  doi          = {10.1109/CDC.2002.1184683},
  timestamp    = {Tue, 08 Mar 2022 11:46:48 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/StubbsVRD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.