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
Co-authors
(19)
Louise Trave-massuyes (Louise Travé-massuyès)
5
Joost-Pieter Katoen
2
Alessandro Cimatti
2
Marco Bozzano
2
Viet Yen Nguyen
2
Conferences
(6)
DATE
2
ECAI
1
ISOLA
1
CDC
1
SysTol
1
Journals
(1)
TSMCA
1
Keywords
(45)
Embed
Subscribe
Academic
Authors
Xavier Olive
Edit
Xavier Olive
Laboratory of Analysis and Architecture of Systems
Publications: 13
|
Citations: 40
|
G-Index: 6
|
H-Index: 2
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Engineering
,
Hardware & Architecture
,
Software Engineering
View FAQ about top research area and research interests
Collaborated with
19 co-authors
from 2006 to 2011
; Cited by
74 authors
Bing
Cumulative
Annual
Order by:
Publications
(13)
BibTeX
|
RIS
|
RefWorks
Download
System-Software Co-Engineering: Dependability and Safety Perspective
(
Citations: 1
)
Yuri Yushstein
,
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
,
Marco Roveri
Conference:
IEEE International Conference on Space Mission Challenges for Information Technology - SMC-IT
, 2011
Formal Verification and Validation of AADL Models
(
Citations: 3
)
Marco Bozzano
,
Roberto Cavada
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
Published in 2010.
The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus
(
Citations: 1
)
Marc Boyer
,
Nicolas Navet
,
Xavier Olive
,
Eric Thierry
Conference:
Leveraging Applications of Formal Methods - ISOLA
, pp. 122-136, 2010
FDI(R) for satellite at Thales Alenia Space how to deal with high availability and robustness in space domain?
X. Olive
Conference:
Conference on Control and Fault-Tolerant Systems - SysTol
, 2010
On-line analytic redundancy relations instantiation guided by component discrete-dynamics for a class of non-linear hybrid systems
Mehdi Bayoudh
,
Louise Travé-Massuyès
,
Xavier Olive
Conference:
Conference on Decision and Control - CDC
, pp. 6970-6975, 2009
Order by:
Citations
(40 times by 39 publications)
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 Survey of Fault Detection, Isolation, and Reconfiguration Methods
(
Citations: 11
)
Inseok Hwang
,
Sungwan Kim
,
Youdan Kim
,
Chze Eng Seah
Journal:
IEEE Transactions on Control Systems Technology - IEEE TRANS CONTROL SYST TECHN
, vol. 18, no. 3, pp. 636-653, 2010
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.
On reconfiguration-based Fault Tolerance
(
Citations: 1
)
Marcel Staroswiecki
Conference:
Mediterranean Conference on Control and Automation - MED
, 2010
Comments