Dr. Igor Valerievich Tarasyuk

 

Research Projects

  1. An Investigation of Methods for Analysis and Verification of Concurrent Computing Systems, Programs and Processes. Russian Foundation for Basic Research (RFBR), grant 93-01-00986, headed by Dr. Valery A. Nepomniaschy, 1993-1995.
  2. Models for Formal Semantics of Reactive Systems. International Association for Promotion of Cooperation with Scientists from the Former Soviet Union (INTAS), grant 1010-CT93-0048, headed by Dr. Valery A. Nepomniaschy, 1993-1995.
  3. Formal Methods in Design of Concurrent/Distributed Systems (FOMD). Volkswagen Stiftung (VS), grant I/70 564, headed by Prof. Dr. Eike Best and Prof. Dr. Irina B. Virbitskaite, 1995-1997. See research report.
  4. Development and Investigation of Semantical Methods and Tools of Specification and Verification of Concurrent Systems and Processes. Russian Foundation for Basic Research (RFBR), grant 96-01-01655, headed by Prof. Dr. Irina B. Virbitskaite, 1995-1997.
  5. Methods and Tools for Verification and Analysis of Distributed Systems. INTAS-RFBR, grant 95-0378, headed by Dr. Valery A. Nepomniaschy, 1997-1999.
  6. Equivalences for Models of Concurrent and Distributed Systems. Foundation for Promotion of Young Scientists of Siberian Branch of the Russian Academy of Sciences (FPYS SB RAS), headed by Dr. Igor V. Tarasyuk, 1998-1999. See research report.
  7. Design and Investigation of Methods and Tools for Specification and Verification of Complex Distributed Real Time Systems. Russian Foundation for Basic Research (RFBR), grant 00-01-00898, headed by Prof. Dr. Irina B. Virbitskaite, 2000-2002.
  8. Equivalences of Algebraic and Net Specifications and Verification of Concurrent Real Time Systems. Program for Support of Scientific Projects of Young Scientists RAS (SPYS RAS) no. 6, grant 114, headed by Dr. Igor V. Tarasyuk, 2000-2002. See research report.
  9. Formal Methods in Design and Analysis of Distributed and Real Time Systems (DARTS). Deutsche Forschungsgemeinschaft (DFG), grant 436 RUS 113/1002/01, and Russian Foundation for Basic Research (RFBR), grant 09-01-91334, headed by Prof. Dr. Eike Best and Prof. Dr. Irina B. Virbitskaite, 2009-2012. See research report, current paper and current slides on the project's topic.
  10. Modeling and Formal Analysis of Contracts and Web Services with Distributed Resources (ESTuDIo). Spanish Government (Ministry of Science and Innovation) and European Regional Development Foundation (FEDER), grant TIN2012-36812-C02-02, headed by Dr. Maria E. Cambronero Piqueras, 2013-2015.
  11. Comparative Analysis and Verification for Concurrent Correctness-Critical Systems (CAVER). Deutsche Forschungsgemeinschaft (DFG), grant BE 1267/14-1, and Russian Foundation for Basic Research (RFBR), grant 14-01-91334, headed by Prof. Dr. Eike Best and Prof. Dr. Irina B. Virbitskaite (the subproject on FSPNs, headed by Dr. Igor V. Tarasyuk and Prof. Dr. Peter Buchholz), 2014-2019. See research report and current paper on the project's topic.
  12. Formal Analysis and Applications of Web Services and Electronic Contracts (DArDOS). Spanish Government (Ministry of Science and Innovation) and European Regional Development Foundation (FEDER), grant TIN2015-65845-C03-02, headed by Dr. Gregorio Diaz Descalzo and Dr. Maria E. Cambronero Piqueras, 2016-2018. See current paper and current slides on the project's topic.