Marisa Llorens

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 8

Top Topics

Concurrent Programs

Tree Decompositions

Top Venues

Fundam. Informaticae

J. Log. Algebraic Methods Program.

PNSE@Petri Nets

Publications

Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited. ICSME (2023)
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
Slicing Petri Nets to Reduce Their Complexity - Abstract. ATAED/PN4TT@Petri Nets (2023)
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
Context-sensitive analysis of data interference for concurrent programs. PNSE@Petri Nets (2023)
Marisa Llorens, J. Oliver, Josep Silva, Salvador Tamarit
Maximal and Minimal Dynamic Petri Net Slicing. Fundam. Informaticae 188 (4) (2022)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Maximal and minimal dynamic Petri net slicing. CoRR (2021)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Tracking CSP computations. J. Log. Algebraic Methods Program. 102 (2019)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
An Integrated Environment for Petri Net Slicing. Petri Nets (2017)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Dynamic slicing of concurrent specification languages. Parallel Comput. 53 (2016)
Marisa Llorens, Edmund Nevin, Eileen Mageean
Online resource platform for mathematics education. FIE (2014)
Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
An empirical analysis of the influence of classmates on the academic performance. ITiCSE (2013)
Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
The influence of students distribution on their grades. ITiCSE (2013)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Generating a Petri net from a CSP specification: A semantics-based method. Adv. Eng. Softw. 50 (2012)
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Static slicing of explicitly synchronized languages. Inf. Comput. 214 (2012)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Graph Generation to Statically Represent CSP Processes. LOPSTR (2010)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
An algorithm to generate the context-sensitive synchronized control flow graph. SAC (2010)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
A Tracking Semantics for CSP. MPC (2010)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Translating CSP Specifications to Equivalent Petri Nets. PDPTA (2010)
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
SOC: a slicer for CSP specifications. PEPM (2009)
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
The MEB and CEB Static Analysis for CSP Specifications. LOPSTR (2008)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal
Dynamic Slicing Techniques for Petri Nets. Electron. Notes Theor. Comput. Sci. 223 (2008)
Marisa Llorens, Javier Oliver, Oscar Vega
Structural Dynamic Changes with CPNs. PDPTA (2008)
Marisa Llorens, Javier Oliver
Marked-Controlled Reconfigurable Workflow Nets. SYNASC (2006)
Marisa Llorens, Javier Oliver
A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006)
Marisa Llorens, Javier Oliver
MCReNet: a tool for Marked-Controlled Reconfigurable Nets. QEST (2005)
Marisa Llorens, Javier Oliver
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. ATVA (2004)
Marisa Llorens, Javier Oliver
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. IEEE Trans. Computers 53 (9) (2004)
Éric Badouel, Marisa Llorens, Javier Oliver
Modeling Concurrent Systems: Reconfigurable Nets. PDPTA (2003)