Menu

.Publikacijos_TK

Dr. Tomas Krilavičius

PAGRINDINIŲ MOKSLINIŲ PUBLIKACIJŲ
S Ą R A Š A S

2012
1. K.L. Man, T.O. Ting, T. Krilavičius, Kaiyu Wan, C. Chen, J. Chang and S.H. Poon, Towards a Hybrid Approach to SoC Estimation for a Smart Battery Management System (BMS) and Battery Supported Cyber-Physical Systems (CPS). . Accepted to the 2nd IEEE Baltic Conference on Future Internet Communications – BIFIC’12, Lithuania, April 2012.
2. Mouna Karmani, Chiraz Khedhiri, Belgacem Hamdi, K.L. Man, Amir-Mohammad Rahmani and T. Krilavičius. A Self-Test and Self-Repair Approach for Analog Integrated Circuits. . Accepted to the 2nd IEEE Baltic Conference on Future Internet Communications, BIFIC’12, Lithuania, April 2012.
3. K.L. Man, C. Chen, T.O. Ting, T. Krilavičius, J. Chang and S.H. Poon. Artificial Intelligence Approach to SoC Estimation for Smart BMS. The 7th International Conference on Electrical and Control Technologies (ECT 2012), Kaunas, Lithuania, 2012. Accepted.
4. T. Krilavičius, J. Mandravickaitė. Information Visualization in the Lithuanian Internet Media. Presentation and abstract in Media Culture: Art, Communication, Technologies (http://if.vdu.lt/medijos), Kaunas, Lithuania, April 12, 2012
5. T. Krilavičius, Kaiyu Wan, Kevin Lee, K.L. Man. Specification and Verification of Radiation Therapy System with Respiratory Compensation using Uppaal. In the Int. Journal of Design, Analysis and Tools for Integrated Circuits and Systems – IJDATICS, 3(1):8-13, 2012.
6. T, Krilavičius, D. Vitkutė-Adžgauskienė, K. Šidlauskas. Simulation of the Radiation Therapy System for Respiratory Movement Compensation. Journal of Vibroengineering, 14:1, 2012.
7. Chi-Un Lei, Tomas Krilavičius, Ka Lok Man, Nan Zhang and Y. Wu. Integrating Web 2.0 Tools into First-year Engineering Education. Proc. of IMECS 2012. 2012
8. Kaiyu Wan, Hemangee K. Kapoor, Shirshendu Das, B. Raju, T. Krilavičius, and Ka Lok Man. Modelling and Verification of Compensating Transactions using the Spin Tool. Proc. of IMECS 2012.
9. C. Chen, K.L. Man, T.O. Ting, Chi-Un Lei, T. Krilavičius, T.T. Jeong, J.K. Seon, Sheng-Uei Guan and W.H. Wong. An Integrated Circuit Design of a Smart Management System for Multi-cell Batteries. Proc. of IMECS 2012. 2012.
2011
1. T. Krilavičius, D. Vitkutė-Adžgauskienė, K. Šidlauskas. Simulation of the Radiation Therapy System for Respiratory Movement Compensation. Mechatronic Systems and Materials (MSM 2011), Kaunas, Lithuania, 2011, p. 6.
2. Jieming Ma, K.L. Man, T. Krilavičius, Sheng-Uei Guan, Taikyeong Jeong. Implementation of High Performance Multipliers Based on Approxiamte Compressor Design. The 6th International Conference on Electrical and Control Technologies (ECT 2011), Kaunas, Lithuania, 2011. 6 p.
3. T. Krilavičius, K.L. Man. Timed Model of the Radiation Therapy System with Respiratory Motion Compensation. The 6th International Conference on Electrical and Control Technologies (ECT 2011), Kaunas, Lithuania, 2011. 6 p.
4. K.L. Man, T. Krilavičius, Kaiyu Wan, D. Hughes, K. Lee. Modeling and Analysis of Radiation Therapy System with Respiratory Compensation using Uppaal. Proc. of the 9th IEEE International Symposium on Parallel and Distributed Processing with Application (ISPA 2011), Korea, May, 2011.
5. H. Kapoor, A. Asthana, T. Krilavičius, Wenjie Zeng, Jieming Ma, K.L. Man. Towards a Language Based Synthesis of NCL Circuits. Proc. of the IAENG International MultiConference of Engineers and Computer Scientists (IMECS 2011), Hong Kong, March, 2011.
6. K.L. Man, T. Krilavičius, Kaiyu Wan, Enggee Lim, Zhao Wang, M. Mercaldi. A Practical Student’s Guide: Programming in Java and MATLAB, book, ISBN: 978-3-8443-9855-7, Lambert Academic Publishing, Germany, 2011.
7. D. Zuokas, V. Kaušas, T. Krilavičius, Ž. Medelis. Tekstinių duomenų gavyba naudojant statistinius metodus. Pirmoji jaunųjų mokslininkų konferencija „Fizinių ir technologijos mokslų tarpdalykiniai tyrimai“, Vilnius, 2011 02 08. Pranešimas.
2010
1. D. Zuokas, Ž. Medelis, T. Krilavičius and V. Kaušas. Application of Bootstrap Techniques for Police Summaries Retrieval. Operational Research for Business and Social Processes, The 3rd National Young Scientists Conference of the Lithuanian OR Society, LOTD – 2010, Vilnius, Lithuania, October 1, 2010. Abstract.
2. V. Morkevičius andT. Krilavičius. Study of Lithuanian Republic Parliament Members Voting Using Multidimensional Scaling and Homogeneity Analysis. Operational Research for Business and Social Processes, The 3rd National Young Scientists Conference of the Lithuanian OR Society, LOTD – 2010, Vilnius, Lithuania, October 1, 2010. Abstract.
3. 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.
4. 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.
5. T. Krilavičius and V. Morkevič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)
6. 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.
7. Š. Valaškevičius and T. Krilavičius. Simulation Tool for Hybrid Process Algebras. The 15th doctoral conference Information Society and Universtity Studies. Kaunas, Lithuania, May 13, 2010.
8. 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.
9. 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. (Accepted).
10. 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.
2009
1. V. Morkevičius and T. Krilavičius. How to analyse parliamentarian voting, methodological remarks. Socforumas, 2009. 2 p.
2. I. Žliobaitė and T. Krilavičius. CLAN: Clustering for Credit Risk Assessment. An entry to PAKDD 2009 Data Mining Competition, 2009. 4 p. (unreviewed).
3. 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.
4. 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.
5. K.L. Man and T. Krilavičius. Case Studies with Process Analysis Toolkit (PAT), International SoC Design Conference, BEXCO, Busan, 2009.
2008
1. T. Krilavičius and A. Žilinskas. On structural analysis of parliamentarian voting data. Informatica, 19(3), 2008. ISSN 0868-4952.
2. 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.
3. 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).
4. 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.
5. 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.
6. 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.
2007
1. 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. 2007. ISSN 1381-3625.
2. 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, Lithuania. Abstract.
2006
1. T. Krilavičius. Hybrid Techniques for Hybrid Systems, PhD dissertation, University of Twente, Enschede, The Netherlands, September 6, 2006. ISBN: 90-365-2397-4.
2005
1. 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.
2. 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.
3. E. Brinksma, T. Krilavičius, Y.S. Usenko. Behavioural Hybrid Process Calculus, poster presentation, Siren, Eindhoven, October 6, 2005.
4. E. Brinksma, T. Krilavičius. Behavioural Hybrid Process Calculus, CTIT technical report TR-CTIT-05.45. 2005.