Dependable Systems and Software Engineering Research Group
School of Electronics and Computer Science
University of Southampton
Home
|
People
|
Research Projects
|
Publications
|
Techreports
|
Tools
|
Vacancies
|
Seminars
Research Projects
> browse all
> browse by theme
> browse by funding
DSSE:Research Projects
You are in:
DSSE
Research Projects
Automated Validation of Business Critical Systems with Component Based Designs
COCONUT: A Correct-by-Construction Workbench for Design and Verification of Embedded Systems
Customization and Adaptation of Automatically Generated Code
DEPLOY
dotAC: Exploring the UK research landscape
High-Integrity Component-Based Engineering for Enterprise Systems
Industrial deployment of system engineering methods providing high dependability and productivity
Infinite State Model Checking using Partial Evaluation
Methodologies and Technologies for Industrial Strength Systems Engineering
Modelling and analysis of long running transactions
NOTOS: New algOrithm for LTL mOdel checking with Satisfiability
OMII-Europe Open Middleware Infrastructure Institute for Europe
Open Middleware Infrastructure Institute
Paradigm Unifying System Specification Environments for proven Electronic design
ReSIST: Resilience for Survivability in IST
RICES Reasoning about Information Consistency across Enterprise Solutions
Rigorous Open Development Environment for Complex Systems (RODIN)
Towards a Modular Approach to Model-Based Verification: logical, semantical and algorithmic support
Trusted Software Agents and Services
Verifying Shared Memory Communication for Low-Power Multi-core SoCs
VERTIGO - Verification and Validation of Embedded System Design Workbench
©
School of Electronics and Computer Science
of the
University of Southampton
Research Projects