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 2008
(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: 100.

Article

Banach, R., Jeske, C. and Poppleton, M. (2008) Composition Mechanisms for Retrenchment. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 75 (2). pp. 209-229. ISSN 1567-8326

Butler, M. and Yadav, D. (2008) An Incremental Development of the Mondex System in Event-B. Formal Aspects of Computing, 20 (1). pp. 61-77. ISSN 0934-5043

Cordeiro, L., Mar, C., Valentin, E., Cruz, F., Patrick, D., Barreto, R. and Lucena, V. (2008) An Agile Development Methodology Applied to Embedded Control Software under Stringent Hardware Constraints. SIGSOFT Softw. Eng. Notes, 33 (1). pp. 1-10. ISSN 0163-5948

Krukow, K., Nielsen, M. and Sassone, V. (2008) Trust models in ubiquitous computing. Philosophical Transactions of the Royal Society A, 366 . pp. 3781-3793.

Leuschel, M. and Butler, M. (2008) ProB: An Automated Analysis Toolset for the B Method. International Journal on Software Tools for Technology Transfer, 10 (2). pp. 185-203. ISSN 1433-2779

Liffiton, M., Mneimneh, M., Lynce, I., Andraus, Z., Marques-Silva, J. and Sakallah, K. (2008) A Branch and Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Subformulas. Constraints: An International Journal . (In Press)

Lynce, I. and Marques-Silva, J. (2008) Haplotype Inference with Boolean Satisfiability. International Journal on Artificial Intelligence Tools, 17 (2). pp. 355-387. ISSN 0218-2130

Lynce, I., Marques-Silva, J. and Prestwich, S. (2008) Boosting Haplotype Inference with Local Search. Constraints An International Journal, 13 (1-2). pp. 155-179. ISSN 1383-7133

Marques-Silva, J. (2008) Model Checking with Boolean Satisfiability. Journal of Algorithms in Cognition, Informatics and Logic, 63 (1-3). pp. 3-16.

Millard, D., Bailey, C., Boulain, P., Chennupati, S., Howard, Y., Davis, H. and Wills, G. (2008) Semantics on Demand: Can a Semantic Wiki Replace a Knowledge Base? New Review of Hypermedia and Multimedia , 14 (1). pp. 95-120. ISSN 1740-7842 (electronic) 1361-4568 (paper)

Millard, D., Doody, K., Davis, H., Gilbert, L., Howard, Y., Tao, F. and Wills, G. (2008) (Semantic Web) Services for e-Learning. International Journal of Knowledge and Learning (IJKL), 4 (3&4). pp. 298-315. ISSN 1741-1009

Razali, R., Snook, C., Poppleton, M. and Garratt, P. (2008) Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework. Human Technology: An Interdisciplinary Journal on Humans in ICT Environments . (In Press)

Santis, A. D., Ferrara, A. L. and Masucci, B. (2008) An attack on a payment scheme. Inf. Sci., 178 (5). pp. 1418-1421.

Santis, A. D., Ferrara, A. L. and Masucci, B. (2008) New constructions for provably-secure time-bound hierarchical key assignment schemes. Theor. Comput. Sci., 407 (1-3). pp. 213-230.

Sassone, V. (2008) Preface. Theoretical Computer Science, 390 ((2-3)). pp. 127-128. ISSN doi:10.1016/j.tcs.2007.09.019

Snook, C., Poppleton, M. and Johnson, I. (2008) Rigorous engineering of product-line requirements: a case study in
failure management.
Information and Software Technology, 50 (1-2). pp. 112-129. ISSN 0950-5849

Torre, S. L., Napoli, M., Parente, M. and Parlato, G. (2008) Verification of scope-dependent hierarchical state machines. Inf. Comput., 206 (9-10). pp. 1161-1177.

Conference or Workshop Item

Nicole, D. A. (2008) Robots that don't suck. In: Higher Education Academy workshop on Robots in the Curriculum (Invited Presentation), 2008-11-20, Southampton.

Abbas, N., Gravell, A. and Wills, G. (2008) An Empirical Comparison of Two Agile Projects in the Same Organization. In: Agile 2008 Conference, 4- 8 August, Toronto, Canada.

Abbas, N., Gravell, A. and Wills, G. (2008) Historical Roots of Agile Methods: Where did “Agile Thinking” Come from? In: Agile processes and eXtreme programming in Software Engineering, 10-14 june 2008, Limerick, Ireland.

Abrial, J. R., Butler, M., Hallerstede, S. and Voisin, L. (2008) A Roadmap for the Rodin Toolset. In: Abstract State Machines, B and Z, First International Conference ABZ 2008. p. 347.

Basir, N., Denney, E. and Fischer, B. (2008) Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information. Submitted to: The 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP'08), 22-25 September 2008, Newcastle upon Tyne, UK. (Submitted)

Basir, N., Denney, E. and Fischer, B. (2008) Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. In: International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert '08), 29th March 2008, Budapest, Hungary.

Bruni, R. and Sassone, V. (2008) Models of Computation: A Tribute to Ugo Montanari’s Vision. In: Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. pp. 503-509.

Chang, V. (2008) Identify new Software Quality Assurance needs for the UK e-Science community and reintroduction for the right tools to improve evolved software engineering processes. Submitted to: All Hands Meeting 2008, OMII-UK Workshop, 8 September - 11 September, 2008, Edinburgh, UK. (Submitted)

Cirstea, C., Kurz, A., Pattinson, D., Schröder, L. and Venema, Y. (2008) Modal Logics are Coalgebraic. In: Visions of Computer Science 2008.

Cirstea, C. and Sadrzadeh, M. (2008) Modular Games for Coalgebraic Fixed Point Logics. In: Coalgebraic Methods in Computer Science 2008. pp. 71-92.

Cordeiro, L., Barreto, R. and Oliveira, M. (2008) Towards A Semiformal Development Methodology for Embedded Systems. In: 3rd International Conference on Evaluation of Novel Approaches to Software Engineering, May 4-7, 2008, Funchal, Madeira, Portugal. pp. 5-12.

Cordeiro, L., Mar, C., Valentin, E., Cruz, F., Patrick, D., Barreto, R. and Lucena, V. (2008) A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit. In: In Proceedings of the Agility in the Software Process Workshop of the 15th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems, March 31-April 4, 2008, Belfast, Northern Ireland. pp. 408-417.

Crouch, S., Henderson, P. and Walters, R. (2008) Utilising Located Functions to Model and Optimise Distributed Computations. In: 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), 28 July 2008 - 1 August 2008, Turku, Finland. (In Press)

Cruz, F., Barreto, R., Cordeiro, L. and Maciel, P. (2008) Towards a Model-Driven Engineering Approach for Developing Embedded Hard Real-Time Software. In: In 23rd ACM Symposium on Applied Computing, Track on Real-Time Systems, March 16-20, 2008, Fortaleza, Brazil. pp. 308-314.

Cruz, F., Barreto, R., Cordeiro, L. and Maciel, P. (2008) ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis. In: Design, Automation and Test in Europe (DATE), March 10-14, 2008, Munich, Germany. pp. 1510-1515.

Damchoom, K., Butler, M. and Abrial, J. R. (2008) Modelling and proof of a Tree-structured File System in Event-B and Rodin. In: ICFEM 2008. pp. 25-44.

Darbari, A. and Al-Hashimi, B. (2008) Hardware Dependability in the Presence of Soft Errors. In: BCS Visions of Computer Science, 22-24 Sep 2008, Imperial College, London, England. (In Press)

Darbari, A., Al-Hashimi, B., Harrod, P. and Bradley, D. (2008) A New Approach for Transient Fault Injection using Symbolic Simulation. In: IOLTS 2008. (In Press)

Darbari, A., Al-Hashimi, B., Harrod, P. and Bradley, D. (2008) A Novel Transient Fault Injection Methodology Based on STE Model Checking. In: European Test Symposium (ETS), May 25-28, Italy.

De Oliveira Cantante De Matos, P. and Marques-Silva, J. (2008) Model Checking Event-B by Encoding into Alloy. In: ABZ2008, September 2008, London, UK.

De Oliveira Cantante De Matos, P., Planes, J., Letombe, F. and Marques-Silva, J. (2008) An Algorithm Porfolio for MAX-SAT. In: European Conference on Artificial Intelligence (July 21st to 25th), Patras, Greece, July 21st-July 25th 2008, Patras, Greece.

Denney, E. and Fischer, B. (2008) Explaining Verification Conditions. In: AMAST. pp. 145-159.

Denney, E. and Fischer, B. (2008) Generating customized verifiers for automatically generated code. In: GPCE. pp. 77-88.

Edmunds, A. and Butler, M. (2008) Linking Event-B and Concurrent Object-Oriented Programs. In: Refine 2008 - International Refinement Workshop, 27 May 2008, Turku, finland.

Faulds, S., Howard, Y., Zhang, P., Millard, D., Wills, G. and Gobbi, M. (2008) mPLAT Mobile Placement Learning and Assessment toolkit for Healthcare Students. In: The Higher Education Academy on ePortfolios, identity and personalised learning in healthcare education .

Glaser, H. and Millard, I. (2008) RKBExplorer.com: Anatomy of a Semantic Web Application. In: KISTI Workshop, 4th December 2008, Seoul, Korea.

Glaser, H., Millard, I. and Jaffri, A. (2008) RKBExplorer.com:A Knowledge Driven Infrastructure for Linked Data Providers. In: European Semantic Web Conference, 1-5 June 2008, Tenerife, Spain. pp. 797-801.

Glaser, H., Millard, I., Jaffri, A., Lewy, T. and Dowling, B. (2008) On Coreference and The Semantic Web. Submitted to: 7th International Semantic Web Conference, October 26 - 30, Karlsruhe, Germany. (Submitted)

Graca, A., Lynce, I., Marques-Silva, J. and Oliveira, A. (2008) Generic ILP vs Specialized 0-1 ILP for Haplotype Inference. In: WCB08 - Workshop on Constraint Based Methods for Bioinformatics, May 22, Paris, France.

Graca, A., Marques-Silva, J., Lynce, I. and Oliveira, A. (2008) Efficient Haplotype Inference with Combined CP and OR Techniques. In: International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, May 2008, Paris, France.

Hallerstede, S. (2008) On the Purpose of Event-B Proof Obligations. In: ABZ2008, September 2008, London, UK. (In Press)

Henderson, P. and De Silva, N. (2008) System architecture induces document architecture. In: The 20th International Conference on Software Engineering and Knowledge Engineering (SEKE 2008), 1-3 July 2008, San Francisco. (In Press)

Heras, F., Manquinho, V. and Marques-Silva, J. (2008) On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. In: International FLAIRS Conference, May 2008, Florida, USA.

Jaffri, A., Glaser, H. and Millard, I. (2008) An Infrastructure for Managing URI Synonymity on the Semantic Web (Poster). In: 5th European Semantic Web Conference, June 1 - 5, Tenerife, Spain. (In Press)

Jaffri, A., Glaser, H. and Millard, I. (2008) Managing URI Synonymity to Enable Consistent Reference on the Semantic Web. In: IRSW2008 - Identity and Reference on the Semantic Web 2008, 2008-06-01, Tenerife, Spain. (In Press)

Jaffri, A., Glaser, H. and Millard, I. (2008) URI Disambiguation in the Context of Linked Data. In: Linked Data on the Web (LDOW2008), April 22, 2008, Beijing, China.

Joochim, T. and Poppleton, M. (2008) Timing diagrams add Requirements Engineering capability to Event-B Formal Development. In: 16th IEEE INTERNATIONAL REQUIREMENTS , 8 - 12 September 2008, Barcelona, Spain.

Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi. In: Proceedings of FOSSACS 2008. pp. 428-433.

Kousetti, C., Millard, D. and Howard, Y. (2008) A Study of Ontology Convergence in a Semantic Wiki. In: WikiSym 2008, September 8-10, Porto, Portugual.

Laprie, J. C., Glaser, H. and Millard, I. (2008) RKBExplorer. In: BoF Session at DSN 2008 - The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008-06-25, Anchorage, Alaska, USA.

Letombe, F. and Marques-Silva, J. (2008) Improvements to Hybrid Incremental SAT Algorithms. In: International Conference on Theory and Applications of Satisfiability Testing, May 2008, Guangzhou, China.

Lynce, I., Graca, A., Marques-Silva, J. and Oliveira, A. (2008) Haplotype Inference with Boolean Constraint Solving: An Overview. In: Internation Conference on Tools with Artificial Intelligence, November 2008, Dayton, Ohio, USA.

Marques-Silva, J. (2008) Practical Applications of Boolean Satisfiability. In: Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden.

Marques-Silva, J., Lynce, I. and Manquinho, V. (2008) Symmetry Breaking for Maximum Satisfiability. In: International Conference on Logic for Programming Artificial Intelligence and Reasoning, 22-27 November 2008, Doha, Qatar.

Marques-Silva, J. and Manquinho, V. (2008) Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. In: International Conference on Theory and Applications of Satisfiability Testing, May 2008, Guangzhou, China.

Marques-Silva, J. and Planes, J. (2008) Algorithms for Maximum Satisfiability using Unsatisfiable Cores. In: Design, Automation and Test in Europe Conference and Exhibition, 6-10 March, Munich, Germany.

Millard, D., Faulds, S., Gilbert, L., Howard, Y., Sparks, D., Wills, G. and Zhang, P. (2008) Co-design for conceptual spaces: an agile design methodology for m-learning. In: IADIS International Conference Mobile Learning 2008.

Millard, D., Howard, Y., Wills, G., Watson, J. and Arrebola, M. (2008) Towards an Open Repository of Teaching Resources. In: Open Repositories Conference 2008 (OR2008), 1st-4th April 2008, Southampton, United Kingdom.

Millard, D., Lewis, R. and Howard, Y. (2008) LBWiki: A Location-Based Wiki. In: WikiSym 2008, September 8-10, Porto, Portugual.

Morgado, A. J. and Marques-Silva, J. (2008) Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. In: Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion, December 2008, Udine, Italy. (In Press)

Morgado, A. J. and Marques-Silva, J. (2008) A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem. In: WCB08 - Workshop on Constraint Based Methods for Bioinformatics, May 22, Paris, France.

Poppleton, M., Fischer, B., Franklin, C., Gondal, A., Snook, C. and Sorge, J. (2008) Towards Reuse with ``Feature-Oriented Event-B''. In: McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, October 23, 2008, Nashville, TN. pp. 1-6.

Poppleton, M. (2008) The composition of Event-B models. In: ABZ2008: Int. Conference on ASM, B and Z, 16-18 September 2008, London. pp. 209-222. (In Press)

Rathke, J. and Sobocinski, P. (2008) Deconstructing behavioural theories of mobility. In: Fifth IFIP International Conference on Theoretical Computer Science (TCS), Sep 2008, Milan. pp. 507-520.

Rathke, J. and Sobocinski, P. (2008) Deriving structural labelled transitions for mobile ambients. In: 19th International Conference on Concurrency Theory (CONCUR), Aug 2008, Toronto. pp. 462-476.

Rodriguez-Castro, B. and Glaser, H. (2008) Untangling Domain Concepts in Ontology Design Patterns. In: Poster at the 5th European Semantic Web Conference, June 1-5, 2008, Tenerife, Spain. (In Press)

Rodriguez-Castro, B. and Glaser, H. (2008) Whose "Fault" Is This? Untangling Domain Concepts in Ontology Design Patterns. In: 1st International Workshop on Knowledge Reuse and Reengineering over the Semantic Web at the 5th European Semantic Web Conference, June 1-5, 2008, Tenerife, Spain. (In Press)

Rodriguez-Castro, B. and Glaser, H. (2008) Whose “Fault” Is This? Untangling Domain Concepts in an Ontology of Resilient Computing. In: Fast Abstracts at the 7th European Dependable Computing Conference (EDCC-7), May 7-9, 2008, Kaunas, Lithuania. (In Press)

Snook, C. and Butler, M. (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008, 12-14th February 2008, innsbruck, Austria.

Snook, C. and Butler, M. (2008) UML-B: A plug-in for the Event-B tool set. In: Abstract State Machines, B and Z, First International Conference ABZ 2008. p. 347.

Torre, S. L., Madhusudan, P. and Parlato, G. (2008) Context-Bounded Analysis of Concurrent Queue Systems. In: TACAS, March 29-April 6, 2008, Budapest, Hungary. pp. 299-314.

Torre, S. L., Madhusudan, P. and Parlato, G. (2008) An Infinite Automaton Characterization of Double Exponential Time. In: CSL, September 16-19, 2008, Bertinoro, Italy. pp. 33-48.

Zhang, P., Millard, D., Wills, G., Howard, Y., Faulds, S., Gilbert, L. and Sparks, D. (2008) A Mobile Toolkit for Placement Learning. In: The 8th IEEE International Conference on Advanced Learning Technologies (ICALT 2008), July 1st- July 5th, 2008, Santander, Cantabria, Spain.

Book

Abramsky, S., Gelenbe, E. and Sassone, V. (2008) Visions of Computer Science - BCS International Academic Conference. BCS Press.

Börger, E., Butler, M., Bowen, J. P. and Boca, P. (2008) Abstract State Machines, B and Z - First International Conference ABZ 2008. LNCS, 5238 Springer. ISBN 978-3-540-87602-1

Sassone, V. (2008) Foundations of Software Science and Computational Structures. Theoretical Computer Science, 390(2- Elsevier.

Technical Report

Boerger, E., Butler, M., Bowen, J. and Boca, P. (2008) ABZ2008 Conference - Short Papers. Technical Report , Electronics and Computer Science, University of Southampton.

Darbari, A. and Al-Hashimi, B. (2008) Symbolic Simulation based Transient Fault Injection Methodology. Technical Report 15376, Electronics and Computer Science, University of Southampton.

De Oliveira Cantante De Matos, P. and Marques-Silva, J. (2008) Model Checking Event-B by Encoding into Alloy. Technical Report , Electronics and Computer Science, University of Southampton.

Joochim, T. (2008) TD to UML-B using Atlas Transformation Language (ATL). Technical Report , DSSE Group, Electronics and Computer Science, Southampton University.

Joochim, T. (2008) Timing diagrams add Requirements Engineering capability to Event-B Formal Development. Technical Report , DSSE Group, Electronics and Computer Science, Souhtampton University.

Marques-Silva, J., Lynce, I. and Manquinho, V. (2008) Symmetry Breaking for Maximum Satisfiability. Technical Report , Electronics and Computer Science, University of Southampton.

Morgado, A. J. and Marques-Silva, J. (2008) A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem. Technical Report , Electronics and Computer Science, University of Southampton.

Thesis

Ball, E. (2008) An Incremental Process for the Development of Multi-agent Systems in Event-B. PhD thesis, University of Southampton.

Razali, R. (2008) Usability of Semi-formal and Formal Methods Integration - Empirical Assessments. PhD thesis, University of Southampton.

Ripon, S. (2008) Extending and Relating Semantic Models of Compensating CSP. PhD thesis, University of Southampton.

Yadav, D. (2008) Rigorous Design of Distributed Transactions. PhD thesis, Univsersity of Southampton, Southampton, UK.

Other

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk). (Unpublished)

Sassone, V. (2008) Data Provenance in a Distributed Calculus (talk). (Unpublished)

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security applications (talk). (Unpublished)

Sassone, V. (2008) Inference of Probability Distributions for Trust and Security Applications (talk). (Unpublished)

Sassone, V. (2008) Structural Operational Semantics for Stochastic Systems (talk). (Unpublished)

Silva, R. (2008) Composition using Event-B Notation (9 months report).

This list was generated on Thu Jul 24 00:54:26 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