Folgen
Simona Bernardi
Simona Bernardi
Department of Computer Science and System Engineering, University of Zaragoza (Spain)
Bestätigte E-Mail-Adresse bei unizar.es - Startseite
Titel
Zitiert von
Zitiert von
Jahr
From UML sequence diagrams and statecharts to analysable petri net models
S Bernardi, S Donatelli, J Merseguer
Proceedings of the 3rd international workshop on Software and performance, 35-45, 2002
4452002
A dependability profile within MARTE
S Bernardi, J Merseguer, DC Petriu
Software & Systems Modeling 10 (3), 313-336, 2011
2252011
Dependability modeling and analysis of software systems specified with UML
S Bernardi, J Merseguer, DC Petriu
ACM Computing Surveys (CSUR) 45 (1), 1-48, 2012
1412012
A compositional semantics for UML state machines aimed at performance evaluation
J Merseguer, J Campos, S Bernardi, S Donatelli
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002
1272002
Model-driven dependability assessment of software systems
S Bernardi, J Merseguer, DC Petriu
Springer, 2013
772013
Model-Driven Dependability Assessment of Software Systems
S Bernardi, J Merseguer, DC Petriu
Springer Verlag, 2013
772013
Performance evaluation of UML design with Stochastic Well-formed Nets
S Bernardi, J Merseguer
Journal of Systems and Software 80 (11), 1843-1865, 2007
772007
Timing-failure risk assessment of UML design using Time Petri Net bound techniques
S Bernardi, J Campos, J Merseguer
IEEE Transactions on Industrial Informatics 7 (1), 90-104, 2010
702010
Adding dependability analysis capabilities to the MARTE profile
S Bernardi, J Merseguer, DC Petriu
International Conference on Model Driven Engineering Languages and Systems …, 2008
622008
Enabling the usage of UML in the verification of railway systems: the DAM-rail approach
S Bernardi, F Flammini, S Marrone, N Mazzocca, J Merseguer, R Nardone, ...
Reliability Engineering & System Safety 120, 112-126, 2013
552013
Implementing compositionality for stochastic Petri nets
S Bernardi, S Donatelli, A Horváth
International Journal on Software Tools for Technology Transfer 3, 417-430, 2001
542001
Computation of performance bounds for real-time systems using time Petri nets
S Bernardi, J Campos
IEEE Transactions on Industrial Informatics 5 (2), 168-180, 2009
452009
Model-driven availability evaluation of railway control systems
S Bernardi, F Flammini, S Marrone, J Merseguer, C Papa, V Vittorini
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
432011
A UML profile for dependability analysis of real-time embedded systems
S Bernardi, J Merseguer
Proceedings of the 6th international workshop on Software and performance …, 2007
422007
Modeling performance of hadoop applications: A journey from queueing networks to stochastic well formed nets
D Ardagna, S Bernardi, E Gianniti, S Karimian Aliabadi, D Perez-Palacin, ...
Algorithms and Architectures for Parallel Processing: 16th International …, 2016
402016
QoS assessment via stochastic analysis
S Bernardi, J Merseguer
IEEE Internet Computing 10 (3), 32-42, 2006
352006
Modelling security of critical infrastructures: a survivability assessment
RJ Rodríguez, J Merseguer, S Bernardi
The Computer Journal 58 (10), 2313-2327, 2015
342015
Security modelling and formal verification of survivability properties: Application to cyber–physical systems
S Bernardi, U Gentile, S Marrone, J Merseguer, R Nardone
Journal of Systems and Software 171, 110746, 2021
332021
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications
S Bernardi, S Donatelli, A Horvath
Practical Use of High-level Petri Nets: Workshop Proceedings, DAIMI PB-547 …, 2000
292000
Modelling and analysing resilience as a security issue within UML
RJ Rodríguez, J Merseguer, S Bernardi
Proceedings of the 2nd international workshop on software engineering for …, 2010
282010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20