|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 48 occurrences of 35 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | José Merseguer, Simona Bernardi |
Dependability analysis of DES based on MARTE and UML state machines models.  |
Discrete Event Dynamic Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Perez-Palacin, José Merseguer, Raffaela Mirandola |
Analysis of bursty workload-aware self-adaptive systems. |
ICPE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, José Merseguer, Dorina C. Petriu |
A dependability profile within MARTE. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, Javier Campos, José Merseguer |
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques. |
IEEE Trans. Industrial Informatics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Perez-Palacin, José Merseguer |
Performance sensitive self-adaptive service-oriented software using hidden Markov models (abstracts only). |
SIGMETRICS Performance Evaluation Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Perez-Palacin, Raffaela Mirandola, José Merseguer |
Enhancing a QoS-based self-adaptive framework with energy management capabilities. |
QoSA/ISARCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Perez-Palacin, Raffaela Mirandola, José Merseguer |
Software architecture adaptability metrics for QoS-based self-adaptation. |
QoSA/ISARCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini |
Model-Driven Availability Evaluation of Railway Control Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Perez-Palacin, José Merseguer |
Performance sensitive self-adaptive service-oriented software using hidden markov models. |
ICPE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Perez-Palacin, José Merseguer |
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Perez-Palacin, Raffaela Mirandola, José Merseguer, Vincenzo Grassi |
QoS-Based Model Driven Assessment of Adaptive Reactive Systems. |
ICST Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo J. Rodríguez, José Merseguer |
Integrating Fault-Tolerant Techniques into the Design of Critical Systems. |
ISARCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, José Merseguer, Robyn R. Lutz |
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. |
EDCC |
2010 |
DBLP DOI BibTeX RDF |
reliability and availability requirements, Unified Modeling Language profile, Unified Process, misuse cases, fault trees |
| 1 | Diego Perez-Palacin, José Merseguer, Simona Bernardi |
Performance aware open-world software in a 3-layer architecture. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
open-world software, uml-marte, petri nets, software components, self-managed systems |
| 1 | Elena Gómez-Martínez, José Merseguer |
Performance Modeling and Analysis of the Universal Control Hub. |
EPEW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, José Merseguer, Dorina C. Petriu |
Adding Dependability Analysis Capabilities to the MARTE Profile. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, José Merseguer |
Performance evaluation of UML design with Stochastic Well-formed Nets. |
Journal of Systems and Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, José Merseguer |
A UML profile for dependability analysis of real-time embedded systems. |
WOSP |
2007 |
DBLP DOI BibTeX RDF |
dependability, UML profiles, real-time embedded systems |
| 1 | Elena Gómez-Martínez, Sergio Ilarri, José Merseguer |
Performance analysis of mobile agents tracking. |
WOSP |
2007 |
DBLP DOI BibTeX RDF |
generalized stochastic Petri nets (GSPN), mobile agents tracking, software performance engineering(SPE), PUMA |
| 1 | Simona Bernardi, José Merseguer |
QoS Assessment via Stochastic Analysis. |
IEEE Internet Computing |
2006 |
DBLP DOI BibTeX RDF |
QoS, quality of service, fault tolerance, UML, Performance measures, stochastic models, State diagrams, design tools and techniques |
| 1 | Javier Campos, José Merseguer |
On the Integration of UML and Petri Nets in Software Development. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Gómez-Martínez, José Merseguer |
ArgoSPE: Model-Based Software Performance Engineering. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
UML-SPT, UML, software performance evaluation, GSPN |
| 1 | Elena Gómez-Martínez, José Merseguer |
Impact of SOAP Implementations in the Performance of a Web Service-Based Application. |
ISPA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Gómez-Martínez, José Merseguer |
A Software Performance Engineering Tool based on the UML-SPT. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan Petriu, Hui Shen, Toqeer Israr, José Merseguer |
Performance by unified model analysis (PUMA). |
WOSP |
2005 |
DBLP DOI BibTeX RDF |
UML, performance models, scenarios, software performance engineering, model building |
| 1 | Juan Pablo López-Grao, José Merseguer, Javier Campos |
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets |
| 1 | José Merseguer, Javier Campos, Eduardo Mena |
Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. |
Wireless Networks |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Merseguer, Javier Campos |
Software Performance Modeling Using UML and Petri Nets. |
MASCOTS Tutorials |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José Merseguer, Javier Campos |
Exploring Roles for the UML Diagrams in Software Performance Engineering. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
| 1 | Simona Bernardi, Susanna Donatelli, José Merseguer |
From UML sequence diagrams and statecharts to analysable petrinet models. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
modeling, UML, compositionality, GSPN |
| 1 | José Merseguer, Javier Campos, Eduardo Mena |
A Performance Engineering Case Study: Software Retrieval System. |
Performance Engineering |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | José Merseguer, Javier Campos, Eduardo Mena |
Performance analysis of internet based software retrieval systems using Petri Nets. |
MSWiM |
2001 |
DBLP DOI BibTeX RDF |
mobile agent technology, internet, UML, UML, wireless networks, stochastic Petri nets, software performance engineering |
| 1 | José Merseguer, Javier Campos, Eduardo Mena |
A pattern-based approach to model software performance. |
Workshop on Software and Performance |
2000 |
DBLP DOI BibTeX RDF |
UML, UML, Petri nets, patterns, software reuse, software performance, object-oriented paradigm |
| 1 | Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Raúl Romero, José Merseguer |
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. |
CAiSE |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")