Jordi Cortadella

Available identifiers

zbMath Open cortadella.jordiDBLP98/290WikidataQ30122211 ScholiaQ30122211MaRDI QIDQ708893

List of research outcomes

Publication	Date of Publication	Type
Generation of synchronizing state machines from a transition system: a region-based approach	2023-06-21	Paper
Coupling asynchrony and interrupts: Place Chart Nets	2022-12-09	Paper
Verification of asynchronous circuits by BDD-based model checking of Petri nets	2022-08-16	Paper
Deriving Petri nets from finite transition systems	2018-07-09	Paper
Symbolic analysis of bounded Petri nets	2018-07-09	Paper
A Recursive Paradigm to Solve Boolean Relations	2017-08-08	Paper
New Region-Based Algorithms for Deriving Bounded Petri Nets	2017-07-27	Paper
A scheduling strategy for synchronous elastic designs	2012-07-04	Paper
On the performance evaluation of multi-guarded marked graphs with single-server semantics	2010-10-15	Paper
Design automation of real life asynchronous devices and systems	2010-09-21	Paper
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms	2009-03-11	Paper
Elasticity and Petri Nets	2009-02-03	Paper
Automating synthesis of asynchronous communication mechanisms	2007-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q5295510	2007-07-30	Paper
The octahedron abstract domain	2007-01-22	Paper
Lectures on Concurrency and Petri Nets	2005-12-23	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
Static Analysis	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4824479	2004-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q3045254	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4427917	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417601	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4547952	2003-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q2766547	2002-06-17	Paper
High-radix division and square-root with speculation	1994-01-01	Paper

Research outcomes over time

This page was built for person: Jordi Cortadella