Antonio Cerone and Paul Curzon (editors).
Proceedings of the 1st International Workshop on
Formal Methods and Interactive Systems.
Macau SAR China, 31 October 2006,
Electronic Notes in Theretical Computer Science,
183, Elsevier, 2007.
Antonio Cerone and Paul Curzon (editors).
Pre-proceedings of the 2nd International Workshop on
Formal Methods for Interactive Systems FMIS 2007,
Lancaster, 4 September 2007.
Technical Report RR-07-08, Queen Mary, University of London,
Dept. of Computer Science.
Antonio Cerone and Norzima Elbegbayan.
Model-checking driven design of interactive systems.
In Proceedings of the 1st International Workshop on
Formal Methods for Interactive Systems,
Macau SAR China, 31 October 2006,
Electronic Notes in Theoretical Computer Science, 183:3-20,
Elsevier, 2007.
Antonio Cerone and George Milne.
Property Verification within a Process Algebra Framework.
Chapter 7 of Real-Time Systems: Modeling, Design, and Applications,
(Dan Ionescu and Aurel Cornell, eds.),
AMAST Series in Computing, 8:153-174, 2006.
Siraj A. Shaikh, Padmanabhan Krishnan and Antonio Cerone.
A formal approach to human error recovery.
Presented at and published in the Pre-proceedings of the
2nd International Workshop on
Formal Methods for Interactive Systems FMIS 2007,
Lancaster, 4 September 2007.
Technical Report RR-07-08, Queen Mary, University of London,
Dept. of Computer Science, pp. 101 - 115.
Siraj A. Shaikh.
Impact of migrant academics on host higher education institutions,
Learning Together: Reshaping higher education in a global age,
July 22-24, 2007, Institute of Education (IoE), London, UK
URL: http://ioewebserver.ioe.ac.uk/ioe/cms/get.asp?cid=14744
Thomas Anung Basuki.
Model checking interface design to reduce user error.
Presented at and published in the
Pre-proceedings of the 2nd International Workshop on
Formal Methods for Interactive Systems FMIS 2007,
Lancaster, 4 September 2007.
Technical Report RR-07-08, Queen Mary, University of London,
Dept. of Computer Science, pp. 1-15.
Bernhard K.Aichernig and Jifeng He.
Mutation Testing in UTP.
Formal Aspects of Computing, 2007.
Zhiming Liu and R. Venkatesh.
Methods and Tools for Formal Software Engineering.
In B.Meyer and J.Woodcock (Eds.),
Verified Software, Theories, Tools and Experiments,
Lecture Notes in Computer Science 4171, Springer, 2007.
Bernhardt K.Aichernig, He Jifeng, Zhiming Liu and Mike Reed.
Integrating Theories and Techniques for Program Modelling, Design and Verification.
In B.Meyer and J.Woodcock (Eds.),
Verified Software, Theories, Tools and Experiments,
Lecture Notes in Computer Science 4171, Springer, 2007.
A.H.Hannousse, O.Kazar, D.Meslati and Z.Liu.
A cohabitation framework for AOSD Models.
International Review on Computer and Software,
2(4):285-291, 2007.
Maria Clara Casalini, Elsa Estevez and Tomasz Janowski.
Computing Support for Problem Solving in Virtual Communities of
Practice. Journal of Computer Science and Technology,
7(1):52-58, March, 2007. Iberoamerican Science & Technology
Education Consortium, ISSN 1666-6038.
Dang Van Hung. Timing and Concurrency Specification
in Component-based Real-Time Embedded Systems Development.
Proceedings of the 1st IEEE and IFIP International Symposium on
Theoretical Aspects of Software Engineering, June 6-8, 2007
Shanghai, China, IEEE Computer Society Press, pp. 293-302, 2007.
Dang Van Hung and Pham Hong Thai. Towards a
Template Language for Component-Based Programming. Technical Report
354, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and
published in the proceedings of the 2007 International Conference on
Software Engineering Research and Practice, SERP'07, Las Vegas, June
25-28, 2007, pp. 326-332, Hamid R. Arabnia and Hassan Reza (eds),
WORLDCOMP'07, CSREA Press, 2007.
Dang Van Hung and Zhang Miaomiao. On Verification of
Probabilistic Timed Automata against Probabilistic Duration
Properties. Presented at and published in the proceedings of the
13th IEEE International Conference on Embedded and Real-Time
Computing Systems and Applications RTCSA 2007, Daegu, Korea, August
21-24, 2007. IEEE Computer Society Press, Los Alamitos, California,
pp. 165-172.
Michael R. Hansen, Dang Van Hung: A Theory of Duration Calculus
with Application, Book Chapter, Domain Modeling and the Duration
Calculus 2007, Lecture Notes in Computer Science 4710, Springer
2007, pp. 119-176.
Dang Van Hung. Specifying Various Time Models with Temporal
Propositional Variables in Duration Calculus. Formal Methods and
Hybrid Real-Time Systems 2007: 170-187.
Choe Changil and Dang Van Hung. On Verification of Linear
Occurrence Properties of Real-Time Systems. Presented and published
in the proceedings of the 1st International Workshop on Harnessing
Theories for Tool Support in Software TTSS'07 22-23 September 2007
Macau SAR, China. To be published as an ENTCS issue.
Chris George and Luis Leon. WaterBase: Prototype of Open Source
Toolkit for Environmental Modeling using SWAT in MapWindow.
Presented at and published in the proceedings of the International
Symposium on Environmental Software Systems, ISESS, Prague, Czech
Republic, May, 2007.
Chris George and Luis Leon. WaterBase: free, open source
support for SWAT. Presented at the 4th International SWAT
Conference, Delft, the Netherlands, July 2007.
Chris George and Luis Leon. WaterBase: SWAT in an Open Source
GIS. The Open Hydrology Journal, volume 2, 2008, pp. 1-6.
Chris George and Anne E. Haxthausen. The Logic of the RAISE
Specification Language. In Dines Bjørner and Martin Henson
(eds), Logics of Specification Languages, Springer, 2008, pp. 349-399.
Juan I. Perna and Chris George. Model Checking RAISE
Applicative Specifications. Presented at and published in the
proceedings of the 5th IEEE International Conference on Software
Engineering and Formal Methods, SEFM, London, UK, September 2007.
Chris George. Applicative modelling with RAISE. In Domain Modeling
and the Duration Calculus 2007, Lecture Notes in Computer Science
4710, Springer 2007, pp. 51-118.
Chris George, Padmanabhan Krishnan, P A P Salas, and J W
Sanders. Specification for Testing. Published in"Formal Methods
and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner
and Zhou Chaochen on the Occasion of Their 70th Birthdays", LNCS
4700, Springer, 2007.
Xu Wang and Marta Kwiatkowska. On process-algebraic verification
of asynchronous circuits. Fundamenta Informaticae, 80, 2007.
J W Sanders and Matteo Turilli. Dynamics of Control. In the
Proceedings of the first joint IEEE/IFIP Symposium on Theoretical
Aspects of Software Engineering, TASE 2007. IEEE Computer Society
Press, Los Alamitos, California, pp. 440-449, 2007.
Xiaojian Liu, Liang Zhao and Zhiming Liu. Object-oriented
structure refinement -- a graph transformational. Electronic Notes
in Theoretical Computer Science, 187:145-159, 2007.
Xin Chen, Zhiming Liu and Vladimir Mencl. Separation of concerns
and consistency integration in requirements modelling. Proc. 33rd
Conference on Current Trends in Theory and Practice of Computer
Science, Lecture Notes in Computer Scoence 4362, pp. 819-831,
Springer, 2007.
Zhenbang Chen, Zhiming Liu, Anders Ravn, Volker Stolz and Lu
Yang. A refinement driven component-based design. Proc. 12th IEEE
International Conference on Engineering Complex Computer Systems,
pp. 277-289, Aucland, New Zealand, IEEE Computer Society, July 2007.
Zhenbang Chen, Xiaoshan Liu, Volker Stolz and Lu Yang.
Harnessing rCOS for Tool Support -- The CoCoME Experience, in (C.
Jones, Z. Liu and J. Woodcock, Eds.) Formal Methods and Hybrid
Real-Time Systems, LNCS 2700, pp. 83-114, Springer, 2007.
Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan
Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika,
Anders P. Ravn, Volker Stolz, Lu Yang, and Naijun Zhan. Modelling
with Relational Calculus of Object and Component Systems -- rCOS, in
Common Component Modeling Example: Comparing Software Component
Models, Lecture Notes in Computer Science, Springer 2007
Liang Zhao, Xiaojian Liu, Zhiming Liu, and Zongyan Qiu. Graph
Transformations for Object-Oriented Refinement, accepted by Formal
Aspects of Computing, 2007
Volker Stolz. Temporal Assertions with Parametrised
Propositions. Runtime Verification (RV'07). To be published as
LNCS, Springer, 2007.
Lu Yang. Integrating refinement into software development tools.
1st Intl. Workshop on Harnessing Theories for Tool Support in
Software (TTSS'07). To be published in ENTCS, Elsevier, 2007.
Zuohua Ding, Zhenbang Chen and Jing Liu. A Rigorous Model of
Service Component Architecture. 1st Intl. Workshop on Harnessing
Theories for Tool Support in Software (TTSS'07). To be published in
ENTCS, Elsevier, 2007.
Geguang Pu and Volker Stolz (editors). Proc. of the 1stIntl. Workshop
on Harnessing Theories for Tool Support in Software (TTSS'07). To
be published as an issue of ENCTS, 2007.
Xin Chen, Jifeng He, Zhiming Liu, and Naijun Zhan. A Model of
Component-Based Programming. IPM International Symposium on
Fundamentals of Software Engineering (FSEN07). To be published as
LNCS, 2007.
Cliff Jones, Zhiming Liu and Jim Woodcock (Editors).
Theoretical Aspects of Computing - ICTAC 2007, Lecture Notes in
Computer Science 4711, Springer 2007.
Chris George, Zhiming Liu and Jim Woodcock (Editors). Domain
Modeling and the Duration Calculus, International Training School,
Shanghai, China, September 17-21. 2007, Advanced Lectures, Lecture
Notes in Computer Science 4710 , Springer, 2007.
Cliff Jones, Zhiming Liu, and Jim Woodcock (Editors) Formal Methods
and Hybrid Real-Time Systems, Essays in Honour of Dines Bjorner and
Zhou Chaochen on the Occasion of Their 70th Birthdays Lecture Notes
in Computer Science 4700 , Springer 2007.
Elsa Estevez and Tomasz Janowski. Government-Enterprise
Ecosystem Gateway for Seamless e-Government. Presented at
and published in the proceedings of the 40th Hawaii International
Conference on System Sciences, Waikoloa, Big Island,
Hawaii, United States of America, January 3-6, 2007. IEEE Computer
Society Press, pp. 101-110.
Elsa Estevez and Tomasz Janowski. Building a Dependable
Messaging Infrastructure for Electronic Government. Presented at and
published in the proceedings of the Second International Conference
on Availability, Reliability and Security, (ARES 2007), Vienna,
Austria, April 10-13, 2007. IEEE Computer Society Press, pp. 948-955.
Tomasz Janowski, Adegboyega Ojo and Elsa Estevez. Rapid
Development of Electronic Public Services: A Case Study in
Electronic Licensing Service. Presented at and published in the
proceedings of the 8th Annual International Digital Government
Research Conference (DG.O 2007), Philadelphia, United States of
America, May 20-23, 2007. Digital Government Research Center, pp. 292-293.
Tomasz Janowski, Adegboyega Ojo and Elsa Estevez. Rapid
Development of Electronic Public Services: Software Infrastructure
and Software Process. Presented at and published in the proceedings
of the 8th Annual International Digital Government Research
Conference (DG.O 2007), Philadelphia, United States of America, May
20-23, 2007. Digital Government Research Center, pp. 294-295.
Adegboyega Ojo, Tomasz Janowski and Elsa Estevez. A Composite
Domain Framework for Developing Electronic Public Services.
Presented at and published in the proceedings of the International
Conference on Software Engineering Theory and Practice (SEPT 2007),
Orlando, Florida, United States of America, July 9-12, 2007. ISRST
2007, pp. 234-241.
Adegboyega Ojo, Tomasz Janowski and Elsa Estevez. Domain Models
and Enterprise Application Framework for Developing Electronic
Public Services. Presented at and published in the proceedings of
the 6th International EGOV Conference, Regensburg, Germany,
September 3-7, 2007. Trauner Verlag, pp. 157-164.
Alejandro Sanchez, Rilwan Basanya, Tomasz Janowski and
Adegboyega Ojo. Enterprise Architectures - Enabling Interoperability
Between Organizations. Presented at and published in the proceedings
of the 36th Argentine Conference on Informatics, 8th Argentinean
Symposium on Software Engineering, ASSE 2007, Mar del Plata,
Argentina, August 29-31. JAIIO, pp. 175-184.
Elsa Estevez and Tomasz Janowski. Programmable Messaging for
Electronic Government Building a Foundation. Presented at and
published in the proceedings of the Festchrift Symposium, Macao SAR,
China, September 24-25, 2007. LNCS, Springer Verlag, pp. 217-236.
M. Clara Casalini, Elsa Estevez and Pablo Fillottrani,
Developing a Repository of Knowledge for Virtual Communities with
Semantic Web Technologies. Presented at and published in the
proceedings of the XIII Argentinean Conference on Computer Science,
Corrientes and Resistencia, Argentina, October 1-5, 2007. Red UNCI.
Elsa Estevez, Pablo Fillottrani and Tomasz Janowski. From
e-Government to Seamless Government. Presented at and published in
the proceedings of the Conference on Collaborative Electronic
Commerce Technology and Research (CollECTeR Iberoamerica 2007),
Cordoba, Argentina, November 6-9, 2007. International Journal of
Theoretical and Applied Electronic Commerce Research (JTAER).
Maria Clara Casalini and Elsa Estevez. Modeling a Repository of
Knowledge for Virtual Communities of Practice Supporting
e-Education. Presented at and published in the proceedings of the
Conference on Collaborative Electronic Commerce Technology and
Research (CollECTeR Iberoamerica), Cordoba, Argentina, November 6-9,
2007. International Journal of Theoretical and Applied Electronic
Commerce Research (JTAER).
Adegboyega Ojo, Tomasz Janowski, Rilwan Basanya and Mike Reed.
Developing and Harnessing Software Technology in the South - The
Role of CIBS. Presented at and published by the WIDER Conference on
Southern Engines of Global Growth: China, India, Brazil and South
Africa (CIBS), Helsinki, Finland, September 7-8, 2007. UNU World
Institute for Development Economics Research,
http://www.wider.unu.edu.
