Intranet Tools

nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.

RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed

Important message for ECS staff
From 1st March 2012 ECS EPrints will be merging with the central Southampton EPrints Repository (ePrints Soton) and will no longer be accepting new publications - click here to find out more.

Items from Old ECS Groups > Dependable Systems and Software Engineering Research Group in 2007
(Grouped by Item Type)

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Creator/Authors Name
Number of items: 93.


Baltag, A., Coecke, B. and Sadrzadeh, M. (2007) Epistemic Actions as Resources. Journal of Logic and Computation, to appear, 17 (3). pp. 555-585. (In Press)

Banach, R., Jeske, C., Poppleton, M. and Stepney, S. (2007) Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundamenta Informaticae, 77 (1-2). pp. 29-69. ISSN 0169-2968

Banach, R., Poppleton, M., Jeske, C. and Stepney, S. (2007) Engineering and theoretical underpinnings of retrenchment. Science of Computer Programming, 67 . pp. 301-329. ISSN 0167-6423

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2007) Space-Aware Ambients and Processes. Theoretical Computer Science, 373 (1-2). pp. 41-69.

Brody, T., Carr, L., Gingras, Y., Hajjem, C., Harnad, S. and Swan, A. (2007) Incentivizing the Open Access Research Web:
Publication-Archiving, Data-Archiving and Scientometrics.
CTWatch Quarterly, 3 (3).

Butler, M. and Hallerstede, S. (2007) The Rodin Formal Modelling Tool. BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London. . (In Press)

Cirstea, C. and Pattinson, D. (2007) Modular Construction of Complete Coalgebraic Logics. Theoretical Computer Science, 388 . pp. 83-108.

Conforti, G., Macedonio, D. and Sassone, V. (2007) Static BiLog: a Unifying Language for Spatial Structures. Fundamenta Informaticae, 80 . pp. 1-20. ISSN 0169-2968

Derouiche, K. and Nicole, D. A. (2007) Semantically Resolving Type Mismatches in Scientific Workflows. Lecture Notes in Computer Science On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops , 4805 . pp. 125-135. ISSN 0302-9743

Fairman, M. J., Price, A. R., Xue, G., Molinari, M., Nicole, D. A., Lenton, T. M., Marsh, R., Takeda, K. and Cox, S. J. (2007) Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation. Lecture Notes in Computer Science Computational Science – ICCS 2007, 4489 . pp. 273-280. ISSN 0302-9743

Kangsabanik, P., Yadav, D., Mall, R. and Majumdar, A. K. (2007) Performance analysis of long-lived cooperative transactions in active DBMS. Data and Knowledge Engineering, Elsevier, 62 (3). pp. 547-577. ISSN 0169-023X

Krukow, K., Nielsen, M. and Sassone, V. (2007) A Logical Framework for Reputation Systems. Journal of Computer Security, (In pr . (In Press)

Lynce, I. and Marques-Silva, J. (2007) Random Backtracking in Backtrack Search Algorithms for Satisfiability. Discrete Applied Mathematics, 155 (12). pp. 1604-1612.

Marques-Silva, J. (2007) Interpolant Learning and Reuse in SAT-Based Model Checking. Electronic Notes in Theoretical Computer Science, 174 (3). pp. 31-43. ISSN 1571-0661

Marques-Silva, J., Sakallah, K. and Lynce, I. (2007) Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing. AI Magazine, 28 (4). pp. 135-136.

Nicole, D. (2007) Stay unpopular-and get rich quick. Money Guardian . p. 4. ISSN 0261-3077

Nicole, D. and Panahi, T. (2007) Successful Indian model in producing modern computers. Digital, Tehran . p. 30.

Nicole, D. A. (2007) New Schools in the East and west of Southampton. VIEWPOINT : a paper for independent comment (456). pp. 1-7.

Paventhan, A., Takeda, K., Cox, S. J. and Nicole, D. A. (2007) MyCoG.NET: A Multi-language CoG Toolkit. Concurrency and Computation: Practice and Experience, 19 (14). pp. 1885-1900. ISSN 1532-0626

Sannella, D. and Sassone, V. (2007) Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001–2005). Theoretical Computer Science, 389 (3). pp. 337-340. ISSN doi:10.1016/j.tcs.2007.09.019

Sassone, V., Nielsen, M. and Krukow, K. (2007) Towards a Formal Framework for Computational Trust. Formal Methods for Components and Objects, LNCS 4 . pp. 175-184.

Conference or Workshop Item

Abbas, N. (2007) Agile Software Assurance: An Empirical Study. In: International Symposium on Empirical Software Engineering and Measurement (ESEM), 20-21 September, Madrid, Spain. p. 499.

Abbas, N., Gravell, A. M. and Wills, G. B. (2007) Agile Software Assurance. In: PhD Symposium in the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming (XP 2007), June 18-22, Como, Italy. pp. 165-166.

Anderson, T., Andrews, Z., Fitzgerald, J., Randell, B., Glaser, H. and Millard, I. (2007) The ReSIST Resilience Knowledge Base. In: DSN 2007 - The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 25 - June 28, 2007, Edinburgh, UK.

Argles, D., Pease, A. and Walters, R. J. (2007) An Improved Approach to Secure Authentication and Signing. In: The 2007 International Symposium on Frontiers in Networking with Applications (FINA 2007) In conjunction with The IEEE 21st International Conference on Advanced Information Networking and Applications (AINA 2007)., May 21-23, 2007, Niagara Falls, Canada. (In Press)

Ball, E. and Butler, M. (2007) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. In: Methods, Models and Tools for Fault Tolerance, 3rd July 2007, Oxford, UK.

Boardman, R., Crouch, S., Mills, H., Newhouse, S. and Papay, J. (2007) Towards Grid Interoperability. In: All Hands Meeting 2007, OMII-UK Workshop, 10 September - 13 September, 2007, Nottigham, UK.

Bombieri, N., Fummi, F., Pravadelli, G. and Marques-Silva, J. (2007) Towards Equivalence Checking Between TLM and RTL Models. In: Fifth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), May 2007, Nice, France. pp. 113-122.

Chang, V., Mills, H. and Newhouse, S. (2007) From Open Source to long-term sustainability: Review of Business Models and Case studies. In: All Hands Meeting 2007, OMII-UK Workshop, 10 September - 13 September, 2007, Nottigham, UK.

Cirstea, C. and Sadrzadeh, M. (2007) Coalgebraic Epistemic Update without Change of Model. In: 2nd Conference on Algebra and Coalgebra in Computer Science, August 20-24, Bergen, Norway. pp. 158-172.

Cordeiro, L., Barreto, R., Barcelos, R., Oliveira, M., Lucena, V. and Maciel, P. (2007) Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach. In: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, March 26th-29th, Tucson, AZ USA. pp. 195-202.

Cordeiro, L., Becker, C. and Barreto, R. (2007) Applying Scrum and Organizational Patterns to Multi-site Software Development. In: 6th Latin American Conference on Pattern Languages of Programming (SugarLoafPlop'07), May 27-30, Porto de Galinhas, Recife, Brazil.. pp. 46-67.

Crouch, S., Henderson, P. and Walters, R. J. (2007) Selecting a Distributed Agreement Algorithm. In: The 2007 ACM Syposium on Applied Computing, March 11-15, 2007, Seoul, South Korea. pp. 586-587.

Crouch, S., Henderson, P. and Walters, R. J. (2007) DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data. In: The Thirty-first Annual (IEEE) International Computer Software and Applications Conference (COMPSAC07), 23-27 July 2007, Beijing, China. pp. 583-590.

Darbari, A. (2007) A correct-by-construction methodology for designing symmetric circuits. In: International Symmetry Conference.

De Silva, N. H. (2007) Using narratives in collaborative writing: An example. In: Special Session on Collaborative Editing at ICEIS 2007, June 2007, Madeira, Portugal.

De Silva, N. and Henderson, P. (2007) Narrative-based writing for coherent technical documents. In: ACM Special Interest Group on the Design of Communication (SIGDOC), 22-24 Oct 2007, El Paso, Texas, USA.

Garratt, p. (2007) Usability Assessment of a UML-based Formal Modelling Method. In: International Conference on Modelling and Simulation MS'07, 22-24 oct 2007, Terni.

Glaser, H., Millard, I., Rodriguez-Castro, B. and Jaffri, A. (2007) Demonstration:Knowledge-Enabled Research Infrastructure. In: 4th European Semantic Web Conference, 3rd - 7th June 2007, Innsbruck, Austria.

Graca, A. S., Marques-Silva, J., Lynce, I. and Oliveira, A. (2007) Efficient Haplotype Inference with Pseudo-Boolean Optimization. In: Algebraic Biology, July 2007, Hagenberg, Austria. pp. 125-139.

Jaffri, A. (2007) Searching on the Open Semantic Web using a URI Identity Management Approach. In: 6th International Semantic Web Conference Doctoral Consortium, 11 November, Busan, South Korea.

Jaffri, A. and Glaser, H. (2007) Knowledge Enhanced Searching on the Web. In: 6th International Semantic Web Conference Doctoral Consortium, 11 November, Busan,Korea.

Jaffri, A., Glaser, H. and Millard, I. (2007) URI Identity Management for Semantic Web Data Integration and Linkage. In: 3rd International Workshop On Scalable Semantic Web Knowledge Base Systems, 25th - 30th November 2007, Vilamoura, Algarve, Portugal.

Joochim, T. and Poppleton, M. (2007) Transfroming Timing Diagrams into Knowledge Acquisition in Automated Specification. In: IAIT2007: The 2nd International Conference on Advances in Information Technology 2007, Thailand.

Leuschel, M., Butler, M., Spermann, C. and Turner, E. (2007) Symmetry Reduction for B by Permutation Flooding. In: 7th International B Conference, January, Besancon. France.

Leuschel, M., Cansell, D. and Butler, M. (2007) Validating and Animating Higher-Order Recursive Functions in B. In: Festschrift for Egon Börger. (In Press)

Lynce, I. and Marques-Silva, J. (2007) Breaking Symmetries in SAT Matrix Models. In: International Conference on Theory and Applications of Satisfiability Testing, May 2007, Lisbon, Portugal. pp. 22-27.

Marques-Silva, J. and Lynce, I. (2007) Towards Robust CNF Encodings of Cardinality Constraints. In: International Conference on Principles and Practice of Constraint Programming, September 2007, Providence, RI, USA. pp. 483-497.

Marques-Silva, J., Lynce, I., Graca, A. and Oliveira, A. (2007) Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony. In: Portuguese Conference on Artificial Intelligence, December 2007, Guimaraes, Portugal. pp. 621-632.

Millard, D., Fill, K., Gilbert, L., Howard, Y., Sinclair, P., Senbanjo, D. and Wills, G. (2007) Towards a Canonical View of Peer Assessment. In: International Conference on Advanced Learning Technologies (ICALT) 2007, July 18-20, Niigata, Japan.

Millard, D., Howard, Y., Abbas, N., Davis, H., Gilbert, L., Wills, G. and Walters, R. (2007) The Service Responsibility and Interaction Design Method: Using an Agile approach for Web Service Design. In: the 5th IEEE European Conference on Web Services (ECOWS), November 26-28 2007, Halle, Germany.

Poppleton, M. (2007) Towards Feature-Oriented Specification and Development with Event-B. In: REFSQ 2007: Requirements Engineering: Foundation for Software Quality, June 2007, Trondheim, Norway. pp. 367-381.

Rahhal, C., Skaf-Molli, H., Molli, P. and De Silva, N. (2007) SemCW: Semantic Collaborative Writing using RST. In: The 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2007), New York, USA.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In: Foundations of Software Science and Computation Structures, FOSSACS 2007. pp. 302-316.

Razali, R., Snook, C. F., Poppleton, M. R., Garratt, P. W. and Walters, R. J. (2007) Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. In: 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07), 2-3 April 2007, Keele, Staffordshire, UK. pp. 1-11.

Razali, R., Snook, C. F. and Poppleton, M. R. (2007) Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments. In: 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech) 2007, 5 November 2007, Atlanta, Georgia, US. pp. 25-30.

Rezazadeh, A., Evans, N. and Butler, M. (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin. In: BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, 17 December 2007, London.

Richards, S. and Sadrzadeh, M. (2007) Aximo: automated axiomatic reasoning for information update. In: Methods for Modal Logic, 29-30 November 2007, Ecole Normal Superieur, Cachan, France.

Santis, A. D., Ferrara, A. L. and Masucci, B. (2007) Efficient Provably-Secure Hierarchical Key Assignment Schemes. In: MFCS. pp. 371-382.

Santis, A. D., Ferrara, A. L. and Masucci, B. (2007) New constructions for provably-secure time-bound hierarchical key assignment schemes. In: SACMAT. pp. 133-138.

Satpathy, M., Butler, M., Leuschel, M. and Ramesh, S. (2007) Automatic Testing from Formal Specifications. In: International Conference on Tests And Proofs (TAP), 12-13 February 2007, ETH Zurich, Switzerland. (In Press)

Torre, S. L., Madhusudan, P. and Parlato, G. (2007) A Robust Class of Context-Sensitive Languages. In: LICS, 10-12 July 2007, Wroclaw, Poland. pp. 161-170.

Torre, S. L. and Parlato, G. (2007) On the Complexity of LtlModel-Checking of Recursive State Machines. In: ICALP, July 9-13, 2007, Wroclaw, Poland. pp. 937-948.

Turner, E., Leuschel, M., Spermann, C. and Butler, M. (2007) Symmetry Reduced Model Checking for B. In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), June 6 - 8, 2007, ECNU, Shanghai, China. pp. 25-34.

Wills, G., Bailey, C., Davis, H., Gilbert, L., Howard, Y., Jeyes, S., Millard, D., Price, J., Sclater, N., Sherratt, R., Tulloch, I. and Young, R. (2007) AN E-LEARNING FRAMEWORK FOR ASSESSMENT (FREMA). In: International CAA Conference, 10th - 11th July 2007., Loughborough UK.

Wills, G., Davis, H., Gilbert, L., Hare, J., Howard, Y., Jeyes, S., Millard, D. and Sherratt, R. (2007) Delivery of QTIv2 Question Types. In: International CAA Conference, 10th - 11th July 2007., Loughborough uk.

Wills, G. B., Abbas, N., Chandrasekharan, R., Crowder, R. M., Gilbert, L., Howard, Y., Millard, D. E., Wong, S. C. and Walters, R. J. (2007) An Agile Hypertext Design Methodology. In: 18th ACM Conference on Hypertext and Hypermedia, 10th - 12th September 2007, Manchester, UK.

Yadav, D. and Butler, M. (2007) Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts. In: Methods, Models and Tools for Fault Tolerance (MeMoT 2007), July 3, 2007, Oxford. pp. 33-42. (In Press)

Yang, L. and Poppleton, M. (2007) Automatic Translation from Combined B and CSP specification to Java Programs. In: 7th International B Conference, 17-19 January 2007, Besancon, France. pp. 64-78.

Yang, L. and Poppleton, M. (2007) JCSProB: Implementing Integrated Formal Specifications in Concurrent Java. In: Communicating Process Architectures, 9 July, 2007, Surrey. pp. 67-88.


Sassone, V., ed. (2007) Bulletin of the European Association for Theoretical Computer Science. EATCS. ISBN ISSN 0252-9742

Sassone, V., ed. (2007) Bulletin of the European Association for Theoretical Computer Science. EATCS. ISBN ISSN 0252-9742

Sassone, V., ed. (2007) Bulletin of the European Association for Theoretical Computer Science. EATCS. ISBN ISSN 0252-9742

Butler, M., Hinchey, M. G. and Larrondo-Petrie, M. M., eds. (2007) Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007. Lecture Notes in Computer Science, 4789 Springer. ISBN 978-3-540-76648-3

Sannella, D. and Sassone, V., eds. (2007) Semantic and logical foundations of global computing. Theoretical Computer Science, 389(3) Elsevier.

Marques-Silva, J. and Sakallah, K., eds. (2007) Theory and Applications of Satisfiability Testing (SAT 2007). LNCS, 4501 Springer. ISBN 978-3-540-72787-3

Book Section

Nielsen, M., Krukow, K. and Sassone, V. (2007) A Bayesian model for event-based trust. In: Festschrift in hounour of Gordon Plotkin, Elsevier. (In Press)

Sadrzadeh, M. (2007) Pregroup Analysis of Persian Sentences. In: Recent computational algebraic approaches to morphology and syntax, UNSPECIFIED. (In Press)

Technical Report

Chang, V. (2007) The OMII Software – Demonstrations and Comparisons between two different deployments for Client-Server Distributed Systems. Technical Report , Electronics and Computer Science, University of Southampton.

Glaser, H., Lewy, T., Millard, I. and Dowling, B. (2007) On Coreference and the Semantic Web. Technical Report , Electronics & Computer Science, University of Southampton. (Submitted)

Glaser, H., Millard, I., Anderson, T. and Randell, B. (2007) ReSIST Project Deliverable D10: Prototype knowledge base. Technical Report , ECS, University of Southampton. (Unpublished)

Joochim, T. (2007) Enhancing B-Method by Timing Diagram. Technical Report , DSSE, University of Southampton.

Marques-Silva, J. and Planes, J. (2007) On Using Unsatisfiability for Solving Maximum Satisfiability. Technical Report , UNSPECIFIED, UNSPECIFIED.

Razali, R. (2007) UML-B Survey Questionnaires and Responses. Technical Report , DSSE, University of Southampton.

Razali, R., Snook, C., Poppleton, M. and Garratt, P. (2007) Comprehensibility of UML-B - A Series of Controlled Experiments. Technical Report , DSSE/ECS, University of Southampton. (Unpublished)

Rodriguez-Castro, B., Glaser, H. and Carr, L. (2007) On the practical modeling of conceptual overlap among multiple facets in ontology domain concepts (Mini-thesis). Technical Report , School of Electronics and Computer Science, University of Southampton.

Yadav, D. and Butler, M. (2007) Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B. Technical Report , School of Electronics and Computer Science, University of Southampton.


De Silva, N. H. (2007) A narrative-based collaborative writing tool for coherent technical documents. PhD thesis, University of Southampton, UK.

Watkins, E. R. (2007) Trusted Collaboration in Distributed Software Development. PhD thesis, University of Southampton.


Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (2007) Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007).

Jaffri, A. (2007) Searching on the Open Semantic Web Using a URI Identity Management Approach.Mini Thesis:PhD upgrade report. (Unpublished)

Sassone, V. (2007) A Bayesian model for event-based trust - Elements of a foundation for computational trust (talk). (Unpublished)

Sassone, V. (2007) Opportunities for Formal Methods in the analysis of pervasive adaptation (talk). (Unpublished)

This list was generated on Sun Dec 21 00:54:12 2014 GMT.
  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.