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 2010
(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: 53.

Article

Abrial, J. R., Butler, M., Hallerstede, S., Hoang, T. S., Mehta, F. and Voisin, L. (2010) Rodin: An Open Toolset for Modelling and Reasoning in Event-B. International Journal on Software Tools for Technology Transfer (STTT), 12 (6). pp. 447-466. ISSN 1433-2779 (Print) 1433-2787 (Online)

D'Arco, P., Santis, A. D., Ferrara, A. L. and Masucci, B. (2010) Variations on a theme by Akl and Taylor: Security and tradeoffs. Theor. Comput. Sci., 411 (1). pp. 213-227.

Davis, H., Carr, L., Hey, J., Howard, Y., Millard, D., Morris, D. and White, S. (2010) Bootstrapping a Culture of Sharing to Facilitate Open Educational Resources. IEEE Transactions on Learning Technologies, 3 (2). pp. 96-109.

Rathke, J. and Soboci\'nski, P. (2010) Deriving structural labelled transitions for mobile ambients. Information and Computation . (In Press)

Sassone, V., Hamadou, S. and Yang, M. (2010) Trust in Anonymity Networks. Lecture Notes in Computer Science, ARCoSS, 6269 . pp. 48-70.

Conference or Workshop Item

Abbas, N., Gravell, A. and Wills, G. (2010) The Impact of Organization, Project and Governance Variables on Software Quality and Project Success. In: Agile 2010, August 9 - 13, Orlando, Florida.

Abbas, N., Gravell, A. and Wills, G. (2010) Using Factor Analysis to Generate Clusters of Agile Practices. In: Agile 2010, August 9 - 13, Orlando, Florida.

Asnawi, A. L., Gravell, A. and Wills, G. (2010) An Empirical Study: Understanding Factors and Barriers for Implementing Agile Methods in Malaysia. In: 5th International Doctoral Symposium on Empirical Software Engineering (IDoESE), 15 September 2010, Bolzano-Bozen Italy.

Basir, N., Denney, E. and Fischer, B. (2010) Deriving Safety Cases for Hierarchical Structure in Model-based Development. In: The 29th International Conference on Computer Safety, Reliability and Security, 14 - 17 September 2010, Vienna, Austria. (In Press)

Cirstea, C. (2010) Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. In: Coalgebraic Methods in Computer Science 2010. pp. 83-103.

Cordeiro, L. (2010) SMT-Based Bounded Model Checking for Multi-threaded Software in Embedded Systems. In: 32nd ACM/IEEE International Conference on Software Engineering (Doctoral Symposium), 2-8 May, 2010, Cape Town, South Africa. pp. 373-376.

Cordeiro, L. (2010) SMT-Based Bounded Model Checking for Multi-threaded Software in Embedded Systems. In: 32nd ACM/IEEE International Conference on Software Engineering (Doctoral Symposium), 2-8 May, Cape Town, South Africa.

Cordeiro, L. and Fischer, B. (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. In: 8th International Workshop on Satisfiability Modulo Theories, July 14–15, 2010, Edinburgh.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. In: 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 22-26 March, 2010, St. Anne's College, University of Oxford, UK.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2010) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. In: 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 22-26 March, 2010, St. Anne's College, University of Oxford, UK.

Edmunds, A. and Butler, M. (2010) Tool Support for Event-B Code Generation. In: WS-TBFM2010.

Gondal, A., Poppleton, M., Butler, M. and Snook, C. (2010) Feature-Oriented Modelling Using Event-B. In: International Conference on Software Engineering Theory and Practice (SETP-10), July 12-14, 2010, Orlando, FL, USA.. (In Press)

Grech, N., Rathke, J. and Fischer, B. (2010) Generating correct and efficient equality and hashing methods using JEqualityGen. In: Workshop on Generative Technologies, 27th March 2010, Paphos, Cyprus.

Grech, N., Fischer, B. and Rathke, J. (2010) JEqualityGen: Generating Equality and Hashing Methods. In: Generative Programming and Component Engineering,, October 10-13, 2010, Eindhoven, The Netherlands. pp. 177-186.

Hamadou, S., Sassone, V. and Palamidessi, C. (2010) Reconciling Belief and Vulnerability in Information Flow. In: IEEE Symposium of Security and Privacy. pp. 79-92.

Ireland, A., Grov, G. and Butler, M. (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. In: ABZ 2010, February 2010, Orford, Canada. (In Press)

Joochim, T., Snook, C., Poppleton, M. and Gravell, A. (2010) TIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS. In: IASTED International Conference on Software Engineering (SE2010), February 16 – 18, 2010, Innsbruck, Austria.

La Torre, S., Madhusudan, P. and Parlato, G. (2010) The Language Theory of Bounded Context-Switching. In: LATIN, April 19-23, 2010, Oaxaca, Mexico. pp. 96-107.

Maamria, I. and Butler, M. (2010) Rewriting and Well-Definedness within a Proof System. In: Partiality and Recursion in Interactive Theorem Provers PAR-10. (In Press)

Maamria, I., Butler, M., Edmunds, A. and Rezazadeh, A. (2010) On an Extensible Rule-based Prover for Event-B. In: ABZ2010, 23-25 Feb 2010, Orford, Canada. (In Press)

Millard, D. and Howard, Y. (2010) Towards an Ergonomics of Knowledge Systems: Improving the Design of Technology Enhanced Learning. In: European Conference on Technology Enhanced Learning, Sept 28 - Oct 1, 2010, Barcelona (Spain). (In Press)

Millard, D. E., Davis, H. C., Howard, Y., McSweeney, P., Francois, S., Morris, D., Ramsden, M. and White, S. (2010) MePrints: Building User Centred Repositories. In: 5th International Conference on Open Repositories, 6-9 July 2010 , Madrid, Spain. (In Press)

Rocha, H., Cordeiro, L., Barreto, R. and Netto, J. (2010) Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs. In: 4th Brazilian Workshop on Systematic and Automated Software Testing, November 11th, 2010, Natal, Brazil.

Rocha, H., Cordeiro, L., Barreto, R. and Netto, J. (2010) Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs. In: 4th Brazilian Workshop on Systematic and Automated Software Testing, November 11th, 2010, Natal, Brazil.

Salehi Fathabadi, A. and Butler, M. (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol. In: FMCO Formal Methods for Components and Objects. pp. 89-104.

Sassone, V., El-Salamouny, E. and Hamadou, S. (2010) Trust in Crowds: probabilistic behaviour in anonymity protocols. In: Symposium on Trustworthy Global Computing, TGC 2010, Lecture Notes in Computer Science 6084. pp. 88-102.

Silva, R., Pascal, C., Hoang, T. S. and Butler, M. (2010) Decomposition Tool for Event-B. In: Workshop on Tool Building in Formal Methods - ABZ Conference, 22nd February 2010, Orford, Quebec, Canada.

Silva, R. and Butler, M. (2010) Shared Event Composition/Decomposition in Event-B. In: FMCO Formal Methods for Components and Objects, 29 November - 1 December 2010, Graz, Austria.

Snook, C., Fritz, F. and Illisaov, A. (2010) An EMF Framework for Event-B. In: Workshop on Tool Building in Formal Methods - ABZ Conference, 22nd February 2010, Orford, Quebec, Canada.

Sobocinski, P. (2010) Representations of Petri net interactions. In: CONCUR `10, August 31 - September 3 2010, Paris, France.

Sorge, J., Poppleton, M. and Butler, M. (2010) A Basis for Feature-Oriented Modelling in Event-B. In: ABZ2010, 23-25 Feb 2010, Orford, Canada. (In Press)

Takeda, K., Scott, M., Coles, S., Carr, L., Frey, J. and Cox, S. (2010) Enabling Scientific Discovery with Microsoft SharePoint. Submitted to: Microsoft eScience Workshop, October 11-13th, 2010, Berkeley, California. (Submitted)

Torre, S. L., Madhusudan, P. and Parlato, G. (2010) Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. In: CAV, July 15-19, 2010, Edinburgh, UK,. pp. 629-644.

Turner, E., Butler, M. and Leuschel, M. (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. In: ABZ 2010, February 2010, Orford, Canada. (In Press)

Yeganefard, S., Butler, M. and Rezazadeh, A. (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. In: Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215, 13-14 April 2010, Washington DC. pp. 182-191.

Book

Abrial, J. R., Butler, M., Joshi, R., Troubitsyna, E. and Woodcock, J. C. P. (2010) 09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems. Dagstuhl Seminar Proceedings, 09381 (09381) Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.

Bugliesi, M. and Sassone, V. (2010) International Colloquium of Automata, Languages and Programming:
Preface to the `Logical Methods in Computer Science', special issue for ICALP 2006.
Creative Commons Licence. ISBN 1860-5974

Technical Report

Anderson, G. (2010) Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE. Technical Report , ECS, Soton. (Submitted)

Cordeiro, L. and Fischer, B. (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. Technical Report , Dependable Systems and Software Engineering, University of Southampton.

Thesis

Abbas, N. (2010) Software Quality and Governance in Agile Software Development. PhD thesis, University of Southampton.

Basir, N. (2010) Safety Cases for the Formal Verification of Automatically Generated Code. PhD thesis, University of Southampton.

Colley, J. (2010) Guarded Atomic Actions and Refinement in a System-on-Chip Development Flow: Bridging the Specification Gap with Event-B. PhD thesis, University of Southampton.

Damchoom, K. (2010) An Incremental Refinement Approach to a Development of a Flash-Based File System in Event-B. PhD thesis, University of Southampton.

Edmunds, A. (2010) Providing Concurrent Implementations for Event-B Developments. PhD thesis, University of Southampton.

Gkritsi, A. (2010) Agile Game: A Project Management Game
for Agile Methods.
Other thesis, University of Southampton.

Joochim, T. (2010) BRINGING REQUIREMENTS ENGINEERING TO FORMAL METHODS: TIMING DIAGRAMS FOR EVENT-B AND KAOS. PhD thesis, University of Southampton.

Said, M. Y. (2010) Methodology of Refinement and Decomposition in UML-B. PhD thesis, University of Southampton.

Other

Sassone, V. (2010) Trust in Crowds - Probabilistic Behaviour in Anonymity Protocols (talk). (Unpublished)

This list was generated on Fri Oct 31 00:55:46 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