Mirtha Lina Fernández Venero

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Coalition Logic

Discrete Event Systems

Top Venues

Softw. Syst. Model.

Publications

Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva
Model checking multi-level and recursive nets. Softw. Syst. Model. 16 (4) (2017)
Mirtha Lina Fernández Venero
Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments. EOMAS@CAiSE (2014)
Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva
A general translation from nested Petri nets into PROMELA. CoRR (2014)
Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva
On the Use of SPIN for Studying the Behavior of Nested Petri Nets. SBMF (2013)
Mirtha Lina Fernández Venero, Flávio Soares Corrêa da Silva
Modeling and Simulating Interaction Protocols Using Nested Petri Nets. SEFM Workshops (2013)
Flávio Soares Corrêa da Silva, Mirtha Lina Fernández Venero, Diego Mira David, Mohammad Saleem, Paul W. H. Chung
Interaction protocols for cross-organisational workflows. Knowl. Based Syst. 37 (2013)