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 2003
(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. (2003) Bulletin of the European Association for Theoretical Computer Science. EATCS. ISBN ISSN 0252-9742

Berman, F., Fox, G. C. and Hey, A. J. G., eds. (2003) Grid Computing - Making the Global Infrastructure a Reality. Wiley and Sons. ISBN 0470853190

Isaias, P., Sedes, F., Augusto, J. C. and Ultes-Nitsche, U., eds. (2003) Proceedings of 1st Workshop on Verification and Validation of Enterprise Information Systems. UNSPECIFIED. ISBN ISBN: 972-98816-2-6

Leuschel, M., ed. (2003) Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'03). ACM Press. ISBN 1-58113-667-6

Sassone, V., ed. (2003) Proceedings of the 2nd EATCS International Workshop on Foundations of Global Computing, FGC, ENTCS vol. 85(1). Elsevier.

Audemard, G., Berre, D. L., Roussel, O., Lynce, I. and Marques-Silva, J. P. (2003) OpenSAT: An Open Source SAT Software Project. In: International Symposium on Theory and Applications of Satisfiability Testing, May 2003, Portofino, Italy. pp. 502-509.

Augusto, J., Howard, Y., Gravell, A., Ferreira, C., Gruner, S. and Leuschel, M. (2003) Model-Based Approaches for Validating Business Critical Systems. In: System Testing and Validation Workshop, September, 2003, The Netherlands. pp. 225-233.

Augusto, J., Butler, M., Ferreira, C. and Craig, S. (2003) Using SPIN and STeP to Verify StAC Specifications. In: 5th International A.P.Ershov Conference on Perspectives of System Informatics, July 2003, Novosibirsk, Russia. (In Press)

Augusto, J. C., Ferreira, C., Gravell, A. M., Leuschel, M. and NG, K. M. Y. (2003) The Benefits of Rapid Modelling for E-Business System Development. In: 4th International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO2003), October 13-16, 2003., Chicago, Illinois, USA. pp. 17-28.

Augusto, J. C. (2003) A General framework for Reasoning about Change. New Generation Computing, 21 (3). pp. 209-247. (In Press)

Augusto, J. C. and Gómez, R. (2003) A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic and its application to verification. International Journal of Software Engineering and Knowledge Engineering . (In Press)

Augusto, J. C., Leuschel, M., Butler, M. and Ferreira, C. (2003) Using the Extensible Model Checker XTL to Verify StAC Business Specifications. In: 3rd Workshop on Automated Verification of Critical Systems (AVoCS 2003), April 2-3, Southampton. pp. 253-266.

Banach, R. and Poppleton, M. (2003) Retrenching Partial Requirements into System Definitions: A Simple Feature Interaction Case Study. Requirements Engineering Journal, 8 (4). pp. 266-288. ISSN 0947-3602

Barbanera, F., Bugliesi, M., Dezani, M. and Sassone, V. (2003) A Calculus of Bounded Capacities. In: Advances in Computing Science, 9th Asian Computing Science Conference, ASIAN'03.. pp. 205-223.

Beckett, D. H., Hiett, B., Thomas, K. S. and Cox, S. J. (2003) Applied Grid Computing: Optimisation of Photonic Devices. In: Euro-Par 2003, August 2003, Klagenfurt.

Beckett, D. H., Hiett, B., Thomas, K. S. and Cox, S. J. (2003) Applied Grid Computing: Optimisation of Photonic Devices. In: Euro-Par 2003, August 2003, Klagenfurt.

Berman, F., Fox, G. C. and Hey, A. J. G. (2003) The Grid: past, present, future. In: Grid Computing - Making the Global Infrastructure a Reality, pp. 9-50, Wiley and Sons. ISBN 0470853190

Bhalla, A., Lynce, I., Sousa, J. and Marques-Silva, J. (2003) Heuristic Backtracking Algorithms for SAT. In: International Workshop on Microprocessor Test and Verification, May 2003, Austin, Texas, USA. pp. 69-74.

Bhalla, A., Lynce, I., Sousa, J. and Marques-Silva, J. P. (2003) Heuristic-Based Backtracking for Propositional Satisfiability. In: Proceedings of the Portuguese Conference on Artificial Intelligence, December 2003, Beja, Portugal.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2003) Algebraic theories for contextual pre-nets. In: 8th Italian Conference on Theoretical Computer Science, ICTCS 2003.. pp. 256-270.

Bugliesi, M., Crafa, S., Prelic, A. and Sassone, V. (2003) Secrecy in Untrusted Networks. In: 30th International Colloquium on Automata, Languages and Programming, ICALP 2003.. pp. 969-983.

Butler, M. and Ferreira, C. (2003) Using B Refinement to Analyse Compensating Business Processes. In: ZB 2003: Third International Conference of B and Z Users, June, Turku.

Butler, M., Leuschel, M., Lo Presti, S., Allsopp, D., Beautement, P., Booth, C., Cusack, M. and Kirton, M. (2003) Towards a Trust Analysis Framework for Pervasive Computing Scenarios. (Unpublished)

Carbone, M., Nielsen, M. and Sassone, V. (2003) A Formal Model for Trust in Dynamic Networks. In: Int. Conference on Software Engineering and Formal Methods, SEFM 2003.. pp. 54-61.

Chang, V. (2003) The Role and Effectiveness of e-Learning. In: IEEE Engineering Management Conference, Albany, NY, USA, November 2003, 16-18 November 2003, Albany, NY, USA.

Chang, V. (2003) The role and effectiveness of e-learning: key issues in an industrial context. In: The First International Conference in the United Nations Information Society, 8-10 December 2003, 8 December - 10 Decmber 2003, Geneva, Switzerland.

Chiang, C. C., El-Far, I., Gruner, S., Montigel, M., Thompson, H. and Whittaker, J. (2003) ACM SAC'03 Special Track on Software Engineering:
Applications, Practices, and Tools.
Software Engineering Notes, 28 (2). pp. 8-9. ISSN 0163-5948

Cirstea, C. (2003) On expressivity and compositionality in logics for coalgebras. In: 6th International Workshop on Coalgebraic Methods in Computer Science, 5-6 April 2003, Warsaw, Poland.

Craig, S. and Leuschel, M. (2003) A Compiler Generator for Constraint Logic Programs. In: Perspectives of System Informatics, Andrei Ershov Fifth International Conference, 9th July 2003, Novosibirsk, Akademgorodok, Russia. (In Press)

Darbari, A. (2003) Formalization and Execution of STE in HOL. In: 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLS), 8-12 Sep 2003, Rome, Italy.

Darbari, A. (2003) Formalization and Execution of STE in HOL (Extended Version). Technical Report RR-03-17, Computing Lab, Oxford University.

de Roure, D., Baker, M., Jennings, N. R. and Shadbolt, N. (2003) The evolution of the Grid. In: Grid Computing - Making the Global Infrastructure a Reality, pp. 65-100, John Wiley and Sons Ltd. ISBN 0470853190

de Roure, D., Jennings, N. R. and Shadbolt, N. (2003) The Semantic Grid: A future e-Science infrastructure. In: Grid Computing - Making the Global Infrastructure a Reality, pp. 437-470, John Wiley and Sons Ltd. ISBN 0470853190

Denney, E. and Fischer, B. (2003) Correctness of Source-Level Safety Policies. In: FME 2003: Formal Methods, September 8-14, 2003, Pisa, Italy. pp. 894-913.

Dickman, j. and Garratt, p. (2003) Simulating Rodent Populations using Neural Networks. In: MT'2003 Conferencia Internacional de Gerencia y Tecnologia, april2003, Havana, Cuba.

Elphick, D., Leuschel, M. and Cox, S. (2003) Partial Evaluation of MATLAB. In: Generative Programming and Component Engineering, September 2003, Erfurt. pp. 344-363.

Farwer, B. and Leuschel, M. (2003) Model Checking of Object Petri Nets in Prolog. Technical Report DSSE-TR-2003-4, ECS, University of Southampton. (Unpublished)

Fischer, B. and Schumann, J. (2003) AutoBayes: A System for Generating Data Analysis Programs from Statistical Models. Journal of Functional Programming, 13 (3). pp. 483-508. ISSN 0956-7968

Frey, J. G., Bradley, M., Essex, J. W., Hursthouse, M. B., Lewis, S. M., Luck, M. M., Moreau, L., De Roure, D. C., Surridge, M. and Welsh, A. (2003) Combinatorial Chemistry and the Grid. In: Grid Computing --- Making the Global Infrastructure a Reality, pp. 945-962, John Wiley and Sons. ISBN 0-470-85319-0

Frey, J. G., Bradley, M., Essex, J. W., Hursthouse, M. B., Lewis, S. M., Luck, M. M., Moreau, L., De Roure, D. C., Surridge, M. and Welsh, A. (2003) Combinatorial chemistry and the Grid. In: Grid Computing --- Making the Global Infrastructure a Reality, pp. 945-962, John Wiley and Sons. ISBN 0-470-85319-0

Gravell, A. M., Howard, Y., Augusto, J. C., Ferreira, C. and Gruner, S. (2003) Concurrent Development of Model and Implementation. In: 16th International Conference on Software & Systems Engineering and their Applications, 2/12/2003, CNAM, Paris.

Gray, A. G., Fischer, B., Schumann, J. and Buntine, W. (2003) Automatic Derivation of Statistical Algorithms: The EM Family and Beyond. In: Neural Information Processing Systems 15, 09/12/2002 - 14/12/2002, Vancouver, BC. pp. 689-696.

Henderson, P. (2003) Modelling Architectures for Dynamic Systems. Programming Methodology .

Henderson, P., Crouch, S., Walters, R. and Ni, Q. (2003) Effects of Introducing Survival Behaviours into Automated Negotiators. In: The 27th Annual International Computer Software Applications Conference, 3rd - 6th November, Dallas, Texas. pp. 506-512.

Henderson, P., Crouch, S., Walters, R. J. and Ni, Q. (2003) A Comparison of some Negotiation Algorithms using a Tournament-Based Approach. Agent Technologies, Infrastructure, Tools, and Applications for E-Services, Lecture Notes in Artificial Intelligence (subseries of Lecture Notes in Computer Science), 2592 . pp. 137-150. ISSN 0302-9743

Henderson, P., Walters, R. J., Crouch, S. and Ni, Q. (2003) DataWarp: Building Applications which Make Progress in an Inconsistent World. In: 4th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, 17-21 November 2003, Paris. pp. 167-178.

Hennessy, M., Merro, M. and Rathke, J. (2003) Towards a behavioural theory of access and mobility control in distributed systems. Lecture Notes in Computer Science, 2620 Springer-Verlag.

Hennessy, M., Rathke, J. and Yoshida, N. (2003) SafeDpi: a language for controlling mobile code. Technical Report Computer Science Report 02-2003, Informatics, University of Sussex.

Hey, A. J. G. and Trefethen, A. E. (2003) The Data Deluge: An e-Science Perspective. In: Grid Computing - Making the Global Infrastructure a Reality, pp. 809-824, Wiley and Sons. ISBN 0470853190

Hey, T. and Trefethen, A. (2003) e-Science and its implications. Philosophical Transactions of the Royal Society, 361 (1809). pp. 1809-1825. ISSN 1364-503X

Hey, T. and Walters, P. (2003) The New Quantum Universe. Cambridge University Press. ISBN 0521564182

Howard, Y., Gruner, S., Gravell, A. M., Ferreira, C. and Augusto, J. C. (2003) Model-Based Trace-Checking. In: UK Software Testing Research II, 4/9/2003, University of York.

Jeffrey, A. and Rathke, J. (2003) Contextual equivalence for higher-order pi-calculus revisited. Lecture Notes in Computer Science, Proc. Elsevier.

Klin, B. and Sobocinski, P. (2003) Syntactic formats for free: an abstract approach to process equivalence. In: Concur '03, September 3-5, 2003, Marseille, France. pp. 72-86.

Lehmann, H. and Leuschel, M. (2003) Inductive Theorem Proving by Program Specialisation:
Generating proofs for Isabelle using Ecce (Invited talk).
In: Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, August 2003, Uppsala, Sweden.

Leuschel, M. and Butler, M. (2003) ProB: A Model Checker for B. In: Formal Methods Europe 2003, September 2003, Pisa, Italy. pp. 855-874.

Leuschel, M., Gruner, S. and Lo Presti, S. (2003) Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03). Technical Report DSSE-TR-2003-2, ECS, University of Southampton.

Lynce, I. and Marques-Silva, J. P. (2003) The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms. In: Recent Advances in Constraints, Lecture Notes in Artificial Intelligence, 2627 pp. 144-158, Springer Verlag.

Lynce, I. and Marques-Silva, J. P. (2003) On Implementing More Efficient SAT Data Structures. In: International Symposium on Theory and Applications of Satisfiability Testing, May 2003, Portofino, Italy. pp. 510-516.

Lynce, I. and Marques-Silva, J. P. (2003) An Overview of Backtrack Search Satisfiability Algorithms. Annals of Mathematics and Artificial Intelligence, 37 (3). pp. 307-326.

Lynce, I. and Marques-Silva, J. P. (2003) Probing-Based Preprocessing Techniques for Propositional Satisfiability. In: Proceedings of the International Conference on Tools with Artificial Intelligence, November 2003, Sacramento, California, U.S.A..

Marion, M. and Sadrzadeh, M. (2003) Reasoning about Knowledge in Linear Logic: Modalities and Complexity. In: Logic, Epistemology, and the Unity of Science, pp. 327-350, Kluwer Academic Publishers.

Marques-Silva, J. P. and Sakallah, K. (2003) GRASP - A New Search Algorithm for Satisfiability. In: The Best of ICCAD -- 20 Years of Excellence in Computer Aided Design, Collection of Best Papers, pp. 73-89, Kluwer Academic Publishers.

Marques-Silva, J. P. and Silva, L. G. (2003) Solving Satisfiability in Combinational Circuits. IEEE Design and Test of Computers, 20 (4). pp. 16-21.

Milicia, G. and Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation. In: International Workshop on Object Oriented Developments, WOODS 2003.. 3 pp..

Ng, M. Y. and Butler, M. (2003) Towards formalizing UML State Diagrams in CSP. In: 1st IEEE International Conference on Software Engineering and Formal Methods, 25-26 September 2003, Brisbane, Australia. pp. 138-147.

Nicole, D., Ellis, S. and Hancock, S. (2003) occam for reliable embedded systems: lightweight runtimes and model checking. In: 26th WoTUG Technical Meeting, 7-10 September 2003, University of Twente, The Netherlands. pp. 167-172.

Paurobally, S., Turner, P. J. and Jennings, N. R. (2003) Towards automating negotiation for m-services. In: 5th International Workshop on Agent-Mediated E-Commerce, 2003, Melbourne, Australia. pp. 124-131.

Poppleton, M. and Groves, L. (2003) Software Evolution with Refinement and Retrenchment. In: RCS'03: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, June, 2003, Turku, Finland.

Poppleton, M. R. and Banach, R. N. (2003) Structuring Retrenchments in B by Decomposition. In: FME2003: International Symposium of Formal Methods Europe, September, Pisa, Italy. pp. 814-833.

Rezazadeh, A. and Butler, M. (2003) Event-Based Modelling and Refinement of Distributed Monitoring and Control Systems. In: Refinement of Critical Systems (RCS'03), June.

Sadrzadeh, M. (2003) Modal Linear Logic in Higher Order Logic, an experiment in Coq. In: Theorem Proving in Higher Order Logics, September 2003, Rome, Italy. pp. 75-93.

Sassone, V. (2003) A 2-Categorical Approach to Bisimulation Congruences (talk). (Unpublished)

Sassone, V. (2003) Building the Case for Global Computing. (Unpublished)

Sassone, V. (2003) Calculi and Types for Global Computing (talk). (Unpublished)

Sassone, V. (2003) A Calculus of Bounded Capacities (talk). (Unpublished)

Sassone, V. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories (talk). (Unpublished)

Sassone, V. (2003) Global Computing II. Terms of reference for the FP6-EU-FET call. Bulletin of the European Association for Theoretical Computer Science, 82 . pp. 319-324.

Sassone, V. (2003) A Role for Theory in UbiNet (talk). (Unpublished)

Sassone, V. (2003) Subtyping for Access Control (talk). (Unpublished)

Sassone, V. (2003) Temporal Constraints for Concurrent Object Synchronisation (talk). (Unpublished)

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10 . pp. 163-183. ISSN 1236-6064

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories. In: Foundations of Software Science and Computation Structures, FOSSACS 2003.. pp. 409-424.

Snook, C. and Sandstrom, K. (2003) Using UML-B and U2B for formal refinement of digital components. In: Forum on specification & design languages, September 23 - 26, 2003, Frankfurt.

Thomas, K. (2003) Teaching Databases at Southampton University. In: Teaching, Learning and Assessment of Databases, 14/7/2003, Coventry Technocentre. pp. 123-126.

Torre, S. L., Napoli, M., Parente, M. and Parlato, G. (2003) Hierarchical and Recursive State Machines with Context-Dependent Properties. In: ICALP, June 30 - July 4, 2003, June 30 - July 4, 2003. pp. 776-789.

Varea, M., Leuschel, M. and Al-Hashimi, B. (2003) Improving Compositional Verification of State-based Models by Reducing Modular Unbalance. In: 2nd International Workshop on Refinement of Critical Systems, 3rd June, 2003, Turku, Finland.

Wakemen, I., Ellis, D., Owen, T., Rathke, J. and Watson, D. (2003) Risky business: motivations for markets in programmable networks. In: International Workshop on Active Networks, IWAN, Kyoto.

Walters, R. J. (2003) Automating Checking of Models Built Using a Graphically Based Formal Modelling Language. In: The Twenty-Seventh Annual International Computer Software and Applications Conference, 3-6 November 2003, Dallas, Texas. pp. 98-104.

Yadav, D., Yadav, V. and Sarswat, R. (2003) Maintaining legal requirements of digital signature through public key cryptographic system. IETE Journal of Education, 44 (3). pp. 131-142. ISSN 0970-1664

Yadav, D., Agrawal, R. and Saraswat, R. (2003) Analysis of cooperation semantics for transaction processing with full and partial aborts in active database. In: Information, Communications and Signal Processing(ICICS 2003), Singapore, 15-18 December, 2003, Singapore. pp. 1670-1674.

Yadav, D., Sarswat, R., Chandra, G. and Agrawal, R. (2003) An approach to reduce resource contention while scheduling time constrained long duration activity in active DBMS. In: 5th International Workshop on Computer Science and Information technologies(CSIT-2003), 16-18 September 2003, Ufa, Russia. pp. 162-166.

This list was generated on Tue Aug 19 00:54:47 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