The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2007

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 88.

Butler, Michael, Hinchey, Michael G. and Larrondo-Petrie, María M. (eds.) (2007) Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Springer (Lecture Notes in Computer Science, 4789).

Abbas, Noura, Gravell, Andrew M and Wills, Gary B (2007) Agile Software Assurance At PhD Symposium in the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming (XP 2007), Italy. 18 - 22 Jun 2007. , pp. 165-166.

Al-Khalifa, Hend S., Davis, Hugh C. and Gilbert, Lester (2007) Creating structure from disorder: using folksonomies to create semantic metadata At the 3rd International Conference on Web Information Systems and Technologies (WEBIST), Spain. 03 - 06 Mar 2007.

Ali, Haider and Al-Hashimi, Bashir M. (2007) Architecture Level Power-Performnace Trade-offs for Pipelined Design At IEEE Symposium on Circuits and Systems (ISCAS 07), United States. 27 - 30 May 2007.

Andrei, Alexandru, Eles, Pertu, Peng, Zebo, Schmitz, Marcus and Al-Hashimi, Bashir M. (2007) Energy optimization of multiprocessor systems on chip by voltage selection IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 15, (3), pp. 262-275. (doi:10.1109/TVLSI.2007.891101).

Argles, David, Frazer, Alex, Wills, Gary and Wald, Mike (2007) Learning Through Rich Environments At EdMedia. 25 - 29 Jun 2007.

Argles, David, Pease, Alex and Walters, Robert J (2007) An Improved Approach to Secure Authentication and Signing At The 2007 International Symposium on Frontiers in Networking with Applications (FINA 2007) In conjunction with The IEEE 21st International Conference on Advanced Information Networking and Applications (AINA 2007)., Canada. 21 - 23 May 2007.

Ball, Elisabeth and Butler, Michael (2007) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction At Methods, Models and Tools for Fault Tolerance, United Kingdom.

Banach, Richard, Jeske, Czeslaw, Poppleton, Michael and Stepney, Susan, Skowron, A, Bartol, W, Polkowski, L and Rasiowa, H(eds.) (2007) Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements Fundamenta Informaticae, 77, (1-2), pp. 29-69.

Banach, Richard, Poppleton, Michael, Jeske, Czeslaw and Stepney, Susan, Bergstra, J.(ed.) (2007) Engineering and theoretical underpinnings of retrenchment Science of Computer Programming, 67, pp. 301-329.

Butler, Michael and Hallerstede, Stefan (2007) The Rodin Formal Modelling Tool BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London.

Butler, Michael, Jones, Cliff, Romanovsky, Alexander and Troubitsyna, Elena (2007) Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance (MeMToFT 2007).

Cirstea, C and Pattinson, D (2007) Modular Construction of Complete Coalgebraic Logics Theoretical Computer Science, 388, pp. 83-108.

Cirstea, Corina and Sadrzadeh, Mehrnoosh, (2007) Coalgebraic Epistemic Update without Change of Model Mossakowski, T. (ed.) At 2nd Conference on Algebra and Coalgebra in Computer Science, Norway. 20 - 24 Aug 2007. , pp. 158-172.

Crouch, Stephen, Henderson, Peter and Walters, Robert J (2007) Selecting a Distributed Agreement Algorithm At The 2007 ACM Syposium on Applied Computing. 11 - 15 Mar 2007. , pp. 586-587.

Crouch, Stephen, Henderson, Peter and Walters, Robert John (2007) DataWarp: Empowering Applications to Make Progress in the Face of Contradictory or Inconsistent Data At The Thirty-first Annual (IEEE) International Computer Software and Applications Conference (COMPSAC07), China. 23 - 27 Jul 2007. , pp. 583-590.

Derouiche, Kheiredine and Nicole, Denis A, Meersman, Robert, Tari, Zahir and Herrero, Pilar(eds.) (2007) Semantically Resolving Type Mismatches in Scientific Workflows Lecture Notes in Computer Science, 4805, pp. 125-135.

Dilillo, L and Al-Hashimi, B M (2007) March CRF: an Efficient Test for Complex Read Faults in SRAM Memories At X Workshop on Design and Diagnostics of Electronic Circuits and Systems, Poland. 11 - 13 Apr 2007.

Ejlali, Alireza, Al-Hashimi, Bashir M., Rosinger, Paul and Miremadi, Seyed Ghassem (2007) Joint Consideration of Fault-Tolerance, Energy-Efficiency and Performance in on-Chip Networks At Design, Automation and Test in Europe (DATE07), France. 16 - 20 Apr 2007.

El-Maleh, Aiman and Khursheed, Syed Saqib (2007) Efficient test compaction for combinational circuits based on Fault detection count-directed clustering Computers & Digital Techniques, IET, 1, (4)

Fairman, Matthew J., Price, Andrew R., Xue, Gang, Molinari, Mark, Nicole, Denis A., Lenton, Timothy M., Marsh, Robert, Takeda, Kenji and Cox, Simon J., Shi, Y, Albada, G D, Dongarra, J and Sloot, P M A(eds.) (2007) Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation Lecture Notes in Computer Science, 4489, pp. 273-280.

Frazer, Alex, Argles, David and Wills, Gary (2007) Assessing The Usefulness Of Mini-games As Educational Resources At ALT-C 2007: Beyond Control, United Kingdom. 04 - 06 Sep 2007.

Frazer, Alex, Argles, David and Wills, Gary (2007) Is Less Actually More? The Usefulness Of Educational Mini-games At The 7th IEEE International Conference on Advanced Learning Technologies, Japan. 18 - 20 Jul 2007.

Garratt, p. (2007) Usability Assessment of a UML-based Formal Modelling Method At International Conference on Modelling and Simulation MS'07. 22 - 24 Oct 2007.

Gilbert, Lester and Sitthisak, Onjira (2007) Pedagogically informed metadata content and structure for learning and teaching At TENCompetence Open Workshop on Current research on IMS Learning Design and Lifelong Competence Development Infrastructures, Spain. 21 - 22 Jun 2007.

Grange, S and De Roure, D (2007) Digital Healthcare Projects Policy Action Plan s.n.

Grange, S and De Roure, D (2007) Digital Healthcare Projects Policy Centre Visions s.n.

Grange, S and De Roure, D (2007)

Error parsing XML in render_xhtml_field: :1: parser error : xmlParseEntityRef: no name
<fragment>Digital Healthcare Projects Policy Future Demands, Threats & Issues</f

Grange, S and De Roure, D (2007) Digital Healthcare Projects Policy Science Review Summaries s.n.

Grange, S and De Roure, D (2007) Technical report: Digital Healthcare Projects Policy Executive Summary s.n.

Grange, Simon, Gilbert, Lester and Wills, Gary (2007) A Collaborative Orthopaedic Research Environment. At UK e-Science All Hands Meeting, United Kingdom. 10 - 13 Sep 2007.

Hooper, Clare, Carr, Leslie, Davis, Hugh, Millard, David, White, Su and Wills, Gary (2007) AnnAnn and AnnAnn.Net : Tools for Teaching Programming Journal of Computers, 2, (5), p. 916.

Imtiaz, Nafiz, Azim, Anwarul, Shafik, Rishad and [Unknown], Muhammad (2007) A Novel Approach of Implementing an FFT Algorithm on OFDM System At IEEE ComSoC Wireless Communications, Networking and Mobile Computing (WiCom), China. 21 - 25 Sep 2007. , pp. 57-60.

Jadhav, Pooja, Wong, Sylvia C, Wills, Gary B, Crowder, Richard M and Shadbolt, Nigel R (2007) Data Mining to Support Engineering Design Decision At Workshop on Semantic Web and Web 2.0 in Architectural, Product and Engineering Design.

Joochim, Tossaporn and Poppleton, Mike (2007) Transfroming Timing Diagrams into Knowledge Acquisition in Automated Specification At IAIT2007: The 2nd International Conference on Advances in Information Technology 2007, Thailand.

Kazmierski, Tom, Zhou, Dafeng and Al-Hashimi, Bashir (2007) A Fast, Numerical Circuit-Level Model of Carbon Nanotube Transistor At Nanoscale Architectures, 2007. NANOSARCH 2007. IEEE International Symposium on. 21 - 22 Oct 2007. , pp. 33-37.

La Torre, Salvatore, Napoli, Margherita, Parente, Mimmo and Parlato, Gennaro (2007) Verification of Succinct Hierarchical State Machines At Conference on Language and Automata Theory and Applications (LATA).

Leuschel, Michael, Butler, Michael, Spermann, Corinna and Turner, Edd, (2007) Symmetry Reduction for B by Permutation Flooding Julliand, Jacques and Kouchnarenko, Olga (eds.) At 7th International B Conference, France.

Leuschel, Michael, Cansell, Dominique and Butler, Michael, (2007) Validating and Animating Higher-Order Recursive Functions in B Abrial,, Jean-Raymond and Glässer, Uwe (eds.) At Festschrift for Egon Börger.

Maneewatthana, Thanyalak, Wills, Gary and Hall, Wendy (2007) Adaptive Personal Information Environment based on the Semantic Web Journal of Digital Information, 8, (3), pp. 64-74.

Metra, Cecilia, Rossi, Daniele and Mak, T.M. (2007) Won’t on-chip clock calibration guarantee performance boost and product quality? IEEE Transactions on Computers, 56, (3), pp. 415-428. (doi:10.1109/TC.2007.53).

Millard, David, Fill, Karen, Gilbert, Lester, Howard, Yvonne, Sinclair, Patrick, Senbanjo, Damilola and Wills, Gary (2007) Towards a Canonical View of Peer Assessment At International Conference on Advanced Learning Technologies (ICALT) 2007, Japan. 18 - 20 Jul 2007.

Millard, David, Howard, Yvonne, Abbas, Noura, Davis, Hugh, Gilbert, Lester, Wills, Gary and Walters, Robert (2007) The Service Responsibility and Interaction Design Method: Using an Agile approach for Web Service Design At the 5th IEEE European Conference on Web Services (ECOWS), Germany. 26 - 28 Nov 2007.

Nicole, Denis (2007) Stay unpopular-and get rich quick The Guardian, p. 4.

Nicole, Denis and Panahi, Taban (2007) Successful Indian model in producing modern computers Digital, Tehran, p. 30.

Nicole, Denis A, Mills, Hugo(ed.) (2007) New Schools in the East and west of Southampton VIEWPOINT : a paper for independent comment, (456), pp. 1-7.

Ochoa-Montiel, M A, Al-Hashimi, B M and Kollig, P (2007) Exploiting Power-Area Tradeoffs in Behavioural Synthesis through clock and operations throughput selection At ASPDAC, Japan. 23 - 27 Jan 2007.

Ogg, S, Valli, E, D'Allesandro, C, Yakovlev, A, Al-Hashimi, B and Benini, L (2007) Reducing Interconnect Cost in NoC through Serialized Asynchronous Links At The 1st ACM/IEEE International Symposium on Networks-on-Chip. 06 - 09 May 2007.

Omana, Martin, Rossi, Daniele and Metra, Cecilia (2007) Latch susceptibility to transient faults and new hardening approach IEEE Transactions on Computers, 56, (9), pp. 1255-1268. (doi:10.1109/TC.2007.1070).

Paventhan, A., Takeda, Kenji, Cox, Simon J. and Nicole, Denis A., Fox, Geoffrey C., Hey, Anthony J. G. and Moreau, Luc(eds.) (2007) MyCoG.NET: A Multi-language CoG Toolkit Concurrency and Computation: Practice and Experience, 19, (14), pp. 1885-1900.

Poppleton, Michael, (2007) Towards Feature-Oriented Specification and Development with Event-B Sawyer, Peter, Paech, Barbara and Heymans, Patrick (eds.) At REFSQ 2007: Requirements Engineering: Foundation for Software Quality, Norway. , pp. 367-381.

Ramakrishnan, Hiran, Chattopadhyay, Sanatan, Maharatna, Koushik, Shedable, S and Yakovlev, Alex (2007) Exploration of potential of strained-Si CMOS for ultra low-power circuit design At 8th International Conference on Ultimate Integration on Silicon.

Ramkrishnan, Hiran, Maharatna, Koushik, Chattopadhyay, Sanatan, Yakovlev, Alex and O'Neill, Anthony (2007) Impact of strain on the design of low-power high-speed circuits At IEEE International Symposium on Circuits and Systems.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality At Foundations of Software Science and Computation Structures, FOSSACS 2007. , pp. 302-316.

Razali, R, Snook, C, Poppleton, M and Garratt, P (2007) Comprehensibility of UML-B - A Series of Controlled Experiments s.n.

Razali, R, Snook, C. F. and Poppleton, M. R. (2007) Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments At 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech) 2007, Georgia. , pp. 25-30.

Razali, R, Snook, C. F., Poppleton, M. R., Garratt, P. W. and Walters, R. J., (2007) Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One Kitchenham, B, Brereton, P and Turner, M (eds.) At 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07), United Kingdom. 02 - 03 Apr 2007. , pp. 1-11.

Rezazadeh, Abdolbaghi, Evans, Neil and Butler, Michael (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin At BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry.

Rossi, Daniele, Angelini, Paolo and Metra, Cecilia (2007) Configurable error control scheme for NoC signal integrity At 13th IEEE International On-Line Testing Symposium, Greece. 08 - 11 Jul 2007. , pp. 43-48. (doi:10.1109/IOLTS.2007.24).

Rossi, Daniele, Cazeaux, Jose Manuel, Metra, Cecilia and Lombardi, Fabrizio (2007) Modeling crosstalk effects in CNT bus architectures IEEE Transactions on Nanotechnology, 6, (2), pp. 133-145. (doi:10.1109/TNANO.2007.891814).

Satpathy, Manoranjan, Butler, Michael, Leuschel, Michael and Ramesh, S (2007) Automatic Testing from Formal Specifications At International Conference on Tests And Proofs (TAP), Switzerland. 12 - 13 Feb 2007.

Sitthisak, Onjira, Gilbert, Lester and Davis, Hugh C (2007) Towards a competency model for adaptive assessment to support lifelong learning At TENCompetence Workshop on Service Oriented Approaches and Lifelong Competence Development Infrastructures, United Kingdom. 11 - 12 Jan 2007.

Sitthisak, Onjira, Gilbert, Lester and Davis, Hugh C (2007) Transforming a competency model to assessment items At PROLIX Workshop 2007 in conjunction with EC-TEL07, Greece.

Sitthisak, Onjira, Gilbert, Lester, Davis, Hugh C and Gobbi, Mary (2007) Adapting health care competencies to a formal competency model At The 7th IEEE International Conference on Advanced Learning Technologies (ICALT 2007), Japan. 18 - 20 Jul 2007.

Sitthisak, Onjira, Gilbert, Lester, Zalfan, Mohd T and Davis, Hugh C (2007) Interactivity within IMS Learning Design and Question and Test Interoperability At the 3rd International Conference on Web Information Systems and Technologies (WEBIST), Spain. 03 - 06 Mar 2007.

Snook, Colin, Poppleton, Michael and Johnson, Ian (2007) Rigorous engineering of product-line requirements: a case study in failure management [in special issue: Section 1: Most-cited software engineering articles in 2001. Section 2: Requirement engineering: Foundation for software quality] Information and Software Technology, 50, (1-2), pp. 112-129. (doi:10.1016/j.infsof.2007.10.010).

Stapenhurst, Robert, Maharatna, Koushik, Matthew, Jimson, Nunez-Yanez, Jose and Pradhan, Dhiraj (2007) On the hardware reduction of z-datapath of vectoring CORDIC At IEEE International Sympsium on Circuits and Systems (ISCAS) 2007.

Torre, Salvatore La, Madhusudan, Parthasarathy and Parlato, Gennaro (2007) A Robust Class of Context-Sensitive Languages At LICS, Poland. 10 - 12 Jul 2007. , pp. 161-170.

Torre, Salvatore La and Parlato, Gennaro (2007) On the Complexity of LtlModel-Checking of Recursive State Machines At ICALP, Poland. 09 - 13 Jul 2007. , pp. 937-948.

Troya, Alfonso, Maharatna, Koushik, Krstic, Milos, Grass, Eckhard, Jagdhold, Ulrich and Kraemer, Rolf (2007) Efficient inner-receiver design for OFDM-based WLAN systems: Algorithm and architecture IEEE Transactions on Wireless Communications, 6, (4), pp. 1374-1385.

Turner, Edd, Leuschel, Michael, Spermann, Corinna and Butler, Michael (2007) Symmetry Reduced Model Checking for B At First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), China. 06 - 08 Jun 2007. , pp. 25-34.

Victor, Zadorozhnii, V. I., Tim, Sluckin, T. J, Vladimir, Reshetnyak, V. Y. and Ken, Thomas K.S. (2007) The Frederiks effect and related phenomena in ferronematic materials SIAM Journal on Applied Mathematics, 68, (6), pp. 1688-1716.

Wang, Chu, Davis, Hugh, Dickens, Kate, Wills, Gary and White, Su (2007) Finding the Right Tool for the Community:Bringing a Wiki-Type Editor to the World of Reusable Learning Objects At The 7th IEEE International Conference on Advanced Learning Technologies (ICALT 2007), Japan. 18 - 20 Jul 2007. , v-xix.

Wang, Chu, Dickens, Kate, Davis, Hugh and Wills, Gary (2007) Community Tools for Repurposing Learning Objects At Second European Conference on Technology Enhanced Learning, Greece. 17 - 20 Sep 2007. , pp. 378-392.

Wang, Leran, Kazmierski, Tom, Al-Hashimi, Bashir, Beeby, Steve and Torah, Russel (2007) An Integrated Approach to Energy Harvester Modeling and Performance Optimization At IEEE Behavioral Modeling and Simulation Conference (BMAS 2007), United States. 20 - 21 Sep 2007. , pp. 121-125.

Wills, Gary, Bailey, Christopher, Davis, Hugh, Gilbert, Lester, Howard, Yvonne, Jeyes, Steve, Millard, David, Price, Joseph, Sclater, Niall, Sherratt, Robert, Tulloch, Iain and Young, Rowin (2007) AN E-LEARNING FRAMEWORK FOR ASSESSMENT (FREMA) At International CAA Conference, United Kingdom. 10 - 11 Jul 2007.

Wills, Gary, Davis, Hugh, Gilbert, Lester, Hare, Jonathon, Howard, Yvonne, Jeyes, Steve, Millard, David and Sherratt, Robert (2007) Delivery of QTIv2 Question Types At International CAA Conference, United Kingdom. 10 - 11 Jul 2007.

Wills, Gary B., Abbas, Noura, Chandrasekharan, Rakhi, Crowder, Richard M., Gilbert, Lester, Howard, Yvonne, Millard, David E., Wong, Sylvia C. and Walters, Robert J (2007) An Agile Hypertext Design Methodology At 18th ACM Conference on Hypertext and Hypermedia, United Kingdom. 10 - 12 Sep 2007.

Wong, Sylvia C, Crowder, Richard M, Wills, Gary B and Shadbolt, Nigel R (2007) Informing Preliminary Design by Incorporating Service Knowledge At 16th International Conference on Engineering Design. 28 - 31 Aug 2007.

Wong, Sylvia C, Crowder, Richard M, Wills, Gary B and Shadbolt, Nigel R (2007) Lesson Learnt from a Large-Scale Industrial Semantic Web Application At 18th ACM Conference on Hypertext and Hypermedia, United Kingdom. 10 - 12 Sep 2007.

Yadav, Divakar and Butler, Michael (2007) Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts At Methods, Models and Tools for Fault Tolerance (MeMoT 2007). , pp. 33-42.

Yadav, Divakar and Butler, Michael (2007) Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B s.n.

Yang, Letu and Poppleton, Michael, (2007) Automatic Translation from Combined B and CSP specification to Java Programs Juilland, Jacques and Kouchnarenko, Olga (eds.) At 7th International B Conference, France. 17 - 19 Jan 2007. , pp. 64-78.

Yang, Letu and Poppleton, Michael, (2007) JCSProB: Implementing Integrated Formal Specifications in Concurrent Java McEwan, A.A., Schneider, S., Ifill, W. and Welch, P.H. (eds.) At Communicating Process Architectures. , pp. 67-88.

Zain Ali, Noohul Basheer, Zwolinski, Mark and Al-Hashimi, Bashir (2007) Testing of Level Shifters in Multiple Voltage Designs At 14th IEEE International Conference on Electronics, Circuits and Systems, Morocco. 11 - 14 May 2007.

Zhang, Zhuo, Reddy, Sudhakar M., Pomeranz, Irith, Rajski, Janusz and Al-Hashimi, Bashir M. (2007) Enhancing Delay Fault Coverage Through Low Power Segmented Scan IEEProceedings: Computer and Digital Techniques

Zhang, Zhuo, Reddy, Sudhakar M., Pomeranz, Irith, Rajski, Janusz and Al-Hashimi, Bashir M. (2007) Enhancing delay fault coverage through low power segmented scan IEE Proceedings: Computer and Digital Techniques

Zhiyuan, He, Peng, Zepo, Eles, Petru, Rosinger, Paul and Al-Hashimi, Bashir M. (2007) Thermal-Aware Soc Test Scheduling with Test Set Partitioning and Interleaving Journal of Electronic Testing: Theory and Applications (JETTA), Special issue on "Low Power Test"

This list was generated on Sun Apr 9 07:35:27 2017 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.