Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Yuri Yushtein
@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} }
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.