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 2006
(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: 92.

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

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

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

Sassone, V., ed. (2006) Theoretical Computer Science, Special issue on FoSSaCS 2005, Foundations of Software Science and Computation Structures. Forthcoming. Elsevier. (In Press)

Sannella, D. and Sassone, V., eds. (2006) Theoretical Computer Science, Special issue on Semantic and Logical Foundations of Global Computing. Forthcoming. Elsevier. (In Press)

Abrial, J. R., Butler, M., Hallerstede, S. and Voisin, L. (2006) An open extensible tool environment for Event-B. In: ICFEM 2006, November 2006, Macau.

Ateniese, G., Santis, A. D., Ferrara, A. L. and Masucci, B. (2006) Provably-secure time-bound hierarchical key assignment schemes. CCS . pp. 288-297.

Baldan, P., Corradini, A., Heindel, T., König, B. and Sobocinski, P. (2006) Processes for adhesive rewriting systems. In: Foundations of Software Science and Computation Structures, March 25-31, 2006, Vienna, Austria. pp. 202-216.

Ball, E. and Butler, M. (2006) Using Decomposition to Model Multi-agent Interaction Protocols in Event-B. In: FM'06 Doctoral Symposium, August 2006, McMaster University, Hamilton, Canada. (In Press)

Baltag, A. and Sadrzadeh, M. (2006) The Algebra of Multi-Agent Dynamic Belief Revision. Electronic Notes in Theoretical Computer Science, 157 (4). pp. 37-56. (In Press)

Banach, R., Jeske, C., Poppleton, M. and Stepney, S. (2006) Retrenching the Purse: Finite Exception Logs, and Validating the Small. In: IEEE SEW-30: 30th Annual Software Engineering Workshop, 25-27 April 2006, Columbia, MD, USA. (In Press)

Banach, R., Jeske, C., Poppleton, M. and Stepney, S. (2006) Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. In: IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, November 19, 2006, Paphos, Cyprus. pp. 76-89. (In Press)

Barker, S., Leuschel, M. and Varea, M. (2006) Efficient and Flexible Access Control via Jones-Optimal Logic Program Specialisation. Journal of Higher-Order and Symbolic Computation, To app . (In Press)

Bhalla, A., Lynce, I., Sousa, J. T. and Marques-Silva, J. P. (2006) Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. In: SAT 2005 -- Satisfiability Research in the Year 2005, pp. 1-22, Springer.

Bradley, J., Brown, C., Carpenter, B., Chang, V., Crisp, J., Crouch, S., De Roure, D., Newhouse, S., Li, G., Papay, J., Walker, C. and Wookey, A. (2006) The OMII Software Distribution. In: All Hands Meeting 2006, 18th-21st September 2006, East Midlands Conference Centre, Nottingham. pp. 748-753.

Braghin, C., Gorla, D. and Sassone, V. (2006) Role-based access control for a distributed calculus. Journal of Computer Security, 14 (2). pp. 133-155.

Bundgaard, M. and Sassone, V. (2006) Typed polyadic pi-calculus in bigraphs. In: 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06. pp. 1-12.

Butler, M. (2006) On the Verified-by-Construction Approach. FACS FACTS .

Butler, M., Jones, C. B., Romanovsky, A. and Troubitsyna, E. (2006) Rigorous Development of Complex Fault-Tolerant Systems. Lecture Notes in Computer Science, 4157 Springer. ISBN 3-540-48265-2

Chadha, R., Macedonio, D. and Sassone, V. (2006) A Hybrid Intuitionistic Logic: Semantics and Decidability. Journal of Logic and Computation, 16 (1). pp. 27-59.

Chang, V. (2006) Experiments and Investigations for the Personal High Performance Computing (PHPC) built on top of the 64-bit processing and clustering systems. In: 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, 27-30 March 2006, Potsdam, Germany.

Chang, V. (2006) Implementations of the Integrated Linux, Windows and Macintosh Cluster for achieving the Personal High Performance Computing. In: IEE/IADAT International Conference on Telecommunications and Computer, September 27-29, Portsmouth, University of Portsmouth.

Chang, V. (2006) Implementations of Virtual Organization in the Wireless
Home Networking Environments.
In: IEEE 2006: International Conference on Mobile Communications and Learning, April 23-28, 2006, Mauritius, April 23-28, 2006, Mauritius, International Conference on Mobile Communications and Learning.

Chang, V. (2006) The Mobile Learning for non-IT professionals to learn Web Services and to improve learning efficiency. In: ICEL 2006 The International Conference on e-Learning, University of Quebec in Montreal, Canada, 22-23 June 2006, 22-23 June 2006, Montreal, Canada. (In Press)

Chang, V. (2006) The Past, Present and Future of the Linux Operating Systems. Technical Report , Electronics and Computer Science, University of Southampton.

Chang, V. (2006) The Past, Present and Future of the Linux Operating Systems. Technical Report Technical Report 2006 (will be published to become a paper), Electronics and Computer Science, University of Southampton.

Chang, V. (2006) The Past, Present and Future of the Linux Operating Systems. Technical Report Technical Report 2006 (will be published to become a paper), Electronics and Computer Science, University of Southampton.

Chang, V. (2006) The Voice over Internet Protocol (VoIP) – Literature Review, Implementations at home environments and the Evaluations for the four major Voice Service Providers. In: IEEE Communications Society: The Eighth International Conference on Advanced Comunnication Technology, February 20-22, 2006, February 20-22, 2006, Seoul, S. Korea. (In Press)

Chang, V. (2006) Web Service Testing and Usability for Mobile Learning. In: IEEE Computer Society: The First International Conference on Mobile Communications and Learning MCL 2006, April 23-27, 2006, April 23-27, 2006, Mauritius.

Cirstea, C. (2006) An Institution of Modal Logics for Coalgebras. Journal of Logic and Algebraic Programming, 67 (1-2). pp. 87-113.

Cirstea, C. (2006) A modular approach to defining and characterising notions of simulation. Information and Computation, 204 (4). pp. 469-502. ISSN 0890-5401

Cirstea, C. (2006) Modularity in Coalgebra. In: 8th International Workshop on Coalgebraic Methods in Computer Science. pp. 3-26.

Conforti, G., Macedonio, D. and Sassone, V. (2006) BiLog: Spatial Logics for Bigraphs. (Under revision) . (Submitted)

Danos, V., Krivine, J. and Sobocinski, P. (2006) General reversibility. In: 13th International Workshop on Expressiveness in Concurrency, Express '06, 26 August, 2006, Bonn, Germany.

Darbari, A. (2006) A Structured Modelling Framework for Capturing Symmetry in Circuits. In: 13th Automated Reasoning Workshop.

Darbari, A. (2006) Symmetry Reduction for STE Model Checking. In: Formal Methods in Computer Aided Design (FMCAD).

Darbari, A. (2006) Symmetry Reduction for STE Model Checking Using Structured Models. PhD thesis, University of Oxford.

De Silva, N. and Skaf-Molli, H. (2006) Narratives to preserve coherence in collaborative writing. In: The Eighth International Workshop on Collaborative Editing Systems, November, 2006, Banff, Canada.

Denney, E. and Fischer, B. (2006) Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan. pp. 265-268.

Denney, E. and Fischer, B. (2006) A Generic Annotation Inference Algorithm for the Safety Certification of Automatically Generated Code. In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, October 22-26, 2006, Portland, Oregon, USA. pp. 121-130.

Denney, E., Fischer, B. and Schumann, J. (2006) An Empirical Evaluation of Automated Theorem Provers in Software Certification. International Journal on Artificial Intelligence Tools, 15 (1). pp. 81-107. ISSN 0218-2130

Evans, N. and Butler, M. (2006) Incremental Construction of Large Specifications: Case Study and Techniques. Technical Report , Electronics and Computer Science, University of Southampton. (Submitted)

Evans, N. and Butler, M. (2006) A Proposal for Records in Event-B. In: Formal Methods 2006, August 2006, McMaster, Canada. pp. 221-235.

Glaser, H. (2006) Semantic Squirrels. In: The 5th International Semantic Web Conference, 5th-9th November 2006, Athens, GA, USA.

Gorla, D., Hennessy, M. and Sassone, V. (2006) Inferring Dynamic Credentials for Role-based Trust Management. In: 8th Symposium on Principles ad Practice of Declarative Programming, PPDP'06. pp. 213-223.

Gravell, A. M. (2006) Verification Conditions are Code. Acta Informatica, 43 . pp. 431-477.

Henderson, P. and De Silva, N. (2006) A narrative approach to collaborative writing: A business process model. In: 8th International Conference on Enterprise Information Systems (ICEIS), 23-27 May, Paphos, Cyprus.

Kullmann, O., Lynce, I. and Marques-Silva, J. (2006) Categorisation of clauses in conjunctive normal forms: minimally unsatisfiable sub-clause-sets and the lean kernel. In: International Conference on Theory and Applications of Satisfiability Testing, August 2006, Seattle, USA. pp. 22-35.

Lack, S. and Sobocinski, P. (2006) Toposes are adhesive. In: International Conference on Graph Transformation (ICGT '06), September 17-23, 2006, Natal, Brazil. pp. 184-198.

Leavens, G. T., Abrial, J. R., Batory, D., Butler, M., Coglio, A., Fisler, K., Hehner, E., Jones, C. B., Miller, D., Peyton-Jones, S., Sitaraman, M., Smith, D. R. and Stump, A. (2006) Roadmap for Enhanced Languages and Methods to Aid Verification. In: Generative Programming and Component Engineering, 5th International, October 22-26, 2006, Portland, Oregon.

Leuschel, M., Butler, M., Spermann, C. and Turner, E. (2006) Symmetry Reduction for B by Permutation Flooding. In: B2007, January 2007, Besancon, France. (In Press)

Leuschel, M., Craig, S. J. and Elphick, D. (2006) Supervising Offline Partial Evaluation of Logic Programs using Online Techniques. In: Logic-Based Program Synthesis and Transformation, July 2006, Venice. pp. 43-59.

Leuschel, M., Elphick, D., Varea, M., Craig, S. J. and Fontaine, M. (2006) The Ecce and Logen Partial Evaluators and their Web Interfaces. In: Partial Evaluation and Semantics-Based Program Manipulation, January 2006, Charleston, USA.

Lewy, T., Lovell, C. and Amor, J. (2006) Extension to UML-B Notation and Toolset. Technical Report , School of Electronics and Computer Science, University of Southampton. (Unpublished)

Lo Presti, S., Butler, M., Leuschel, M. and Booth, C. (2006) Holistic Trust Design of E-Services. In: Trust in E-services: Technologies, Practices and Challenges, UNSPECIFIED. (In Press)

Lynce, I. and Marques-Silva, J. (2006) Efficient Haplotype Inference with Boolean Satisfiability. In: National Conference on Artificial Intelligence (AAAI), July 2006, Boston, USA.

Lynce, I. and Marques-Silva, J. (2006) SAT in Bioinformatics: Making the Case with Haplotype Inference. In: International Conference on Theory and Applications of Satisfiability Testing, August 2006, Seattle, USA. pp. 136-141.

Manquinho, V. and Marques-Silva, J. P. (2006) On Using Cutting Planes in Pseudo-Boolean Optimization. Journal on Satisfiability, Boolean Modeling and Computation, 2 . pp. 209-219.

Millard, D., Bailey, C., Davis, H., Gilbert, L., Howard, Y. and Wills, G. (2006) The e-Learning Assessment Landscape. In: International Conference on Advanced Learning Technologies (ICALT) 2006, 5-7 July, 2006, Kerkrade, The Netherlands.

Millard, D., Doody, K., Davis, H., Howard, Y., Gilbert, L., Tao, F. and Will, G. (2006) (Semantic Web) Services for e-Learning. In: 2nd International ELeGI Conference on Advanced Technology for Enhanced Learning, Oct 2006, Barcelona.

Millard, D., Howard, Y., Chennupati, S., Davis, H., Jam, E. R., Gilbert, L. and Wills, G. (2006) Design Patterns for Wrapping Similar Legacy Systems with Common Service Interfaces. In: European Conference on Web Services (ECOWS) 2006, 4-6 December, 2006, Zurich, Switzerland.

Millard, D. E., Howard, Y., Jam, E. R., Chennupati, S., Davis, H. C., Gilbert, L. and Wills, G. B. (2006) FREMA method for describing Web Services in a Service Oriented Architecture. Technical Report ECSTR-IAM06-002, ECS, University of Southampton.

Millard, I., Jaffri, A., Glaser, H. and Rodriguez-Castro, B. (2006) Using a Semantic MediaWiki to Interact with a Knowledge Based Infrustructure. In: 15th International Conference on Knowledge Engineering and Knowledge Management, 2nd - 6th October 2006, Podebrady, Czech Republic.

Morgado, A. J., De Oliveira Cantante De Matos, P., Manquinho, V. and Marques-Silva, J. (2006) Counting Models in Integer Domains. In: International Conference on Theory and Applications of Satisfiability Testing, August 2006, Seattle, USA. pp. 410-423.

Nguyen, N. and Rathke, J. (2006) Typed Static Analysis for Concurrent, Policy-Based, Resource Access Control. In: PASSWORD workshop, ECOOP, Nantes. (Unpublished)

Paventhan, A., Takeda, K., Cox, S. J. and Nicole, D. A. (2006) Leveraging Windows Workflow Foundation for Scientific Workflows in Wind Tunnel Applications. In: Proceedings of the 22nd International Conference on Data Engineering Workshops (ICDEW'06), pp. 65-74, IEEE Computer Society. ISBN 0-7695-2571-7

Paventhan, A., Takeda, K., Cox, S. J. and Nicole, D. A. (2006) Workflows for Wind Tunnel Grid Applications. Lecture Notes in Computer Science Computational Science – ICCS 2006, 3993 . pp. 928-935. ISSN 0302-9743

Pitzalis, D., Lahanier, C., Pillay, R., Aitken, G., Russell, A., Smith, D. A., Sinclair, P. A. S., Addis, M. J., Lowe, R., Hafeez, S., Lewis, P. H., Martinez, K. and schraefel, m. c. (2006) Semantically Exposing Existing Knowledge Repositories: a Case Study in Cultural Heritage. In: The first international conference on Semantics And digital Media Technology (SAMT 2006), 6-8 December 2006, Divani Palace Acropolis, Athensm, Greece.

Poppleton, M. and Groves, L. (2006) Formal perspectives on software evolution:
from refinement to retrenchment.
In: Software Evolution and Feedback: Theory and Practice, pp. 313-338, John Wiley. ISBN 0470871806

Razali, R. and Garratt, P. W. (2006) Measuring the Comprehensibility of a UML-B Model and a B Model. Enformatika Transactions onEngineering Computing and Technology, Vol 16 . pp. 338-343.

Razali, R. and Garratt, P. W. (2006) Measuring the Comprehensibility of a UML-B model and a B model. In: International Conference on Computer and Information Science and Engineering (CISE 2006), 24-26 November 2006, Venice, Italy. pp. 338-343.

Rezazadeh, A. (2006) Formal Patterns for Web-based Systems Design. PhD thesis, University of Southampton.

Ripon, S. and Butler, M. (2006) Relating Semantic Models of Compensating CSP. Technical Report , Electronics and Computer Science, University of Southampton.

Rodriguez-Castro, B., Glaser, H. and Carr, L. (2006) Towards a Canonical Method to Solve Patterns of Ontology Modeling Issues (9 Month Report). Technical Report , School of Electronics and Computer Science, University of Southampton.

Sadrzadeh, M. (2006) Actions and Resources in Epistemic Logic. PhD thesis, University of Quebec at Montreal.

Sadrzadeh, M. (2006) High Level Quantum Structures in Linguistics and Multi-Agent Systems. In: AAAI Spring Symposia on Quantum Interactions, March 2007, Stanford University, California. (In Press)

Sadrzadeh, M. and Cirstea, C. (2006) Relating Algebraic and Coalgebraic Logics of Knowledge and Update. In: Logic and the Foundations of Game and Decision Theory, July 13-16, University of Liverpool.

Sassone, V. (2006) BiLog - A Framework for Structural Logics (talk). (Unpublished)

Sassone, V. (2006) Elements towards a foundation of computational trust (talk). (Unpublished)

Sassone, V. (2006) Inferring Dynamic Credential for Rôle-based Trust Management (talk). (Unpublished)

Sassone, V. (2006) Semantic barbs: what's in an observation? (talk). (Unpublished)

Sassone, V. (2006) Typed Polyadic Pi-Calculus in Bigraphs (talk). (Unpublished)

Snook, C. and Butler, M. (2006) UML-B: Formal modelling and design aided by UML. ACM Transactions on Software Engineering and Methodology, 15 (1). pp. 92-122. ISSN 1049-331X

Snook, C., Poppleton, M. and Johnson, I. (2006) Towards a method for rigorous development of generic requirements patterns. In: Rigorous development of complex fault tolerant systems, Springer Lecture Notes in Computer Science pp. 326-342, Springer-Verlag Lecture Notes in Computer Science. ISBN 978-3-540-48265-9

Surridge, M., Payne, T. R., Taylor, S. J., Watkins, E. R., Leonard, T., Jacyno, M. and Ashri, R. (2006) Semantic Security in Service Oriented Environments. In: UK e-Science Programme All Hands Meeting 2006 (AHM2006). (In Press)

Turner, E. and Butler, M. (2006) Symmetry Reduction in the ProB Model Checker. In: FM2006 Doctoral Symposium, 21-27 August 2006, McMaster University, Canada. (In Press)

Upstill, C., Addis, M. J., Choi, F., Taylor, S. J. and Watkins, E. R. (2006) Data mining and fusion. Technical Report DIID Detailed Review of Science S4, Foresight, Office of Science and Innovation, UK Government.

Walters, R. J., Millard, D. E., Bernnett, P., Argles, D., Crouch, S., Gilbert, L. and Wills, G. (2006) Teaching the Grid: Learning Distributed Computing with the M-grid Framework. In: ED-MEDIA 2006--World Conference on Educational Multimedia, Hypermedia & Telecommunications, 26th-30th June 2006, Orlando, USA. pp. 3857-3864.

Watkins, E. R. and Nicole, D. A. (2006) Named Graphs as a Mechanism for Reasoning about Provenance. Lecture Notes in Computer Science Frontiers of WWW Research and Development - APWeb 2006: 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006. Proceedings, 3841 . pp. 943-948. ISSN 0302-9743

Wills, G., Davis, H., Chennupati, S., Gilbert, L., Howard, Y., Jam, E. R., Jeyes, S., Millard, D., Sherratt, R. and Willingham, G. (2006) R2Q2: Rendering and Reponses Processing for QTIv2 Question Types. In: 10th International CAA Conference, 4th and 5th July 2006, Loughborough University, UK.

Yadav, D. and Butler, M. (2006) Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems using Event B. In: Rigorous Development of Complex Fault-Tolerant Systems, pp. 343-363, Lecture Notes in Computer Science, Springer , 2006. ISBN 3-540-48265-2

Zadorozhnii, V. I., Vasilev, A. N., Reshetnyak, V. Y., Thomas, K. S. and Sluckin, T. J. (2006) Nematic director response in ferronematic cells. EUROPHYSICS LETTERS, 73 (3). pp. 408-414.

This list was generated on Wed Oct 22 00:54:38 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