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

Article

Augusto, J. C. and Acuña, S. T. (2002) Editorial. Special Issue with Best Papers from "1as Jornadas Ibero-Americanas de Ingeniería de Software e Ingeniería del Conocimimiento", 5 (1).

Butler, M. J. (2002) On the Use of Data Refinement in the Development of Secure Communications Systems. Formal Aspects of Computing, 14 (1). pp. 2-34.

Butler, M. (2002) A System-based Approach to the Formal Development of Embedded Controllers for a Railway. Design Automation for Embedded Systems, 6 . pp. 355-366.

Butler, M., Ferreira, C., Henderson, P., Chessell, M., Griffin, C. and Vines, D. (2002) Extending the Concept of Transaction Compensation. IBM Systems Journal, 47 . pp. 743-758.

Cirstea, C. (2002) A coalgebraic equational approach to specifying observational structures. Theoretical Computer Science, 280 (1). pp. 35-68. ISSN 0304-3975

Forcer, T. M., Hey, A. J. G., Ross, D. A. and Smith, P. G. R. (2002) Superposition, Entanglement and Quantum Computation. Quantum Information and Computation, 2 (2). pp. 97-116.

Henderson, P. (2002) Functional Geometry. Higher Order and Symbolic Computation, 15 (4). pp. 349-365.

Hey, A. J. G. and Trefethen, A. E. (2002) The UK e-Science Core Programme and the Grid. Future Generation Computer Systems, 18 (8). pp. 1017-1031.

Hey, A. J. G. and Trefethen, A. E. (2002) The UK e-Science Programme and the Grid. Lecture Notes in Computer Science, 2329 . pp. 3-21.

Hey, A. J. G. and Papay, J. (2002) Performance engineering, PSEs and the GRID. Scientific Programming, 10 (1). pp. 3-17. ISSN 1058-9244

Hey, A. J. G., Papay, J., Keane, A. J. and Cox, S. J. (2002) Component Based Problem Solving Environment. Lecture Notes in Computer Science, 2400 . pp. 105-112. ISSN 0302-9743

Leuschel, M. and Bruynooghe, M. (2002) Logic program specialisation through partial deduction: Control Issues. Theory and Practice of Logic Programming, 2805 (4&5). pp. 461-515.

Manquinho, V. M. and Marques-Silva, J. P. (2002) Search Pruning Techniques in SAT-Based Branch-and-Bound Algorithms for the Binate Covering Problem. IEEE Transactions on Computer-Aided Design, 21 (5). pp. 505-516.

Silva, L. G., Marques-Silva, J. P., Silveira, L. M. and Sakallah, K. A. (2002) Satisfiability Models and Algorithms for Circuit Delay Computation. ACM Transactions on Design Automation of Electronic Systems, 7 (1). pp. 137-158.

Conference or Workshop Item

(2002) Abstract Partial Deduction Challenged. In: M. Leuschel and F. Bueno (Eds.), LOPSTR 2002: PreProceedings of the International Workshop on Logic Based Program Development and Transformation, 17-20 September 2002, Madrid (E).

(2002) Logic Based Program Synthesis and Transformation, Proceedings of LOPSTR'02, Revised Selected Papers. In: Logic Based Program Synthesis and Transformation LOPSTR'02, 17-20 September 2002, Madrid, Spain. (In Press)

(2002) Proceedings of 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering. In: 2nd Ibero-American Symposium on Software Engineering and Knowledge Engineering, November. 2002, Salvador, Brazil.

(2002) Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic. In: Verification and Computational Logic VCL'02, 5/10/2002, Pittsburgh, USA.

Augusto, J. C. and Gómez, R. (2002) A Temporal Logic View of Paradigm Specifications. In: Proceedings of Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'02), July 2002, Ischia, Italy. pp. 497-503.

Bugliesi, M., Crafa, S., Merro, M. and Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients. In: 22nd Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS 2002.. pp. 71-84.

Butler, M. and Falampin, J. (2002) An Approach to Modelling and Refining Timing Properties in B. In: Refinement of Critical Systems (RCS).

Chang, V. (2002) Factors influencing effective e-learning implementation. In: UK Research and Methodology Workshop, February 2002., 20-21 February 2002, Cambridge.

Cirstea, C. (2002) Institutionalising many-sorted coalgebraic modal logic. In: 5th International Workshop on Coalgebraic Methods in Computer Science, 6-7 April 2003, Grenoble, France.

Cirstea, C. (2002) On specification logics for algebra-coalgebra structures: reconciling reachability and observability. In: Foundations of Software Science and Computation Structures Conference, 10-12 April 2002, Grenoble, France. pp. 82-97.

Doche, M. and Gravell, A. M. (2002) Extraction of Abstraction Invariants for Data Refinement. In: ZB 2002, January 2002, Grenoble. pp. 120-139.

Drake, L., Frisch, A., Lynce, I., Marques-Silva, J. P. and Walsh, T. (2002) Comparing SAT preprocessing techniques. In: Workshop on Automated Reasoning, April 2002.

Galton, A. and Augusto, J. C. (2002) Two Approaches to Event Definition. In: 13th International Conference on Database and Expert Systems Applications (DEXA'02), September 2002, Aix en Provence, France. pp. 547-556.

Galton, A. and Augusto, J. C. (2002) Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols. In: 9th International Symposium on Temporal Representation and Reasoning (Time-2002), July 2002, Manchester, UK. pp. 52-54.

Garratt, P. W. and Hosier, A. (2002) ASHTALK:SOFTWARE ACHIEVING DELAY-FREE VOICE TRANSMISSION OVER A LOCAL AREA NETWORK. In: Software Engineering,Artificial Intelligence,Networking and Parallel/distributed Computing, June 2002, Madrid. pp. 287-294.

Godskesen, J. C., Hildebrandt, T. and Sassone, V. (2002) A Calculus of Mobile Resources. In: 13th Int. Conference on Concurrency Theory, CONCUR '02.. pp. 272-287.

Henderson, P. (2002) Reasoning about Asynchronous Behaviour in Distributed Systems. In: Eigthth IEEE International Conference on Engineering of Complex Computer Systems |(ICECCS'02), 2-4 December 2002, Greenbelt, Maryland,USA. pp. 17-24.

Henderson, P., Walters, R. J. and Crouch, S. (2002) RICES: Reasoning about Information Consistency across Enterprise Solutions. In: Systems Enginerring for Business Process Change: New Directions. pp. 367-371.

Leuschel, M. and Gruner, S. (2002) Abstract Conjunctive Partial Deduction using Regular Types and its Application to Model Checking. In: Logic Based Program Synthesis and Transformation - Selected Papers of the 11th LOPSTR Workshop, Paphos 2001, November 2001, Paphos, Cyprus. pp. 91-110.

Leuschel, M. and Massart, T. (2002) Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation. In: Automated Verification of Critical Systems AVoCS'02, April 15-16 2002, Birmingham, UK. pp. 143-149.

Lynce, I. and Marques-Silva, J. P. (2002) Building State-of-the-Art SAT solvers. In: Proceedings of the European Conference on Artificial Intelligence, July 2002. pp. 166-170.

Lynce, I. and Marques-Silva, J. P. (2002) Complete unrestricted backtracking algorithms for Satisfiability. In: International Symposium on Theory and Applications of Satisfiability Testing, May 2002, Cincinnati, Ohio, USA. pp. 214-221.

Lynce, I. and Marques-Silva, J. P. (2002) The Effect of Nogood Recording in MAC-CBJ SAT Algorithms. In: ERCIM Workshop on Constraint Solving and Constraint Logic Programming, June 2002. pp. 123-137.

Lynce, I. and Marques-Silva, J. P. (2002) Efficient data structures for backtrack search SAT solvers. In: International Symposium on Theory and Applications of Satisfiability Testing, May 2002, Cincinnati, Ohio, USA. pp. 308-315.

Merro, M. and Sassone, V. (2002) Typing and Subtyping Mobility in Boxed Ambients. In: 13th Int. Conference on Concurrency Theory, CONCUR '02.. pp. 304-320.

Mikhailov, L. and Butler, M. (2002) An Approach to Combining B and Alloy. In: ZB'2002.

Milicia, G. and Sassone, V. (2002) Jeeg: A Programming Language for Concurrent Objects Synchronization. In: Joint ACM-ISCOPE Conference on Java Grande, JGI'02.. pp. 212-221.

Ng, M. Y. and Butler, M. (2002) Tool Support for Visualizing CSP in UML. In: International Conference on Formal Engineering Methods(ICFEM), October 21-25, 2002, Shanghai, China. pp. 287-298.

Owen, T., Rathke, J., Wakeman, I. and Watson, D. (2002) Implementing Policies in Programs using Labelled Transition Systems. In: Cosener's House Multi-Service Networks Conference.

Owen, T., Rathke, J., Wakeman, I. and Watson, D. (2002) A Model for Controlling Program Behaviour in Pervasive Networks. In: Fifth IEEE Workshop on Networked Appliances, Liverpool.

Poppleton, M. and Banach, R. (2002) Controlling control systems: an application of evolving retrenchment. In: ZB2002: Formal Specification and Development in Z and B, January 2002, Grenoble, France. pp. 42-61.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In: 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002.. 19 pp..

Varea, M., Al-Hashimi, B. and Leuschel, M. (2002) Finite and Infinite Model Checking of Dual Transition Petri Net Models. In: Second Workshop on Automated Verification of Critical Systems (AVOCS), 15-16 April 2002, Birmingham, UK. pp. 265-269.

Walters, R. J. (2002) A graphically based language for constructing, executing and analysing models of software systems. In: 26 th Annual International Computer Software and Applications Conference, 26-29 August 2002, Oxford, England. pp. 363-369.

Whalen, M., Schumann, J. and Fischer, B. (2002) AutoBayes/CC --- Combining Program Synthesis with Automatic Code Certification (System Description). In: 18th International Conference on Automated Deduction, July 27-30, 2002, Copenhagen. pp. 290-294.

Whalen, M., Schumann, J. and Fischer, B. (2002) Synthesizing Certified Code. In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, July 22-24, 2002, Copenhagen. pp. 431-450.

Book

Sassone, V., ed. (2002) Proceedings of the International Workshop on Foundations of Wide Area Network Computing, F-WAN, ENTCS vol. 66(3). Elsevier.

Henderson, P., ed. (2002) Systems Engineering for Business Process Change - New Directions. 380pp, Springer-Verlag. ISBN 1-85233-399-5

Butler, M., Petre, L. and Sere, K. (2002) Integrated Formal Methods 2002. Springer. ISBN ISBN 3-540-43703-7

Hennessy, M. and Rathke, J. (2002) Typed behavioural equivalences for processes in the presence of subtyping. Electronic Notes in Theoretical Computer Science, 61 Elsevier.

Jeffrey, A. and Rathke, J. (2002) A fully abstract may testing semantics for concurrent objects. IEEE Computer Society Press.

Book Section

Henderson, P. (2002) Asset Mapping - Developing Inter-Enterprise Solutions from Legacy Components. In: pp. 1-12, Springer Verlag UK. ISBN 1-85233-399-5

Henderson, P. (2002) Business Processes, Legacy Sytems and a Fully Flexible Future. In: pp. 1-9, Springer Verlag UK. ISBN 1-85233-222-0

Leuschel, M. (2002) Homeomorphic Embedding for Online Termination of Symbolic Methods. In: The Essence of Computation - Essays dedicated to Neil Jones, pp. 379-403, Springer-Verlag. ISBN 3-540-00326-6

Technical Report

Augusto, J. C. and Gómez, R. (2002) A procedure to translate Paradigm Specifications to Propositional Linear Temporal Logic and its application to verification. Technical Report , ECS, University of Southampton. (Unpublished)

Hennessy, M., Merro, M. and Rathke, J. (2002) Towards a behavioural theory of access and mobility control in distributed systems. Technical Report Computer Science Report 01-2002, Informatics, University of Sussex.

Jeffrey, A. and Rathke, J. (2002) Contextual equivalence for higher-order pi-calculus revisited. Technical Report Computer Science Report 04-2002, Informatics, University of Sussex.

Jeffrey, A. and Rathke, J. (2002) A fully abstract may testing semantics for concurrent objects. Technical Report Computer Science Report 03-2002, Informatics, University of Sussex.

Jeffrey, A. and Rathke, J. (2002) A theory of bisimulation for a fragment of concurrent ML with local names. Technical Report Computer Science Report 02-2002, Informatics, University of Sussex.

Lehmann, H. and Leuschel, M. (2002) Generating inductive verification proofs for Isabelle using the partial evaluator Ecce. Technical Report DSSE-TR-2002-02, ECS, University of Southampton. (Unpublished)

Mikhailova, A., Doche, M. and Butler, M. (2002) Contracts for Scenario-Based Testing of Object-Oriented Programs. Technical Report , Electronics and Computer Science, University of Southampton. (Unpublished)

Thesis

Walters, R. J. (2002) A Graphically based language for constructing, executing and analysing models of software systems. PhD thesis, University of Southampton.

Other

Sassone, V. (2002) Capacity-Bounded Computational Ambients (talk). (Unpublished)

Sassone, V. (2002) Communication Interference in Mobile Boxed Ambients (talk).

Sassone, V. (2002) Foundations of Global Computing. (Unpublished)