Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 4

Conference/Workshop Paper (3)

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)

Report (1)

Fixed-Priority Preemptive Scheduling Semantics of AADL in UPPAAL Timed Automata (Jul 2012)
Andreas Johnsen

Items per page: