Gregorio Díaz

68 papers A 2B 2C 4Misc 5Journal 24Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A requirement-driven method for process mining based on model-driven engineering. Comput. Stand. Interfaces Selsabil Ines Bouhidel, Mohammed Mounir Bouhamed, Gregorio Díaz, Nabil Belala
2024	J	`jnl`	ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies. J. Comput. Sci. Gregorio Díaz, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero
2023	—	`conf`	An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic. ICCS (1) Gregorio Díaz, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero
2023	—	`conf`	Designing a Fault Detection System for Wind Turbine Control Monitoring Using CEP. IWANN (2) Enrique Brazález, Gregorio Díaz, Hermenegilda Macià, Valentín Valero
2022	J	`jnl`	A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions. IEEE Trans. Software Eng. Valentín Valero, Gregorio Díaz, Juan Boubeta-Puig, Hermenegilda Macià, Enrique Brazález
2022	J	`jnl`	FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic. Appl. Soft Comput. Enrique Brazález, Hermenegilda Macià, Gregorio Díaz, María-Teresa Baeza-Romero, Edelmira Valero, Valentín Valero
2022	J	`jnl`	PITS: An Intelligent Transportation System in pandemic times. Eng. Appl. Artif. Intell. Enrique Brazález, Hermenegilda Macià, Gregorio Díaz, Valentín Valero, Juan Boubeta-Puig
2022	J	`jnl`	Reducing the number of migrated instances during business process change: A graph rewriting approach. J. King Saud Univ. Comput. Inf. Sci. Mohammed Mounir Bouhamed, Allaoua Chaoui, Radouane Nouara, Gregorio Díaz, Abderraouf Dembri
2022	—	`conf`	greenITS: a proposal to compute low-pollution routes. FNC/MobiSPC/SEIT Hermenegilda Macià, Gregorio Díaz, Valentín Valero, Edelmira Valero, Enrique Brazález, Juan Boubeta-Puig
2021	J	`jnl`	SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach. Comput. Stand. Interfaces Oussama Kamel, Allaoua Chaoui, Gregorio Díaz, Mohamed Gharzouli
2020	J	`jnl`	An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets. Neural Comput. Appl. Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Fernando Cuartero
2019	—	`conf`	An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios. IWANN (1) Gregorio Díaz, Enrique Brazález, Hermenegilda Macià, Juan Boubeta-Puig, Valentín Valero
2019	—	`conf`	Combining Fuzzy Logic and CEP Technology to Improve Air Quality in Cities. ICCS (5) Hermenegilda Macià, Gregorio Díaz, Juan Boubeta-Puig, Edelmira Valero, Valentín Valero
2019	J	`jnl`	Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool. Sci. Program. Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Guadalupe Ortiz
2019	J	`jnl`	MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets. Inf. Syst. Juan Boubeta-Puig, Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Guadalupe Ortiz
2017	J	`jnl`	Data-aware automatic derivation of choreography-conforming systems of services. Comput. Stand. Interfaces Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz
2017	—	`conf`	Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets. IWANN (2) Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Fernando Cuartero
2017	J	`jnl`	Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources. IEEE Trans. Software Eng. Valentín Valero, Gregorio Díaz, María-Emilia Cambronero
2016	J	`jnl`	Complex Event Processing Modeling by Prioritized Colored Petri Nets. IEEE Access Hermenegilda Macià, Valentín Valero, Gregorio Díaz, Juan Boubeta-Puig, Guadalupe Ortiz
2016	B	`conf`	The Simulation Relation for Formal E-Contracts. SOFSEM Luis Llana, María-Emilia Cambronero, Gregorio Díaz
2015	C	`conf`	Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. FMICS Valentín Valero, Hermenegilda Macià, Gregorio Díaz, María-Emilia Cambronero
2015	Misc	`conf`	Model-checking verification of publish-subscribe architectures in web service contexts. SAC Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz
2014	—	`conf`	A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. SEFM Workshops José Antonio Mateo, Valentín Valero Ruiz, Hermenegilda Macià, Gregorio Díaz
2014	J	`jnl`	Specification and Verification of NormativeTexts Using C-O Diagrams. IEEE Trans. Software Eng. Gregorio Díaz, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider
2013	—	`conf`	Contract Compliance Monitoring of Web Services. ESOCC Gregorio Díaz, Luis Llana
2012	J	`jnl`	A centralized and a decentralized method to automatically derive choreography-conforming web service systems. J. Log. Algebraic Methods Program. Ismael Rodríguez, Gregorio Díaz, Pablo Rabanal, José Antonio Mateo
2012	J	`jnl`	BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources CoRR José Antonio Mateo, Valentín Valero, Gregorio Díaz
2012	—	`conf`	Conformance Verification of Normative Specifications using C-O Diagrams FLACOS Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo
2012	Misc	`conf`	Improving the Automatic Derivation of Choreography-conforming Web Services Systems. ICCS Pablo Rabanal, Ismael Rodríguez, José Antonio Mateo, Gregorio Díaz
2012	J	`jnl`	Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Sci. Comput. Program. Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz
2012	J	`jnl`	WST: a tool supporting timed composite Web Services Model transformation. Simul. María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, Llanos Tobarra
2011	—	`conf`	An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. WS-FM José Antonio Mateo, Valentín Valero, Gregorio Díaz
2011	A	`conf`	Contractually Compliant Service Compositions. ICSOC Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero
2011	A	`conf`	DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. ICWS Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, Gregorio Díaz
2011	—	`conf`	Timed Automata Semantics for Visual e-Contracts FLACOS Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider
2011	J	`jnl`	Validation and verification of Web services choreographies by using timed automata. J. Log. Algebraic Methods Program. María-Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez
2010	—	`conf`	A Model for Visual Specification of E-contracts. IEEE SCC Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider
2010	J	`jnl`	Verification of real-time systems design. Softw. Test. Verification Reliab. María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz
2009	—	`conf`	A Comparative Study between WSCI, WS-CDL, and OWL-S. ICEBE María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero
2009	J	`jnl`	A Petri net approach for the design and analysis of Web Services Choreographies. J. Log. Algebraic Methods Program. Valentín Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià
2009	J	`jnl`	A barred operational semantics for a subset of WS-CDL with time restrictions. J. Log. Algebraic Methods Program. Valentín Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià
2009	—	`conf`	Automatically Deriving Choreography-Conforming Systems of Services. IEEE SCC Gregorio Díaz, Ismael Rodríguez
2009	—	`conf`	Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. FMOODS/FORTE Gregorio Díaz, Ismael Rodríguez
2009	C	`conf`	Design and Verification of Web Services Compositions. ICIW Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentín Valero
2009	—	`conf`	Formal Study of Prioritized Service Compositions. SITIS César Andrés, Gregorio Díaz, Enrique Martínez, Yaofeng Zhang
2009	J	`jnl`	Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommun. Syst. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
2009	—	`ed.`	Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2009, 16-17 September 2009, Mérida, Spain TAMoCo Juan Enrique Agudo, Cherif Branki, Brian Cross, Gregorio Díaz, Frank-Dieter Dorloff, Guadalupe Ortiz, Key Pousttchi, Martin Randles, Mercedes Rico, Héctor Sánchez, A. Taleb-Bendiab, Frank Teuteberg, Rainer Unland
2009	—	`conf`	Time Ordering Architecture in SCA. TAMoCo Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz
2008	—	`conf`	Enhancing the expressivity of PADL for specifying Web Services Architectures. TAMoCo Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo
2008	—	`ed.`	Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14 - 15 January 2008 TAMoCo Cherif Branki, Brian Cross, Gregorio Díaz, Peter Langendörfer, Fritz Laux, Guadalupe Ortiz, Martin Randles, A. Taleb-Bendiab, Frank Teuteberg, Rainer Unland, Gerhard Wanner
2007	C	`conf`	Analysis of Web Services Secure Conversation with Formal Methods. ICIW Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
2007	—	`conf`	Does ROSA provide a good view of the Memorizing Process? IEEE ICCI Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Gregorio Díaz, Elena Nieto
2007	J	`jnl`	Model Checking Techniques applied to the design of Web Services. CLEI Electron. J. Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
2007	—	`conf`	Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. WSAN Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
2007	—	`conf`	Testing Time Goal-Driven Requirements with Model Checking Techniques. ECBS Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2007	Misc	`conf`	Using RT-UML for modelling web services. SAC María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentín Valero
2007	C	`conf`	Using UML Diagrams to Model Real-Time Web Services. ICIW María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero
2006	—	`conf`	Analysis and Verification of Time Requirements Applied to the Web Services Composition. WS-FM Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero, Fernando Cuartero
2006	—	`conf`	Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. AICT/ICIW Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
2006	—	`conf`	RT-UML for modeling Real-Time Web Services. SCW María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo
2005	Misc	`conf`	An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. SAC Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentín Valero
2005	—	`conf`	Application of Formal Methods to the Analysis of Web Services Security. EPEW/WS-FM Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
2005	—	`conf`	Automatic Translation of WS-CDL Choreographies to Timed Automata. EPEW/WS-FM Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2005	—	`conf`	Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. Australian Software Engineering Conference Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz
2005	—	`conf`	Verification of Web Services with Timed Automata. WWV Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2005	—	`conf`	Verification of Web Services with Timed Automata. WWV Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2004	Misc	`conf`	Automatic verification of the TLS handshake protocol. SAC Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2001	B	`conf`	Performance Issues of Deterministic and Adaptive Ghost-Packet Routers. ICPP María del Carmen Carrión, Gregorio Díaz, María Blanca Caminero