Tatiana Prosvirnova - Concepedia

Author

Tatiana Prosvirnova

Laboratoire d'Informatique de l'École Polytechnique

Also Known As

Prosvirnova, Tatiana, T. Prosvirnova, Tatiana Prosvirnova, Zeller, Marc

Publications

379

Citations

H-Index

Concepts

All Affiliations

Laboratoire d'Informatique de l'École Polytechnique École Polytechnique Institut de Recherche Technologique SystemX Norwegian University of Science and Technology CentraleSupélec

About

Tatiana Prosvirnova is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in systems engineering, engineering, and software analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	181
2	Systems Engineering	6	6	181
3	Computer Science	4	4	65
4	Computer Engineering	2	2	33
5	Natural Sciences	1	1	19

Tatiana Prosvirnova

Publications

251

Citations

H-Index

Page 1

	Year	Citations
The AltaRica 3.0 Project for Model-Based Safety Assessment Tatiana Prosvirnova, Michel Batteux, Pierre-Antoine Brameret, IFAC Proceedings Volumes Safety EngineeringReliability EngineeringEngineeringSoftware TestingDesign	2013	106
The AltaRica 3.0 project for model-based safety assessment Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy,	2013	47
AltaRica 3.0 in ten modelling patterns Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy International Journal of Critical Computer-Based Systems	2019	23
From Models of Structures to Structures of Models Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy EngineeringSoftware EngineeringModel-driven EngineeringActual Modeling LanguagesSystems Engineering	2018	20
Automated generation of minimal cut sets from AltaRica 3.0 models Tatiana Prosvirnova, Antoine Rauzy International Journal of Critical Computer-Based Systems EngineeringSoftware EngineeringComputer-aided DesignSoftware AnalysisFormal Verification	2015	19
AltaRica 3.0 assertions: The whys and wherefores Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability Artificial IntelligenceEngineeringReligious SymbolVerificationComputer-aided Verification	2017	14
System Structure Modeling Language (S2ML) Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy HAL (Le Centre pour la Communication Scientifique Directe) EngineeringSoftware EngineeringComplex SystemsStructure Complex SystemsOpenaltarica Project	2015	12
Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Reliability Engineering & System Safety Safety EngineeringSafety CaseReliability EngineeringSafety AnalysesEngineering	2015	10

Page 1