|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 4 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Static slicing of explicitly synchronized languages.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
An algorithm to generate the context-sensitive synchronized control flow graph. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
CSCFG, CSP |
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Translating CSP Specifications to Equivalent Petri Nets. |
PDPTA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
A Tracking Semantics for CSP. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Graph Generation to Statically Represent CSP Processes. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
SOC: a slicer for CSP specifications. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
software engineering, program slicing |
| 1 | Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal |
Dynamic Slicing Techniques for Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver, Oscar Vega |
Structural Dynamic Changes with CPNs. |
PDPTA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
The MEB and CEB Static Analysis for CSP Specifications. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
Concurrent Programming, CSP, Program Slicing |
| 1 | Marisa Llorens, Javier Oliver |
A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver |
Marked-Controlled Reconfigurable Workflow Nets. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver |
MCReNet: a tool for Marked-Controlled Reconfigurable Nets. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver |
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marisa Llorens, Javier Oliver |
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Marisa Llorens, Javier Oliver |
Modeling Concurrent Systems: Reconfigurable Nets. |
PDPTA |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")