Daniel Eduardo Riesco

Research interests

Publications

• Digital Transformation: A Quality Model Based on ISO 25010 and User Experience

  EPiC series in computing · 2021 · 10.29007/1gnk

• In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study

  IEEE Transactions on Computational Biology and Bioinformatics · 2020 · 10.1109/tcbb.2020.3028776

• Las Redes Sociales y la Nube: un nuevo Paradigma para los Procesos de Negocio

  RISTI - Revista Ibérica de Sistemas e Tecnologias de Informação · 2016 · 10.17013/risti.18.66-82

• Model Based Evaluation of Cybersecurity Implementations

  Advances in intelligent systems and computing · 2016 · 10.1007/978-3-319-32467-8_28

• An ontology for the interoperability of hydrological simulation model

  Journal · 2016 · 10.1109/icit.2016.7475020

• Metrics and performance indicators to evaluate workflow processes on the cloud

  Journal · 2015 · 10.1109/aiccsa.2015.7507252

• Storage Optimization for Non Interactive Dining Cryptographers (NIDC)

  Journal · 2015 · 10.1109/itng.2015.15

• Workflow Models: Management and Quality of Process in the Cloud

  Journal · 2014 · 10.1109/itng.2014.80

• Translating between Alloy specifications and UML class diagrams annotated with OCL

  Software & Systems Modeling · 2013 · 10.1007/s10270-013-0353-5

• Metrics for evaluation of workflow models: An experiment for validation

  Journal of Computational Methods in Sciences and Engineering · 2012 · 10.3233/jcm-2012-0439

• Bigraphical Modelling of Architectural Patterns

  Lecture notes in computer science · 2012 · 10.1007/978-3-642-35743-5_19

• Specifying UML Protocol State Machines in Alloy

  Lecture notes in computer science · 2012 · 10.1007/978-3-642-30729-4_22

• Transformation of business process models BPMN 2.0 into components of the Java business platform

  Journal · 2012 · 10.1109/indin.2012.6300914

• An ATL transformation from natural language requirements models to business models of a MDA project

  Journal · 2011 · 10.1109/itst.2011.6060132

• A language for behavioural modelling of architectural patterns

  Journal · 2011 · 10.1145/1993956.1993959

• Metrics for Evaluation of Workflow Models: An Experiment for Validation.

  Software Engineering and Data Engineering · 2011

• Translating Alloy Specifications to UML Class Diagrams Annotated with OCL

  Lecture notes in computer science · 2011 · 10.1007/978-3-642-24690-6_16

• A method to evaluate QoS of web services required by a workflow

  Journal · 2011 · 10.1109/itst.2011.6060134

• Transformations from SPEM work sequences to BPMN sequence flows for the automation of software development process

  Journal of Computational Methods in Sciences and Engineering · 2010 · 10.3233/jcm-2010-0268

• Optimization of the Business Process metrics definition according to the BPDM standard and its formal definition in OCL

  Journal · 2010 · 10.1109/aiccsa.2010.5586986

• Recovering business process diagrams from UML diagrams

  Journal · 2010 · 10.1109/aiccsa.2010.5586982

• Formalizing the Management Automation with Workflow of Software Development Process Based on the SPEM Activities View

  Journal · 2009 · 10.1109/itng.2009.158

• A Feature Model of E-Government Systems Integrated with Formal Specifications

  Journal · 2008 · 10.1109/itng.2008.104

• Improving Model Driven Architecture with Requirements Models

  Journal · 2008 · 10.1109/itng.2008.112

• Metrics applied to Aspect Oriented Design using UML profiles

  Journal · 2008 · 10.1109/iscc.2008.4625764

• Transformation in QVT of Software Development Process based on SPEM to Workflows

  IEEE Latin America Transactions · 2008 · 10.1109/tla.2008.4917438

• Un conjunto de medidas para la evaluación de modelos workflow

  El Servicio de Difusión de la Creación Intelectual (National University of La Plata) · 2008

• Transformation of BPMN subprocesses based in SPEM using QVT

  Journal · 2007 · 10.1109/eit.2007.4374541

• Integrating OCL expressions into RSL specifications

  Journal · 2007 · 10.1109/eit.2007.4374543

• Supporting the SPEM with a UML Extended Workflow Metamodel

  IEEE International Conference on Computer Systems and Applications, 2006. · 2006 · 10.1109/aiccsa.2006.205234

• Formalising a derivation strategy for formal specifications from natural language requirements models

  Journal · 2006 · 10.1109/isspit.2005.1577173

• Defining Patterns Using UML Profiles

  IEEE International Conference on Computer Systems and Applications, 2006. · 2006 · 10.1109/aiccsa.2006.205233

• Using a feature model for RAISE specification reusability

  Journal · 2005 · 10.1109/iri-05.2005.1506491

• A technique based on the OMG metamodel and OCL for the definition of object oriented metrics applied to UML models

  Journal · 2005 · 10.1109/aiccsa.2005.1387107

• Definition of a new kind of UML stereotype based on OMG metamodel

  Journal · 2004 · 10.1109/aiccsa.2003.1227482

• Web Programming Language Evaluation using LSP.

  Computer Applications in Industry and Engineering · 2003

Current projects

No projects listed.