Fernando Rosa-Velardo

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 2

Top Topics

Timed Petri Nets

Dynamic Networks

Top Venues

J. Log. Algebraic Methods Program.

Fundam. Informaticae

Publications

Ismael Rodríguez, Fernando Rosa-Velardo, Fernando Rubio
Introducing complexity to formal testing. J. Log. Algebraic Methods Program. 111 (2020)
Fernando Rosa-Velardo
Ordinal recursive complexity of Unordered Data Nets. Inf. Comput. 254 (2017)
Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo
Analysis of Asynchronous Programs with Event-Based Synchronization. ESOP (2015)
María Martos-Salgado, Fernando Rosa-Velardo
Expressiveness of Dynamic Networks of Timed Petri Nets. LATA (2014)
María Martos-Salgado, Fernando Rosa-Velardo
Safety and Soundness for Priced Resource-Constrained Workflow Nets. Fundam. Informaticae 131 (1) (2014)
María Martos-Salgado, Fernando Rosa-Velardo
Dynamic Networks of Timed Petri Nets. Petri Nets (2014)
Giorgio Delzanno, Fernando Rosa-Velardo
On the coverability and reachability languages of monotonic extensions of Petri nets. Theor. Comput. Sci. 467 (2013)
Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
Ordinal theory for expressiveness of well-structured transition systems. Inf. Comput. 224 (2013)
Fernando Rosa-Velardo
Petri nets with name creation for transient secure association. Acta Informatica 50 (7-8) (2013)
María Martos-Salgado, Fernando Rosa-Velardo
Cost Soundness for Priced Resource-Constrained Workflow Nets. Petri Nets (2012)
Fernando Rosa-Velardo, María Martos-Salgado
Multiset rewriting for the verification of depth-bounded processes with name binding. Inf. Comput. 215 (2012)
Fernando Rosa-Velardo, David de Frutos-Escrig
Decidability and complexity of Petri nets with unordered data. Theor. Comput. Sci. 412 (34) (2011)
María Martos-Salgado, Fernando Rosa-Velardo
Dynamic Soundness in Resource-Constrained Workflow Nets. FMOODS/FORTE (2011)
Fernando Rosa-Velardo, María Martos-Salgado, David de Frutos-Escrig
Accelerations for the Coverability Set of Petri Nets with Names. Fundam. Informaticae 113 (3-4) (2011)
Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
Ordinal Theory for Expressiveness of Well Structured Transition Systems. FoSSaCS (2011)
Fernando Rosa-Velardo, Giorgio Delzanno
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. LATA (2010)
Fernando Rosa-Velardo, David de Frutos-Escrig
Forward Analysis for Petri Nets with Name Creation. Petri Nets (2010)
Fernando Rosa-Velardo, David de Frutos-Escrig
Decidability Problems in Petri Nets with Names and Replication. Fundam. Informaticae 105 (3) (2010)
Fernando Rosa-Velardo
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding. WRLA (2010)
Fernando Rosa-Velardo, David de Frutos-Escrig
Decision Problems for Petri Nets with Names CoRR (2010)
Fernando Rosa-Velardo
Depth Boundedness in Multiset Rewriting Systems with Name Binding. RP (2010)
Fernando Rosa-Velardo, David de Frutos-Escrig
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. Petri Nets (2009)
Fernando Rosa-Velardo, David de Frutos-Escrig
Name Creation vs. Replication in Petri Net Systems. Fundam. Informaticae 88 (3) (2008)
David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez
New Bisimulation Semantics for Distributed Systems. FORTE (2007)
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso
On the Expressiveness of Mobile Synchronizing Petri Nets. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)
Fernando Rosa-Velardo
Petri Nets for the Verification of Ubiquitous Systems with Transient Secure Association. UIC (2007)
Fernando Rosa-Velardo
Coding Mobile Synchronizing Petri Nets into Rewriting Logic. Electron. Notes Theor. Comput. Sci. 174 (1) (2007)
Fernando Rosa-Velardo, David de Frutos-Escrig
Name Creation vs. Replication in Petri Net Systems. ICATPN (2007)
Fernando Rosa-Velardo, Olga Marroquín Alonso, David de Frutos-Escrig
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems. Electron. Notes Theor. Comput. Sci. 150 (1) (2006)
Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo
Typed Mobile Ambients in Maude. Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso
Replicated Ubiquitous Nets. ICCSA (4) (2006)
Fernando Rosa-Velardo, David de Frutos-Escrig
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets. ATVA (2006)
Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig
Tagged Systems: A Framework for the Specification of History-dependent Properties. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
David de Frutos-Escrig, Olga Marroquín Alonso, Fernando Rosa-Velardo
Ubiquitous Systems and Petri Nets. ICCSA (2) (2005)