Automated Verification Lab.
Nr.1, Sec. 4, Roosevelt Rd.
Publications Autobiography Projects
4th IEEE TASE, 2010
International Conference on Theoretical Aspects of Software Engineering
13'th ICTAC, 2016
International Colloquium on Theoretical Aspects of Computing
☺Associate Editorships, International journals :
☼FMSD (International Journal on Formal Methods in System Design), Springer-Verlag. (SCI extended)
☺Guest Editorships, International journals :
☼IJFCS (International Jounral of Foundations on Computer Science),
special-issue on ATVA 2003/2004 (SCI extended), to appear.
☺Guest Co-editorships, International journals :
☼IJFCS, Special-issue on Verification and Analysis of Infinite-state Systems,
Vol. 14, Nr.4, August, 2003, World Scientific Publishing Co. (SCI extended)
☼ATVA[International Symposium on Automated Technology for Verification and Analysis]
☼ IEEE TASE (Theoretical Aspects of Software Engineering), 2010, Taipei, Taiwan, ROC.
☼ 25'th IFIP FORTE (International Conference on Formal Techniques for Distributed and Communication Systems)
☼ 3rd ATVA, October-November 2004
☼ RTC'1999 (International Workshop on Real-Time Constraints)
☼ RTCSA'97(International Workshop on Real-Time Computing Systems and Applications),
☼APSEC'2000, 2001, 2003, 2004
☼ATVA'2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014
☼ECRTS'2003, 2004, 2005
☼ICFEM'2002, 2003, 2004, 2005, 2013
☼IEEE RTAS'1996, 1997, 2000, 2001, 2004, 2006
☼IEEE RTSS'1996, 1999, 2000, 2001, 2004
☼RTCSA'1996, 1997, 1998, 1999, 2000, 2002, 2003, 2004, 2005
☼ATS (Asian Testing Symposium) 2013, Taiwan.
☼1st Workshop on Synthesis (SYNT), July 2012, Berkeley, California. (Slides).
☼IEEE HASE'98 (High-Assurance Software Engineering).
☼1st IWTS (International Workshop on Specification and Verification of Timed Systems), Kyoto, Japan, March 3-5,
☼AVIS'2003, Warsaw, Poland
☼SVV'2005 (International Workshop on Software Verification and Validation), Manchester, UK
☼ICFEM (International Conference on Formal Engineering Methods) 2005.
- timed automata with CRD (Clock-Restriction Diagram) technology
- linear hybrid automata with HRD (Hybrid-Restriction Diagram) technology
with GUI, counter-example generation capability, and deadlock-detection capability.
Reports available on CRD performance comparison (STTT, Springer-Verlag), gfp speed-up (CIAA'03, LNCS 2759, Springer-Verlag), numerical coverage (FORTE'2003, LNCS 2767, Springer-Verlag), HRD.
SGM: State-Graph Manipulators, A User-friendly Compositional Verification Tool for real-time systems
To the date of the last update of this page, SGM has been downloaded by more than 100 users all over the world.