Hermenegilda Macià

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 25

Top Topics

Complex Event Processing

Top Venues

Concurr. Comput. Pract. Exp.

FNC/MobiSPC/SEIT

Publications

Juan Ramón Rico-Juan, Cristina Cachero, Hermenegilda Macià
Study regarding the influence of a student's personality and an LMS usage profile on learning performance using machine learning techniques. Appl. Intell. 54 (8) (2024)
Gregorio Díaz, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero
ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies. J. Comput. Sci. 81 (2024)
Enrique Brazález, Gregorio Díaz, Hermenegilda Macià, Valentín Valero
Designing a Fault Detection System for Wind Turbine Control Monitoring Using CEP. IWANN (2) (2023)
Cristina Cachero, Juan Ramón Rico-Juan, Hermenegilda Macià
Influence of personality and modality on peer assessment evaluation perceptions using Machine Learning techniques. Expert Syst. Appl. 213 (Part) (2023)
Gregorio Díaz, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero
An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic. ICCS (1) (2023)
Valentín Valero, Gregorio Díaz, Juan Boubeta-Puig, Hermenegilda Macià, Enrique Brazález
A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions. IEEE Trans. Software Eng. 48 (7) (2022)
Hermenegilda Macià, Gregorio Díaz, Valentín Valero, Edelmira Valero, Enrique Brazález, Juan Boubeta-Puig
greenITS: a proposal to compute low-pollution routes. FNC/MobiSPC/SEIT (2022)
Enrique Brazález, Hermenegilda Macià, Gregorio Díaz, Valentín Valero, Juan Boubeta-Puig
PITS: An Intelligent Transportation System in pandemic times. Eng. Appl. Artif. Intell. 114 (2022)
Enrique Brazález, Hermenegilda Macià, Gregorio Díaz, María_Teresa Baeza_Romero, Edelmira Valero, Valentín Valero
FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic. Appl. Soft Comput. 129 (2022)
Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Fernando Cuartero
An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets. Neural Comput. Appl. 32 (2) (2020)
Gregorio Díaz, Enrique Brazález, Hermenegilda Macià, Juan Boubeta-Puig, Valentín Valero
An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios. IWANN (1) (2019)
Hermenegilda Macià, Gregorio Díaz, Juan Boubeta-Puig, Edelmira Valero, Valentín Valero
Combining Fuzzy Logic and CEP Technology to Improve Air Quality in Cities. ICCS (5) (2019)
Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Guadalupe Ortiz
Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool. Sci. Program. 2019 (2019)
M. Carmen Ruiz, Hermenegilda Macià, Javier L. Calleja
New Proposals to Improve a MAC Layer Protocol in Wireless Sensor Networks. Informatica 30 (1) (2019)
Juan Boubeta-Puig, Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Guadalupe Ortiz
MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets. Inf. Syst. 81 (2019)
María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz, Luis Orozco-Barbosa
Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets. IEEE Access 6 (2018)
Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. CoRR (2017)
Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Fernando Cuartero
Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets. IWANN (2) (2017)
M. Carmen Ruiz, Hermenegilda Macià, José Antonio Mateo, Francisco Javier Calleja
Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. ICCS (2016)
Hermenegilda Macià, Valentín Valero, Gregorio Díaz, Juan Boubeta-Puig, Guadalupe Ortiz
Complex Event Processing Modeling by Prioritized Colored Petri Nets. IEEE Access 4 (2016)
Edelmira Valero, Hermenegilda Macià, Ildefonso M. De la Fuente, José-Antonio Hernández, María-Isabel González-Sánchez, Francisco García-Carmona
Modeling the ascorbate-glutathione cycle in chloroplasts under light/dark conditions. BMC Syst. Biol. 10 (2016)
Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz
Model-checking verification of publish-subscribe architectures in web service contexts. SAC (2015)
Hermenegilda Macià, M. Carmen Ruiz, José Antonio Mateo, Javier L. Calleja
Petri nets-based model for the analysis of NORIA protocol. Concurr. Comput. Pract. Exp. 27 (17) (2015)
Valentín Valero, Hermenegilda Macià, Gregorio Díaz, María-Emilia Cambronero
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. FMICS (2015)
José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Javier L. Calleja, Fernando Royo
Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation. Int. J. Distributed Sens. Networks 11 (2015)
José Antonio Mateo, M. Carmen Ruiz, Hermenegilda Macià, Juan José Pardo
Formal Study of Routing Protocols for Wireless Sensor Networks. J. Univers. Comput. Sci. 20 (9) (2014)
José Antonio Mateo, Valentín Valero Ruiz, Hermenegilda Macià, Gregorio Díaz
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. SEFM Workshops (2014)
Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
Performance analysis of concurrent systems in algebra dtsiPBC. Program. Comput. Softw. 40 (5) (2014)
José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Juan José Pardo, A. M. Ortiz
Formal Study of a Novel Network Role-based Routing Intelligent Algorithm. ICCS (2013)
Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. Electron. Notes Theor. Comput. Sci. 296 (2013)
Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Sci. Comput. Program. 77 (3) (2012)
Hermenegilda Macià, María-Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero
Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. ACSD/Petri Nets Workshops (2010)
Valentín Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià
A Petri net approach for the design and analysis of Web Services Choreographies. J. Log. Algebraic Methods Program. 78 (5) (2009)
Valentín Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià
A barred operational semantics for a subset of WS-CDL with time restrictions. J. Log. Algebraic Methods Program. 78 (8) (2009)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià
Improving performance in flexible manufacturing systems. J. Log. Algebraic Methods Program. 78 (4) (2009)
Hermenegilda Macià, Valentín Valero, Fernando Cuartero, M. Carmen Ruiz
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. Fundam. Informaticae 87 (3-4) (2008)
Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig
A congruence relation for sPBC. Formal Methods Syst. Des. 32 (2) (2008)
Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
Introducing the Iteration in sPBC. FORTE (2004)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops (2004)
Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo
Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. MMM (2004)
Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo
A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD (2003)
Hermenegilda Macià, Valentín Valero, David de Frutos-Escrig
sPBC: A Markovian Extension of Finite Petri box calculus. PNPM (2001)