Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(1)
Formal Verification
Subscribe
Academic
Publications
Formal Verification and Validation of AADL Models
Edit
Formal Verification and Validation of AADL Models
(
Citations: 3
)
BibTex
|
RIS
|
RefWorks
Download
Marco Bozzano
,
Roberto Cavada
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
Published in 2010.
Cumulative
Annual
Citation Context
(2)
...The COMPASS toolset has been developed by Bozzano et al. [15], [
16
] and is based on a formal semantics...
Stefan Björnander
,
et al.
ABV - A Verifier for the Architecture Analysis and Design Language (AA...
...The tool is currently being applied to several case studies by a major industrial developer of aerospace systems [
4
]...
...The toolset is being extensively evaluated on a set of industrial-size case-studies [
4
]...
Marco Bozzano
,
et al.
A Model Checker for AADL
Order by:
Citations
(3)
Integrating AADL-Based Tool Chain into Existing Industrial Processes
Alexey Khoroshilov
,
Igor Koverninskiy
,
Alexander Petrenko
,
Alexander Ugnenko
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
ABV - A Verifier for the Architecture Analysis and Design Language (AADL)
Stefan Björnander
,
Cristina Seceleanu
,
Kristina Lundqvist
,
Paul Pettersson
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
A Model Checker for AADL
(
Citations: 1
)
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Marco Roveri
,
Ralf Wimmer
Published in 2010.