Latest project publications
[ Show all publications ]
| | Automated Verification of AADL-Specifications Using UPPAAL, Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat, Proceedings of the 14th IEEE International Symposium on High Assurance Systems Engineering (HASE), p 130--138, IEEE Computer Society Press, Omaha, Nebraska, October, 2012 |
| | Fixed-Priority Preemptive Scheduling Semantics of AADL in UPPAAL Timed Automata, Andreas Johnsen, Technical Report, MRTC, July, 2012 |
| | An Architecture-Based Verification Technique for AADL Specifications, Andreas Johnsen, Paul Pettersson, Kristina Lundqvist, 5th European Conference on Software Architecture (ECSA'11), p 105-113, Springer-Verlag, Essen, Editor(s):Crnkovic, V. Gruhn, and M. Book, September, 2011 |
|
