Fernando Rosa-Velardo

Available identifiers

zbMath Open rosa-velardo.fernandoDBLP48/6792WikidataQ57422387 ScholiaQ57422387MaRDI QIDQ529042

List of research outcomes

Publication	Date of Publication	Type
Introducing complexity to formal testing	2020-01-31	Paper
Ordinal recursive complexity of unordered data nets	2017-05-18	Paper
Analysis of Asynchronous Programs with Event-Based Synchronization	2016-04-26	Paper
Petri nets with name creation for transient secure association	2014-08-01	Paper
Dynamic Networks of Timed Petri Nets	2014-07-08	Paper
Safety and Soundness for Priced Resource-Constrained Workflow Nets	2014-05-12	Paper
Expressiveness of Dynamic Networks of Timed Petri Nets	2014-03-31	Paper
On the expressiveness of mobile synchronizing Petri nets	2013-12-06	Paper
Coding mobile synchronizing Petri nets into rewriting logic	2013-12-06	Paper
Typed mobile ambients in Maude	2013-12-04	Paper
Tagged systems: a framework for the specification of history-dependent properties	2013-09-27	Paper
Ordinal theory for expressiveness of well-structured transition systems	2013-06-06	Paper
On the coverability and reachability languages of monotonic extensions of Petri nets	2013-02-19	Paper
Multiset rewriting for the verification of depth-bounded processes with name binding	2012-10-11	Paper
Cost Soundness for Priced Resource-Constrained Workflow Nets	2012-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3225720	2012-03-22	Paper
Decidability and complexity of Petri nets with unordered data	2011-07-29	Paper
Ordinal Theory for Expressiveness of Well Structured Transition Systems	2011-05-19	Paper
Decidability Problems in Petri Nets with Names and Replication	2011-03-28	Paper
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding	2010-10-12	Paper
Depth Boundedness in Multiset Rewriting Systems with Name Binding	2010-08-31	Paper
Forward Analysis for Petri Nets with Name Creation	2010-06-22	Paper
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data	2010-05-26	Paper
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication	2009-06-30	Paper
Name Creation vs. Replication in Petri Net Systems	2009-03-11	Paper
New Bisimulation Semantics for Distributed Systems	2009-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3601864	2009-02-12	Paper
Replicated Ubiquitous Nets	2009-02-12	Paper
Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets	2008-09-04	Paper

Research outcomes over time

This page was built for person: Fernando Rosa-Velardo