Publications

Filters: Term is Software Technology  [Clear All Filters]
Book
H. Jifeng, and Z. Liiu, "Mathematical Frameworks for Component Software: Models for Analysis and Synthesis ", Series on Component-Based Software Development : World Scientific Pub Co Inc, 2007.
"Specification Case Studies in RAISE", Formal Approaches to Computing and Information Technology, H. D. Van, C. George, T. Janowski, and R. Moore (Eds.), : Springer-Verlag, pp. 397, 2002. Abstract  Download: tj-pub-29.pdf (70.68 KB)
Book Chapter
B. A. Bakar, and T. Janowski, "Automated Result Verification with AWK ", Specification Case Studies in RAISE: Springer-Verlag, pp. 315-340, 2002. Abstract  Download: tj-pub-25.pdf (167.4 KB)
W. Mostowski, and T. Janowski, "Fail-Stop Components by Pattern Matching ", Specification Case Studies in RAISE: Springer-Verlag, pp. 341-368, 2002. Abstract  Download: tj-pub-24.pdf (200.5 KB)
A. Ojo, and T. Janowski, "Formalising Production Processes", Specification Case Studies in RAISE: Springer-Verlag, pp. 187-217, 2002. Abstract  Download: tj-pub-27.pdf (222.89 KB)
N. Shrestha, and T. Janowski, "Model-Based Travel Planning ", Specification Case Studies in RAISE: Springer-Verlag, pp. 219-242, 2002. Abstract  Download: tj-pub-26.pdf (145.75 KB)
M. Mazzara, L. Biselli, P. P. Greco, A. Marraffa, N. Qamar, and S. D. Nicola, "Social networks and collective intelligence: A return to the Agora", Social Network Engineering for Secure Web Data and Services, L. Caviglione, M. Coccoli and A. Merlo : IGI Global, pp. 88-113, 2013. Abstract
T. Janowski, "Thematic Introduction", Specification Case Studies in RAISE: Springer-Verlag, pp. 1-17, 2002. Abstract  Download: tj-pub-28.pdf (99.71 KB)
Conference Proceedings
H. E. Chew, J. Faber, Z. Liu, V. Madera, and N.Qamar, "Actualizing a Mobile Integrated System for Geriatric Care", 14th World Congress on Medical and Health Informatics (MedInfo’13), Copenhagen, Denmark, MedInfo'13 , 08/2013. Abstract
Z. Liu, N.Qamar, and J. Qian, "Assessing the effectiveness of de-identification tools for medical data", Third International Symposium on Foundations of Health Information Engineering and Systems (FHIES'13), J. Gibbons, and W. MacCaull (Eds.), , Macau SAR China, Springer LNCS, 08/2013. Abstract
A. P. Ravn, and Z. Liu, "Automated Technology for Verification and Analysis", 7th International Symposium, ATVA 2009, 1st, Macao, China, Springer-Verlag New York Inc, 10/2009.
J. Woodcock, Z. Liu, and C. W. George, "Domain Modeling and the Duration Calculus", Internaitonal Training School, Shanghai, China, September 17-21, 2007: Springer-Verlag New York Inc, 2007. Abstract
C. B. Jones, J. Woodcock, and Z. Liu, "Formal Methods and Hybrid Real-Time Systems", Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays : Springer-Verlag New York Inc, 11/2007. Abstract
J. He, and Z. Liu, "Formal Methods and Software Engineering", 8th International Conference on Formal Engineering Methods, Icfem 2006, Macao, China, November 1-3, 2006: Springer-Verlag New York Inc, 11/2006. Abstract
R. Bruni, Z. Liu, and L. Zhao, "Graph representation of sessions and pipelines for structured service programming", FACS 2010, vol. 6921: Springer, pp. 259-276, 2012. Abstract  Download: FACS10.pdf (256.36 KB)
W. Ke, Z. Liu, S. Wang, and L. Zhao, "A graph-based operational semantics of OO programs", ICFEM 2009, vol. 5885: Springer, pp. 347-366, 2009. Abstract  Download: ICFEM09.pdf (412.35 KB)
R. Dong, N. Zhan, and L. Zhao, "An Interface Model of Software Components", International Colloquium on Theoretical Aspects of Computing, Shanghai,China, 2013. Abstract
F. Abouzaid, J. Mullins, M. Mazzara, and N. Dragoni, "Modelling and Analysis of Dynamic Reconfiguration in BP-calculus", 6th International KES Conference on Agents and Multi-agent Systems Technologies and Applications, Dubrovnik, Croatia, 2012.
"Preliminary Proceedings: 3rd International Workshop on Harnessing Theories for Tool Support in Software TTSS’09", 3rd International Workshop on Harnessing Theories for Tool Support in Software TTSS’09, E. B. Johnsen, and V. Stolz (Eds.), , Universiti Kebangsaan Malaysia, Kuala Lumpur, Malaysia, UNU-IIST, 08/2009. Abstract  Download: report421.pdf (3.21 MB)
"Proceedings of the 4th International Conference on Distributed Computing and Internet Technology (ICDCIT2007)", 4th International Conference on Distributed Computing and Internet Technology (ICDCIT2007), vol. 4882, T. Janowski, and H. Mohanty (Eds.), , Bangalore, India , Springer, 12/2007. Abstract  Download: tj-pub-46.pdf (41.28 KB)