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

> Techreports 1995-2002

DSSE:Latest Technical Reports

You are in: DSSE Latest Technical Reports
Displaying results 1 to 10 of 111.
Refine search | New search | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | Next
Order the results:
Export 111 results as [feed] RSS 2.0 [feed] RSS 1.0 [feed] BluScreen RSS [feed] Atom
1. 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
2. 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
3. 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
4. Boerger, E., Butler, M., Bowen, J. and Boca, P. (2008) ABZ2008 Conference - Short Papers. Technical Report , Electronics and Computer Science, University of Southampton. file
5. Joochim, T. (2008) TD to UML-B using Atlas Transformation Language (ATL). Technical Report UNSPECIFIED, DSSE Group, Electronics and Computer Science, Southampton University. file
6. 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
7. Morgado, A. J. and Marques-Silva, J. (2008) A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem. Technical Report UNSPECIFIED, Electronics and Computer Science, University of Southampton. file
8. Marques-Silva, J., Lynce, I. and Manquinho, V. (2008) Symmetry Breaking for Maximum Satisfiability. Technical Report UNSPECIFIED, Electronics and Computer Science, University of Southampton. file
9. Joochim, T. (2008) Timing diagrams add Requirements Engineering capability to Event-B Formal Development. Technical Report UNSPECIFIED, DSSE Group, Electronics and Computer Science, Souhtampton University. file
10. Glaser, H., Lewy, T., Millard, I. and Dowling, B. (2007) On Coreference and the Semantic Web. Technical Report UNSPECIFIED, Electronics & Computer Science, University of Southampton. (Submitted) file
Displaying results 1 to 10 of 111.
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