• Publications
  • Influence
From UML sequence diagrams and statecharts to analysable petri net models
In this paper we study the use of Sequence Diagrams and Statecharts of the Unified Modeling Language (UML) for the validation and the performance evaluation of systems. We assume that the system isExpand
  • 332
  • 15
A dependability profile within MARTE
The importance of assessing software non-functional properties (NFP) beside the functional ones is well accepted in the software engineering community. In particular, dependability is a NFP thatExpand
  • 144
  • 9
Optimized pipeline of MuTect and GATK tools to improve the detection of somatic single nucleotide polymorphisms in whole-exome sequencing data
BackgroundDetecting somatic mutations in whole exome sequencing data of cancer samples has become a popular approach for profiling cancer development, progression and chemotherapy resistance. SeveralExpand
  • 37
  • 5
Dependability modeling and analysis of software systems specified with UML
The goal is to survey dependability modeling and analysis of software and systems specified with UML, with focus on reliability, availability, maintainability, and safety (RAMS). From the literatureExpand
  • 78
  • 3
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by evaluating the software design.Expand
  • 48
  • 3
Adding Dependability Analysis Capabilities to the MARTE Profile
Dependability is a non-functional property that should be assessed early in the software lifecycle. Although several UML profiles exist for quantitative annotations of non-functional properties, noneExpand
  • 46
  • 3
Model-Driven Dependability Assessment of Software Systems
Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such asExpand
  • 38
  • 3
A compositional semantics for UML state machines aimed at performance evaluation
Unified Modeling Language (UML) is gaining acceptance to describe the behaviour of systems. It has attracted the attention of researchers that are interested in deriving, automatically, performanceExpand
  • 90
  • 2
Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets
Nowadays, many enterprises commit to the extraction of actionable knowledge from huge datasets as part of their core business activities. Applications belong to very different domains such as fraudExpand
  • 20
  • 2
Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets
Real-time data-processing applications, such as those developed using Apache Storm, need to address highly demanding performance requirements. Engineers should assess these performance requirementsExpand
  • 10
  • 2