Ver Financiación - Prisma - Unidad de Bibliometría

Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio

Referencia: TIN2009-13714

Tipo: Proyecto de investigación
Programa financiador: Plan Nacional del 2009
Entidad financiadora: Ministerio de Ciencia e Innovación
Ámbito: Nacional
Convocatoria competitiva:
Fecha de inicio: 01/01/2010
Fecha de fin: 31/12/2014
Participantes en la financiación
Nombre Rol
Valle Sevillano, Carmelo del Responsable
Martínez Gasca, Rafael Investigador/a
Gómez López, María Teresa Investigador/a
de la Rosa Troyano, Francisco Fernando Investigador/a
Ceballos Guerrero, Rafael Investigador/a
Pozo Hidalgo, Sergio Investigador/a
Neira Ayuso, Pablo Investigador/a
Barba Rodríguez, Irene Investigador/a
Borrego Núñez, Diana Investigador/a
Parody Núñez, María Luisa Investigador/a
Jiménez Ramírez, Andrés Investigador/a
Varela Vaca, Ángel Jesús Investigador/a
Barba Rodríguez, Irene Contratado
Varela Vaca, Ángel Jesús Contratado
Parody Núñez, María Luisa Contratado
Rodríguez Olivares, Raúl Contratado
Sánchez Gómez, Nicolás Contratado
Salido López, Alberto José Contratado
Pérez Álvarez, José Miguel Contratado
Ruiz Ribes, Alejandro Contratado
Publicaciones relacionadas
Tipo Año Título Fuente
Artículo 2016 Hybrid business process modeling for the optimization of outcome data INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia 2016 OPBUS: A framework for improving the dependability of risk-aware business processes AI COMMUNICATIONS
Artículo 2015 Automating correctness verification of artifact-centric business process models INFORMATION AND SOFTWARE TECHNOLOGY
Artículo 2015 Compliance validation and diagnosis of business data constraints in business processes at runtime INFORMATION SYSTEMS
Artículo 2015 Formalization of security patterns as a means to infer security controls in business processes Logic Journal of the IGPL
Artículo 2015 Generating optimized configurable business process models in scenarios subject to uncertainty INFORMATION AND SOFTWARE TECHNOLOGY
Artículo 2014 Conformance checking and diagnosis for declarative business process models in data-aware scenarios EXPERT SYSTEMS WITH APPLICATIONS
Artículo 2014 Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Artículo 2014 Using Constraint Programming in Selection Operators for Constraint Databases EXPERT SYSTEMS WITH APPLICATIONS
Ponencia 2013 A security pattern-driven approach toward the automation of risk treatment in business processes INTERNATIONAL JOINT CONFERENCE CISIS'12 - ICEUTE'12 - SOCO'12 SPECIAL SESSIONS
Artículo 2013 Automatic generation of optimized business process models from constraint-based specifications INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Artículo 2013 Constraint-based planning and scheduling techniques for the optimized management of business processes AI COMMUNICATIONS
Artículo 2013 Diagnosing correctness of semantic workflow models DATA & KNOWLEDGE ENGINEERING
Artículo 2013 Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems AI COMMUNICATIONS
Ponencia 2013 Explaining the Incorrect Temporal Events During Business Process Monitoring by means of Compliance Rules and Model-based Diagnosis 17TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2013)
Artículo 2013 Minimizing test-point allocation to improve diagnosability in business process models JOURNAL OF SYSTEMS AND SOFTWARE
Artículo 2013 Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach INFORMATION AND SOFTWARE TECHNOLOGY
Artículo 2013 User recommendations for the optimized execution of business processes DATA & KNOWLEDGE ENGINEERING
Artículo 2012 FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls COMPUTERS & SECURITY
Ponencia 2012 Supporting the Optimized Execution of Business Processes through Recommendations BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I
Ponencia 2011 A PLANNING AND SCHEDULING PERSPECTIVE FOR DESIGNING BUSINESS PROCESSES FROM DECLARATIVE SPECIFICATIONS ICAART 2011: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1
Artículo 2010 Communicating between the kernel and user-space in Linux using Netlink sockets SOFTWARE-PRACTICE & EXPERIENCE
Nota: la fuente de financiación de las publicaciones se ha obtenido de WOS