Skip to menu | Skip to content |

Software Engineering Group - Publications

    2010:

  1. Mahbub K., Spanoudakis G.: Proactive SLA Negotiation for Service Based Systems, IEEE 4th International Workshop on Software Engineering for Adaptive Service Oriented Systems Ð in conjunction with IEEE Services 2010 (SEASS 2010)

  2. Mahbub K., Spanoudakis G.: A Framework for Proactive SLA Negotiation, 5th International Conference on Software and Data Technologies (ICSOFT 2010)

  3. Spanoudakis G., Zisman A.: Discovering Services During Service-Based System Design using UML, IEEE Transactions in Software Engineering, to appear

  4. Siveroni I., Zisman A., Spanoudakis G.: A UML-Based Static Verification Framework for Security, Requirements Engineering Journal, to appear

  5. Baresi L., Guinea S., Nano O., Spanoudakis G.: Comprehensive Monitoring of BPEL Processes, IEEE Internet Computing, to appear

  6. A. Zisman: Supporting Service Level Agreement with Service Discovery, Book Chapter in Developing Effective Service Oriented Architectures: Concepts and Applications in Service Level Agreements, Quality of Service and Reliability, editor Junichi Suzuki, IGI Global (To appear)

  7. Spanoudakis G., Zisman A.: Designing and Adapting Service-based Systems: A Service Discovery Framework, Book chapter in forthcoming Springer book on Service Engineering, S. Dustdar (ed), to appear

  8. Commuzi M., Spanoudakis G. : Dynamic Set Up of Monitoring Infrastructures for Service Based Systems, 25th Annual ACM Symposium on Applied Computing, Track on Service Oriented Architectures and Programming, March 2010 (to appear)

  9. K Mahbub and A. Zisman, Replacement Policies for Service-based Systems, MONA 09 Workshop (to appear)

  10. R. Patel, B. Borisaniya, A. Patel, D. Patel, R. Muttukrishnan, and A. Zisman: Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification, 3rd International Conference on Network Security and Applications (CNSA-2010), India, July 2010.

  11. R. Contreras and A. Zisman, A Patterns-based Approach for Monitor Adaptation, IEEE International Conference on Software Systems Ð Science, Technology, and Engineering (SwSTEÕ10), Israel, June 2010.

    2009:

  12. Spanoudakis G. , Mana A., Kokolakis S.: Security and Dependability for Ambient Intelligence, Advances in Information Security Series, Springer, ISBN-978-0-387-88775-3

  13. Comuzzi M,. Kotsokalis C., Spanoudakis G., Yahyapour R.: Establishing and Monitoring SLAs in complex Service Based Systems, , IEEE 7th International Conference on Web Services (ICWS ’07), Los Angeles, USA, July 2009 (to appear)

  14. D. Lorenzoli, G. Spanoudakis : Detection of Security and Dependability Threats: A Belief Based Reasoning Approach, 3rd International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2009), to appear

  15. Zisman A., Spanoudakis G., Dooley J.: A Query Language for Service Discovery, 4th International Conference on Software and Data Technologies - ICSOFT 2009, July 2009

  16. G. Spanoudakis, S. LoPresti: Web Service Trust: Towards a Dynamic Assessment Framework , Fourth International Conference on Availability, Reliability and Security (ARES '09)

  17. A. Mana, G. Spanoudakis, R. Harjani, J.F. Ruiz: An Infrastructure for Maintenance and Evolution of Security and Dependability in Dynamic Computing Scenarios , VIII Brazilian Symposium on Software Quality (SBQS'2009), June 2009 (to appear)

  18. Mana A., Spanoudakis G, Kokolakis S.: The SERENITY vision, In Security and Dependability for Ambient Intelligence, Information Security Series, Springer, pp 1-18, 2009

  19. Francisco Sanchez-Cid, Antonio Mana, George Spanoudakis, Daniel Serrano, and Antonio Munnoz Representation of Security and Dependability Solutions, In Security and Dependability for Ambient Intelligence, Information Security Series, Springer, pp. 69-96

  20. Spanoudakis G, Kloukinas C. Mahbub K.: The SERENITY Runtime Monitoring Framework, In Security and Dependability for Ambient Intelligence, In Security and Dependability for Ambient Intelligence, Information Security Series, Springer, pp. 213-238

  21. Tsigritis T. Spanoudakis G, Kloukinas C. Lorenzoli D.: Diagnosis and Threat detection capabilities of the SERENITY Runtime Framework, In Security and Dependability for Ambient Intelligence, Information Security Series, Springer, pp 239-272

  22. Mana A., Spanoudakis G, Kokolakis S.: SERENITY: Future Directions, In Security and Dependability for Ambient Intelligence, Information Security Series, Springer, pp 379-384, (to appear)

  23. Commuzi M,. Spanoudakis G.: A Framework for Hierarchical and Recursive Monitoring of Service Based Systems, 4th International Conference on Internet and Web Applications and Services, May 2009

  24. Commuzi M,. Spanoudakis G.: Describing and Verifying Monitoring Capabilities for Service Based Systems , Proceedings of the CAiSE 2009 Forum, Amsterdam, Netherlands, June 2009

  25. Dooley J., Zisman A., Spanoudakis G.: Runtime Service Discovery for Grid Applications , In Grid Technology for Maximizing Collaborative Decision Management and Support: Advancing Effective Virtual Organizations, (ed) Bessis N., IGI Publishing, ISBN 978-1-60566-364-7 (in press)

  26. Kloukinas C. Better Abstractions for Reusable Components & Architectures" In International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER), ICSE Companion, pp. 199-202, Vancouver, Canada, May 2009, ISBN 978-1-4244-3743-6.

    2008:

  27. Tsigritis T., Spanoudakis G.: A Temporal Abductive Diagnostic Process for Runtime Properties Violation , ECAI 2008 Workshop on Explanation Aware Computing (Exact '08) – in conjunction with ECAI 2008, July 2008

  28. Tsigritis T., Spanoudakis G.: Diagnosing Runtime Violations of Security & Dependability Properties , 20th International Conference on Software Engineering and Knowledge Engineering (to appear)

  29. Kloukinas C., Spanoudakis G., Mahbub K.: Estimating Event Lifetimes for Distributed Runtime Verification , 20th International Conference on Software Engineering and Knowledge Engineering (to appear)

  30. A. Zisman, J. Dooley, G. Spanoudakis: Proactive Runtime Service Discovery, , IEEE 2008 International Service Computing Conference (SCC ’08),to appear

  31. G. Spanoudakis, K. Androutsopoulos: Monitoring Security and Dependability in Mobile P2P Systems , 3rd International Conference for Internet Technology and Secured Transactions (ICITST '08), to appear

  32. M. Di Penta, L. Bastida, A. Sillitti, L. Baresi, N. Maiden, M. Melideo, M. Tilly, G. Spanoudakis, J. Gorroñogoitia Cruz, J.Hutchinson, G. Ripa: SeCSE - Service Centric System Engineering: an overview , At your service: An overview of results of projects in the field of service engineering of the IST programme, (eds) E. di Nitto, P. Traverso, A.M. Sassen, A.Zwegers, MIT Press, Information Systems Series (to appear)

  33. Kozlenkov A., Spanoudakis G., Zisman A., Fasoulas V., Sanchez Cid F.: Architecture-driven Service Discovery for Service Centric Systems, Electronic Government: Concepts, Methodologies, Tools, and Applications, Chapter 2.24 (version of Journal article no 2), (ed) Ari-Veikko Anttiroiko, Information Science Reference, 978-1-59904-947-2, pp 811-842, 2008

  34. G. Spanoudakis, C. Kloukinas, K. Androutsopoulos: Dynamic Verification and Control of Mobile Peer-to-Peer Systems , Third International Conference on Internet Monitoring and Protection (ICIPM '08)

  35. I. Siveroni, A. Zisman, G. Spanoudakis: Property specification and static verification of UML models , Third International Conference on Availability, Reliability and Security (ARES '08)

    2007:

  36. Ron Hira, Oscar Dieste, George Spanoudakis, Giuseppe Vissagio, Guido Wirtz and S. K. Chang IT-Outsourcing and IT-Offshoring: Trends and impacts on SE/KE Curricula , International Journal on Software Engineering and Knowledge Engineering, 17(5): 663-685

  37. Kostas Stathis, George Lekeas, and Christos Kloukinas “Competence checking for the global e-service society using games” In Gregory M. P. O’Hare, Alessandro Ricci, Michael J. O’Grady, and O?guz Dikenelli, editors, Engineering Societies in the Agents World VII - Revised Selected and Invited Papers, volume 4457 of Lecture Notes in Artificial Intelligence, pages 384–400. Springer-Verlag, April 2007.

  38. Kloukinas C., Spanoudakis G., : A Pattern-Driven Framework for Monitoring Security and Dependability , 4th International Conference on Trust, Privacy and Security in Digital Business (TrustBus`07)

  39. Spanoudakis G., Mahbub K., Zisman A.: A Platform for Context Aware Runtime Web Service Discovery , IEEE 2007 International Conference on Web Services, Salt Lake City, Utah, USA

  40. Zisman A. Mahbub K., Spanoudakis G., : A Service Discovery Framework based on Linear Composition , IEEE 2007 International Service Computing Conference, Salt Lake City, Utah, USA

  41. Spanoudakis G. : Dynamic Trust Assessment of Software Services , 2nd International Workshop on Service Oriented Software Engineering (IW-SOSWE 2007), ESEC/FSE 2007

  42. Kloukinas, Christos, “The need to revisit architectural connectors”, Proceedings of the National Workshop on New Research Directions in Composable and Systems Technologies for High Confidence Cyber Physical Systems (CST-HCCPS), Arlington, VA, USA, July 2007.

  43. Pantazoglou M., Tsaglatidou A., Spanoudakis G.: Behaviour Aware Unified Service Discovery , International Workshop SOC@Inside, ICSOC 2007, September 2007

  44. Mahbub K. Spanoudakis G.: Monitoring WS Agreements: An Event Calculus Based Approach, Test and Analysis of Service Oriented Systems, (eds) L. Baresi, E. diNitto, Springer Verlang (book chapter, to appear)

  45. Kozlenkov A., Spanoudakis G., Zisman A., Fasoulas V., Sanchez Cid F.: Architecture-driven Service Discovery for Service Centric Systems, International Journal of Web Services Research, 4(2), pp. 81-112, 2007

  46. Spanoudakis G., Kloukinas C., Androutsopoulos K.: Towards Security Monitoring Patterns , 22nd Annual ACM Symposium on Applied Computing, Technical Track on Software Verification, Seoul Korea, March 2007

  47. Koulouris T., Spanoudakis G., Tsigkritis T.: Towards a Framework for Dynamic Verification of Peer-to-Peer Systems , Second International Workshop on P2P Systems and Applications, ICIW 2007

  48. G. Cysneiros and A. Zisman. Traceability for Agent-Oriented Design Models and Code, 19th International Conference on Software Engineering and Knowledge Engineering (SEKE 2007), USA, July 2007.

  49. A. Zisman. A Static Verification Framework for Secure Peer-to-Peer Applications. 2nd International Workshop on P2P Systems and Applications, ICIW 2007, Mauritius, May 2007.

  50. G. Cysneiros and A. Zisman. Tracing Agent-Oriented Systems. International Symposium of the Grand Challenges for Traceability, Kentucky, March 2007

    51. 2006:

  51. A. Zisman, G.Spanoudakis: UML-based Service Discovery Framework 4th International Conference on Service Oriented Computing, December 2006

  52. A. Mana, C. Rudolph, G.Spanoudakis, V. Lotz, F. Massaci, M. Melideo, J. López-Cobo: Security Engineering for Ambient Intelligence: A Manifesto Integrating Security and Software Engineering: Advances and Future Vision, (ed) H. Mouratidis, Idea Group

  53. Spanoudakis G. Mahbub K,: Non Intrusive Monitoring of Service Based Systems , International Journal of Cooperative Information Systems, Vol. 15, No. 3 (2006) 325-358

  54. Spanoudakis G., Zisman A.: UML-based Service Discovery Tool, 21st IEEE/ACM International Conference on Automated Software Engineering (demo paper)

  55. Kozlenkov A., Fasoulas V., Sanchez F., Spanoudakis G., Zisman A.: A Framework for Architecture-driven Service Discovery , The 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06) – in conjunction with the 28th International Conference on Software Engineering, May 2006

  56. Kostas STATHIS, George LEKEAS, and Christos KLOUKINAS " Competence checking for the global e-service society using games" In Engineering Societies in the Agents World VII, Dublin, Ireland, September 2006. Post-proceedings: LNAI-4457, p. 384-400.

    57. 2005:

  57. Spanoudakis G., Zisman A., Kozlenkov A.: A Service Discovery Framework for Service Centric Systems, 2005 IEEE International Conference on Services Computing

  58. Mahbub K., Spanoudakis G.: Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience , 3rd International IEEE Conference on Web Services - ICWS 2005

  59. Kloukinas C: Thunderstriking Constraints with Jupiter., Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design(MEMOCODE 2005), pp. 211-220, Verona, Italy, Jyly 2005, ISBN 0-7803-9227-2

  60. Spanoudakis G., Zisman A.: Software Traceability: A Roadmap , Advances in Software Engineering and Knowdledge Engineering, (ed) S.K Chang, World Scientific Publishing

  61. W. Jirapanthong and A. Zisman. Supporting Product Line Development through Traceability, 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan, December 2005

  62. S.Jones, A.Kozlenkov, K.Mahbub, N.Maiden, G.Spanoudakis, K.Zachos, X.Zhu, A.Zisman: Service Discovery for Service Centric Systems, eChallenges 2005, October 2005 Ljubljana, Slovenia

    2004:

  63. Spanoudakis G., Kasis K., Dragazi F.: Evidential Diagnosis of Inconsistencies in Object-Oriented Designs , International Journal of Software Engineering and Knowledge Engineering

  64. A. Kozlenkov and A. Zisman. Discovering, Recording, and Handling Inconsistencies in Software Specifications, International Journal of Computer and Information Science, 2004

  65. Spanoudakis G., Kim H.: Supporting the Reconciliation of Models of Object Behaviour , International Journal of Software and Systems Modelling, Special Issue on Object Oriented Information Systems (to appear)

  66. Spanoudakis G., Zisman A., Perez-Minana E., Krause P.: Rule-Based Generation of Requirements Traceability Relations , Journal of Systems and Software, 72(2), 105-127

  67. R.J. Hall and A. Zisman. Behavioral Models as Service Descriptions, 2nd International Conference on Service Oriented Computing, ICSOC 2004, New York, November 2004

  68. Mahbub K., Spanoudakis G.: A Framework for Requirements Monitoring of Service Based Systems , 2nd International Conference on Service Oriented Computing, November 2004, New York

  69. G. Cysneiros and A. Zisman. Refining Prometheus Methodology with i*, 3rd International Workshop on Agent-Oriented Methodologies, OOPSLA 2004, Canada, October 2004.

  70. R.J. Hall and A. Zisman. OMML: A Behavioural Model Interchange Format, 12th IEEE International Conference in Requirements Engineering (RE'2004), Japan, September 2004.

  71. R.J. Hall and A. Zisman. Validating Personal Requirements by Assisted Symbolic Behavior Browsing, 19th IEEE International Conference on Automated Software Engineering Conference, ASE 2004, Austria, September 2004

  72. Christos KLOUKINAS "Data-Mining Synthesised Schedulers for Hard Real-Time Systems.". In the Proceedings of the 19th IEEE Conference on Automated Software Engineering (ASE 2004), 10 pages. Linz, Austria, September 2004

  73. Spanoudakis G., Mahbub K.: Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus , 19th IEEE International Conference on Automated Software Engineering - ASE 2004, September 2004

  74. A. Zisman and G. Spanoudakis. Software Traceability: Past, Present & Future, Requirenautics Quarterly, 13, Newsletter of the Requirements Engineering Specialist Group of the British Computer Society, September 2004.

  75. O. Rodrigues, A. S. d'Avila Garcez and A. Russo. Reasoning about Requirements Evolution using Clustered Belief Revision (revised version). In Proceedings of the Brazilian Symposium on Artificial Intelligence (SBIA'04), Sao Luis, Brazil, Lecture Notes in Artificial Intelligence, Springer-Verlag, (to appear) October 2004.

  76. R.J. Hall and A. Zisman. Model Interchange and Integration for Web Services. In Proceedings of the Workshop on Testing, Analysis, and Verification of Web Services (TAV-WEB), July, Boston, USA, 2004 (to appear)

  77. W. Jirapanthong and A. Zisman. Traceability for Product Family Systems: An XQuery Approach, International Workshop on Requirements Reuse in System Family Engineering, Spain, July, 2004

  78. A. S. d'Avila Garcez, L. C. Lamb, K. Broda and D. M. Gabbay. Applying Connectionist Modal Logics to Distributed Knowledge Representation Problems, International Journal on Artificial Intelligence Tools, (to appear) 2004.

  79. A. S. d'Avila Garcez. On Gabbay's Fibring Methodology for Bayesian and Neural Networks. In D. A. Gillies (ed.), Laws and Models in Science, King's College Publications, (to appear) 2004.

  80. A. S. d'Avila Garcez, D. M. Gabbay, S. Holldobler and J. G. Taylor (eds). Journal of Applied Logic, Special Volume on Neural-Symbolic Systems, Elsevier, (to appear) 2004.

  81. A. S. d'Avila Garcez, D. M. Gabbay and L. C. Lamb. Towards a Connectionist Argumentation Framework. In Proceedings of 16th European Conference on Artificial Intelligence (ECAI'04), Valencia, Spain, IOS Press, (to appear) August 2004.

  82. A. S. d'Avila Garcez and D. M. Gabbay. Fibring Neural Networks. In Proceedings of 19th National Conference on Artificial Intelligence (AAAI 04). San Jose, California, USA, AAAI Press, (to appear) July 2004.

  83. A. S. d'Avila Garcez and L. C. Lamb. Reasoning about Time and Knowledge in Neural-Symbolic Learning Systems. In Advances in Neural Information Processing Systems 16, Proceedings of the NIPS 2003 Conference, Vancouver, Canada, S. Thrun, L. Saul and B. Schoelkopf (eds.), MIT Press, (to appear) 2004.

    2003:

  84. A.A. Garcez, G. Spanoudakis, A. Zisman. Proceedings of Workshop on Intelligent Technologies for Software Engineering (WITSE'03) , organised in conjunction with the 9th European Software Engineering Conference and the 11th Symposium on Foundations of Software Engineering (ESEC/FSE'03) , ISSN 1364-4009, September 2003.

  85. A. S. d'Avila Garcez and L. C. Lamb. Reasoning about Time and Knowledge in Neural-Symbolic Learning Systems. In Advances in Neural Information Processing Systems 16, Proceedings of the NIPS 2003 Conference, Vancouver, Canada, S. Thrun, L. Saul and B. Schoelkopf (eds.), MIT Press, (to appear) 2004.

  86. Spanoudakis G., Zisman A.: Proceedings of the 2nd International Workshop on Traceability in Emerging Forms of Software Engineering (TESFSE '03), , organised in conjunction with the 18th IEEE International Conference on Automated Software Engineering), ISSN 1364-4009, October 2003

  87. R.J. Hall and A. Zisman. Overview of OpenModel-based Validation with Partial Information, 18th IEEE International Conference on Automated Software Engineering Conference, ASE 2003, Montreal, Quebec, October 2003.

  88. Christos KLOUKINAS, Chaker NAKHLI, Sergio YOVINE "A methodology and tool support for generating scheduled native code for real-time Java applications.". In the Proceedings of the Third International Conference on Embedded Software (EMSOFT 2003), LNCS-2855, pages 274-289. Philadelphia, Pennsylvania, USA, October 2003 Rajeev Alur and Insup Lee (eds.)

  89. Spanoudakis G.,: Supporting the Construction of Decision Models for Software Selection: A Probabilistic Traceability Approach , 2nd International Workshop on Traceability in Emerging Forms of Software Engineering - ASE 2003, Montreal, Canada, October 2003

  90. Avilla Garcez A., Spanoudakis G., Zisman A.: Proceedings of Workshop on Intelligent Technologies for Software Engineering , (organised in conjunction with the 9th European Software Engineering Conference and the 11th Symposium on Foundations of Software Engineering), ISSN 1364-4009, September 2003

  91. Christos KLOUKINAS, Sergio YOVINE "Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems.". In the Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS'03), pages 287-294 Porto, Portugal, July 2003 ISBN 0-7695-1936-9

  92. O. Rodrigues, A. S. d'Avila Garcez and A. Russo. Reasoning about Requirements Evolution using Clustered Belief Revision, ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering (WITSE'03), Helsinki, Finland, September 2003.

  93. Spanoudakis G., Avilla Garcez A., Zisman A.: Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach, 15th International Conference in Software Engineering and Knowledge Engineering (SEKE 2003), San Francisco, CA, USA, July 2003

  94. Zisman A., Spanoudakis G., Perez-Minana E., Krause P.: Tracing Software Requirements Artefacts, The 2003 International Conference on Software Engineering Research and Practice (SERP'03), Las Vegas, Nevada, USA, June 2003

  95. Mella J., Zisman A., Nurse D., Spanoudakis G.: Using Web Services to Support Legacy Clinical Systems, Healthcare Computing 2003 (HC 2003), Harrogate, England, March 2003

  96. Cysneiros Filho G., Zisman A., Spanoudakis G.: A Traceability Approach for i* and UML Models, Proceedings of 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems - ICSE 2003, May 2003

  97. A. S. d'Avila Garcez, A. Russo, B. Nuseibeh and J. Kramer.: Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications, IEE Proceedings - Software 2003

  98. A. S. d'Avila Garcez, L. C. Lamb and D. M. Gabbay. Neural-Symbolic Intuitionistic Reasoning, In Proceedings of IEEE International Conference on Hybrid Intelligent Systems (HIS'03), IOS Press, Melbourne, Australia, December 2003.

    2002:

  99. R.J. Hall and A. Zisman. Overview of OpenModel-based Validation with Partial Information, 18th IEEE International Conference on Automated Software Engineering Conference, ASE 2003, Montreal, Quebec, October 2003.

  100. A. Kozlenkov and A. Zisman.: Are their Design Specifications Consistent with our Requirements?, IEEE Joint International Requirements Engineering Conference - RE'02, Essen, September 2002

  101. A. Kozlenkov and A. Zisman.: Checking Behavioural Inconsistencies in UML Specifications, Scenarios and State Machines: Models, Algorithms, and Tools ICSE Workshop - ICSE 2002, Orlando, May 2002

  102. Spanoudakis G., Kim H.: Diagnosis of the Significance of Inconsistencies in Software Designs: A Framework and Its Experimental Evaluation, Journal of Systems and Software, 64(1), pp. 3-22, October 2002

  103. Spanoudakis G.: Plausible and Adaptive Requirement Traceability Structures, 14th International Conference on Software Engineering and Knowledge Engineering, Ischia, Italy, July 2002

  104. A. Zisman, J. Chelsom, N. Dinsey, S. Katz and F. Servan.: Using Web Services to Interoperate Data at the FAO, DC-2002 - Metadata for e-Communities: Supporting Diversity and Convergence, Florence, October 2002.

  105. A. Zisman, R. Summers, S. Katz, F. Servan, and J. Chelsom.: Information Bus: A Web Services Application, 11th International World Wide Web Conference - Practice and Experience Track - WWW2002, Honolulu, Hawaii, May 2002.

  106. Zisman A., Spanoudakis G., Perez-Minana E., Krause P.: Towards a Traceability Approach for Product Families Requirements, 3rd ICSE Workshop on Software Product Lines: Economics, Architectures, and Implications. available in pdf). Orlando, USA, 2002

  107. Valérie ISSARNY, Christos KLOUKINAS, Apostolos ZARRAS "Systematic Aid for Developing Middleware Architectures" Communications of the ACM, Vol. 45, Issue 6, pages 53-58, June 2002.

  108. A. S. d'Avila Garcez, L. C. Lamb and D. M. Gabbay. A Connectionist Inductive Learning System for Modal Logic Programming, In Proceedings of 9th IEEE International Conference on Neural Information Processing ICONIP'02, Singapore, November 2002.

  109. A. S. d'Avila Garcez. Extended Theory Refinement in Knowledge-based Neural Networks. In Proceedings of IEEE International Joint Conference on Neural Networks (IJCNN'2002), World Congress on Computational Intelligence, Honolulu, Hawaii, May 2002

    2001:

  110. Spanoudakis G., Zisman A.: Inconsistency Management in Software Engineering: Survey and Open Research Issues, Handbook of Software Engineering and Knowledge Engineering, (eds) Chang S. K., World Scientific Publishing Co., ISBN 981-02-4973, pp. 329-380, 2001
  111. Spanoudakis G. and Kim H.: Reconciliation of Object Interaction Models, Proceedings of the 7th International Conference on Object-Oriented Information Systems (OOIS '01), Calgary, Canada, Springer-Verlang, ISBN 1-85233-546-7, pp. 47-58, 2001
  112. Morris, S. and Spanoudakis, G.: UML: An Evaluation of the Visual Syntax of the Language, Proceedings of The Thirty-Fourth Annual Hawaii International  Conference on Systems Sciences (HICSS'01), Los Alamitos, CA : IEEE Press, 2001
  113. A. Zisman and A. Kozlenkov.: Knowledge Base Approach to Consistency Management of UML Specifications, 16th International Conference on Automated Software Engineering - ASE 2001, California, November 2001
  114. A. Zisman and A. Athanasopoulou.: Consistency Management of Financial XML Documents, 13th Conference on Advanced Information Systems Engineering - CAiSE'01, Interlaken, Switzerland, June 2001.
  115. Christos KLOUKINAS, Valérie ISSARNY "Spin-ning Software Architectures: A Method for Exploring Complex Systems". In Proceedings of the Working IEEE/IFIP Conference on Software Architecture (WICSA2001), pages 67--76 August 28--31, 2001, Amsterdam, The Netherlands
  116. Apostolos ZARRAS, Valérie ISSARNY, Christos KLOUKINAS and Viet Khoi NGUYEN "A Base UML Extension for Architecture Description." In 1st ICSE Workshop on Describing Software Architecture with UML, held in conjunction with the 23rd International Conference on Software Engineering (ICSE-2001) May 15, 2001, Toronto, Canada

    117. 2000:

  117. Spanoudakis, G. and Zisman, A.: Information Monitors: An Architecture Based on XML, In Proceedings of the 6th International Conference on Object-Oriented Information Systems (OOIS' 2000), London, December 2000

  118. Spanoudakis G., Kassis K.: An Evidential Framework for Diagnosing the Significance of Inconsistencies in UML Models, Proceedings of the International Conference on Software: Theory and Practice, Bejing, China, August 2000 

  119. Spanoudakis G., Kim H.: Quantitative Assessment of the Significance of Inconsistencies in Object-Oriented Designs, Proceedings of 4th International ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering, Cannes, France, June 2000

  120. C. Nentwich, W. Emmerich, A. Finkelstein, and A. Zisman. BOX: Bowsing Objects in XML, Software Practice and Experience 30(15), 1661-1676, 2000.

  121. A. Zisman, W. Emmerich, and A. Finkelstein. Using XML to Build Consistency Rules for Distributed Specifications,10th International Workshop on Software Specification and Design - IWSSD-10, SanDiego, USA, November, 2000.

  122. A. Zisman. An Overview of XML, Computing & Control Engineering Journal, 11 (4), 2000, IEE.

  123. Christos KLOUKINAS, Valérie ISSARNY "Automating the Composition of Middleware Configurations." In Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE-2000), pages 241--244 September 11--15, 2000, Grenoble, France ISBN: 0-7695-0710-7

    124. 1999:

  124. Spanoudakis G., Finkelstein A., Till D.: Overlaps in Requirements Engineering, Automated Software Engineering Journal, to appear (available by ftp as ase99.ps.gz)
  125. Morris, S.J. & Finkelstein, A.C.W. Engineering via discourse: Content structure as an essential component for multimedia documents. International Journal of Software Engineering and Knowledge Engineering, Vol 9, No 6 (1999) pp 691-724, World Scientific Pub. Co.
  126. A. Zisman and J. Kramer, An Approach to Interoperation between Autonomous Database Systems, Distributed Systems Engineering Journal 6 (1999), 135-148. 
  127. B. Cohen: Being Served, Chapter 2 of Behavioural Specifications of Businesses and Systems, ed. H. Kilov, B. Rumpe and I. Simmonds, ISBN 0-7923-8629-9, Kluwer 1999

    128. 1998:

  128. Spanoudakis G., Finkelstein A.: A Semi-automatic process of Identifying Overlaps and Inconsistencies between Requirement Specifications, In Proceedings of the 5th International Conference on Object-Oriented Information Systems (OOIS 98), pp. 405-424, (available by ftp as oois98.ps.gz)
  129. S. Jones, D. Till and A. M. Wrightson: Formal methods and requirements engineering: challenges and synergies, Journal of System Software, Volume 40, Number 3, Elsevier Science Inc., 1998.
  130. Morris, S.J. Media transformations for the representation and communication of multimedia production activities. In Sutcliffe, A. et al. (Eds) Designing Effective and Usable Multimedia Systems. Norwell, Mass.: Kluwer Academic Publishers, 1998
  131. Morris, S.J. Introducing the Unified Modeling Language (UML). In Proceedings of 20th International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 19-25 1998, Vol II pp 266-267. Los Alamitos, CA : IEEE Press, 1998
  132. A. Zisman and J. Kramer, Information Discovery for Autonomous Database Systems, ISCA 11th International Conference on Parallel and Distributed Computing Systems - PDCS98, Chicago, Illinois,September 1998. 
  133. P. Boxer and B. Cohen: Analysing the Lack of Demand Organisation, in Computing Anticipatory Systems (ed. D. Dubois), American Inst. of Physics Conference Proceedings 437, 1998, ISBN 1-5636-827-4, pp157-181.