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 2000
(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: 47.

Cousot, P., Goubault, E., Gunawardena, J., Herlihy, M., Raussen, M. and Sassone, V., eds. (2000) Proceedings of the 2nd Workshop on Geometric and Topological Methods in Concurrency Theory, GETCO 2000, ENTCS vol. 39(2). Elsevier.

Montanari, U. and Sassone, V., eds. (2000) Proceedings of the International Workshop on Concurrency and Coordination, ConCoord. ENTCS vol. 54. Elsevier.

Adhianto, L., Chapman, B., Lancaster, D. and Wolton, I. (2000) Tools for OpenMP Application Development: The POST Project.

Antoniou, I., Reeve, M. and Stenning, V. (2000) The Information Society as a Complex System. Journal of Universal Computer Science, 6 (3). pp. 272-288. ISSN 0948-6968

Baptista, L. and Marques-Silva, J. P. (2000) Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. In: Proceedings of the International Conference on Principles and Practice of Constraint Programming, September 2000, Singapore. pp. 489-494.

Brien, S. M. and Martin, A. P. (2000) A Calculus for Schemas in Z. J. Symbolic Computation, to app . ISSN ISSN 0747-7171

Bruni, R., Montanari, U. and Sassone, V. (2000) Open Ended Systems, Dynamic Bisimulation, and Tile Logic. In: IFIP International Conference on Theoretical Computer Science, IFIP TCS 2000.. pp. 440-456.

Bruni, R. and Sassone, V. (2000) Algebraic Models for Contextual Nets. In: 27th International Colloquium on Automata, Languages and Programming, ICALP 2000.. pp. 175-186.

Butler, M. J. (2000) csp2B: A Practical Approach to Combining CSP and B. Formal Aspects of Computing, 12 . pp. 182-196. ISSN 0934-5043

Butler, M. J. and Meagher, M. M. R. (2000) Performing Algorithmic Refinement before Data Refinement in B. In: Proc. ZB2000: Formal Specification and Development in Z and B. pp. 324-343.

Butler, M. (2000) On the Use of Data Refinement in the Development of Secure Communications Systems.

Butler, M. and Ferreira, C. (2000) A Process Compensation Language. In: Integrated Formal Methods IFM2000. p. 61.

Cirstea, C. (2000) An Algebra-Coalgebra Framework for System Specification. In: 3rd International Workshop on Coalgebraic Methods in Computer Science. pp. 80-110.

Cirstea, C. (2000) Integrating Observations and Computations in the Specification of State-Based, Dynamical Systems. PhD thesis, University of Oxford.

Crouch, S. (2000) Process Modelling for Requirements Capture. PhD thesis, UNSPECIFIED.

Currie, A., Leuschel, M. and Massart, T. (2000) LTL Model Checking of CSP by Refinement: How to Make FDR Spin. In: Proceedings of VCL'2000. pp. 49-63.

Currie, A. J. (2000) A Comparison of Three Model Checkers Applied to a Distributed Database Problem. In: Proc. 4th Irish Workshop on Formal Methods. pp. 46-56.

Darbari, A. (2000) First Order Rule Learning through a Pulsed Neural Network. Masters thesis, TU Dresden, Germany.

Darbari, A. (2000) Rule Extraction from Trained ANN: A Survey. Technical Report WV-2000-03, Computer Science, TU Dresden, Germany.

Diehl, S., Hartel, P. H. and Sestoft, P. (2000) Abstract Machines for Programming Language Implementation. Future Generation Computer Systems, 16 (7). pp. 739-51. ISSN ISSN 0167-739X

Diehl, S., Hartel, P. H. and Sestoft, P. (2000) Special issue: Principles of Abstract Machines. Future Generation Computer Systems, 16 (7). v-vi. ISSN ISSN 0167-739X

Foss, J., Garcha, K., Turner, P. and Jennings, N. R. (2000) Brokerage in an Information Economy. In: INET-2000: The 10th Annual Internet Society Conference, Yokohama, Japan.

Garratt, P. W. and Bennion, M. J. (2000) Adaptive Error Correction on a Data Link. In: Proc. Int. Conf. on Software Engineering Applied to Networking and Parallel/Distributed Computing, SNPD 2000. pp. 418-425.

Glaser, H., Hartel, P. H. and Garratt, P. W. (2000) Programming by Numbers: A Programming Method for Complete Novices. Computer Journal, 43 (4). pp. 252-265. ISSN 0010-4620

Gravell, A. M. (2000) Logical Refinement of Imperative Programs: generating code from verified conditions. In: Workshop on (Constraint) Logic Programming and Software Engineering LPSE2000. pp. 2-16.

Hartel, P. H. (2000) Formalising Java safety -- An overview. In: 4th Int. IFIP wg 8.8 Conf. Smart card research and advanced application (CAR DIS). pp. 115-134.

Henderson, N. J. and Hartel, P. (2000) 'Pressure Sequence' - A Novel Method of Protecting Smartcards. In: 4th smart card reserach and advanced application conference. pp. 241-256.

Henderson, P. (2000) Systems Engineering for Business Process Change. 304pp, Springer Verlag UK. ISBN 1852332220

Hey, A. J. G. and Lancaster, D. J. (2000) The Development of Parkbench and Performance Prediction. The International Journal of High Performance Computing Applications, 14 (3). pp. 205-15.

Hey, T. and Lancaster, D. (2000) Parallel Performance Analysis and the Future of Parkbench. International Journal of High-Performance Computing, 14 (3). pp. 205-215.

Kim, J., Whittemore, J., Marques-Silva, J. P. and Sakallah, K. A. (2000) On Applying Boolean Satisfiability to Delay Fault Testing. In: Proceedings of the Design, Automation and Test in Europe Conference, March 2000, Munich, Germany. pp. 380-384.

Lehmann, H. and Leuschel, M. (2000) Decidability Results for the Propositional Fluent Calculus. In: Proceedings of the International Conference on Computational Logic (CL'2000). pp. 762-776.

Lehmann, H. and Leuschel, M. (2000) Solving Planning Problems by Partial Deduction.

Leuschel, M. and Bruynooghe, M. (2000) Control Issues in Partial Deduction: The Ever Ending Story. Technical Report , UNSPECIFIED, University of Southampton.

Leuschel, M. and Lehmann, H. (2000) Coverability of Reset Petri Nets and other Well-Structured Transition Systems by Partial Deduction. In: Proceedings of the International Conference on Computational Logic (CL' 2000). pp. 101-115.

Leuschel, M. and Lehmann, H. (2000) Solving Coverability Problems of Petri Nets by Partial Deduction. In: Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP'2000). pp. 268-279.

Leuschel, M., Podelski, A., Ramakrishnan, C. R. and Ultes-Nitsche, U. (2000) Proceedings of the Workshop on Verification and Computational Logic VCL'2000. In: UNSPECIFIED. 150pp.

Manquinho, V. and Marques-Silva, J. P. (2000) On Using Satisfiability-Based Pruning Techniques in Covering Algorithms. In: Proceedings of the Design, Automation and Test in Europe Conference, March 2000, Munich, Germany. pp. 356-363.

Manquinho, V. and Marques-Silva, J. P. (2000) Search Pruning Conditions for Boolean Optimization. In: Proceedings of the European Conference on Artificial Intelligence, August 2000, Berlin, Germany. pp. 130-107.

Marques-Silva, J. P. (2000) Algebraic Simplification Techniques for Propositional
Satisfiability.
In: Proceedings of the International Conference on Principles and Practice of Constraint Programming, September 2000, Singapore. pp. 537-542.

Marques-Silva, J. P. and Sakallah, K. A. (2000) Boolean Satisfiability in Electronic Design Automation. In: Proceedings of the Design Automation Conference, June 2000, Los Angeles, California, U.S.A.. pp. 675-680.

Sassone, V. (2000) On the Algebraic Structure of Petri Nets. Bulletin of the European Association for Theoretical Computer Science, 72 . pp. 133-148.

Snook, C. and Butler, M. (2000) Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit. In: UML 2000 Workshop, Dynamic Behaviour in UML Models: Semantic Questions.

Turner, P. J. and Jennings, N. R. (2000) Improving the Scalability of Multi-Agent Systems. In: Infrastructure for Agent, Multi-Agent Systems, and Scalable Multi-Agent Systems.. pp. 246-262.

Ultes-Nitsche, U. (2000) Satisfaction up to Liveness � Automatic Verification based on Exhaustive Testing. In: Proceedings of the IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/ PSTV�2000). pp. 237-248.

Ultes-Nitsche, U. and James, S. S. (2000) Weakly Continuation-Closed Abstractions can be Defined on Trace Reductions. In: Proceedings of the International Workshop on Verification and Computational Logic (VCL�2000). 11 pages.

Ultes-Nitsche, U. and Teufel, S. (2000) Secure Access to Medical Data over the Internet. In: Trends in Information and Communication Systems for the 21st Century --- Proceedings of the 8th European Conference on Information Systems. pp. 1331-1337.

This list was generated on Mon Nov 24 00:54:10 2014 GMT.
  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