Marisa Llorens

According to our database, Marisa Llorens authored at least 27 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited.

Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

Context-sensitive analysis of data interference for concurrent programs.

Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva

Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023

Slicing Petri Nets to Reduce Their Complexity - Abstract.

Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva

Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

2022

Maximal and Minimal Dynamic Petri Net Slicing.

Marisa Llorens, J. Oliver, Josep Silva, Salvador Tamarit

Fundam. Informaticae, 2022

2021

Maximal and minimal dynamic Petri net slicing.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

CoRR, 2021

2019

Tracking CSP computations.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

J. Log. Algebraic Methods Program., 2019

2017

An Integrated Environment for Petri Net Slicing.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Dynamic slicing of concurrent specification languages.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Parallel Comput., 2016

2014

Online resource platform for mathematics education.

Marisa Llorens, Edmund Nevin, Eileen Mageean

Proceedings of the IEEE Frontiers in Education Conference, 2014

2013

An empirical analysis of the influence of classmates on the academic performance.

Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

The influence of students distribution on their grades.

Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

2012

Static slicing of explicitly synchronized languages.

Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Inf. Comput., 2012

Generating a Petri net from a CSP specification: A semantics-based method.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Adv. Eng. Softw., 2012

2010

An algorithm to generate the context-sensitive synchronized control flow graph.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Translating CSP Specifications to Equivalent Petri Nets.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010

A Tracking Semantics for CSP.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Graph Generation to Statically Represent CSP Processes.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2009

SOC: a slicer for CSP specifications.

Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2008

Dynamic Slicing Techniques for Petri Nets.

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Structural Dynamic Changes with CPNs.

Marisa Llorens, Javier Oliver, Oscar Vega

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008

The MEB and CEB Static Analysis for CSP Specifications.

Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2006

A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets.

Marisa Llorens, Javier Oliver

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Marked-Controlled Reconfigurable Workflow Nets.

Marisa Llorens, Javier Oliver

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

2005

MCReNet: a tool for Marked-Controlled Reconfigurable Nets.

Marisa Llorens, Javier Oliver

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004

Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets.

Marisa Llorens, Javier Oliver

IEEE Trans. Computers, 2004

Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets.

Marisa Llorens, Javier Oliver

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Modeling Concurrent Systems: Reconfigurable Nets.

Éric Badouel, Marisa Llorens, Javier Oliver

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003