Systems & Software Engineering group Seminars

Institute for Computing Research, Faculty of BCIM
London South Bank University, Borough Road, London SE1 0AA, UK

CSSE |

ICR events | LSBU events | CAFM meetings | CAFM seminars | Conferences

Below are links to information on seminars of possible interest to members of the SSE Research Group. Since Autumn 2004, these have become part of the Institute for Computing Research seminar series. See ICR current events and past events. Information on earlier BCIM seminars until 2003 is also available.

Research Seminars

2005

8 Nov - Murdoch Jamie Gabbay (LSBU & Technical University of Eindhoven, The Netherlands)
Nominal Algebraic Specifications
31 Oct - Cristina (Cerschi) Seceleanu (Åbo Akademi University, Finland)
Controlling Discrete Systems by Playing Angel-Demon Games
10 Oct - Laurie Dunne (LSBU)
Computer Simulation and the Energy Crisis
25 Jul - Murdoch Jamie Gabbay (King's College London)
Restart: A Natural Rule
12 Jul - Institute for Computing Research PhD students (LSBU):
- Haider Bilal
  Computing Ripple Effect for Object Oriented Software
- Sourav Dalal
  An Efficient Scan-line based System for Visualisation of Large Data Sets
- Sarah McDaid
  A Model for Human Computer Interaction based on Human-Computer
- Ali N. Haider
  Towards a Formal Model for Web Services Security Architecture
- Michelle Hammond
  Co-operative OuLiPian Generative Literature using Human Based Evolutionary Computing
- Mohsen Naderi
  Verification and synthesis of asynchronous circuits from high-level specification
- Md Mizanur Rahman
  Scan-line algorithms for visualisation of large data sets
27 Jun - David Clark (King's College London)
A Framework for Diagram Consistency in Safety Critical Systems Development
16 May - Anne Flanagan (Institute of Computer and Communications Law, Queen Mary University of London)
Copyright: Treaties, Enforcement and Fair Use
24 March - Matt Robshaw (Information Security Group, Royal Holloway, University of London)
Current Status of Advanced Encryption Standard (AES)
28 February - Mike Poppleton (School of Electronics & Computer Science, University of Southampton)
Retrenchment: Reaching the Parts Refinement doesn't Reach
24 February - Nimal Nissanke with Etienne Khayat (LSBU)
A Risk Based Security Model for Role Based Access Control (RBAC)
17 February - Ali Abdallah (LSBU)
Refining Role-based Access Control Models: Opportunities and Challenges

2004

6 December - Teresa Numerico (Leverhulme Research Fellow, LSBU)
Search Engines Organization of Information and Web Topology
18 October - Martin Henson (University of Essex)
nuZ - A Wide-spectrum Logic for Specification and Program Development
11 October - Peter Welch (University of Kent)
Process Oriented Design for Java: Concurrency for All
24 May - Kyo-Chul Kang and Jaejoon Lee (Pohang University of Science and Technology POSTEC, South Korea)
Feature Binding Analysis for Product Line Component Development
23 April - Margaret West (University of Huddersfield, UK)
Animating a Z Specification in a Logic Programming Language: Method and Examples
(In conjunction with the BCS-FACS 2004 AGM)
22 March - Phan Cong Vinh (LSBU)
On the Visual Representation of Configuration in Reconfigurable Computing
17 March - Han-Myung Chang (Nanzan University, Japan & LSBU)
On a Formal Specification for Aspect-oriented Software
Further seminar information from the seminar organizer, Kalpesh Kapoor.

2003

2 December - Gasso Mwaluseke (LSBU)
Model Checking for UML Constructs using Object-Z
24 November - Jonathan Bowen (LSBU)
Museophile: Online Museum Accessibility, E-commerce and Forums
(Slides: 4.4Mbytes, Faculty of BCIM talk)
17 November - Mark Josephs
A Trace-Theoretic Characterization of Determinacy (LSBU)
(Faculty of BCIM talk)
5 November - Peter Rosner (LSBU)
Call Profile for OO Systems
24 October - François Siewe (De Montfort University)
A Formal Framework for Access Control Policies Enforcement
(See also FORTEST Workshop timetable)
15 September - Prof. Keijiro Araki (Kyushu University, Fukuoka, Japan)
Embedded Software Development Methodology Research Project in Kyushu University
15 July - Kalpesh Kapoor (SBU)
Formal Analysis of MCDC Test Criterion
15 July - Tracy Hall (University of Hertfordshire)
An Empirical Analysis of Process Improvement Problems in the Software Industry
16 June - Gasso Mwaluseke (SBU)
Formalizing UML Semantics and Notations using Object-Z
9 June - Sue Black (SBU)
Computing Ripple Effects for Software
Abstract
19 May - Paritosh K. Pandya (Tata Institute of Fundamental Research - TIFR, Mumbai, India)
Model checking Synchronous Programs using DCVALID
Abstract and photographs

2002

16 October - Zhu Huibiao (SBU)
Soundness, Completeness and Non-redundancy for Operational Semantics for Verilog based on Denotational Semantics
Abstract
20 September - Wolfram Schulte (Microsoft Research, Foundations of Software Engineering, Redmond, USA)
Sanity Checking Your Software Design and Test Strategy with AsmL
Abstract
Slides (PowerPoint File)
Photograph
4 July - Robert Probert (University of Ottawa, Canada)
Industrial Opportunities for Formal Validation Methods
Abstract
Slides (PowerPoint File)
24 June - Keith Harrison (Praxis Critical Systems Limited, Bath)
Safety Focused Software Testing
Abstract
14 June - Sergiy Vilkomir and Kalpesh Kapoor (SBU)
Towards an experimental study of formalized RC/DC and MC/DC software testing criteria
Abstract
10 June - Hamdan Dammag (SBU)
Design for Safety in the Safecharts Visual Formalism
Abstract
20 May - Amare Leulseged (SBU)
Probabilistic Analysis of Multi--processor Scheduling of Tasks with Uncertain Parameters
Abstract
13 May - Alexander Romanovsky (University of Newcastle upon Tyne)
Looking Ahead in Distributed Atomic Actions with Coordinated Exception Handling
Abstract
Slides (PowerPoint File)
4 March - Sergiy Vilkomir (SBU)
Establishing Formal Regulatory Requirements for Safety-Critical Software Certification
Abstract
Slides (PowerPoint File)

2001

10 December - Phan Cong Vinh (SBU)
Hardware Description in Lava
Abstract
Slides (PowerPoint File)
3 December - Hemangee Kapoor (SBU)
Validation of DLX Pipelined Processor: A Case Study
Abstract
30 November - Laurent David (LISI, ENSMA, France)
Jitter Control in Online Scheduling of Dependent RealTime Tasks
Abstract
30 November - Nimal Nissanke (SBU)
A Framework for Probabilistic Analysis of Multiprocessor Scheduling Environments
Abstract
26 November - Huibiao Zhu (SBU)
Deriving Operational Semantics from Denotational Semantics for Verilog
Abstract
19 November - Sergiy Vilkomir (SBU)
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
Abstract
5 November - Igor Lemberski (SBU)
Optimal Two-Level Implementation of Delay Insensitive Combinational Logic
Abstract
8 October - Simon Peyton Jones (Microsoft Research Ltd., Cambridge)
Asynchronous exceptions in Concurrent Haskell
Abstract
24 September - Sergiy Vilkomir (SBU)
Formalization of Software Testing Criteria using the Z Notation
Abstract
23 July - Theoharis Theoharis (University of Athens, Greece)
The Magic of the Z-Buffer: Formal Understanding as a Key to Succesful Exploitation
Abstract
23 July - Ran Ginosar (Technion - Israel Institute of Technology, Israel)
A Clock Tuning Circuit for System-on-Chip
Abstract
12 July - Kevin Hammond (St. Andrew's University)
Hume: a Functionally Inspired Language for Real-Time/Safety-Critical Systems
Abstract
25 June - Mark Josephs (SBU)
Examples of the use of the tool di2pn: from program to Petri net to Boolean equations
18 June - Zhu Huibiao (SBU)
From Operational Semantics to Denotational Semantics for Verilog
Abstract

Originally maintained by Sergiy Vilkomir

Part of the SSE and CAFM information provided by Jonathan Bowen.
Last updated 5 November 2005.