Hermenegilda Macià

42 papers B 1C 2Misc 3Journal 24Unranked 12

Year	Rank	Type	Title / Venue / Authors
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
2024	J	`jnl`	Study regarding the influence of a student's personality and an LMS usage profile on learning performance using machine learning techniques. Appl. Intell. Juan Ramón Rico-Juan, Cristina Cachero, Hermenegilda Macià
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
2023	J	`jnl`	Influence of personality and modality on peer assessment evaluation perceptions using Machine Learning techniques. Expert Syst. Appl. Cristina Cachero, Juan Ramón Rico-Juan, Hermenegilda Macià
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	—	`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
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
2019	J	`jnl`	New Proposals to Improve a MAC Layer Protocol in Wireless Sensor Networks. Informatica M. Carmen Ruiz, Hermenegilda Macià, Javier L. Calleja
2018	J	`jnl`	Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets. IEEE Access María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz, Luis Orozco-Barbosa
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`	Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. CoRR Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
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	Misc	`conf`	Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. ICCS M. Carmen Ruiz, Hermenegilda Macià, José Antonio Mateo, Francisco Javier Calleja
2016	J	`jnl`	Modeling the ascorbate-glutathione cycle in chloroplasts under light/dark conditions. BMC Syst. Biol. Edelmira Valero, Hermenegilda Macià, Ildefonso Martinez de la Fuente, José-Antonio Hernández, María-Isabel González-Sánchez, Francisco García-Carmona
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
2015	J	`jnl`	Petri nets-based model for the analysis of NORIA protocol. Concurr. Comput. Pract. Exp. Hermenegilda Macià, M. Carmen Ruiz, José Antonio Mateo, Javier L. Calleja
2015	J	`jnl`	Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation. Int. J. Distributed Sens. Networks José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Javier L. Calleja, Fernando Royo
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`	Formal Study of Routing Protocols for Wireless Sensor Networks. J. Univers. Comput. Sci. José Antonio Mateo, M. Carmen Ruiz, Hermenegilda Macià, Juan José Pardo
2014	J	`jnl`	Performance analysis of concurrent systems in algebra dtsiPBC. Program. Comput. Softw. Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
2013	Misc	`conf`	Formal Study of a Novel Network Role-based Routing Intelligent Algorithm. ICCS José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Juan José Pardo, A. M. Ortiz
2012	—	`conf`	Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. PASM/PDMC Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
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
2010	—	`conf`	Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. ACSD/Petri Nets Workshops Hermenegilda Macià, María-Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira 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	J	`jnl`	Improving performance in flexible manufacturing systems. J. Log. Algebraic Methods Program. M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià
2008	J	`jnl`	A congruence relation for sPBC. Formal Methods Syst. Des. Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig
2008	J	`jnl`	sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. Fundam. Informaticae Hermenegilda Macià, Valentín Valero, Fernando Cuartero, M. Carmen Ruiz
2004	—	`conf`	A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
2004	B	`conf`	Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. MMM Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo
2004	C	`conf`	Introducing the Iteration in sPBC. FORTE Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
2003	—	`conf`	A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo
2001	—	`conf`	sPBC: A Markovian Extension of Finite Petri box calculus. PNPM Hermenegilda Macià, Valentín Valero, David de Frutos-Escrig