Introducing Complexity to Formal Testing.
Ismael Rodríguez, Fernando Rosa-Velardo, Fernando Rubio.
Journal of Logic and Algebraic Methods in Programming, vol. 111 (2020). DOI 10.1016/j.jlamp.2019.100502
Ordinal Recursive Complexity of Unordered Data Nets.
Fernando Rosa-Velardo.
Information and Computation, vol. 254, pp. 41-58 (2017). DOI 10.1016/j.ic.2017.02.002
[PDF]
Analysis of Asynchronous Programs with Event-Based Synchronization.
Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo.
In 24th European Symposium on Programming, ESOP 2015. LNCS vol. 9032, pp. 535-559. Springer, 2015.
Ordinal Recursive Complexity of Unordered Data Nets.
Fernando Rosa-Velardo.
Sistemas Informáticos y Computación, Technical Report 04/14 (2014)
[PDF]
Dynamic Networks of Timed Petri Nets.
María Martos-Salgado, Fernando Rosa-Velardo.
In 35th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2014.
[PDF] (long version)
Expressiveness of Dynamic Networks of Timed Petri Nets.
María Martos-Salgado, Fernando Rosa-Velardo.
In 8th International Conference on Language and Automata Theory and Applications, LATA 2014. LNCS vol. 8370, pp. 516-527. Springer, 2014.
Safety and soundness for priced resource-constrained workflow nets.
María Martos-Salgado, Fernando Rosa-Velardo.
Fundamenta Informaticae, vol. 131(1), pp. 55-80. IOS Press, 2014.
[PDF]
Ordinal Theory for Expressiveness of Well Structured Transition Systems.
Remi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo.
Information and Computation, vol. 224, pp. 1-22. Elsevier, 2013.
[PDF]
On the coverability and reachability languages of monotonic extensions of Petri Nets.
Giorgio Delzanno, Fernando Rosa-Velardo.
Theoretical Computer Science, vol. 467, pp. 12-29. Elsevier, 2013.
[PDF]
Petri nets with name creation for transient secure association.
Fernando Rosa-Velardo.
Acta Informatica, vol. 50(7-8), pp. 403-436. Springer, 2013.
[PDF]
Multiset Rewriting for the Verification of Depth-Bounded Processes with Name Binding.
Fernando Rosa-Velardo, María Martos-Salgado.
Information and Computation, vol. 215, pp. 68-87. Elsevier, 2012.
[PDF]
Cost Soundness for Priced Resource-Constrained Workflow nets.
María Martos-Salgado, Fernando Rosa-Velardo.
In 33rd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2012.
LNCS 7347, pp. 108-127. Springer, 2012.
[PDF] (long version)
Dynamic soundness in Resource-Constrained Workflow Nets.
María Martos-Salgado, Fernando Rosa-Velardo.
In 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS'11,
and 30th IFIP WG 6.1 International Conference on FORmal TEchniques for Networked and Distributed Systems, FORTE'11.
LNCS 6722, pp. 259-273. Springer, 2011.
[PDF]
Ordinal Theory for Expressiveness of Well Structured Transition Systems.
Remi Bonnet, Alain Finkel, Serge Haddad and Fernando Rosa-Velardo.
In 14th International Conference on Foundations of Software Sciences and Computation Structures, FOSSACS'11. LNCS 6604, pp. 153-167. Springer, 2011.
[PDF]
Accelerations for the coverability set of Petri nets with names.
Fernando Rosa-Velardo, María Martos-Salgado, David de Frutos-Escrig.
Fundamenta Informaticae, vol. 113(3-4), pp. 313-341. IOS Press, 2011.
[PDF]
Decidability and Complexity of Petri Nets with Unordered Data.
Fernando Rosa-Velardo, and David de Frutos-Escrig.
Theoretical Computer Science, vol. 412, Issue 34. Elsevier, 2011.
[PDF]
Comparing Petri Data Nets and Timed Petri Nets.
Remmi Bonnet, Alain Finkel, Serge Haddad, and Fernando Rosa-Velardo.
Research Report LSV-10-23, Laboratoire Spécification et Vérification, ENS Cachan, 2010.
[PDF]
Depth boundedness in multiset rewriting systems with name binding.
Fernando Rosa-Velardo.
In 4th Workshop on Reachability Problems, RP 2010. LNCS 6227, pp. 161-175. Springer, 2010. [PDF]
Decidability problems in Petri nets with names and replication.
Fernando Rosa-Velardo, and David de Frutos-Escrig.
Fundamenta Informaticae, vol. 105(3), pp. 291-317. IOS Press, 2010. [PDF]
Forward analysis for Petri nets with name creation.
Fernando Rosa-Velardo, and David de Frutos-Escrig.
In 31st International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010. LNCS vol. 6128, pp. 185-205. Springer, 2010. [PDF]
Language-based Comparison of Nets with Black Tokens, Pure Names and Ordered Data.
Fernando Rosa-Velardo, and Giorgio Delzanno.
In 4th International Conference on Language and Automata Theory and Applications, LATA 2010. LNCS vol. 6031, pp. 524-535. Springer, 2010. [PDF]
Multiset rewriting: a semantic framework for concurrency with name binding.
Fernando Rosa-Velardo.
In 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010. LNCS vol. 6381, pp. 191-207. Springer, 2010. [PDF]
Decidability results for restricted models of Petri nets with name creation and replication.
Fernando Rosa-Velardo, and David de Frutos-Escrig.
In 30th International Conference on Application and Theory of Petri Nets and other models of concurrency, ATPN'09. LNCS vol. 5606, pp. 63-82. Springer, 2009. Best paper award. [PDF]
Name Creation vs. Replication in Petri Net Systems.
Fernando Rosa-Velardo, and David de Frutos-Escrig.
Fundamenta Informaticae, vol. 88(3), pp. 329-356. IOS Press, 2008. [PDF]
Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos. Fernando Rosa-Velardo.
PhD thesis, Facultad de Ciencias Matemáticas, Universidad Complutense de Madrid, 2007.
[PS][PDF]
New Bisimulation Semantics for Distributed Systems.
David de Frutos-Escrig, Fernando Rosa-Velardo, and Carlos Gregorio-Rodríguez.
In 27th International Conference on Formal Methods for Networked and Distributed Systems, FORTE'07. LNCS vol. 4574, pp. 143-159. Springer, 2007.
[PS][PDF]
Petri nets for the verification of Ubiquitous Systems with Transient Secure Association. Fernando Rosa-Velardo.
In 4th International Conference on Ubiquitous Intelligence and Computing, UIC'07. LNCS vol. 4611, pp. 1148-1158. Springer, 2007. [PDF]
Name creation vs. Replication in Petri Net Systems.
Fernando Rosa-Velardo, and David de Frutos-Escrig.
In 28th International Conference on Application and Theory of Petri Nets and other models of concurrency, ATPN'07.
LNCS vol. 4546, pp. 402-422. Springer, 2007. [PDF]
Coding Mobile Synchronizing Nets into Rewriting Logic.
Fernando Rosa-Velardo.
In 7th International Workshop on Rule-Based Programming, Rule'06. ENTCS vol. 174, Issue 1, pp. 83-98. Elsevier 2007.
[PDF]
Symbolic Semantics for the verification of security properties of mobile Petri Nets.
Fernando Rosa-Velardo, and David de Frutos-Escrig.
In 4th International Symposium on Automated Technology for Verification and Analysis, ATVA'06. LNCS vol. 4218, pp. 461-476. Springer, 2006.
[PS]
Replicated Ubiquitous Nets.
Fernando Rosa-Velardo, David de Frutos-Escrig, and Olga Marroquín-Alonso.
In Ubiquitous Systems and Intelligence, UWSI'06. LNCS vol. 3983, pp. 158-168. Springer, 2006. [PDF]
On the expressiveness of Mobile Synchronizing Petri Nets.
Fernando Rosa-Velardo, David de Frutos-Escrig, and Olga Marroquín-Alonso.
In 3rd International Workshop on Security Issues in Concurrency, SECCO'05.
ENTCS vol. 180, Issue 1, pp. 77-94. Elsevier, 2007. [PDF]
Mobile Synchronizing Petri Nets: a choreographic approach for coordination in Ubiquitous Systems.
Fernando Rosa-Velardo, Olga Marroquín-Alonso, and David de Frutos-Escrig.
In 1st International Workshop
on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCOORD'05. ENTCS vol. 150,
Issue 1, pp. 103-126. Elsevier, 2006. [PDF]
Typed Mobile Ambients in Maude.
Fernando Rosa-Velardo, Clara Segura, and Alberto Verdejo.
In 6th International Workshop on Rule-Based Programming, RULE'05. ENTCS vol. 147, Issue 1, pp. 136-161. Elsevier, 2006.
[Technical Report and Maude code]
Un Campus Virtual Alternativo.
José Miguel Cleva, Carlos Gregorio-Rodríguez, Fernando Rosa-Velardo.
II Jornadas de Campus Virtual UCM, pp. 222-232. Editorial Complutense, 2005. [PDF]
Ubiquitous Systems and Petri Nets.
David de Frutos-Escrig, Olga Marroquín-Alonso, and Fernando Rosa-Velardo.
In Ubiquitous Systems and Intelligence, UWSI'05. LNCS vol. 3841, pp. 1156-1166. Springer, 2005.
[PDF]
Tagged Systems: a framework for the
specification of history dependent properties.
Fernando Rosa-Velardo, Clara Segura, and David de Frutos-Escrig.
In 4th Spanish Conference on Programming and Computer
Languages, PROLE'04. ENTCS vol. 137, Issue 1, pp. 151-174. Elsevier, 2005. [PS]
Typing techniques for security in mobile agent systems.
Fernando Rosa-Velardo.
Master Thesis. Dept. Sistemas Informáticos y Programación,
Universidad Complutense de Madrid, 2004. [PDF]
