Tomas Krilavičius
El. paštas: t.krilavicius@gmail.com
Institucija:
Vytauto Didžiojo Universitetas
Išsilavinimas ir kvalifikacija:
dr.
Moksliniai interesai:
matematinius metodų taikymas politinei analizei; formalūs metodai; reaktyvių/hibridinių sistemų modeliavimas, simuliavimas ir verifikavimas.
Dėstomi kursai:
Formalūs metodai modeliavime (mag.)
Publikacijos:
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.
Profesinė narystė:
Lietuvos jaunųjų mokslininkų sajunga
« atgal
|
