Fernando Rosa-Velardo

According to our database, Fernando Rosa-Velardo authored at least 32 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Introducing complexity to formal testing.

Ismael Rodríguez, Fernando Rosa-Velardo, Fernando Rubio

J. Log. Algebraic Methods Program., 2020

2017

Ordinal recursive complexity of Unordered Data Nets.

Fernando Rosa-Velardo

Inf. Comput., 2017

2015

Analysis of Asynchronous Programs with Event-Based Synchronization.

Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo

Proceedings of the Programming Languages and Systems, 2015

2014

Safety and Soundness for Priced Resource-Constrained Workflow Nets.

María Martos-Salgado, Fernando Rosa-Velardo

Fundam. Informaticae, 2014

Expressiveness of Dynamic Networks of Timed Petri Nets.

María Martos-Salgado, Fernando Rosa-Velardo

Proceedings of the Language and Automata Theory and Applications, 2014

Dynamic Networks of Timed Petri Nets.

María Martos-Salgado, Fernando Rosa-Velardo

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

On the coverability and reachability languages of monotonic extensions of Petri nets.

Giorgio Delzanno, Fernando Rosa-Velardo

Theor. Comput. Sci., 2013

Ordinal theory for expressiveness of well-structured transition systems.

Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo

Inf. Comput., 2013

Petri nets with name creation for transient secure association.

Fernando Rosa-Velardo

Acta Informatica, 2013

2012

Multiset rewriting for the verification of depth-bounded processes with name binding.

Fernando Rosa-Velardo, María Martos-Salgado

Inf. Comput., 2012

Cost Soundness for Priced Resource-Constrained Workflow Nets.

María Martos-Salgado, Fernando Rosa-Velardo

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Decidability and complexity of Petri nets with unordered data.

Fernando Rosa-Velardo, David de Frutos-Escrig

Theor. Comput. Sci., 2011

Accelerations for the Coverability Set of Petri Nets with Names.

Fernando Rosa-Velardo, María Martos-Salgado, David de Frutos-Escrig

Fundam. Informaticae, 2011

Dynamic Soundness in Resource-Constrained Workflow Nets.

María Martos-Salgado, Fernando Rosa-Velardo

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Decidability Problems in Petri Nets with Names and Replication.

Fernando Rosa-Velardo, David de Frutos-Escrig

Fundam. Informaticae, 2010

Decision Problems for Petri Nets with Names

Fernando Rosa-Velardo, David de Frutos-Escrig

CoRR, 2010

Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding.

Fernando Rosa-Velardo

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Depth Boundedness in Multiset Rewriting Systems with Name Binding.

Fernando Rosa-Velardo

Proceedings of the Reachability Problems, 4th International Workshop, 2010

Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data.

Fernando Rosa-Velardo, Giorgio Delzanno

Proceedings of the Language and Automata Theory and Applications, 2010

Forward Analysis for Petri Nets with Name Creation.

Fernando Rosa-Velardo, David de Frutos-Escrig

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication.

Fernando Rosa-Velardo, David de Frutos-Escrig

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Name Creation vs. Replication in Petri Net Systems.

Fernando Rosa-Velardo, David de Frutos-Escrig

Fundam. Informaticae, 2008

2007

Petri Nets for the Verification of Ubiquitous Systems with Transient Secure Association.

Fernando Rosa-Velardo

Proceedings of the Ubiquitous Intelligence and Computing, 4th International Conference, 2007

New Bisimulation Semantics for Distributed Systems.

David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Coding Mobile Synchronizing Petri Nets into Rewriting Logic.

Fernando Rosa-Velardo

Proceedings of the 7th International Workshop on Rule Based Programming, 2006

Replicated Ubiquitous Nets.

Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso

Proceedings of the Computational Science and Its Applications, 2006

Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets.

Fernando Rosa-Velardo, David de Frutos-Escrig

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Typed Mobile Ambients in Maude.

Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

On the Expressiveness of Mobile Synchronizing Petri Nets.

Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems.

Fernando Rosa-Velardo, Olga Marroquín Alonso, David de Frutos-Escrig

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

Ubiquitous Systems and Petri Nets.

David de Frutos-Escrig, Olga Marroquín Alonso, Fernando Rosa-Velardo

Proceedings of the Computational Science and Its Applications, 2005

2004

Tagged Systems: A Framework for the Specification of History-dependent Properties.

Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004