Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
The [[http://srg.cs.ucd.ie/][Systems Research Group]] (SRG), primarily the [[http://secure.ucd.ie/][KindSoftware]] subgroup, in the [[http://www.cs.ucd.ie/][School of Computer Science and Informatics]] at [[http://www.ucd.ie/][University College Dublin]] focuses on the systems aspects of computer science: how individual compoinents are created and composed to create large-scale, highly functional adaptive systems. The SRG conducts an extensive programme of research into autonomic and pervasive systems, contextual reasoning, software technology, design, analysis and visualisation of complex systems. The group is involved in the following work packages and tasks. The leadership over a work package or task is marked with a %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif: * [[WorkPackage.WorkPackage1][Work Package 1]]: Security Requirements * Task 1.3: Framework-Specific Security * [[WorkPackage.WorkPackage3][Work Package 3]]: Logic-based Verification * Task 3.3: Multi-Threading * Task 3.6: Program Verification Environment %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif * [[WorkPackage.WorkPackage4][Work Package 4]]: Proof Carrying Code * Task 4.1: Scenarios for Proof Carrying Code * Task 4.4: Proof-Transforming Compiler * Task 4.5: On-device Proof Checking * [[WorkPackage.WorkPackage5][Work Package 5]]: Case studies * Task 5.3: Evaluation of the Logical Verification Techniques * [[WorkPackage.WorkPackage6][Work Package 6]]: Dissemination, Training and Exploitation * Task 6.2: Dissemination activities * Task 6.3: Liaison with other initiatives *Contact:* [[http://secure.ucd.ie/~kiniry/][Dr. Joseph Kiniry]] -- Main.JosephKiniry - 02 Aug 2005
End of topic
Skip to action links
|
Back to top
r1.4 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Members
>
UniversityCollegeDublin
to top
Ideas, requests, problems regarding the Mobius site