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
 
Warning

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 2005
(Grouped by Nothing)

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: 99.

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

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

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

Sassone, V., ed. (2005) Proceedings of Foundations of Software Science and Computation Structures, FoSSaCS 2005. Lecture Notes in Computer Science 3441. Springer.

Sassone, V., ed. (2005) Theoretical Computer Science vol. 322(3). Special issue on Foundations of Wide Area Network Computing. Elsevier.

Atkinson, M. P., De Roure, D., Dunlop, A. N., Fox, G., Henderson, P., Hey, A. J. G., Paton, N. W., Newhouse, S., Parastatidis, S., Trefethen, A. E., Watson, P. and Webber, J. (2005) Web Service Grids: an evolutionary approach. Concurrency and Computation: Practice and Experience, 17 (2-4). pp. 377-389.

Baltag, A., Coecke, B. and Sadrzadeh, M. (2005) Algebra and Sequent Calculus for Epistemic Actions. Electronic Notes in Theoretical Computer Science, 126 . pp. 27-52.

Banach, R., Bodeveix, J. P., Filali, M. and Poppleton, M. (2005) Dynamic aspects of retrenchments through temporal logic. ANNALS OF MATHEMATICS, COMPUTING & TELEINFORMATICS, 1 (3). pp. 18-26. ISSN 1109-9305 (In Press)

Banach, R., Bodeveix, J. P., Filali, M. and Poppleton, M. (2005) Dynamic aspects of retrenchments through temporal logic. In: South-East European Workshop on Formal Methods, 18-19 November 2005, Ohrid, Macedonia. pp. 104-118.

Banach, R., Poppleton, M., Jeske, C. and Stepney, S. (2005) Retrenching the Purse: Finite Sequence Numbers,
and the Tower Pattern.
In: FM 2005: International Symposium of Formal Methods Europe, 18-22 July 2005, Newcastle, UK. pp. 382-398.

Banach, R., Poppleton, M., Jeske, C. and Stepney, S. (2005) Retrenchment and the Mondex Electronic Purse
(Extended Abstract).
In: 12th International Workshop on Abstract State Machines - ASM 2005, March 2005, Paris, France. pp. 41-48.

Bhalla, A., Lynce, I., Sousa, J. T. and Marques-Silva, J. P. (2005) Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. Journal of Automated Reasoning, 35 (1-3). pp. 3-24.

Brewster, C., Glaser, H. and Haughton, B. (2005) AKTive Food: Semantic Web based knowledge conduits for the Organic Food Industry. In: ISWC Workshop, Semantic Web Case Studies and Best Practices for eBusiness, SWCASE05, November 2005, Galway, Ireland.

Bruni, R., Gadducci, F., Montanari, U. and Sobocinski, P. (2005) Deriving weak bisimulation congruences from reduction systems. In: Concur, August 23-26, 2005, San Francisco, USA. pp. 293-307.

Bruni, R., Montanari, U. and Sassone, V. (2005) Observational Congruences for Dynamically
Reconfigurable Tile Systems.
Theoretical Computer Science, 335 (2-3). pp. 331-372.

Bruni, R., Butler, M., Ferreira, C., Hoare, T., Melgratti, H. and Montanari, U. (2005) Comparing two approaches to compensable flow composition. In: CONCUR 2005, 23-26 August 2005, San Francisco. (In Press)

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2005) Communication and Mobility Control in Boxed Ambients. Information and Computation, 202 (1). pp. 39-86. ISSN doi:10.1016/j.ic.2005.06.002

Butler, M., Ferreira, C. and Ng, M. Y. (2005) Precise Modelling of Compensating Business Transactions and its Application to BPEL. Journal of Universal Computer Science, 11 (5). pp. 712-743. ISSN 0948-6968

Butler, M., Hoare, C. A. R. and Ferreira, C. (2005) A trace semantics for long-running transactions. In: 25 Years of CSP, July 2004, London. pp. 133-150.

Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (2005) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005). Technical Report Series, CS-TR- University of Newcastle upon Tyne, School of Computing Science.

Butler, M. and Leuschel, M. (2005) Combining CSP and B for Specification and Property Verification. In: Formal Methods 2005, 18-22 July 2005, Newcastle upon Tyne. pp. 221-236.

Butler, M., Leuschel, M. and Snook, C. (2005) Tools for system validation with B abstract machines. In: ASM 2005: 12th International Workshop on Abstract State Machines, March 2005, Paris. (In Press)

Butler, M. and Ripon, S. (2005) Executable Semantics for Compensating CSP. In: 2nd International Workshop on Web Services and Formal Methods, September 2005, Versailles. 243- 256.

Carbone, M., Nielsen, M. and Sassone, V. (2005) A Calculus of Trust Management. ALP Newsletter, 17 (4). 4 pp..

Carrabs, F., Cerulli, R., Gentili, M. and Parlato, G. (2005) A linear time algorithm for the minimum Weighted Feedback Vertex Set on diamonds. Inf. Process. Lett., 94 (1). pp. 29-35.

Chang, V. (2005) The 64-bit .NET e-portal applications for e-Learning and e-Science. In: The United Nations World Summit on the Information Society, 2005, November 14-16, 2005, Renaissance Tunis Hotel, La Marsa, Tunisia.

Chang, V. (2005) Integrated use of Web Technologies to deliver a secure collaborative web portal. In: 2005 IEEE Information Technology for Education and Research (ITRE) Conference, 27-30 June 2005, National Tsiung Hua University, Hsin Chu. pp. 1-5.

Chang, V. (2005) Two research contributions in 64-bit computing: Testing and Applications. In: IADAT-tcn2005 International Conference on Telecommunications and Computer Networks, 7 September - 9 September, 2005, 7 September - 9 September, 2005, Portsmouth, UK.

Ciaffaglione, A., Hennessy, M. and Rathke, J. (2005) Proof methodologies for behavioural equivalence in distributed pi-calculus. Technical Report Computer Science Report 03-2005, Informatics, University of Sussex.

Ciaffaglione, A., Hennessy, M. and Rathke, J. (2005) Proof methodologies for behavioural equivalence in distributed pi-calculus. Lecture Notes in Computer Science 3731, Proc. Springer-Verlag.

Conforti, G., Macedonio, D. and Sassone, V. (2005) Bigraphical Logics for XML. In: 13th Symposium on Advanced Database Systems, SEDB 2005.. pp. 392-399.

Conforti, G., Macedonio, D. and Sassone, V. (2005) Spatial Logics for Bigraphs. In: 32th International Colloquium on Automata, Languages and Programming, ICALP 2005.. pp. 766-778.

Craig, S. J. and Leuschel, M. (2005) Self-Tuning Resource Aware Specialisation for Prolog. In: Proceedings of PPDP'05, pp. 23-34, ACM Press.

Crouch, S., Henderson, P. and Walters, R. J. (2005) BUILDING APPLICATIONS ABLE TO COPE WITH
PROBLEMATIC DATA USING A DATAWARP APPROACH.
In: Seventh International Conference on Enterprise Information Systems, May 25-28, 2005, Miami, USA. pp. 411-414.

Davies, W. M., Howard, Y., Millard, D. E., Davis, H. C. and Sclater, N. (2005) Aggregating Assessment Tools in a Service Oriented Architecture. In: 9th International CAA Conference, 5-6 July 2005, Loughborough.

De Silva, N. and Henderson, P. (2005) Computer Support for Narrative Structures. In: Computers and Writing 2005, 16-19 June, 2005, Stanford University, California, USA.

De Silva, N. (2005) A narrative approach to technical document construction. In: PREP 2005, 31st March - 1st April 2005, Awarded EPSRC prize for best oral presentation in Computer Science, Lancaster University, UK. pp. 128-129.

De Silva, N. and Henderson, P. (2005) Narrative support for technical documents: Formalising Rhetorical Structure Theory. In: International Conference on Enterprise Information Systems (ICEIS), 24-28 May 2005, Miami, FL, USA.

Farwer, B. and Varea, M. (2005) Object-based Control/Data-flow Analysis. Technical Report DSSE-TR-2005-1, ECS, University of Southampton. (Unpublished)

Farwer, B. and Varea, M. (2005) Transforming Dual Flow Nets into Object Petri Nets. In: International Workshop on Concurrency, Specification & Programming (CS&P), 28-30 September 2005, Poland.

Ferrante, A., Parlato, G., Sorrentino, F. and Ventre, C. (2005) Improvements for Truthful Mechanisms with Verifiable One-Parameter Selfish Agents. In: WAOA. pp. 147-160.

Garratt, P. W. and Jam, E. R. (2005) Open Source Planning and Management Tool PPMT. In: ICMS'05 International Conference on Modeling and Simulatio, 22-24 November 2005, Marrakesh Morocco.

Gorla, D., Hennessy, M. and Sassone, V. (2005) Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science, 1 (3:2). pp. 163-21. ISSN 1860-5974

Gorla, D., Hennessy, M. and V. Sassone, (2005) Security Policies as Membranes in Systems for Global Computing. In: Foundations of Global Ubiquitous Computing, FGUC 2004.. pp. 23-42.

Gurd, J., Hey, T., Papay, J. and Riley, G. (2005) Grid Performance - Licklider and the Grid. Concurrency and Computation Practice & Experience, 17 (2). pp. 95-98. ISSN 1532-0626

Henderson, P., Crouch, S., Walters, R. J. and Ni, Q. (2005) Effects of introducing survival behaviours into automated
negotiators specified in an environmental and behavioural framework.
Journal of Systems and Software, 76 (1). pp. 65-76. ISSN 0164-1212

Hennessy, M., Yoshida, N. and Rathke, J. (2005) safeDpi: a language for controlling mobile code. Acta Informatica, 42 (4). pp. 227-290.

Hey, T., Papay, J. and Surridge, M. (2005) The Role of Performance Engineering Techniques in the Context of the Grid. Concurrency and Computation: Practice and Experience, 17 (2-4). pp. 297-316. ISSN 1532-0626

Hey, T. and Trefethen, A. (2005) Cyberinfrastructure for e-Science. Science, 308 (5723). pp. 817-821.

Horne, R. (2005) Computable Cyclic Functions. Masters thesis, Oxford University.

Jeffrey, A. and Rathke, J. (2005) Contextual equivalence for higher-order pi-calculus revisited. Logical Methods in Computer Science, 1 (1).

Jeffrey, A. and Rathke, J. (2005) Full abstraction for Polymorphic Pi-Calculus. Lecture Notes in Computer Science, Proc. Springer-Verlag.

Jeffrey, A. and Rathke, J. (2005) A fully abstract may testing semantics for concurrent objects. Theoretical Computer Science, 338 (1-3). pp. 17-63.

Jeffrey, A. and Rathke, J. (2005) Java Jr. : Fully abstract trace semantics for a Core Java Language. In: European Symposium on Programming, part of ETAPS, Edinburgh. pp. 423-438.

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. In: First International Conference on Algebras and Coalgebras in Computer Science.. pp. 30-50.

Krukow, K., Nielsen, M. and Sassone, V. (2005) A Formal Framework for Concrete Reputation Systems. In: 12th ACM Conference on Computer and Communication Security, CCS'05.. pp. 260-269.

Kwiatkowska, M. and Sassone, V. (2005) GC2: Science for Global Ubiquitous Computing. Grand Challenges in Computing . pp. 9-12.

Lack, S. and Sobocinski, P. (2005) Adhesive and quasiadhesive categories. Theoretical Informatics and Applications, 39 (2). pp. 522-546.

Lee, Y. J. and Henderson, P. (2005) A Modelling Notation for Grid Computing. In: The Workshop of International Conference on Computational Intelligence and Security, 15-19 December 2005, Xian, China. (In Press)

Lee, Y. J. and Henderson, P. (2005) A Practical Modelling Notation for Secure Distributed Computation. In: The INA workshop in conjunction with 19th International Conference on Advanced Information Networking and Applications, 28-30, March 2005, Taipei, Taiwan.

Leuschel, M. (2005) Guest Editorial - Special Issue on Automated Verification of Critical Systems. Formal Aspects of Computing (17). pp. 91-92.

Leuschel, M. and Butler, M. (2005) Automatic Refinement Checking for B. In: ICFEM'05.

Leuschel, M. and Craig, S. J. (2005) A Reconstruction of the Lloyd-Topor Transformation using Partial Evaluation. In: Pre-Proceedings of LOPSTR'05, September 2005, Imperial College, London, UK. (In Press)

Leuschel, M. and Turner, E. (2005) Visualising Larger State Spaces in ProB. In: Proceedins of ZB 2005, April 2005, Guildford, UK. pp. 6-23.

Leuschel, M. and Vidal, G. (2005) Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. In: European Symposium on Programming (ESOP'05), April 2005, Edinburgh, UK. pp. 61-76.

Lewy, T., Glaser, H. and Shadbolt, N. (2005) A Framework for Reference Management in the Semantic Web. Technical Report , Electronics & Computer Science, University of Southampton. (Unpublished)

Lo Presti, S., Butler, M., Leuschel, M. and Booth, C. (2005) A Trust Analysis Methodology for Pervasive Computing Systems. In: Trusting Agents for trusting Electronic Societies, LNCS Volume 3577, Springer.

Lo Presti, S. and Butler, M. (2005) Literature Survey on Trust. Technical Report , School of Electronics and Computer Science, University of Southampton. (Unpublished)

Louzado, D. and Cordeiro, L. (2005) Aplicando Padrões de Gerência de Configuração de Software em Projetos Geograficamente Distribuídos. In: 5th Latin American Conference on Pattern Languages of Programming, August 16-19, 2005, Campos do Jordão, São Paulo, Brasil. pp. 207-221.

Louzado, D. and Cordeiro, L. (2005) Aplicando Padrões de Gerência de Configuração de Software em Projetos Geograficamente Distribuídos. In: 5th Latin American Conference on Pattern Languages of Programming, August 16-19, 2005, Campos do Jordão, São Paulo, Brasil. pp. 207-221.

Lynce, I. and Marques-Silva, J. (2005) Efficient data structures for backtrack search SAT solvers. Annals of Mathematics and Artificial Intelligence, 47 (1). pp. 137-152.

Maier, P., Armstrong, R., Hall, W. and Ng, M. H. (2005) JointZone: users' view of an adaptive online learning resource for rheumatology. Learning, Media and Technology, 30 (3). pp. 281-297.

Manquinho, V. and Marques-Silva, J. P. (2005) Effective Lower Bounding Techniques for Pseudo-Boolean Optimization. In: Proceedings of the Design, Automation and Test in Europe Conference, March 2005, Munich, Germany. pp. 660-665.

Manquinho, V. and Marques-Silva, J. P. (2005) On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. In: International Conference on Theory and Applications of Satisfiability Testing. pp. 451-458.

Manquinho, V. and Marques-Silva, J. P. (2005) Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts. In: International Conference on Tools with Artificial Intelligence, November 2005, Hong Kong, China.

Marques-Silva, J. (2005) Improvements to the Implementation of Interpolant-Based Model Checking. In: Correct Hardware Design and Verification Methods, October 2005, Saarbrücken, Germany. pp. 367-370.

Milicia, G. and Sassone, V. (2005) Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects. Concurrency and Computation: Practice & Experience, 17 (5-6). pp. 539-572.

Millard, D., Howard, Y., Bailey, C., Davis, H., Gilbert, L., Jeyes, S., Price, J., Sclater, N., Sherratt, R., Tulloch, I., Wills, G. and Young, R. (2005) Mapping the e-Learning Assessment Domain: Concept Maps for Orientation and Navigation. In: e-Learn 2005, 24-28 October, 2005, Vancouver, Canada.

Mneimneh, M. N., Lynce, I., Andraus, Z. S., Marques-Silva, J. P. and Sakallah, K. A. (2005) A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. In: International Conference on Theory and Applications of Satisfiability Testing, June 2005, St. Andrews, UK. pp. 467-474.

Morgado, A. and Marques-Silva, J. P. (2005) Good Learning and Implicit Model Enumeration. In: International Conference on Tools with Artificial Intelligence, November 2005, Hong Kong, China.

Nicole, D. A. (2005) UNICORE and GRIP: Experiences of Grid Middleware Development. In: 2005 International Conference on Grid Computing and Applications, June 20-23, 2005, Las Vegas, Nevada, USA. pp. 11-17.

Pradhan, D. K., Abadir, M. S. and Varea, M. (2005) Recent Advances in Verification, Equivalence Checking and SAT-Solvers. In: 18th International Conference on VLSI Design, 3-7 January 2005, Kolkata, India. p. 14.

Rezazadeh, A. and Butler, M. (2005) Some Guidelines for Formal Development of Web-based Applications in B-Method. In: 4th International Conference of B and Z Users (ZB 2005), 13-15 April 2005. (In Press)

Sassone, V. (2005) A Framework for Concrete Reputation Systems with applications to History-Based Access Control (talk). (Unpublished)

Sassone, V. (2005) Labels from Reductions - the theory of relative pushouts (talk). (Unpublished)

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In: International Workshop on Petri Nets and Graph Transformations.. pp. 107-120.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333 (1-2). pp. 297-327.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In: 20th Symposium on Logic in Computer Science, LICS 2005.. pp. 311-320.

Satpathy, M., Leuschel, M. and Butler, M. (2005) ProTest: An Automatic Test Environment for B Specifications. Electronic Notes in Theoretical Computer Science, 111 . pp. 113-136. ISSN 1571-0661

Snook, C., Poppleton, M. and Johnson, I. (2005) The engineering of generic requirements for failure
management.
In: Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, 13-14 June 2005, Oporto. pp. 145-160.

Snook, C., Poppleton, M. and Johnson, I. (2005) Towards a methodology for rigorous development of generic requirements patterns. In: Workshop on Rigorous Engineering of Fault Tolerant Systems, 19-07-2005, Newcastle, UK. pp. 17-27.

Walters, R. J. (2005) Checking of models built using a graphically based formal modelling language. Journal of Systems and Software, 76 (1). pp. 55-64. ISSN 0164-1212

Walters, R. J. and Crouch, S. (2005) M-grid: Using Ubiquitous Web Technologies to create a
Computational Grid.
In: European Grid Conference (EGC) 2005, 14th - 16th February 2005, Amsterdam.

Wang, Q., Gupta, G. and Leuschel, M. (2005) Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. In: Proceedings of PADL'05 (Practical Applications of Declarative Languages), January 2005, Long Beach, CA, USA. pp. 98-112.

Watkins, E. R. and Nicole, D. A. (2005) Version Control in Online Software Repositories. Proceedings of the 2005 International Conference on Software Engineering Research and Practice, II . pp. 550-556. ISSN 1-932415-49-1

Watkins, E. R. and Nicole, D. A. (2005) Version Control in Online Software Repositories. ACM TechNews, 7 (872).

Yadav, D. and Butler, M. (2005) Application of Event B to Global Causal Ordering for Fault Tolerant Transactions. In: Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT2005), 18-22, July 2005, Newcastle upon Tyne. pp. 93-102.

Yang, J., Cirstea, C. and Henderson, P. (2005) Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. In: OnTheMove Workshops, Nov 2005, Cyprus. pp. 39-48. (In Press)

Yang, J., Cirstea, C. and Henderson, P. (2005) An Operational Semantics for DFM, a Formal Notation for Modeling Asynchronous Web Services. In: The 5th International Conference on Quality Software (QSIC 2005), Sep 2005, Melbourne, Australia. pp. 446-451.

This list was generated on Sun Apr 20 00:55:12 2014 BST.
  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 http://eprints.ecs.soton.ac.uk/cgi/oai2

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