2010

  • K.L. Man, T. Krilavičius, Š. Valaškevičius, Yanyan Wu and J.K. Seon. Bhave Toolset: Modeling and Analysis of Electronic System Design and System Control Engineering Letters, Vol. 18, Issue 3, 2010. p. 250-262. pdf
  • K.L. Man, T. Krilavičius and Kaiyu Wan. Recent Advanced Languages and Tools for Hybrid Systems. IAENG International Journal of Computer Science, Vol. 37, Issue 3, 2010. p. 224-233. pdf
  • V. Morkevičius and T. Krilavičius. Kaip balsuoja naujasis Seimas? Erdvinių konfigūracijų sudarymas ir interpretacija (How the New Parliament Votes? Construction and Interpretation of Spatial Configurations). Socforumas, 2010. 2 p. (abstract) MS Word
  • K.L. Man, T. Krilavičius and D. Hughes. PAFESD: Process Algebras for Electronic System Design. Lambert Academic Publishing. Germany. 2010. ISBN 978-3-8383-6383-7.
  • K.L. Man, T. Krilavičius, C. Chen and H.L. Leung, Application of Bhave Toolset for Systems Control and Mixed-Signal Design. International MultiConference of Engineers and Computer Scientists (IMECS), Hong Kong, 17-19 March, 2010. Best paper award. pdf
  • T. Krilavičius and V. Miliukas. Functional Modelling and Analysis of a Distributed Truck Lifting System. The 5th International Conference on Electrical and Control Technologies (ECT 2010), Kaunas, Lithuania, 2010. 6 p.
  • K.L. Man, T. Krilavičius, T. Vallee and H.L Leung, TEPAWSN: A Formal Analysis Tool for Wireless Sensor Network. International Journal of Research and Reviews in Computer Science, 1(1), 2010. 6 p. pdf

2009

  • V. Morkevičius and T. Krilavičius. Kaip analizuoti Seimo narių balsavimus? Metodologinės pastabos (How to analyse parliamentarian voting, methodological remarks). Socforumas, 2009. 2 p. (abstract) pdf
  • I. Žliobaitė and T. Krilavičius, CLAN: Clustering for Credit Risk Assessment. An entry to PAKDD 2009 Data Mining Competition, 2009. 4 p. (unreviewed). pdf
  • K.L. Man and T. Krilavičius, Research on Process Algebraic Analysis Tools for Electronic System Design, chapter in Intelligent Automation and Computer Engineering, Springer, 2009. 14 p.
  • T. Krilavičius and K.L. Man, Behavioural Hybrid Process Calculus for Modelling and Analysis of Hybrid and Electronic Systems, chapter in Intelligent Automation and Computer Engineering, Springer, 2009. 15 p.
  • K.L. Man and T.Krilavičius, Case Studies with Process Analysis Toolkit (PAT), International SoC Design Conference, BEXCO, Busan, 2009.
  • V. Morkevičius, G. Žvaliauskas, T. Krilavičius, Ž. Medelis and M. Dvaronaitis. Seimo narių balsavimo analizė (Analysis of the Parliament Members Voting). Scientific study. Kaunas, Lithuania. 2009.

2008

  • T. Krilavičius and A. Žilinskas. On structural analysis of parliamentarian voting data. Informatica, 19(3), 2008. ISSN 0868-4952. pdf
  • T. Krilavičius. Simulation of Mechatronic Systems using Behavioural Hybrid Process Calculus. Electronics and Electrical Engineering, No. 1(81), 2008. 5 p. ISSN 1392-1215. pdf
  • T. Krilavičius. Application of Behavioural Hybrid Process Calculus for Modelling of Hybrid Systems. Formal Systems Analysis in Informatics, Druskininkai, Lithuania, May 13-19, 2007 (printed in 2008).
  • T. Krilavičius. Process Algebraic Simulation of Concurrent Hybrid Systems. Proc. of the 3rd int. conf. Electrical and Control Technologies (ECT-2008). 2008. 5 p. ISSN 1822-5934.
  • T. Krilavičius. Struktūrinė Seimo narių balsavimo analizė (Structural analysis of the Parliament Member Voting). Proceedings of Creation and Propagation of Postdoctoral Studies in Natural sciences conference. Kaunas, Lithuania, 2008. 3 p.
  • T. Krilavičius. Process Algebraic Modelling and Simulation of Nondeterministic Hybrid Systems. XLIX Conference of Lithuanian Mathematical Society. 2008. (presentation)

2007

  • T. Krilavičius, Study of Tools Interoperability, Technical Report TR-CTIT-07-01, Centre for Telematics and Information Technology, University of Twente, Enschede, The Netherlands. ISSN 1381-3625. pdf
  • T. Krilavičius. Application of Model Checking for Scheduling: an Example, in Operational Research and Applications 2007, ("Operacijų tyrimas ir taikymai"), LOTD - 2007, May 18, 2007, Vilnius. Abstract.

2006

  • T. Krilavičius, Hybrid Techniques for Hybrid Systems, PhD dissertation, University of Twente, Enschede, The Netherlands, September 6, 2006. ISBN: 90-365-2397-4. pdf

2005

  • E. Brinksma, T. Krilavičius, Y.S. Usenko. Behavioural Hybrid Process Calculus, poster presentation, Siren, Eindhoven, October 6, 2005.
  • E. Brinksma, T. Krilavičius, Y.S. Usenko. Behavioural Hybrid Process Calculus, poster presentation, CTIT Symposium on Models for Software Engineering, University of Twente, May 11, 2005.
  • E. Brinksma, T. Krilavičius, Y.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. pdf
  • E. Brinksma, T. Krilavičius. Behavioural Hybrid Process Calculus, CTIT tech. rep. TR-CTIT-05.45. 2005. pdf
  • T. Krilavičius and H. Schonenberg, Discrete Simulation of Behavioural Hybrid Process Calculus, IFM2005 Doct. Symposium on Integrated Formal Methods, Eindhoven, The Netherlands, November, 2006. pdf
  • T. Krilavičius, Bestiarium of Hybrid Systems, Formal Methods and Tools Group. University of Twente, 2005. pdf. Unpublished.

2004

  • B. Gebremichael, T. Krilavičius, Y.S. Usenko. A Formal Analysis of a Car Periphery Supervision System, NIII report NIII-R0418, 2004. |pdf
  • B. Gebremichael, T. Krilavičius, Y.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. html

2003

  • R. Langerak, J.W. Polderman, T. Krilavičius. Stability Analysis for Hybrid Automata Using Optimal Lyapunov Functions, Proc. of Int. Conf. on Dynamical System Modelling and Stability Investigation, p. 420, Kyiv, Ukraine, May 27-30, 2003.
  • B. Gebremichael, H. Hermanns, T. Krilavičius, Y.S. Usenko. Hybrid Modeling of a Vehicle Surveillance System with Real-Time Data Processing: A Case Study on Pre-Crash Detection, Proc. of Int. Conf. on Dynamical System Modelling and Stability Investigation, p. 421, Kyiv, Ukraine, May 27-30, 2003.
  • R. Langerak, J.W. Polderman, T. Krilavičius. Stability Analysis for Hybrid Automata Using Conservative Gains, Proceedings of Conference on Analysis and Design of Hybrid Systems (ADHS 03), pages 377-382, June 16-18, 2003, Saint-Malo, Brittany, France.

- 2001

  • T. Krilavičius, Aggregate specifications using coalgebras and monoid actions, Information Society and Higher Education, Kaunas, Lithuania, 2001.
  • T. Krilavičius and V. Kriaučiukas, Coalgebraic specification of aggregate model, Information technologies'99 (from series of conferences "Lithuanian Science and Industry"), Kaunas, Lithuania, February 3-4, 1999.
  • T. Krilavičius, Abstract Data Types in Formal Systems Specifications (in Lithuanian), master thesis, Faculty of Informatics, Vytautas Magnus University, Kaunas, Lithuania, 1998.