Daniel Riesco

Orcid: 0000-0001-7335-7471

According to our database1, Daniel Riesco authored at least 70 papers between 2002 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study.
IEEE ACM Trans. Comput. Biol. Bioinform., 2021

2020
Computing Power, Key Length and Cryptanalysis. An Unending Battle?
CoRR, 2020

Metrics and Indicators to evaluate the degree of transformation to Smart City of a city. An Ad-Hoc Quality Model.
Proceedings of 35th International Conference on Computers and Their Applications, 2020

2019
Using reverse engineering techniques to infer a system use case model.
J. Softw. Evol. Process., 2019

2016
Measuring the understandability of WSDL specifications, web service understanding degree approach and system.
Comput. Sci. Inf. Syst., 2016

An ontology for the interoperability of hydrological simulation model.
Proceedings of the IEEE International Conference on Industrial Technology, 2016

A systematic method for choosing optimal parameters for storage in parallel channels of slots.
Proceedings of the IEEE International Conference on Industrial Technology, 2016

2015
Translating between Alloy specifications and UML class diagrams annotated with OCL.
Softw. Syst. Model., 2015

WSDLUD: A Metric to Measure the Understanding Degree of WSDL Descriptions.
Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015

Storage Optimization for Non Interactive Dining Cryptographers (NIDC).
Proceedings of the 12th International Conference on Information Technology, 2015

Metrics and performance indicators to evaluate workflow processes on the cloud.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

2014
Workflow Models: Management and Quality of Process in the Cloud.
Proceedings of the 11th International Conference on Information Technology: New Generations, 2014

2013
Verifying Bigraphical Models of Architectural Reconfigurations.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

2012
A strategy based on LSP for the evaluation of specific languages for business processes modeling.
J. Comput. Methods Sci. Eng., 2012

Metrics for evaluation of workflow models: An experiment for validation.
J. Comput. Methods Sci. Eng., 2012

Analysing Tactics in Architectural Patterns.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

MEBPCM: A Method for Evaluating Business Process Conceptual Models. A Study Case.
Proceedings of the Ninth International Conference on Information Technology: New Generations, 2012

Transformation of business process models BPMN 2.0 into components of the Java business platform.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Specifying UML Protocol State Machines in Alloy.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011
A precise definition of QoS for web services and its application in the invocation of applications from a workflow.
J. Comput. Methods Sci. Eng., 2011

Translating Alloy Specifications to UML Class Diagrams Annotated with OCL.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

A Strategy Based on LSP for the Evaluation of Specific Languages for Business Process Modeling.
Proceedings of the ISCA 20th International Conference on Software Engineering and Data Engineering (SEDE-2011) June 20-22, 2011

Metrics for Evaluation of Workflow Models: An Experiment for Validation.
Proceedings of the ISCA 20th International Conference on Software Engineering and Data Engineering (SEDE-2011) June 20-22, 2011

A Police Force Facing an e-Transparency Project.
Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

Bigraphical Modelling of Architectural Patterns.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Geographic Information Systems: RSL Services Definitions of a Framework for Web Services.
Proceedings of the ISCA 26th International Conference on Computers and Their Applications, 2011

A language for behavioural modelling of architectural patterns.
Proceedings of the Third Workshop on Behavioural Modelling, 2011

2010
Integrating formal methods with domain analysis.
J. Comput. Methods Sci. Eng., 2010

Transformations from SPEM work sequences to BPMN sequence flows for the automation of software development process.
J. Comput. Methods Sci. Eng., 2010

Including Non-functional Requirements in the Invocation of Applications from the Workflow Engine using Web Services.
Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010

Web Application to Improve Police Management Performance: A Web Application to Prepare Police Stations to Face an ISO 9001: 2008 Certification Process and to Improve Watching Activities of Human Rights.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Rigorous Definition/Specification in RAISE Specification Language of a Framework for Web Services about Geographic Information Systems.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Recovering business process diagrams from UML diagrams.
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

Optimization of the Business Process metrics definition according to the BPDM standard and its formal definition in OCL.
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009
Management Automation Specified by SPEM Work Breakdown Element using Workflow Technology.
Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

A Strategy to Derive RSL Specification from Feature Models.
Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

Software Projects Finance Support: Preliminary Talks between Software Project Managers and Potential Investors.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Formalizing the Management Automation with Workflow of Software Development Process Based on the SPEM Activities View.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Integrating natural language oriented models with feature model.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

An extension of the Workflow Process Definition Language to validate time restrictions in SUBFLOW Activities and XOR SPLIT Attributes.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008
Improving Model Driven Architecture with Requirements Models.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Feature Model of E-Government Systems Integrated with Formal Specifications.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Metrics applied to Aspect Oriented Design using UML profiles.
Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

2007
Software projects finance feasibility analysis in the context of project management body of knowledge using "use case points" estimation approach.
Proceedings of the 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), 2007

Software Project Management: Including Configuration Management in PMBOK.
Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

Defining OCL constraints for the Proxy Design Pattern Profile.
Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006
An ArgoUML metamodel extension for the workflow systems.
J. Comput. Methods Sci. Eng., 2006

Workflow Modeling and Simulation using a Extension of UML Activity Diagram.
Proceedings of the 21st International Conference on Computers and Their Applications, 2006

Supporting the SPEM with a UML Extended Workflow Metamodel.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

Defining Patterns Using UML Profiles.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
Formalization of petri nets with clocks.
J. Comput. Methods Sci. Eng., 2005

Development of a tool for code automatic generation of persistent objects.
J. Comput. Methods Sci. Eng., 2005

Using a feature model for RAISE specification reusability.
Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

Testing as Specification in Agile Methods.
Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

UML Profiles for Design Patterns.
Proceedings of the 20th International Conference on Computers and Their Applications, 2005

Integrating balanced scorecard domain formalization with underlying project plan formalization.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

A technique based on the OMG metamodel and OCL for the definition of object-oriented metrics applied to UML models.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

Extensions to UML Using Stereotypes.
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

Integrating Requirements Engineering Techniques and Formal Methods.
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

Reuse of Formal Specifications.
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004
Incorporating a Reuse Model to the RAISE Formal Method.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Metadata Considerations in the Context of an Executive Information System Project Based on Balanced Scorecard Approach.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Conditions for a Successful Implementation of an Executive Information System.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Standardizing Entity-Relationship Graphs with UML.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

2003
Data Architecture Component Overview of a Balanced Scorecard to Manage the Last and Very Difficult Stage of a Very Important Hydroelectric Project.
Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2003

Specification in RSL of a Tool based on Graphs for Reverse Engineering.
Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2003

Web Programming Language Evaluation using LSP.
Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003

2002
Improving the Management of the last stage of the Yacyretá Hydroelectric Project through the use of Kaplan and Norton's Balanced Scorecard Scheme.
Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002

Structuring a Formal Specification starting from Process Modeling.
Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, 2002


  Loading...