BibTeX records: Yuri Yushtein

download as .bib file

@inproceedings{DBLP:conf/aaaiss/JavauxWLPPSY14,
  author       = {Denis Javaux and
                  Bertram Wortelen and
                  Andreas L{\"{u}}dtke and
                  Charles Pecheur and
                  Regina Peldszus and
                  Sonja Sievi and
                  Yuri Yushtein},
  title        = {A Methodology for Analyzing Human-Automation Interactions in Flight
                  Operations Using Formal Verification Techniques},
  booktitle    = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
                  USA, March 24-26, 2014},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7710},
  timestamp    = {Wed, 14 Nov 2018 14:23:12 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/JavauxWLPPSY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/BittnerBCFGGY14,
  author       = {Benjamin Bittner and
                  Marco Bozzano and
                  Alessandro Cimatti and
                  R{\'{e}}gis De Ferluc and
                  Marco Gario and
                  Andrea Guiotto and
                  Yuri Yushtein},
  editor       = {Frank Ortmeier and
                  Antoine Rauzy},
  title        = {An Integrated Process for {FDIR} Design in Aerospace},
  booktitle    = {Model-Based Safety and Assessment - 4th International Symposium, {IMBSA}
                  2014, Munich, Germany, October 27-29, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8822},
  pages        = {82--95},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12214-4\_7},
  doi          = {10.1007/978-3-319-12214-4\_7},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/imbsa/BittnerBCFGGY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EsteveKNPY12,
  author       = {Marie{-}Aude Esteve and
                  Joost{-}Pieter Katoen and
                  Viet Yen Nguyen and
                  Bart Postma and
                  Yuri Yushtein},
  editor       = {Martin Glinz and
                  Gail C. Murphy and
                  Mauro Pezz{\`{e}}},
  title        = {Formal correctness, safety, dependability, and performance analysis
                  of a satellite},
  booktitle    = {34th International Conference on Software Engineering, {ICSE} 2012,
                  June 2-9, 2012, Zurich, Switzerland},
  pages        = {1022--1031},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICSE.2012.6227118},
  doi          = {10.1109/ICSE.2012.6227118},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/EsteveKNPY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/OberGYO08,
  author       = {Iulian Ober and
                  Susanne Graf and
                  Yuri Yushtein and
                  Ileana Ober},
  title        = {Timing analysis and validation with {UML:} the case of the embedded
                  {MARS} bus manager},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {4},
  number       = {3},
  pages        = {301--308},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11334-008-0066-z},
  doi          = {10.1007/S11334-008-0066-Z},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/OberGYO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HoomanKOVY08,
  author       = {Jozef Hooman and
                  Hillel Kugler and
                  Iulian Ober and
                  Anjelika Votintseva and
                  Yuri Yushtein},
  title        = {Supporting UML-based development of embedded systems by formal techniques},
  journal      = {Softw. Syst. Model.},
  volume       = {7},
  number       = {2},
  pages        = {131--155},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10270-006-0043-7},
  doi          = {10.1007/S10270-006-0043-7},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/HoomanKOVY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/OberGY06,
  author       = {Iulian Ober and
                  Susanne Graf and
                  Yuri Yushtein},
  editor       = {Holger Giese and
                  Bernhard Rumpe and
                  Bernhard Sch{\"{a}}tz},
  title        = {Using an {UML} profile for timing analysis with the {IF} validation
                  tool-set},
  booktitle    = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
                  Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband
                  Modellbasierte Entwicklung eingebetteter Systeme},
  series       = {Informatik-Bericht},
  volume       = {2006-1},
  pages        = {75--84},
  publisher    = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
  year         = {2006},
  url          = {http://www.sse-tubs.de/publications/GRS\_MBEES\_InfoBericht\_06.pdf},
  timestamp    = {Thu, 12 Mar 2020 11:39:38 +0100},
  biburl       = {https://dblp.org/rec/conf/mbees/OberGY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics