Jose Merseguer
TitoloCitata daAnno
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
3812002
Performance by unified model analysis (PUMA)
M Woodside, DC Petriu, DB Petriu, H Shen, T Israr, J Merseguer
Proceedings of the 5th international workshop on Software and performance, 1-12, 2005
2512005
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
JP López-Grao, J Merseguer, J Campos
ACM SIGSOFT software engineering notes 29 (1), 25-36, 2004
2442004
OO-Method: an OO software production environment combining conventional and formal methods
O Pastor, E Insfrán, V Pelechano, J Romero, J Merseguer
International Conference on Advanced Information Systems Engineering, 145-158, 1997
1761997
A dependability profile within MARTE
S Bernardi, J Merseguer, DC Petriu
Software & Systems Modeling 10 (3), 313-336, 2011
1652011
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
1062002
Dependability modeling and analysis of software systems specified with UML
S Bernardi, J Merseguer, DC Petriu
ACM Computing Surveys (CSUR) 45 (1), 2, 2012
872012
Performance evaluation of UML design with Stochastic Well-formed Nets
S Bernardi, J Merseguer
Journal of Systems and Software 80 (11), 1843-1865, 2007
672007
On the integration of UML and Petri nets in software development
J Campos, J Merseguer
International Conference on Application and Theory of Petri Nets, 19-36, 2006
612006
DICE: quality-driven development of data-intensive cloud applications
G Casale, D Ardagna, M Artac, F Barbier, ED Nitto, A Henry, G Iuhasz, ...
Proceedings of the Seventh International Workshop on Modeling in Software …, 2015
592015
Adding dependability analysis capabilities to the MARTE profile
S Bernardi, J Merseguer, DC Petriu
International Conference on Model Driven Engineering Languages and Systems …, 2008
532008
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
522010
Performance evaluation for the design of agent-based systems: A Petri net approach
J Merseguer, J Campos, E Mena
Proceedings of the workshop on software engineering and petri nets, within …, 2000
472000
Software performance modeling using uml and petri nets
J Merseguer, J Campos
International Workshop on Modeling, Analysis, and Simulation of Computer and …, 2003
462003
Model-driven dependability assessment of software systems
S Bernardi, J Merseguer, DC Petriu
Springer, 2013
442013
ArgoSPE: Model-based software performance engineering
E Gómez-Martínez, J Merseguer
International Conference on Application and Theory of Petri Nets, 401-410, 2006
442006
Model-driven availability evaluation of railway control systems
S Bernardi, F Flammini, S Marrone, J Merseguer, C Papa, V Vittorini
International Conference on Computer Safety, Reliability, and Security, 15-28, 2011
432011
Transformation challenges: from software models to performance models
M Woodside, DC Petriu, J Merseguer, DB Petriu, M Alhaj
Software & Systems Modeling 13 (4), 1529-1552, 2014
422014
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
392013
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
352007
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20