MIFS related papers

Lladó, C.M. & Smith C.U. Broadened support for software and system model interchange. Software and Systems Modeling. Volume 18, Issue 6, pp 3527–3550. doi.org/10.1007/s10270-019-00728-x. Springer Berlin Heidelberg. ISSN: 1619-1366. 2019

Smith, C. U., Cortellessa, V., Gómez, A., Kounev, S., Lladó, C. M., Woodside, M.: Challenges in Automating Performance Tool Support. ICPE Companion: 175-176. 2018

Smith, C.U. & Lladó, C.M. SPE for the internet of things and other real-time embedded systems. ICPE ’17 Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering. pp:227-232. ISBN: 978-1-4503-4899-7. 2017

Bonet, P. & Lladó, C.M. PIPE 2.7 – Enhancements (poster) 6th ACM/SPEC International Conference on Performance Engineering ICPE 2015

Lladó, C.M.; Bonet, P.; Smith, C.U. Towards-a-multi-formalism-multi-solution-framework-for-model-driven-performance-engineering. Theory and application of multi-formalism modeling. pp:34-55 ISBN: 978-1-4666-4659-9. 2014

Lladó, C.M.; Bonet, P.; Smith, C.U. A Model transformation tool: PMIF+ to QNAP. Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools.  pp:134-138  ISBN: 978-3-642-40724-6. 2014

Lladó, C.M.; Smith, C.U. PMIF+: Extensions to broaden the scope of supported models Computer Performance Evaluation. Lecture Notes in Computer Science. 8168. pp: 134-148. ISBN: 978-3-642-40724-6. 2013

Smith, C.U.; Lladó, C.M.; Puigjaner, R. Model Interchange format specifications for experiments, output and results. Computer Journal. 54 -5  pp. 674-690.  ISSN: 0010-4620. 2011

Smith, C.U. ; Lladó, C.M. Model Interoperability for Performance Engineering: Survey of Milestones and EvolutionPerformance Evaluation of Computer and Communications Systems. Milestones and Future Challenges. Lecture Notes in Computer Science, Vol. 6821. pp: 10 -23 ISBN: 978-3-642-25575-5. 2011

Lladó, C.M.; Harrison, P.  A PMIF with Petri Net Building Blocks. Proceeding of the 2nd International Conference on Performance Engineering: ICPE’11. ISBN: 1-59593-504-5. 2011

Lladó, C.M.; Harrison, P. Hierarchically constructed Petri-nets and product-forms5th International ICST Conference on Performance Evaluation Methodologies and Tools. Valuetools 2011

Connie U. Smith, Catalina M. Lladó & Ramon Puigjaner. Performance Model Interchange Format (PMIF 2): A comprehensive approach to Queueing Network Model interoperabilityPerformance Evaluation, Vol. 67 (7) pp. 548-568. ISSN: 0166-5316. Elsevier Science Direct. 2010.

Peter G. Harrison, Catalina M. Lladó & Ramon Puigjaner. A unified approach to model the performance of concurrent systemsSimulation Modelling Practice And Theory, Vol. 17 (9) pp. 1445-1456. ISSN: 1569-190X. Elsevier Science Direct.  2009.

Connie U. Smith, Catalina M. Lladó & Ramon Puigjaner. How to automatically transform performnace model output into useful results Actas de la XXXIV Conferencia Latinoaméricana de Informática, CLEI 2009.  ISSN: 2175-9170. 2009.

Connie U. Smith, Catalina M. Lladó & Ramon Puigjaner. Automatic Generation of Performance Analysis Results: Requirements and Demonstration. Computer Performance Engineering. Lecture Notes in Computer Science 5652. pp. 73-78. ISBN: 0302-9743. 2009.

Marc Melià, Catalina M. Lladó, Ramon Puigjaner, Connie U. Smith.  An Experimental Framework for PIPE2Proceedings of the Fifth International Conference on the Quantitative Evaluation of Systems 2008,  QEST’08   ISBN 978-0-7695-3360-5  IEEE Computer Society. pp 239-240. 2008.

Marc Melià, Catalina M. Lladó, Ramon Puigjaner, Connie U. Smith. The PIPE2 Experimenter . XXXIV Conferencia Latinoaméricana de Informática, CLEI 2008. ISBN: 978-950-9770-02-7. 2008

Marc Melià, Catalina M. Lladó, Ramon Puigjaner, Connie U. Smith.  Experimentation and Output Interchange for Petri Net ModelsProceedings of the Seventh International Workshop of Software and Performance. WOSP’08 ISBN 978-1-59593-873-2 ACM. 2008

Pere Bonet, Catalina M. Lladó, Ramon Puigjaner, William J. Knottenbelt. PIPE v2.5: a Petri Net Tool for Performance Modeling. XXXIii Conferencia Latinoaméricana de Informática. SBN: 978-9968-9678-9-1. 2007

Connie U. Smith, Catalina M. Lladó, Ramon Puigjaner, Lloyd G. Williams. Interchange Formats for Performance Models: Experimentation and OuputProceedings of the Fourth International Conference on the Quantitative Evaluation of Systems 2007. QEST’07  Setembre 2007. ISBN 0-7695-2883-X IEEE Computer Society. pp 91-100. 2007

Daniel García, Catalina M. Lladó, Connie U. Smith, Ramon Puigjaner.  A PMIF Semantic Validation ToolProceedings of the Third International Conference on the Quantitative Evaluation of Systems 2006. QEST’06 – Tool paper.  Setembre 2006. ISBN 0-7695-2665-9. IEEE Computer Society. pp 121-122.

Peter Harrison, Catalina M. Lladó, Ramon Puigjaner. A General Performance Model Interchange FormatProceedings of the First International Conference on Performance Evaluation and Tools. Valuetools 2006 Octubre 2006. ISBN 1-59593-504-5. ACM Press.

Daniel García, Catalina M. Lladó, Connie U. Smith, Ramon Puigjaner.  Performance Model Interchange Format: Semantic Validation.  Proceedigns of the International Conference on Software Engineering Advances. ICSEA 2006. Ocubre-Novembre 2006. ISBN 0-7695-2703-5. IEEE Computer Society.

Connie U. Smith, Vittorio Cortellessa, Antinisca Di Marco, Catalina M. Lladó, Lloyd G. Williams. From UML models to software performance results: An SPE process based on XML interchange formats. Proceedings of the Fifth International Workshop on Software and Performance. WOSP’05 ISBN1-59593-087-6.ACM Press. pp 87-98. 2005.

Jeronia Rosselló, Catalina M. Lladó, Ramon Puigjaner, Connie U. Smith. A Web Service for Solving Queueing Networks Models using PMIF.  Proceedings of the Fifth International Workshop on Software and Performance. WOSP’05 ISBN1-59593-087-6. ACM Press. pp 187-192. 2005.

Jeronia Rosselló, Catalina M. Lladó, Connie U. Smith, Ramon Puigjaner. A Lexical and Syntax Analyzer for the Translation of QNAP to the Performance Model Interchange Format (PMIF).  Acceptat per a publicar  a la XXXI Conferencia Latinoaméricana de Informática, CLEI 2005.

Connie U. Smith, Catalina M. Lladó, Ramon Puigjaner. A Performance Model Web ServiceThe Computer Measurment Group’s 2005 International Conference, CMG 2005.

Connie U. Smith & Catalina M. Lladó. Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation. Proceedings of the First International Conference on the Quantitative Evaluation of Systems QEST’04 . ISBN 0-7695-2185-1. pp. 38-47. IEEE Computer Society. Short-listed for best paper award. 2004