Automated Verification of AADL-Specifications Using UPPAAL (Oct 2012) Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat 14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012)
An Architecture-Based Verification Technique for AADL Specifications (Sep 2011) Andreas Johnsen, Paul Pettersson, Kristina Lundqvist 5th European conference on Software architecture (ECSA 2011)
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (Jun 2011) Andreas Johnsen, Kristina Lundqvist International Conference on Reliable Software Technologies (Ada-Europe 2011)
Fixed-Priority Preemptive Scheduling Semantics of AADL in UPPAAL Timed Automata (Jul 2012) Andreas Johnsen