|
| Members > Members list |
Tomas Krilavičius
E-mail: t.krilavicius@gmail.com
Affiliation:
Vytautas Magnus University
Education and qualification:
PhD
Research interests:
application of mathematics in political analysis; formal methods; modelling, simulation and verification of reactive/hybrid systems
Taught courses:
Formal Methods for Modelling (master)
Publications:
Tomas Krilavičius and H. Schonenberg, Discrete Simulation of Behavioural Hybrid Process Calculus, IFM2005 Doct. Symposium on Integrated Formal Methods, Eindhoven, The Netherlands, November.
Ed Brinksma, Tomas Krilavičius, Yaroslav S. Usenko. Process Algebraic Approach to Hybrid Systems, Proceedings of 16th IFAC World Congress, July 4-8, 2005, Prague, Czech Republic, paper #Th-M13-TO/4, ISBN 0-08-144130-1.
Biniam Gebremichael, Tomas Krilavičius, Yaroslav S. Usenko. A formal model of a car periphery supervision system in UPPAAL, Proceedings of Workshop on Discrete Event Systems (WODES'04), pp. 433-438, September 22-24, 2004, Reims, France.
Membership in
professional societies:
Lithuanian Society of Young Researchers
« go back
|
|
| © socforumas.lt, 2003. E-mail: info@socforumas.lt |
|
