Cortadella, J.

• Júlvez, Jorge; Cortadella, Jordi; Kishinevsky, Michael:
  Performance analysis of concurrent systems with early evaluation. 2006.

• Cortadella, Jordi; Gorgônio, Kyller; Xia, Fei; Yakovlev, Alex:
  Automating Synthesis of Asynchronous Communication Mechanisms. 2005.

• Clarisó, Robert; Rodríguez-Carbonell, Enric; Cortadella, Jordi:
  Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. 2005.

• Carmona, Josep; Cortadella, Jordi; Khomenko, Victor; Yakovlev, Alex:
  Synthesis of Asynchronous Hardware from Petri Nets. 2004.

• Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Watanabe, Yosinori:
  Quasi-Static Scheduling for Concurrent Architectures. 2003.

• Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.:
  Logic synthesis of asynchronous controllers and interfaces. 2002.

• Carmona, Josep; Cortadella, Jordi:
  Input/Output Compatibility of Reactive Systems. 2002.

• Carmona, Josep; Cortadella, Jordi; Pastor, Enric:
  Synthesis of Reactive Systems: Application to Asynchronous Circuit Design. 2002.

• Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Passerone, Claudio; Watanabe, Yosinori:
  Quasi-Static Scheduling of Independent Tasks for Reactive Systems. 2002.

• Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex:
  Hardware and Petri Nets: Application to Asynchronous Circuit Design. 2000.

• Saito, H.; Kondratyev, A.; Cortadella, J.; Lavagno, L.; Yakovlev, A.:
  What is the cost of delay insensitivity?. 1999.

• Pastor, Enric; Cortadella, Jordi; Peña, Marco A.:
  Structural Methods to Improve the Symbolic Analysis of Petri Nets. 1999.

• Cortadella, J.; Kishinevsky, M.; Lavagno, L.; Yakovlev, A.:
  Deriving Petri nets from finite transition systems. 1998.

• Kondratyev, A.; Cortadella, J.; Kishinevsky, M.; Lavagno, L.; Taubin, A.; Yakovlev, A.:
  Identifying state coding conflicts in asynchronous system specification using Petri net unfoldings. 1998.

• Pastor, E.; Cortadella, J.; Kondratyev, A.; Roig, O.:
  Structural methods for the synthesis of speed-independent circuits. 1998.

• Kishinevsky, Michael; Cortadella, Jordi; Kondratyev, Alex; Lavagno, Luciano; Taubin, Alexander; Yakovlev, Alex:
  Coupling Asynchrony and Interrupts: Place Chart Nets. 1997.

• Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.:
  Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. 1997.

• Pena, M.A.; Cortadella, J.:
  Combining Process Algebras and Petri Nets for the Specification and Synthesis of Asynchronous Circuits. 1996.

• Cortadella, J.; Kishinevsky, M.; Lavagno, L.; Yakovlev, A.:
  Synthesizing Petri Nets from State-Based Models. 1995.

• Roig, O.; Cortadella, J.; Pastor, E.:
  Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. 1995.

• Pastor, E.; Roig, O.; Cortadella, J.; Badia, R.M.:
  Petri Net Analysis Using Boolean Manipulation. 1994.

Back to the Petri Nets Bibliography