DSSE
Home | People | Research Projects | Publications | Techreports | Tools | Vacancies | Seminars
Related Pages

DSSE:Latest Technical Reports

Displaying results 1 to 10 of 115.
Refine search | New search | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | Next
Order the results:
Export 115 results as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
1. Anderson, G. (2010) Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE. Technical Report UNSPECIFIED, ECS, Soton. (Submitted) Item availablity restricted. file
2. Maamria, I., Butler, M., Edmunds, A. and Rezazadeh, A. (2009) On an Extensible Rule-based Prover for Event-B. Technical Report UNSPECIFIED, Electronics & Computer Science, University of Southampton. file
3. Savicks, V., Snook, C. and Butler, M. (2009) Animation of UML-B State-machines. Technical Report UNSPECIFIED, ECS, University of Southampton. (Submitted) file
4. Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking. Technical Report UNSPECIFIED, School of Electronics and Computer Science, University of Southampton. file
5. Silva, R. and Butler, M. (2009) Supporting Reuse Mechanisms for Developments in Event-B: Composition. Technical Report UNSPECIFIED, ECS, University of Southampton. (Unpublished) file
6. Glaser, H., Millard, I., Anderson, T., Andrews, Z., Fitzgerald, J. and Randell, B. (2009) A Knowledge Base for Dependability and Security Research. Technical Report UNSPECIFIED, Electronics & Computer Science, University of Southampton. Item availablity restricted. file
7. Cordeiro, L., Fischer, B. and Marques-Silva, J. (2009) SMT-Based Bounded Model Checking for Embedded ANSI-C Software. Technical Report UNSPECIFIED, ECS, University of Southampton. file
8. Boerger, E., Butler, M., Bowen, J. and Boca, P. (2008) ABZ2008 Conference - Short Papers. Technical Report , Electronics and Computer Science, University of Southampton. file
9. Joochim, T. (2008) TD to UML-B using Atlas Transformation Language (ATL). Technical Report UNSPECIFIED, DSSE Group, Electronics and Computer Science, Southampton University. file
10. De Oliveira Cantante De Matos, P. and Marques-Silva, J. (2008) Model Checking Event-B by Encoding into Alloy. Technical Report UNSPECIFIED, Electronics and Computer Science, University of Southampton. file
Displaying results 1 to 10 of 115.
Refine search | New search | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | Next
Order the results:
© School of Electronics and Computer Science of the University of Southampton