BibTeX records: Stanislav Chachkov

• > Home > Persons > Stanislav Chachkov

@article{DBLP:journals/dafes/ChachkovB03,
  author       = {Stanislav Chachkov and
                  Didier Buchs},
  title        = {Interfacing Software Libraries from Nondeterministic Prototypes},
  journal      = {Des. Autom. Embed. Syst.},
  volume       = {8},
  number       = {4},
  pages        = {327--343},
  year         = {2003},
  url          = {https://doi.org/10.1023/B:DAEM.0000013066.31883.73},
  doi          = {10.1023/B:DAEM.0000013066.31883.73},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dafes/ChachkovB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BuchsCH03,
  author       = {Didier Buchs and
                  Stanislav Chachkov and
                  David Hurzeler},
  title        = {Modelling a Secure, Mobile, and Transactional System with {CO-OPN}},
  booktitle    = {3rd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
  pages        = {82--91},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/CSD.2003.1207702},
  doi          = {10.1109/CSD.2003.1207702},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BuchsCH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Al-ShabibiBBCCH03,
  author       = {Ali Al{-}Shabibi and
                  Didier Buchs and
                  Mathieu Buffo and
                  Stanislav Chachkov and
                  Ang Chen and
                  David Hurzeler},
  editor       = {Wil M. P. van der Aalst and
                  Eike Best},
  title        = {Prototyping Object Oriented Specifications},
  booktitle    = {Applications and Theory of Petri Nets 2003, 24th International Conference,
                  {ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2679},
  pages        = {473--482},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44919-1\_30},
  doi          = {10.1007/3-540-44919-1\_30},
  timestamp    = {Sat, 19 Oct 2019 20:09:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Al-ShabibiBBCCH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rsp/ChachkovB02,
  author       = {Stanislav Chachkov and
                  Didier Buchs},
  title        = {Interfacing Software Libraries from Non-deterministic Prototypes},
  booktitle    = {13th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
                  2002), 1-3 July 2002, Darmstadt, Germany},
  pages        = {92--98},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/IWRSP.2002.1029743},
  doi          = {10.1109/IWRSP.2002.1029743},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/ChachkovB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/ChachkovB01,
  author       = {Stanislav Chachkov and
                  Didier Buchs},
  title        = {From Formal Specifications to Ready-to-Use Software Components: The
                  Concurrent Object Oriented Petri Net Approach},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {99},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981768},
  doi          = {10.1109/CSD.2001.981768},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/ChachkovB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rsp/ChachkovB01,
  author       = {Stanislav Chachkov and
                  Didier Buchs},
  title        = {From an Abstract Object-Oriented Model to a Ready-to-Use Embedded
                  System Controller},
  booktitle    = {12th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
                  2001), 25-27 June 2001, Monterey, CA, {USA}},
  pages        = {142--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/IWRSP.2001.933852},
  doi          = {10.1109/IWRSP.2001.933852},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/ChachkovB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/internet/GannounFCSHH00,
  author       = {Lassa{\^{a}}d Gannoun and
                  Julien Francioli and
                  Stanislav Chachkov and
                  Fr{\'{e}}d{\'{e}}ric Sch{\"{u}}tz and
                  Jarle Hulaas and
                  J{\"{u}}rgen Harms},
  title        = {Domain Name eXchange: {A} Mobile-Agent-Based Shared Registry System},
  journal      = {{IEEE} Internet Comput.},
  volume       = {4},
  number       = {2},
  pages        = {59--64},
  year         = {2000},
  url          = {https://doi.org/10.1109/4236.832947},
  doi          = {10.1109/4236.832947},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/internet/GannounFCSHH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}