Fernando Rosa-Velardo

35 papers A 1B 6C 4Journal 13Unranked 11
YearRankTypeTitle / Venue / Authors
2020 J jnl
Introducing complexity to formal testing.
J. Log. Algebraic Methods Program.
Ismael Rodríguez, Fernando Rosa-Velardo, Fernando Rubio
2017 J jnl
Ordinal recursive complexity of Unordered Data Nets.
Inf. Comput.
Fernando Rosa-Velardo
2015 A conf
Analysis of Asynchronous Programs with Event-Based Synchronization.
ESOP
Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo
2015 J jnl
On the decidability of model checking LTL fragments in monotonic extensions of Petri nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
María Martos-Salgado, Fernando Rosa-Velardo
2014 B conf
Dynamic Networks of Timed Petri Nets.
Petri Nets
María Martos-Salgado, Fernando Rosa-Velardo
2014 C conf
Expressiveness of Dynamic Networks of Timed Petri Nets.
LATA
María Martos-Salgado, Fernando Rosa-Velardo
2014 J jnl
Safety and Soundness for Priced Resource-Constrained Workflow Nets.
Fundam. Informaticae
María Martos-Salgado, Fernando Rosa-Velardo
2013 J jnl
On the coverability and reachability languages of monotonic extensions of Petri nets.
Theor. Comput. Sci.
Giorgio Delzanno, Fernando Rosa-Velardo
2013 J jnl
Ordinal theory for expressiveness of well-structured transition systems.
Inf. Comput.
Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
2013 J jnl
Petri nets with name creation for transient secure association.
Acta Informatica
Fernando Rosa-Velardo
2012 B conf
Cost Soundness for Priced Resource-Constrained Workflow Nets.
Petri Nets
María Martos-Salgado, Fernando Rosa-Velardo
2012 J jnl
Multiset rewriting for the verification of depth-bounded processes with name binding.
Inf. Comput.
Fernando Rosa-Velardo, María Martos-Salgado
2011 J jnl
Accelerations for the Coverability Set of Petri Nets with Names.
Fundam. Informaticae
Fernando Rosa-Velardo, María Martos-Salgado, David de Frutos-Escrig
2011 J jnl
Decidability and complexity of Petri nets with unordered data.
Theor. Comput. Sci.
Fernando Rosa-Velardo, David de Frutos-Escrig
2011 — conf
Dynamic Soundness in Resource-Constrained Workflow Nets.
FMOODS/FORTE
María Martos-Salgado, Fernando Rosa-Velardo
2011 B conf
Ordinal Theory for Expressiveness of Well Structured Transition Systems.
FoSSaCS
Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo
2010 J jnl
Decidability Problems in Petri Nets with Names and Replication.
Fundam. Informaticae
Fernando Rosa-Velardo, David de Frutos-Escrig
2010 J jnl
Decision Problems for Petri Nets with Names
CoRR
Fernando Rosa-Velardo, David de Frutos-Escrig
2010 — conf
Depth Boundedness in Multiset Rewriting Systems with Name Binding.
RP
Fernando Rosa-Velardo
2010 B conf
Forward Analysis for Petri Nets with Name Creation.
Petri Nets
Fernando Rosa-Velardo, David de Frutos-Escrig
2010 C conf
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data.
LATA
Fernando Rosa-Velardo, Giorgio Delzanno
2010 — conf
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding.
WRLA
Fernando Rosa-Velardo
2009 B conf
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication.
Petri Nets
Fernando Rosa-Velardo, David de Frutos-Escrig
2008 J jnl
Name Creation vs. Replication in Petri Net Systems.
Fundam. Informaticae
Fernando Rosa-Velardo, David de Frutos-Escrig
2007 — conf
Name Creation vs. Replication in Petri Net Systems.
ICATPN
Fernando Rosa-Velardo, David de Frutos-Escrig
2007 C conf
New Bisimulation Semantics for Distributed Systems.
FORTE
David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez
2007 C conf
Petri Nets for the Verification of Ubiquitous Systems with Transient Secure Association.
UIC
Fernando Rosa-Velardo
2006 — conf
Coding Mobile Synchronizing Petri Nets into Rewriting Logic.
RULE@FLoC
Fernando Rosa-Velardo
2006 — conf
Replicated Ubiquitous Nets.
ICCSA (4)
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso
2006 B conf
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.
ATVA
Fernando Rosa-Velardo, David de Frutos-Escrig
2005 — conf
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems.
MTCoord@COORDINATION
Fernando Rosa-Velardo, Olga Marroquín Alonso, David de Frutos-Escrig
2005 — conf
On the Expressiveness of Mobile Synchronizing Petri Nets.
SecCO@CONCUR
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso
2005 — conf
Typed Mobile Ambients in Maude.
RULE@RDP
Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo
2005 — conf
Ubiquitous Systems and Petri Nets.
ICCSA (2)
David de Frutos-Escrig, Olga Marroquín Alonso, Fernando Rosa-Velardo
2004 — conf
Tagged Systems: A Framework for the Specification of History-dependent Properties.
PROLE
Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig