BibTeX records: Peter E. Bulychev

download as .bib file

@article{DBLP:journals/acta/BulychevDLL14,
  author       = {Peter E. Bulychev and
                  Alexandre David and
                  Kim G. Larsen and
                  Guangyuan Li},
  title        = {Efficient controller synthesis for a fragment of MTL\({}_{\mbox{0,{\(\infty\)}}}\)},
  journal      = {Acta Informatica},
  volume       = {51},
  number       = {3-4},
  pages        = {165--192},
  year         = {2014},
  url          = {https://doi.org/10.1007/s00236-013-0189-z},
  doi          = {10.1007/S00236-013-0189-Z},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BulychevDLL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/wi/13/DavidBBBCLPRS0JLMRT13,
  author       = {Alexandre David and
                  Gerd Behrmann and
                  Peter E. Bulychev and
                  Joakim Byg and
                  Thomas Chatain and
                  Kim G. Larsen and
                  Paul Pettersson and
                  Jacob Illum Rasmussen and
                  Jir{\'{\i}} Srba and
                  Wang Yi and
                  Kenneth Yrke J{\o}rgensen and
                  Didier Lime and
                  Morgan Magnin and
                  Olivier H. Roux and
                  Louis{-}Marie Traonouez},
  editor       = {Claude Jard and
                  Olivier H. Roux},
  title        = {Tools for Model-Checking Timed Systems},
  booktitle    = {Communicating Embedded Systems},
  pages        = {165--225},
  publisher    = {Wiley},
  year         = {2013},
  url          = {https://doi.org/10.1002/9781118558188.ch6},
  doi          = {10.1002/9781118558188.CH6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/wi/13/DavidBBBCLPRS0JLMRT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BulychevCDLRR12,
  author       = {Peter E. Bulychev and
                  Franck Cassez and
                  Alexandre David and
                  Kim Guldstrand Larsen and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Pierre{-}Alain Reynier},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Controllers with Minimal Observation Power (Application to Timed Systems)},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7561},
  pages        = {223--237},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_19},
  doi          = {10.1007/978-3-642-33386-6\_19},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BulychevCDLRR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BulychevDLLLPS12,
  author       = {Peter E. Bulychev and
                  Alexandre David and
                  Kim Guldstrand Larsen and
                  Axel Legay and
                  Guangyuan Li and
                  Danny B{\o}gsted Poulsen and
                  Am{\'{e}}lie Stainer},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Andrei Voronkov},
  title        = {Monitor-Based Statistical Model Checking for Weighted Metric Temporal
                  Logic},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
                  International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
                  11-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7180},
  pages        = {168--182},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28717-6\_15},
  doi          = {10.1007/978-3-642-28717-6\_15},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BulychevDLLLPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/BulychevDLLMP12,
  author       = {Peter E. Bulychev and
                  Alexandre David and
                  Kim Guldstrand Larsen and
                  Axel Legay and
                  Marius Mikucionis and
                  Danny B{\o}gsted Poulsen},
  editor       = {Alwyn Goodloe and
                  Suzette Person},
  title        = {Checking and Distributing Statistical Model Checking},
  booktitle    = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
                  VA, USA, April 3-5, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7226},
  pages        = {449--463},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28891-3\_39},
  doi          = {10.1007/978-3-642-28891-3\_39},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BulychevDLLMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/BulychevDLLLP12,
  author       = {Peter E. Bulychev and
                  Alexandre David and
                  Kim G. Larsen and
                  Axel Legay and
                  Guangyuan Li and
                  Danny B{\o}gsted Poulsen},
  editor       = {Shaz Qadeer and
                  Serdar Tasiran},
  title        = {Rewrite-Based Statistical Model Checking of {WMTL}},
  booktitle    = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
                  Turkey, September 25-28, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7687},
  pages        = {260--275},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35632-2\_25},
  doi          = {10.1007/978-3-642-35632-2\_25},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/BulychevDLLLP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1202-4506,
  author       = {Peter E. Bulychev and
                  Alexandre David and
                  Kim G. Larsen and
                  Axel Legay and
                  Marius Mikucionis},
  editor       = {Johannes Reich and
                  Bernd Finkbeiner},
  title        = {Computing Nash Equilibrium in Wireless Ad Hoc Networks: {A} Simulation-Based
                  Approach},
  booktitle    = {Proceedings Second International Workshop on Interactions, Games and
                  Protocols, {IWIGP} 2012, Tallinn, Estonia, 25th March 2012},
  series       = {{EPTCS}},
  volume       = {78},
  pages        = {1--14},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.78.1},
  doi          = {10.4204/EPTCS.78.1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1202-4506.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1207-1272,
  author       = {Peter E. Bulychev and
                  Alexandre David and
                  Kim Guldstrand Larsen and
                  Marius Mikucionis and
                  Danny B{\o}gsted Poulsen and
                  Axel Legay and
                  Zheng Wang},
  editor       = {Herbert Wiklicky and
                  Mieke Massink},
  title        = {{UPPAAL-SMC:} Statistical Model Checking for Priced Timed Automata},
  booktitle    = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
  series       = {{EPTCS}},
  volume       = {85},
  pages        = {1--16},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.85.1},
  doi          = {10.4204/EPTCS.85.1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-1272.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1207-1276,
  author       = {Peter E. Bulychev and
                  Franck Cassez and
                  Alexandre David and
                  Kim G. Larsen and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Pierre{-}Alain Reynier},
  title        = {Controllers with Minimal Observation Power (Application to Timed Systems)},
  journal      = {CoRR},
  volume       = {abs/1207.1276},
  year         = {2012},
  url          = {http://arxiv.org/abs/1207.1276},
  eprinttype    = {arXiv},
  eprint       = {1207.1276},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-1276.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pcs/Bulychev11,
  author       = {Peter E. Bulychev},
  title        = {Game-theoretic simulation checking tool},
  journal      = {Program. Comput. Softw.},
  volume       = {37},
  number       = {4},
  pages        = {200--209},
  year         = {2011},
  url          = {https://doi.org/10.1134/S0361768811040013},
  doi          = {10.1134/S0361768811040013},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Bulychev11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1111-0370,
  author       = {Peter E. Bulychev and
                  Alexandre David and
                  Kim Guldstrand Larsen and
                  Marius Mikucionis and
                  Axel Legay},
  editor       = {Jiri Barnat and
                  Keijo Heljanko},
  title        = {Distributed Parametric and Statistical Model Checking},
  booktitle    = {Proceedings 10th International Workshop on Parallel and Distributed
                  Methods in verifiCation, {PDMC} 2011, Snowbird, Utah, USA, July 14,
                  2011},
  series       = {{EPTCS}},
  volume       = {72},
  pages        = {30--42},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.72.4},
  doi          = {10.4204/EPTCS.72.4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1111-0370.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ershov/BulychevKZ09,
  author       = {Peter E. Bulychev and
                  Egor V. Kostylev and
                  Vladimir A. Zakharov},
  editor       = {Amir Pnueli and
                  Irina B. Virbitskaite and
                  Andrei Voronkov},
  title        = {Anti-unification Algorithms and Their Applications in Program Analysis},
  booktitle    = {Perspectives of Systems Informatics, 7th International Andrei Ershov
                  Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
                  2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5947},
  pages        = {413--423},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11486-1\_35},
  doi          = {10.1007/978-3-642-11486-1\_35},
  timestamp    = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/BulychevKZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/BulychevCDL09,
  author       = {Peter E. Bulychev and
                  Thomas Chatain and
                  Alexandre David and
                  Kim Guldstrand Larsen},
  editor       = {Jo{\"{e}}l Ouaknine and
                  Frits W. Vaandrager},
  title        = {Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 7th International Conference,
                  {FORMATS} 2009, Budapest, Hungary, September 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5813},
  pages        = {73--87},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04368-0\_8},
  doi          = {10.1007/978-3-642-04368-0\_8},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/BulychevCDL09.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.