ASIS - Architecture-based verification of software-intensive systems
Status:
finished
Start date:
2009
End date:
2011
| First Name | Last Name | Title |
|---|---|---|
| Kristina | Lundqvist | Chairman of the MDU recruitment committee,Professor |
| Andreas | Johnsen |
Automated Verification of AADL-Specifications Using UPPAAL (Oct 2012) Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat Proceedings of the 14th IEEE International Symposium on High Assurance Systems Engineering (HASE)
Fixed-Priority Preemptive Scheduling Semantics of AADL in UPPAAL Timed Automata (Jul 2012) Andreas Johnsen
An Architecture-Based Verification Technique for AADL Specifications (Sep 2011) Andreas Johnsen, Paul Pettersson, Kristina Lundqvist 5th European Conference on Software Architecture (ECSA11)
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (Jun 2011) Andreas Johnsen, Kristina Lundqvist Ada-Europe 2011
Kristina Lundqvist, Chairman of the MDU recruitment committee,Professor
Email: kristina.lundqvist@mdu.seRoom: U1-066B
Phone: 021-101428
Apr 2014