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 2004
(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: 86.

Article

Cirstea, C. (2004) A compositional approach to defining logics for coalgebras. Theoretical Computer Science, 327 (1). pp. 45-69. ISSN 0304-3975

Hallerstede, S. and Butler, M. (2004) Performance Analysis of Probabilistic Action Systems. Formal Aspects of Computing, 16 (4). pp. 313-331. ISSN 0934-5043

Hartel, P., Muller, H. and Glaser, H. (2004) The Functional “C” experience. Journal of Functional Programming, 14 (2). pp. 129-135. ISSN 0956-7968

Henderson, P. and Yang, J. (2004) Reusable Web Services. Proceedings, 8th International Conference on Software Reuse . pp. 185-194. ISSN 0302-9743

Hennessy, M., Merro, M. and Rathke, J. (2004) Towards a behavioural theory of access and mobility control in distributed systems. Theoretical Computer Science, 322 (3). pp. 615-669.

Hennessy, M. and Rathke, J. (2004) Typed behavioural equivalences for processes in the presence of subtyping. Mathematical Structures in Computer Science, 14 (5). pp. 651-684.

Jeffrey, A. and Rathke, J. (2004) A theory of bisimulation for a fragment of concurrent ML with local names. Theoretical Computer Science, 323 (1-3). pp. 1-48. ISSN 0304-3975

Kwiatkowska, M., Milner, R. and Sassone, V. (2004) Science for Global Ubiquitous Computing. Bulletin of the EATCS, 82 . pp. 325-333. ISSN 0252-09742

Leuschel, M. (2004) A Framework for the Integration of Partial Evaluation and Abstract Interpretation of Logic Programs. ACM Transactions on Programming Languages and Systems, 26 (3). pp. 413-463.

Leuschel, M., Jørgensen, J., Vanhoof, W. and Bruynooghe, M. (2004) Offline Specialisation in Prolog Using a Hand-Written Compiler Generator. Theory and Practice of Logic Programming, 4 (1). pp. 139-191.

Manquinho, V. and Marques-Silva, J. P. (2004) Satisfiability-Based Algorithms for Boolean Optimization. Annals of Mathematics and Artificial Intelligence, 40 (3-4).

Snook, C. and Harrison, R. (2004) Experimental comparison of the comprehensibility of a Z specification and its implementation in Java. Information and Software Technology, 46 (14). pp. 955-971.

Conference or Workshop Item

Baltag, A., Coecke, B. and Sadrzadeh, M. (2004) Epistemic Actions as Resources. In: Logics for Resources Programs and Processes, LiCS, 2004, Turku, Finland. pp. 1-28.

Baltag, A., Coecke, B. and Sadrzadeh, M. (2004) Reasoning about Dynamic Epistemic Logic. In: European Workshop on Multi-Agent Systems, December 2004, Barcelona, Spain. pp. 605-614.

Braghin, C., Gorla, D. and Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control. In: 17th IEEE Computer Security Foundations Workshop, CSFW'04.. pp. 48-60.

Bugliesi, M., Castagna, G., Crafa, S., Focardi, R. and Sassone, V. (2004) Name-passing calculi and crypto-primitives: A survey. In: International School on Foundations of Security Analysis and Design, FOSAD 01/02.. pp. 91-138.

Butler, M. and Ferreira, C. (2004) An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions. In: Coordination 2004, February 2004, Pisa. (In Press)

Butler, M., Leuschel, M., Lo Presti, S. and Turner, P. (2004) The Use of Formal Methods in the Analysis of Trust (Position Paper). In: Second International Conference on Trust Management (iTrust 2004), March 29 - April 1st 2004, Oxford, UK. pp. 333-339.

Carbone, M., Nielsen, M. and Sassone, V. (2004) A Calculus of Trust Management. In: 24th Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2004.. pp. 161-173.

Carrabs, F., Cerulli, R., Gentili, M. and Parlato, G. (2004) Minimum Weighted Feedback Vertex Set on Diamonds. In: CTW. pp. 81-85.

Carvalho, E. and Marques-Silva, J. P. (2004) Using Rewarding Mechanisms for Improving Branching Heuristics. In: International Symposium on Theory and Applications of Satisfiability Testing, May 2004, Vancouver. pp. 275-280.

Chang, V. (2004) How to encourage educators to create and share reusable eLearning materials. In: The Winner of the 500-Word short e-Learning Paper, February 2004, Cambridge, 4th February 2004, Cambridge.

Chang, V. (2004) Reusable e-learning course development: Two case studies at the University of Cambridge. In: 2004 The United Nations Information Society, September 2004, September 2004, Barcelona, Spain.

Chang, V. (2004) Reusable e-learning development for developing the next-generation websites in Cambridge: improving quality of education, research, administration and security. In: 2004 United Nations Information Society Forum, September 2004, September 2004, Barcelona, Spain.

Chang, V. (2004) Reusable e-learning development: Case studies, practices and issues of awareness for knowledge-based organisations. In: The 2004 ITRE Information Technology, Research and Education Conference, London Metropolitan University, 26-30 June 2004., 26-30 June 2004, London, UK.

Cirstea, C. (2004) On Logics for Coalgebraic Simulation. In: 7th International Workshop on Coalgebraic Methods in Computer Science, March 27 - 29, 2004, Barcelona, Spain. pp. 63-90.

Cirstea, C. and Pattinson, D. (2004) Modular Construction of Modal Logics. In: Fifteenth International Conference on Concurrency Theory, 31 August - 3 September 2004, London, UK. pp. 258-275.

Cox, S., Alani, H., Glaser, H. and Harris, S. (2004) The Semantic Web as a Semantic Soup. In: 1st Workshop on Friend of a Friend, Social Networking and the Semantic Web, 1-2 September, Galway, Ireland.

Craig, S. J. and Leuschel, M. (2004) Lix: An Effective Self-applicable Partial Evaluator for Prolog. In: Functional and Logic Programming: 7th International Symposium, FLOPS 2004, April 7-9, 2004, Nara, Japan. pp. 85-99.

Denney, E., Fischer, B. and Schumann, J. (2004) Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software. In: Second International Joint Conference on Automated Reasoning (IJCAR 2004), July 2004, Cork. pp. 198-212.

Fischer, B., Knuth, K., Hajian, A. and Schumann, J. (2004) Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond. In: 23rd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, August 3-8, 2003, Jackson Hole, Wyoming, USA. pp. 276-291.

Fischer, B., Knuth, K., Hajian, A. and Schumann, J. (2004) Automatic Derivation of Statistical Data Analysis Algorithms: Planetary Nebulae and Beyond. In: 23rd International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, August 3-8, 2003, Jackson Hole, Wyoming, USA. pp. 276-291.

Flores, A., Augusto, J. C., Polo, M. and Varea, M. (2004) Towards Context-aware Testing for Semantic Interoperability on PvC Environments. In: Proceedings of the 17th IEEE International Conference on Systems, Man and Cybernetics (SMC), 10-13 October 2004, The Hague, Netherlands. pp. 1136-1141.

Garratt, P. W. and Dawes, C. (2004) Wireless Network Support For Pedagogic Interaction. In: First International Conference on Innovations in Learning For The Future:E-Learning, 26-27Oct04, Istanbul.

Garratt, P. W., Yilmaz, E. and Rushton, A. (2004) Modelling Airbus Flight using a Circuit Design language. In: Modelling & Simulation International AMSE Conference, July 2004, Lyon France.

Garratt, P. W., Rushton, A. and Yilmaz, E. (2004) Building a Flight Control System for a Modelled Aircraft. In: MS02004 International Conference on Modeling And Simulation, April 2004, Minsk.

Henderson, P., Crouch, S. and Walters, R. J. (2004) Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-level Information Propagation. In: The 6th International Conference on Enterprise Information Systems (ICEIS 2004), April 14-17, 2004, Porto, Portugal. pp. 473-481.

Henderson, P., Walters, R. J. and Crouch, S. (2004) Implementing Hierarchical Features in a Graphically Based Formal Modelling Language. In: The Twenty-Eighth Annual International Computer Software & Applications Conference, 28-30 September 2004, Hong Kong. pp. 92-98.

Huyser, K. A., Knuth, K. H., Fischer, B., Schumann, J., Granquist-Fraser, D. and Hajian, A. R. (2004) Discovering Planetary Nebula Geometries: Explorations with a Hierarchy of Models. In: Twentyfourth International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering, July 25-30, 2004, Garching bei München, Germany. pp. 135-142.

Josang, A. and Lo Presti, S. (2004) Analysing the Relationship Between Risk and Trust. In: Second International Conference on Trust Management (iTrust 2004), March 29 - April 1st 2004, Oxford, UK. pp. 135-145.

Leuschel, M. (2004) ProB: Un outil de modélisation formelle (Invited Talk). In: Programmation en logique avec contraintes, 21-23 June 2004, Angers, France. p. 13.

Lhoussaine, C. and Sassone, V. (2004) A Dependently Typed Ambient Calculus. In: European Symposium on Programming, ESOP'04.. pp. 171-187.

Lynce, I. and Marques-Silva, J. P. (2004) Hidden Structure in Unsatisfiable Random 3-SAT: an Empirical Study. In: Proceedings of the International Conference on Tools with Artificial Intelligence, November 2004, Boca Raton, Florida, U.S.A..

Lynce, I. and Marques-Silva, J. P. (2004) On Computing Minimum Unsatisfiable Cores. In: International Symposium on Theory and Applications of Satisfiability Testing, May 2004, Vancouver. pp. 305-310.

Manquinho, V. and Marques-Silva, J. P. (2004) Integration of Lower Bound Estimates in Pseudo-Boolean Optimization. In: Proceedings of the International Conference on Tools with Artificial Intelligence, November 2004, Boca Raton, Florida, U.S.A..

Manquinho, V. and Marques-Silva, J. P. (2004) Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean. In: International Symposium on Theory and Applications of Satisfiability Testing, May 2004, Vancouver. pp. 120-126.

Milicia, G. and Sassone, V. (2004) The Inheritance Anomaly: Ten years after. In: 19th ACM Symposium on Applied Computing, SAC'04.. pp. 1267-1274.

Poppleton, M. R. and Banach, R. N. (2004) Requirements Validation by Lifting Retrenchments in B. In: ICECCS2004: IEEE International Conference on Engineering of Complex Computer Systems, April 2004, Florence, Italy. pp. 87-96.

Sassone, V. (2004) Engineering Trust-based Software Intensive Systems. In: Joint EU/NSF Strategic Research Workshop on Engineering Software Intensive Systems.

schraefel, m. c., Shadbolt, N. R., Gibbins, N., Glaser, H. and Harris, S. (2004) CS AKTive Space: Representing Computer Science in the Semantic Web. In: World Wide Web Conference 2004. pp. 384-392.

Snook, C., Butler, M., Edmunds, A. and Johnson, I. (2004) Rigorous development of reusable, domain-specific components, for complex applications. In: 3rd International Workshop on Critical Systems Development with UML, October 12th, 2004, Lisbon. pp. 115-129.

Thomas, K. S., Molinari, M. and Cox, S. J. (2004) Treatment of boundary conditions in the analysis of PBG structures. In: Fifth IEE International Conference on Computation in Electromagnetics., 19-22 April, 2004, Stratford-upon-Avon. pp. 51-52.

Thomas, K. S., Molinari, M. and Cox, S. J. (2004) Treatment of boundary conditions in the analysis of PBG structures. In: Fifth IEE International Conference on Computation in Electromagnetics., 19-22 April, 2004, Stratford-upon-Avon. pp. 51-52.

Yadav, D., Agrawal, R., Chauhan, D. S., Saraswat, R. C. and Majumdar, A. K. (2004) Modelling long duration transactions with time constraints in active database. In: International Conference on Information Technology : Coding and Computing (ITCC'04), IEEE Computer Society, 5-7 April 2004, Las Vegas, USA. pp. 497-501.

Book

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

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

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

Sassone, V., ed. (2004) Mathematical Structures in Computer Science vol. 14(3). Special issue on Concurrency and Coordination. Cambridge University Press.

Varea, M., ed. (2004) Proceedings of the 1st International Workshop on Software Analysis and Development for Pervasive Systems (SONDA 2004). University of Southampton.

Aitchison, I. J. R. and Hey, A. J. G. (2004) Gauge Theories in Particle Physics: A Practical Introduction: Volume 2 Non-Abelian Gauge Theories: Qcd and the Electoweak Theory. Institute of Physics Publishing. ISBN 0750309504

Hennessy, M., Rathke, J. and Yoshida, N. (2004) SafeDpi: a language for controlling mobile code. Lecture Notes in Computer Science, Proc. Springer-Verlag.

Book Section

Barker, S., Leuschel, M. and Varea, M. (2004) Efficient and Flexible Access Control via Logic Program Specialisation. In: Proceedings of the 11th Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), pp. 190-199, ACM Press. ISBN 1-58113-835-0

Craig, S. J., Gallagher, J., Leuschel, M. and Henriksen, K. S. (2004) Fully Automatic Binding Time Analysis for Prolog. In: Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, pp. 53-68, Springer-Verlag. ISBN 3-540-26655-0 (In Press)

Glaser, H., Alani, H., Carr, L., Chapman, S., Ciravegna, F., Dingli, A., Gibbins, N., Harris, S., schraefel, m. c. and Shadbolt, N. (2004) CS AKTive Space: Building a Semantic Web Application. In: The Semantic Web: Research and Applications (First European Web Symposium, ESWS 2004), pp. 417-432, Springer Verlag. ISBN 3-540-21999

Leuschel, M., Craig, S., Bruynooghe, M. and Vanhoof, W. (2004) Specializing Interpreters using Offline Partial Deduction. In: Program Development in Computational Logic, pp. 341-376, Springer Verlag, LNCS 3049.

Sassone, V. (2004) The Algebraic Structure of Petri Nets. In: Current Trends in Theoretical Computer Science., pp. 385-410, World Scientific. ISBN 981-238-965-2

Snook, C. and Butler, M. (2004) U2B - A tool for translating UML-B models into B. In: UML-B Specification for Proven Embedded Systems Design, Springer. ISBN 1-4020-2866-0 (In Press)

Snook, C., Butler, M. and Oliver, I. (2004) The UML-B Profile for formal systems modelling in UML. In: UML-B Specification for Proven Embedded Systems Design, Springer. ISBN 1-4020-2866-0 (In Press)

Vanhoof, W., Bruynooghe, M. and Leuschel, M. (2004) Binding-Time Analysis for Mercury. In: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, pp. 189-232, Springer-Verlag, LNCS 3049. ISBN ISBN 3-540-22152-2

Technical Report

Chadha, R., Macedonio, D. and Sassone, V. (2004) A Distributed Kripke Semantics. Technical Report 2004:04, Department of Informatics, University of Sussex.

Lo Presti, S., Butler, M., Leuschel, M., Snook, C. and Turner, P. (2004) Formal Modelling and Verification of Trust in a Pervasive Application. Technical Report , ECS, DSSE. (Unpublished)

Smith, D. A. (2004) OntoBrowse: A World of Knowledge. Technical Report , School of Electronics and Computer Science, University of Southampton. (Unpublished)

Thesis

Leonard, T. A. (2004) Tree-sheets and Structured Documents. PhD thesis, University of Southampton.

Sobocinski, P. (2004) Deriving process congruences from reaction rules. PhD thesis, University of Aarhus.

Other

Carr, L., DeRoure, D., Harnad, S., Hey, J., Hey, T., Hitchcock, S. and Oppenheim, C. (2004) Written Evidence to 2003 House of Commons Science and Technology Committee.

Moreau, L., Chapman, S., Schreiber, A., Hempel, R., Rana, O., Varga, L., Cortes, U. and Willmott, S. (2004) Provenance-based Trust for Grid Computing - Position Paper. (Unpublished)

Sassone, V. (2004) Background and Structure of a Coordination Action (talk). (Unpublished)

Sassone, V. (2004) A Calculus for Trust Management (talk). (Unpublished)

Sassone, V. (2004) Congruences for Contextual Graph-Rewriting (talk). (Unpublished)

Sassone, V. (2004) Context-Aware Software-Intensive Systems - An autonomic approach (talk). (Unpublished)

Sassone, V. (2004) A dependently typed ambient calculus (talk). (Unpublished)

Sassone, V. (2004) A Distributed Calculus for Role-Based Access Control (talk). (Unpublished)

Sassone, V. (2004) Foundations of Global Computing - A Personal Perspective (talk). (Unpublished)

Sassone, V. (2004) Global Computing II - A new FET Programme for FP6 (talk). (Unpublished)

Sassone, V. (2004) Security Policies as Membranes in Systems for Global Computing (talk). (Unpublished)

Sassone, V. (2004) Trust and Concurrency - A Theory Contribution to Ubiquitous Computing (talk). (Unpublished)

This list was generated on Thu Apr 24 00:55:23 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