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 2009
(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: 67.

Baldan, P., Corradini, A., Heindel, T., K\"onig, B. and Soboci\'nski, P. (2009) Unfolding grammars in adhesive categories. In: Algebra and Coalgebra in Computer Science (CALCO `09), September 7-10, 2009, Udine, Italy. pp. 350-366.

Ball, E. and Butler, M. (2009) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. In: Methods, Models and Tools for Fault Tolerance LNCS 5454, Springer. (In Press)

Basir, N., Denney, E. and Fischer, B. (2009) Deriving Safety Cases from Automatically Constructed Proofs. In: 4th System Safety Conference 2009, 26-28 October 2009, London, UK.

Basir, N., Denney, E. and Fischer, B. (2009) Deriving Safety Cases from Machine-Generated Proofs. In: Workshop on Proof-Carrying Code and Software Certification (PCC'09), August 15, 2009, Los Angeles, California, USA.

Butler, M. (2009) Decomposition Structures for Event-B. In: Integrated Formal Methods iFM2009, Springer, LNCS 5423.

Butler, M. (2009) Incremental Design of Distributed Systems with Event-B. In: Engineering Methods and Tools for Software Safety and Security - Marktoberdorf Summer School 2008, pp. 131-160, IOS Press.

Butler, M., Jones, C. B., Romanovsky, A. and Troubitsyna, E. (2009) Methods, Models and Tools for Fault Tolerance. LNCS, 5454 Springer.

Cirstea, C., Kupke, C. and Pattinson, D. (2009) EXPTIME Tableaux for the Coalgebraic Mu-Calculus. In: Computer Science Logic 2009. pp. 179-193.

Colley, J. and Butler, M. (2009) On Proving with Event-B that a Pipelined Processor Model Implements its ISA Specification. In: Dagstuhl Seminar on Refinement Based Methods for the Construction of Dependable Systems, September 2009, Dagstuhl.

Cordeiro, L., Fischer, B., Chen, H. and Marques-Silva, J. (2009) Formal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. In: 6th IEEE International Conference on Embedded Systems and Software (ICESS-09).

Cordeiro, L., Fischer, B., Chen, H. and Marques-Silva, J. (2009) Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints. In: The 6th International Conference on Embedded Software and Systems, May 25 - May 27, 2009 , HangZhou, Zhejiang, China.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. Technical Report , School of Electronics and Computer Science, University of Southampton.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. Technical Report , ECS, University of Southampton.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. In: 24th IEEE/ACM International Conference on Automated Software Engineering, 16-20 November 2009, New Zealand, Auckland.

Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. In: 24th IEEE/ACM International Conference on Automated Software Engineering, 16-20 November 2009, New Zealand, Auckland.

D'Arco, P., Santis, A. D., Ferrara, A. L. and Masucci, B. (2009) Security and Tradeoffs of the Akl-Taylor Scheme and Its Variants. In: MFCS. pp. 247-257.

Damchoom, K. and Butler, M. (2009) Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. In: SBMF 2009, 19-21 August, Gramado, Brazil. pp. 134-152.

Darbari, A., Al Hashimi, B. M., Flynn, D. and Biggs, J. (2009) Selective State Retention Design using Symbolic Simulation. In: DATE 2009. (In Press)

Denney, E. and Fischer, B. (2009) A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software. In: ASE. pp. 560-564.

ElSalamouny, E., Krukow, K. and Sassone, V. (2009) An analysis of the exponential decay principle in probabilistic trust models. Theoretical Computer Science, 410 (41). pp. 4067-4084. ISSN 0304-3975

ElSalamouny, E., Sassone, V. and Nielsen, M. (2009) HMM-based Trust Model. In: International Workshop on Formal Aspects in Security and Trust (FAST2009), Eindhoven, Netherlands. pp. 21-35.

Fairman, M. J., Price, A. R., Xue, G., Molinari, M., Nicole, D. A., Lenton, T. M., Marsh, R., Takeda, K. and Cox, S. J. (2009) Earth System Modelling with Windows Workflow Foundation. Future Generation Computer Systems, 25 (5). pp. 586-597. ISSN 0167-739X

Ferrante, A., Parlato, G., Sorrentino, F. S. and Ventre, C. (2009) Fast payment schemes for truthful mechanisms with verification. Theor. Comput. Sci., 410 (8-10). pp. 886-899.

Ferrara, A. L., Green, M., Hohenberger, S. and Pedersen, M. s. (2009) Practical Short Signature Batch Verification. In: Topics in Cryptology - The Cryptographers' Track at the RSA Conference, April 20-24, 2009, San Francisco, CA, USA. pp. 309-324.

Fuller, U., Keim, B., Fitch, D., Currie Little, J., Riedesel, C. and White, S. (2009) Perspectives on developing and assessing professional values in computing. Inroads: ACM SIGCSE Bulletin, 41 (4). 174 -194 . ISSN 0097-8418

Glaser, H., Jaffri, A. and Millard, I. (2009) Managing Co-reference on the Semantic Web. In: WWW2009 Workshop: Linked Data on the Web (LDOW2009), 20 April 2009, Madrid, Spain.

Glaser, H. and Millard, I. (2009) Linked Data: Publishing and Consuming on the Semantic Web. In: Seminar at Tsinghua-Southampton Web Science Laboratory at Shenzhen, 2009-08-19, Shenzhen, PRC.

Glaser, H. and Millard, I. (2009) RKB, sameAs and dotAC. In: 2009: Beyond the Repository Fringe.

Glaser, H., Millard, I., Anderson, T., Andrews, Z., Fitzgerald, J. and Randell, B. (2009) A Knowledge Base for Dependability and Security Research. Technical Report , Electronics & Computer Science, University of Southampton.

Glaser, H., Millard, I. and Carr, L. (2009) RKBExplorer: Repositories, Linked Data and Research Support. In: Eprints User Group, Open Repositories 2009 , 20/05/2009, Atlanta, GA, USA.

Glaser, H., Millard, I., 성, , 이, , 김, and 류, (2009) Research on Linked Data and Co-reference Resolution. In: International Conference on Dublin Core and Metadata Applications, 12-16 October 2009, Seoul, Korea. (In Press)

Gondal, A., Poppleton, M. and Snook, C. (2009) Feature composition - towards product lines of Event-B models. In: 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09), 24/06/2009, Enschede, The Netherlands.

Hamadou, S., Palamidessi, C., Sassone, V. and ElSalamouny, E. (2009) Probable innocence in the presence of independent knowledge. In: International Workshop on Formal Aspects in Security and Trust (FAST2009), Eindhoven, Netherlands. pp. 141-156.

Heindel, T. and Soboci\'nski, P. (2009) Van Kampen colimits as bicolimits in Span. In: Algebra and Coalgebra in Computer Science (CALCO `09). pp. 335-349.

Horne, R. and Sassone, V. (2009) Syndication for unified maintainable metadata. Note . (Unpublished)

Krukow, K., Nielsen, M. and Sassone, V. (2009) Probabilistic Computational Trust. In: Perspectives in Concurrency Theory.

Maamria, I., Butler, M., Edmunds, A. and Rezazadeh, A. (2009) On an Extensible Rule-based Prover for Event-B. Technical Report , Electronics & Computer Science, University of Southampton.

Matos, P. J., Fischer, B. and Silva, J. P. M. (2009) A Lazy Unbounded Model Checker for Event-B. In: ICFEM. pp. 485-503.

Millard, D., Howard, Y., Gilbert, L. and Wills, G. (2009) Co-design and Co-deployment Methodologies for Innovative m-Learning Systems. In: Multiplatform E-Learning Systems and Technologies: Mobile Devices for Ubiquitous ICT-Based Education, IGI Global.

Millard, D., Howard, Y., McSweeney, P., Arrebola, M., Borthwick, K. and Varella, S. (2009) Phantom Tasks and Invisible Rubric: The Challenges of Remixing Learning Objects in the Wild. Proceedings of the 4th European Conference on Technology Enhanced Learning . (In Press)

Millard, D., Howard, Y., McSweeney, P., Borthwick, K., Arrebola, M. and Watson, J. (2009) The Language Box: Re-imagining Teaching and Learning Repositories. In: International Conference on Advanced Learning Technologies, July 14-18, 2009, Riga, Latvia.

Millard, D. E., Howard, Y., Abbas, N., Davis, H. C., Gilbert, L., Wills, G. B. and Walters, R. J. (2009) Pragmatic web service design: An agile approach with the service responsibility and interaction design method. Computer Science - Research and Development . ISSN 1865-2034 (Print) 1865-2042 (Online)

Rathke, J. and Anderson, G. (2009) Migrating Protocols In Multi-Threaded Message-Passing Systems. In: Second ACM Workshop on Hot Topics in Software Upgrades (HotSWUp'09), 25th October 2009, Orlando, Florida.

Rathke, J. and Soboci\'nski, P. (2009) Making the unobservable, unobservable. In: Proceedings of ICE '08. pp. 131-144.

Ripon, S. and Butler, M. (2009) PVS Embedding of cCSP Semantic Models and their Relationship. Electr. Notes Theor. Comput. Sci., 250 (2). pp. 103-118.

Said, M. Y., Butler, M. and Snook, C. (2009) Class and State Machine Refinement in UML-B. In: Integration of Model-based Formal Methods and Tools (workshop at iFM 2009). (Unpublished)

Said, M. y., Butler, M. and Snook, C. (2009) Language and Tool Support for Class and State Machine Refinement in UML-B. In: FM2009 - 16th International Symposium on Formal Methods, 2-6th November 2009, Eindhoven. pp. 579-595.

Sassone, V. (2009) Elements of Foundations for Ubiquitous Computing (talk). (Unpublished)

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk). (Unpublished)

Sassone, V. (2009) Exponential Decay in Probabilistic Trust Models (talk). (Unpublished)

Sassone, V. (2009) On the anonymity in the Crowds protocol (talk). (Unpublished)

Sassone, V. (2009) Permission-based separation logic for message-passing concurrency (talk). (Unpublished)

Sassone, V. (2009) I dag er det Mogens’ fødselsdag. Theoretical Computer Science, 410 (41). ISSN 0304-3975

Savicks, V., Snook, C. and Butler, M. (2009) Animation of UML-B State-machines. Technical Report , ECS, University of Southampton. (Submitted)

Silva, R. and Butler, M. (2009) Supporting Reuse Mechanisms for Developments in Event-B: Composition. Technical Report , ECS, University of Southampton. (Unpublished)

Silva, R. and Butler, M. (2009) Supporting Reuse of Event-B Developments through Generic Instantiation. In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, December 9-12, 2009, Rio de Janeiro, Brazil.

Silva, R. and Butler, M. (2009) Supporting Reuse of Event-B Developments through Generic Instantiation. In: International Conference on Formal Engineering Methods(ICFEM), December 07-12, 2010, Rio de Janeiro, Brazil.

Soboci\'nski, P. (2009) A non-interleaving process calculus for multi-party synchronisation. In: ICE '09.

Souilah, I., Francalanza, A. and Sassone, V. (2009) A Formal Model of Provenance in Distributed Systems. In: Workshop on the Theory and Practice of Provenance.

Torre, S. L., Madhusudan, P. and Parlato, G. (2009) Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. In: CAV, June 26 - July 2, 2009, Grenoble, France. pp. 477-492.

Torre, S. L., Madhusudan, P. and Parlato, G. (2009) Analyzing recursive programs using a fixed-point calculus. In: PLDI, June 15-21, 2009, Dublin, Ireland. pp. 211-222.

Wills, G., Bailey , C., Davis , H., Gilbert , L., Howard , Y., Jeyes, S., Millard , D., Price, J., Sclater, N., Sherratt , R., Tulloch , I. and Young , R. (2009) An E-Learning Framework for Assessment (FREMA). Assessment & Evaluation in Higher Education, 34 (3). pp. 273-292. ISSN 1469-297X

Wills, G., Davis, H., Gilbert, L., Hare, J., Howard, Y., Jeyes, S., Millard, D. and Sherratt, R. (2009) Delivery of QTIv2 question types. Assessment & Evaluation in Higher Education, 34 (3). pp. 353-366. ISSN 1469-297X

Yadav, D. and Butler, M. (2009) Formal Development of a Total Order Broadcast for Distributed Transactions using Event-B. In: Methods, Models and Tools for Fault Tolerance LNCS 5454, Springer. (In Press)

Yadav, D. and Butler, M. (2009) Verification of Liveness Properties in Distributed Systems. In: Second International Conference, IC3 2009, August 17-19, 2009, Noida, India.

Yang, L. and Poppleton, M. (2009) Java implementation platform for the integrated state- and event-based specification in PROB. Concurrency and Computation: Practice and Experience, 22 (8). pp. 1007-1022. ISSN 1532-0626

Zhang, P., Wills, G., Howard, Y., Oussena, S., Kramer, D., Barn, R. and Barn, B. (2009) An E-learning Support Toolkit for Social Work Students on Placement. In: IADIS e-Learning 2009, 17-20 June,2009, Algarve, Portugal.

This list was generated on Thu Oct 23 00:54:38 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