Bernhard K. Aichernig and Tom Maibaum (eds.) UNU/IIST 10th
Anniversary Colloquium, LNCS, Volume 2757, Springer-Verlag, October 2003.
Ana Funes and Chris W. George. Formal Foundations in RSL for UML
Class Diagrams. Technical Report 253, UNU/IIST, P.O. Box 3058,
Macau, May 2002. Published as chapter VIII Formalizing UML Class
Diagrams of UML and the Unified Process, Liliana Favre (ed.), IRM
Press, 2003.
Roger Atsa and Marcel Fouda. Security Based Approach to Data
Consistency in a Virtual Enterprise. ACS/IEEE International
Conference on Computer Systems and Applications (AICCSA'03).
Roger Atsa and Marcel Fouda. Mobile-Based Support for Business
Processes: Feasibility and Correctness. ACS/IEEE International
Conference on Computer Systems and Applications (AICCSA'03).
Dimitar P. Guelev and Dang Van Hung. Projection onto State in
Duration Calculus: Relative Completeness. Technical Report 269,
UNU/IIST, P.O.Box 3058, Macau, November 2002. Presented at and
published in the proceedings of the
Third Workshop on Automated Verification of Critical Systems (AVoCS
2003) April 2-3 2003, Southampton, UK.
Siba K. Udgata and Dang Van Hung. A Formal Model for Channel
Allocation in Distributed Mobile Computing Systems. Presented at
and published in the proceedings of the 2003 International
Conference on Parallel and Distributed Processing Techniques and
Applications (PDPTA'03), June 23-26, 2003, Las Vegas, Nevada,
USA.
Li Yong Jian and He Jifeng. Algebraic Laws of VERILOG. Journal of
Computer Science and Technology (2003).
He Jifeng. An integrated approach to HW/SW co-design. Proceedings
of MENA Summer School, Springer-Verlag (2003)
Bernhard K. Aichernig. Test Derivation in a Refinement Process.
RCS'03, the 2nd International Workshop on Refinement of Critical
Systems: Methods, Tools and Developments, June 3, 2002, Turku,
Finland.
Bernhard K. Aichernig. Mutation Testing in the Refinement Calculus.
Formal Aspects of Computing Journal, 2003.
Bernhard K. Aichernig, The Commuting V-Diagram: On the Relation
of Refinement and Testing, Proceedings of CSL/KGC 2003, the Annual
Conference of the European Association for Computer Science Logic
and 8th Kurt Gödel Colloquium, 25-30 August 2003, Vienna, Austria,
Lecture Notes in Computer Science, Springer-Verlag.
Bernhard K. Aichernig. Contract-based Testing, LNCS 2757, Springer-Verlag, October 2003.
Dang Van Hung, Real-time Systems Development with Duration
Calculus: an Overview, LNCS 2757, Springer-Verlag, October 2003.
Dang Van Hung, A Technique for Improving the Performance of Hardware/Software Partitioning, the proceedings of FAIR'03, Hanoi, 4-5
October, 2003.
Chris George, The Development of the RAISE Tools, LNCS 2757,
Springer-Verlag, October 2003.
He Jifeng, An Algebraic Approach to the VERILOG Programming,
LNCS 2757, Springer-Verlag, October 2003.
Tomasz Janowski, X2Rel: An XML Relation Language with Formal
Semantics, LNCS 2757, Springer-Verlag, October 2003.
Zhiming Liu, He Jifeng, Xiaoshan Li, and Jing Liu, Unifying
Views of UML, presented at the Workshop on Compositional Verification of UML at UML 2003, 20-24 October 2003,
San Francisco, California, USA.
Zhiming Liu, He Jifeng, Xiaoshan Li, and Yifeng Chen. A
Relational Model for Formal Object-Oriented Requirement Analysis in
UML, the proceedings of ICFEM03, 5-7 November 2003, Singapore.
Chris George and Anne
Haxthausen, The Logic of the RAISE Specification Language, in Computing and Informatics, Volume 22,
Nos. 3-4, 2003.
He Jifeng and Xu Qiwen
"Advanced features of DC and their applications"
Formal Aspect of Computing, 2003
He Jifeng
"Deriving an operational semantics of VERILOG from is algebraic semantics"
Proceedings of the First Sino-Germany Computer Science Symposium, Shanghai
