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

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 2001
(Grouped by Creator/Authors Name)

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
Jump to: A | B | C | D | F | G | H | J | K | L | M | N | O | S | T | U | Y
Number of items: 55.


Adhianto, L. and Leuschel, M. (2001) Strategy for Improving Memory Locality Reuse and Exploiting Hidden Parallelism. In: Proceeding of ISSM 2001, Manchester, 25-26 August 2001..


Banach, R. and Poppleton, M. (2001) Model Based Engineering of Specifications by Retrenching Partial Requirements. In: IEEE Model Based Requirements Engineering Workshop, November 2001, San Diego, CA..

Baptista, L., Lynce, I. and Marques-Silva, J. P. (2001) Complete Search Restart Strategies for Satisfiability. In: IJCAI Workshop on Stochastic Search Algorithms, August 2001. pp. 1-5.

Barbanera, F., Dezani, M., Salvo, I. and Sassone, V. (2001) A Type Inference Algorithm for Secure Ambients. In: Theory of Concurrency, Higher Order and Types, TOSCA Workshop 2001.. 19 pp.

Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (2001) Functorial Models for Petri Nets. Information and Computation, 170 (2). pp. 207-236.

Bruni, R. and Sassone, V. (2001) Two Algebraic Process Semantics for Contextual Nets. In: Unifying Petri Nets. pp. 427-456.

Buscemi, M. and Sassone, V. (2001) High-Level Petri Nets as Type Theories in the Join Calculus. In: Foundations of Software Science and Computation Structures, FOSSACS 2001.. pp. 104-120.

Butler, M., Hartel, P., Jong, E. d. and Longley, M. (2001) Transacted Memory for Smart Cards. In: FME 2001, Formal Methods for Increasing Software Productivity. pp. 478-99.


C, T. P., P, P., M, I. and Richardson, D. J. (2001) Generation recognition and recoding of 64-chip bipolar optical code sequences using superstructured fibre Bragg gratings. Electronics Letters, 37 (3). pp. 190-1.

Cirstea, C. (2001) Integrating observational and computational features in the specification of state-based, dynamical systems. Theoretical Informatics and Applications, 35 (1). pp. 1-29. ISSN 0988-3754

Cirstea, C. (2001) Semantic constructions for the specification of objects. Theoretical Computer Science, 260 (1). pp. 3-25. ISSN 0304-3975


Domingo-Ferrer, J. and Hartel, P. H. (2001) Current directions in smart cards. Computer Networks, 36 (4). pp. 377-9. ISSN ISSN 1389-1286


Field, A., Hartel, P. and Mooij, W. (2001) Personal DJ, an Architecture for Personalised Content Delivery. In: World Wide Web Conference 2010, May 2001, Hong Kong.

Flores, P. F., Neto, H. C. and Marques-Silva, J. P. (2001) An Exact Solution to the Minimum-Size Test Pattern Problem. ACM Transactions on Design Automation of Electronic Systems, 6 (4). pp. 629-644.


garratt, p. and warde, s. (2001) Analysis of Costs and Benefits of compressing data on the Usenet. In: MS2001 INTERNATIONAL CONFERENCE ON MODELLING AND SIMULATION IN DISTRIBUTED APPLICATIONS, sep 2001, Changsha, China. (In Press)

Glaser, H., Hartel, P. H., Leuschel, M. and Martin, A. (2001) Declarative Languages in Education. In: Encyclopedia of Microcomputers, pp. 79-102, Marcel Dekker Inc, New York. ISBN 0-8247-2726-6


Hallerstede, S. (2001) Performance-Oriented Refinement. PhD thesis, University of Southampton.

Hartel, P. H. and Moreau, L. (2001) Formalising the safety of Java, the Java Virtual Machine and Java Card. Technical Report , UNSPECIFIED, University of Twente.

Hartel, P. H. and Moreau, L. (2001) Formalising the Safety of Java, the Java Virtual Machine and Java Card. ACM Computing Surveys, 33 (4). p. 517. ISSN 0360-0300

Henderson, P., Crouch, S. and Walters, R. J. (2001) Inconsistency Tolerance across Enterprise Solutions. In: 8th IEEE Workshop on Future Trends of Distributed Computing Systems. pp. 164-169.

Henderson, P., Howard, Y. M. and Walters, R. J. (2001) A Tool for Evaluation of the Software Development Process. The Journal of Systems and Software, 59 (3). pp. 355-362. ISSN 0164-1212

Henderson, P. and Walters, R. J. (2001) Behavioural Analysis of Component-Based Systems. Information and Software Technology, 43 (3). pp. 161-169. ISSN 0950-5849

Hennessy, M., Lin, H. and Rathke, J. (2001) Unique fixpoint induction for message-passing process calculi. Science of Computer Programming, 41 (3). pp. 241-275. ISSN 0167-6423


James, S. S. and Ultes-Nitsche, U. (2001) Computing Property-Preserving Behaviour Abstractions from Trace Reductions. In: Proceedings of the 20th ACM Symposium on Principles of Distributed Computing (ACM PODC'2001). pp. 238-245.


Kunz, W., Marques-Silva, J. P. and Malik, S. (2001) SAT and ATPG: Algorithms for Boolean Decision Problems. In: Logic Synthesis and Verification, pp. 309-341, Kluwer Academic Publishers.


Leonard, T. and Glaser, H. (2001) Large scale acquisition and maintenance from the web without source access. In: Workshop 4, Knowledge Markup and Semantic Annotation, K-CAP 2001. pp. 97-101.

Leuschel, M. (2001) Design and Implementation of the High-Level Specification Language CSP(LP). In: Proceedings of PADL'01, 3rd International Symposium on Practical Aspects of Declarative Languages. pp. 14-28.

Leuschel, M., Adhianto, L., Butler, M., Ferreira, C. and Mikhailov, L. (2001) Animation and Model Checking of CSP and B using Prolog Technology. In: Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001. pp. 97-109.

Leuschel, M., Massart, T. and Currie, A. (2001) How to make FDR Spin: LTL model checking of CSP using Refinement. In: Proceedings of Formal Methods Europe FME'2001. pp. 99-118.

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

Leuschel, M., Wolton, I., Massart, T. and Adhianto, L. (2001) Temporal Logic Model Checking of CSP: Tools and Techniques. In: Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01).

Lynce, I., Baptista, L. and Marques-Silva, J. P. (2001) Stochastic Systematic Search Algorithms for Satisfiability. In: LICS Workshop on Theory and Applications of Satisfiability Testing, June 2001, Boston, USA. pp. 1-7.

Lynce, I., Baptista, L. and Marques-Silva, J. P. (2001) Towards Provably Complete Stochastic Search Algorithms for Satisfiability. In: Proceedings of the Portuguese Conference on Artificial Intelligence, December 2001, Porto, Portugal. pp. 363-370.

Lynce, I., Baptista, L. and Marques-Silva, J. P. (2001) Unrestricted Backtracking Algorithms for Satisfiability. In: AAAI Fall Symposium on Using Uncertainty within Computation, November 2001. pp. 76-82.

Lynce, I. and Marques-Silva, J. P. (2001) The Interaction Between Simplification and Search in Propositional Satisfiability. In: CP Workshop on Modeling and Problem Formulation, Novermber 2001.

Lynce, I. and Marques-Silva, J. P. (2001) The Puzzling Role of Simplification in Propositional Satisfiability. In: EPIA Workshop on Constraint Satisfaction and Operational Research Techniques for Problem Solving, December 2001, Porto, Portugal. pp. 73-86.


Manquinho, V. and Marques-Silva, J. P. (2001) Lower Bounding Techniques for SAT-Based Boolean Optimization. In: Third International Workshop on Integration of AI and OR Techniques, April 2001. pp. 375-388.

Mikhailov, L. and Butler, M. (2001) Combining B and Alloy. In: Formal Methods for Industrial Critical Systems.


Nielsen, M., Sassone, V. and Srba, J. (2001) Properties of Distributed Time Arc Petri Nets. In: Foundation of Software Technology and Theoretical Computer Science, FST&TCS 2001.. pp. 280-291.

Nielsen, M., Sassone, V. and Srba, J. (2001) Towards a Notion of Distributed Time for Petri Nets. In: 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001.. pp. 23-31.


Oliveira, A. L. and Marques-Silva, J. P. (2001) Efficient Algorithms For The Inference Of Minimum Size DFAs. Machine Learning, 44 (1/2). pp. 93-119.


Sassone, V. (2001) An introduction to the π-calculus - Model, Variations, Semantics (talk). (Unpublished)

Satpathy, M., Harrison, R., Snook, C. and Butler, M. (2001) A Comparative Study of Formal and Informal Specifications through an Industrial Case Study. In: IEEE/ IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS'01).

Satpathy, M., Harrison, R., Snook, C. and Butler, M. (2001) A Generic Model for Assessing Process Quality. In: International Workshop on Software Measurement (IWSM2000).

Snook, C. and Butler, M. J. (2001) Using a Graphical Design Tool for Formal Specification. In: Proceedings 13th Annual Workshop of the Psychology of Programming Interest Group.

Snook, C. and Harrison, R. (2001) Practitioners' views on the use of formal methods: an industrial survey by structured interview. Information and Software Technology, 43 (4). pp. 275-283. ISSN 0950-5849

Sousa, J., Marques-Silva, J. P. and Abramovici, M. (2001) A Configware/Software Approach to SAT Solving. In: Proceedings of the IEEE Symposium on Field-Programmable Custom Computing Machines, May 2001.


Thomas, K. S., Cox, S. J., Beckett, D. H., Hiett, B. P., Generowicz, J. M. and Daniell, G. J. (2001) Eigenvalue Spectrum Estimation and Photonic Crystals. In: 7th International Euro-Par Conference. pp. 578-586.


Ultes-Nitsche, U. (2001) Do We Need Liveness? Approximation of Liveness Properties by Safety Properties. Submitted to Information Processing Letters (IPL) .

Ultes-Nitsche, U. (2001) Secure Server-Side Java Applications. Informatik - Journal of the Swiss Chapter of the ACM, Specia . ISSN 1420-6579

Ultes-Nitsche, U. and James, S. S. (2001) Testing Liveness Properties: Approximating Liveness Properties by Safety Properties. In: Proceedings of the 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2001). pp. 369-376.

Ultes-Nitsche, U. and Teufel, S. (2001) Secure Internet-Access to Medical Data. In: UNSPECIFIED.

Ultes-Nitsche, U. and Teufel, S. (2001) Secure Internet-Access to Medical Data. Submitted to Informatik --- Journal of the Swiss Chapter of the ACM, Specia . 7 pages.

Ultes-Nitsche, U. and Wolper, P. (2001) Checking Properties within Fairness and Behavior Abstraction. Submitted to ACM Transactions on Computational Logic (TOCL) . 22 pages.


Yadav, D., Majumdar, A., Sarswat, R. and Chauhan, D. (2001) Towards a model of concurrency to achieve temporal consistency in long duration transaction processing in real time active database systems. In: 3rd International Conference on Information, Communication and Signal processing, ICICS-2001, Singapore, 15-18 October 2001, Singapore.

This list was generated on Sun Apr 20 00:55:19 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

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.