Old Web
English
Sign In
Acemap
>
authorDetail
>
Antonella Cavallo
Antonella Cavallo
Alenia Aeronautica
Systems engineering
Computer science
Formal methods
Fault tree analysis
Certification
8
Papers
164
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
MISSA Project: focus on Model-based safety assessment for the three stages of refinement of the system development process in ARP4754A
2014
Matthias Bretschneider
Chris Papadopoulos
Antonella Cavallo
Jean-Pierre Heckmann
Laurent Sagaspe
Show All
Source
Cite
Save
Citations (0)
Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A
2011
Christel Seguin
Pierre Bieber
Eckard Boede
Marco Bozzano
Matthias Bretschneider
Antonella Cavallo
Johann Deneux
Jean-Pierre Heckmann
Oleg Lisagor
Marion Morel
Chris Papadopoulos
Laurent Sagaspe
Valerie Sartor
Remi Delmas
Show All
Source
Cite
Save
Citations (3)
Towards a unified model-based safety assessment
2006
SAFECOMP | International Conference on Computer Safety, Reliability, and Security
Thomas Peikenkamp
Antonella Cavallo
Laura Valacca
Eckard Böde
Matthias Pretzer
E. Moritz Hahn
Show All
Source
Cite
Save
Citations (22)
Towards a Unified Model-Based Safety Assessment
2006
Lecture Notes in Computer Science
Thomas Peikenkamp
Antonella Cavallo
Laura Valacca
Eckard Böde
Matthias Pretzer
E. Moritz Hahn
Show All
Source
Cite
Save
Citations (18)
Improving Safety Assessment of Complex Systems: An Industrial Case Study
2003
FM | Formal Methods
Marco Bozzano
Antonella Cavallo
Massimo Cifaldi
Laura Valacca
Adolfo Villafiorita
Show All
Source
Cite
Save
Citations (51)
1