Marisa Llorens

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