![]() | ![]() |
| 2011 | ||
|---|---|---|
| 3 | Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson: ABV - A Verifier for the Architecture Analysis and Design Language (AADL). ICECCS 2011: 355-360 | |
| 2009 | ||
| 2 | Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya: ArcheOpterix: An extendable tool for architecture optimization of AADL models. MOMPES 2009: 61-71 | |
| 1 | Stefan Björnander, Lars Grunske, Kristina Lundqvist: Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. QoSA 2009: 101-115 | |
| 1 | Aldeida Aleti | [2] |
| 2 | Lars Grunske | [1] [2] |
| 3 | Kristina Lundqvist | [1] [3] |
| 4 | Indika Meedeniya | [2] |
| 5 | Paul Pettersson | [3] |
| 6 | Cristina Cerschi Seceleanu | [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page