Marisa Llorens

	2012
15		Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: Static slicing of explicitly synchronized languages. Inf. Comput. 214: 10-46 (2012)
	2010
14		Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: Graph Generation to Statically Represent CSP Processes. LOPSTR 2010: 52-66
13		Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: A Tracking Semantics for CSP. MPC 2010: 248-270
12		Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: Translating CSP Specifications to Equivalent Petri Nets. PDPTA 2010: 320-326
11		Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: An algorithm to generate the context-sensitive synchronized control flow graph. SAC 2010: 2144-2148
	2009
10		Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: SOC: a slicer for CSP specifications. PEPM 2009: 165-168
	2008
9		Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit: The MEB and CEB Static Analysis for CSP Specifications. LOPSTR 2008: 103-118
8		Marisa Llorens, Javier Oliver, Oscar Vega: Structural Dynamic Changes with CPNs. PDPTA 2008: 149-156
7		Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal: Dynamic Slicing Techniques for Petri Nets. Electr. Notes Theor. Comput. Sci. 223: 153-165 (2008)
	2006
6		Marisa Llorens, Javier Oliver: Marked-Controlled Reconfigurable Workflow Nets. SYNASC 2006: 407-413
5		Marisa Llorens, Javier Oliver: A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets. ECEASST 2: (2006)
	2005
4		Marisa Llorens, Javier Oliver: MCReNet: a tool for Marked-Controlled Reconfigurable Nets. QEST 2005: 255-256
	2004
3		Marisa Llorens, Javier Oliver: Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. ATVA 2004: 310-323
2		Marisa Llorens, Javier Oliver: Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. IEEE Trans. Computers 53(9): 1147-1158 (2004)
	2003
1		Eric Badouel, Marisa Llorens, Javier Oliver: Modeling Concurrent Systems: Reconfigurable Nets. PDPTA 2003: 1568-1574

Coauthor Index

1	Eric Badouel	[1]
2	Michael Leuschel	[9] [10] [15]
3	Javier Oliver	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
4	Josep Silva	[7] [9] [10] [11] [12] [13] [14] [15]
5	Salvador Tamarit	[7] [9] [10] [11] [12] [13] [14] [15]
6	Oscar Vega	[8]
7	Germán Vidal	[7]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page