BibTeX records: Vladislav A. Volkov

• > Home > Persons > Vladislav A. Volkov

@inproceedings{DBLP:conf/cade/LetichevskyKLPVW10,
  author       = {Alexander A. Letichevsky and
                  Alexander Kolchin and
                  Oleksandr Letychevskyy Jr. and
                  Stepan Potiyenko and
                  Vladislav A. Volkov and
                  Thomas Weigert},
  editor       = {Andrei Voronkov and
                  Laura Kov{\'{a}}cs and
                  Nikolaj S. Bj{\o}rner},
  title        = {Formal Requirements Capturing using {VRS} system},
  booktitle    = {Second International Workshop on Invariant Generation, {WING} 2009,
                  York, UK, March 29, 2009 and Third International Workshop on Invariant
                  Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series       = {EPiC Series in Computing},
  volume       = {1},
  pages        = {148--149},
  publisher    = {EasyChair},
  year         = {2010},
  url          = {https://doi.org/10.29007/q6mc},
  doi          = {10.29007/Q6MC},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/LetichevskyKLPVW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cn/LetichevskyKLVBW05,
  author       = {Alexander A. Letichevsky and
                  Julia V. Kapitonova and
                  A. A. Letichevsky Jr. and
                  Vladislav A. Volkov and
                  Sergey Baranov and
                  Thomas Weigert},
  title        = {Basic protocols, message sequence charts, and the verification of
                  requirements specifications},
  journal      = {Comput. Networks},
  volume       = {49},
  number       = {5},
  pages        = {661--675},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.comnet.2005.05.005},
  doi          = {10.1016/J.COMNET.2005.05.005},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cn/LetichevskyKLVBW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sdl/LetichevskyKKVLW05,
  author       = {Alexander A. Letichevsky and
                  Julia V. Kapitonova and
                  Vsevolod Kotlyarov and
                  Vladislav A. Volkov and
                  A. A. Letichevsky Jr. and
                  Thomas Weigert},
  editor       = {Andreas Prinz and
                  Rick Reed and
                  Jeanne Reed},
  title        = {Semantics of Message Sequence Charts},
  booktitle    = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad,
                  Norway, June 20-23, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3530},
  pages        = {117--132},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11506843\_8},
  doi          = {10.1007/11506843\_8},
  timestamp    = {Wed, 25 Sep 2019 18:02:25 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/LetichevskyKKVLW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/crc/LetichevskyKWV05,
  author       = {Alexander A. Letichevsky and
                  Julia V. Kapitonova and
                  Thomas Weigert and
                  Vladislav A. Volkov},
  editor       = {Richard Zurawski},
  title        = {System Validation},
  booktitle    = {Embedded Systems Handbook},
  publisher    = {{CRC} Press},
  year         = {2005},
  url          = {https://doi.org/10.1201/9781420038163.ch6},
  doi          = {10.1201/9781420038163.CH6},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/crc/LetichevskyKWV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/BaranovKKLV02,
  author       = {Sergey Baranov and
                  Vsevolod Kotlyarov and
                  Julia V. Kapitonova and
                  Alexander A. Letichevsky and
                  Vladislav A. Volkov},
  title        = {Requirement Capturing and 3CR Approac},
  booktitle    = {26th International Computer Software and Applications Conference {(COMPSAC}
                  2002), Prolonging Software Life: Development and Redevelopment, 26-29
                  August 2002, Oxford, England, Proceedings},
  pages        = {279--283},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/CMPSAC.2002.1044564},
  doi          = {10.1109/CMPSAC.2002.1044564},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/BaranovKKLV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LetichevskyKVCKG99,
  author       = {Alexander A. Letichevsky and
                  Julia V. Kapitonova and
                  Vladislav A. Volkov and
                  A. Chugayenko and
                  Victor Khomenko and
                  David R. Gilbert},
  editor       = {Alessandro Armando and
                  Tudor Jebelean},
  title        = {The development of interactive algorithms for the Mathematical Environment},
  booktitle    = {Systems for Integrated Computation and Deduction, {CALCULEMUS} 1999,
                  associated to FLoC '99, the 1999 Federated Logic Conference, Trento,
                  Italy, July 11-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {3},
  pages        = {352--369},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80608-5},
  doi          = {10.1016/S1571-0661(05)80608-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LetichevskyKVCKG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/KapitonovaLVL94,
  author       = {Y. V. Kapitonova and
                  Alexander A. Letichevsky and
                  Vladislav A. Volkov and
                  M. S. Lvov},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Tools for Solving Problems in the Scope of Algebraic Programming},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {30--47},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_4},
  doi          = {10.1007/3-540-60156-2\_4},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/KapitonovaLVL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}