Publications

2017  2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004 

  • 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

  • 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.

  • 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]