Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
[PMB-ICPE10] Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
.
2010.
[BBCM-09] UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
.
2009.
[BML-EDCC-10] Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile. Eighth European Dependable Computing Conference (EDCC'10). :95-104.
.
2010.
[RMB_SERENE10] Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
.
2010.
[RM_ISARCS10] Integrating Fault-Tolerant Techniques into the Design of Critical Systems. 1st International Symposium on Architecting Critical Systems. 6150:33--51.
.
2010.
[1276] Performance modeling and analysis of the Universal Control Hub. 7th European Performance Engineering Workshop, EPEW 2010.
.
2010.
[BCM-TII-11] Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
.
2011.
[PM-ICPE11] Performance Sensitive Self-Adaptive Service-Oriented Software using Hidden Markov Models. ICPE International Conference on Performance Engineering. :201--206.
.
2011.
[1381] Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
.
2012.
[1383] Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
.
2012.
[1406] Performance Evaluation of Web Services Orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications. 2(6):18.
.
2010.
[1430] Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
.
2012.
[1431] Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
.
2013.
[1456] On the Performance Estimation and Resource Optimisation in Process Petri Nets. IEEE Transactions on Systems, Man and Cybernetics: Systems. 46(3):1385-1398.
.
2013.
[1458] log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing. :397-404.
.
2013.
[1474] Quantification and compensation of the impact of faults in system throughput. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability. 227(6):28.
.
2013.
[1484] Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
.
2014.
[1485] PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. Proceedings of the 12th International Conference on Application of Concurrency to System Designs (ACSD).
.
2012.
[1486] Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems. Proceedings of the 3rd International Symposium on Architecting Critical Systems (ISARCS).
.
2012.
[1487] A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.
.
2013.
[1488] Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes (NiM-ALP 2013). 1074:1-40.
.
2013.
[1509] Performance Assessment of an Architecture with Adaptative Interfaces for People with Special Needs. Empirical Software Engineering. 19(6):52.
.
2014.
[1525] Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
.
2015.
[1527] Performance Evaluation of Dynamic Binary Instrumentation Frameworks. IEEE Latin America. 12(8):9.
.
2014.
[1532] A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
.
2015.