Publications




DISCLAIMER

This directory contains postscript and PDF files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.



Ph. D.

Structural Methods for the Synthesis of Well-Formed Concurrent Specifications
Universitat Politècnica de Catalunya (UPC), March 2004.


JOURNALS


[CCK09]
Josep Carmona, Jordi Cortadella, and Mike Kishinevsky. New region-based algorithms for deriving bounded Petri nets. IEEE Transactions on Computers, 2009. [ bib | DOI ]
[CCKT09]
Josep Carmona, Jordi Cortadella, Mike Kishinevsky, and Alexander Taubin. Elastic circuits. IEEE Transactions on Computer-Aided Design, 28(10):1437-1455, October 2009. [ bib | DOI ]

[CKBCJ08]
Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez. Elasticity and Petri nets. LNCS Transactions on Petri Nets and Other Models of Concurrency, 5100:221-249, August 2008.
[CCTP08]
Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper. Formal Methods For the Analysis and Synthesis of Nanometer-Scale Cellular Arrays. ACM Journal of Emerging Technologies in Computing Systems, 4(2), April 2008.
[CC08]
Josep Carmona and Jordi Cortadella. Encoding large asynchronous controllers with ILP techniques. IEEE Transactions on Computer-Aided Design, 27(1):20-33, January 2008. [ bib | pdf ]
[CCCGV06]
Josep Carmona, José M. Colom, Jordi Cortadella, and Fernando García-Vallés. Synthesis of asynchronous controllers using integer linear programming. IEEE Transactions on Computer-Aided Design, 25(9):1637-1651, September 2006. [ bib | pdf ]
[CCP02]
Josep Carmona, Jordi Cortadella, and Enric Pastor. A structural encoding technique for the synthesis of asynchronous circuits. Fundamenta Informaticae, 50(2):135-154, March 2002. [ bib | pdf ]

BOOK CHAPTERS

[CCKY04]
Josep Carmona, Jordi Cortadella, Victor Khomenko, and Alex Yakovlev. Synthesis of asynchronous hardware from Petri nets. In J. Desel, W. Reisig, and G. Rozenberg, editors, Lectures on Concurrency and Petri Nets: Advances in Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 345-401. Springer-Verlag, 2004. [ bib | pdf ]
[CCP02]
Josep Carmona, Jordi Cortadella, and Enric Pastor. Synthesis of reactive systems: Application to asynchronous circuit design. In J. Cortadella, A. Yakovlev, and G. Rozenberg, editors, Advances in Concurrency and Hardware Design, volume 2549 of Lecture Notes in Computer Science, pages 108-151. Springer-Verlag, 2002. [ bib | pdf


CONFERENCES

[CCK09b]
J. Carmona,  J. Cortadella, M. Kishinevsky. Divide-and-Conquer Strategies for Process Mining In Proc. 7th International Conference on Business Process Management (BPM), September 2009. 
[CJCK09]
J. Carmona, Jorge Julvez, J. Cortadella, M. Kishinevsky. Scheduling synchronous elastic designs. In Proc. 9th International Conference on Application of Concurrency to System Design (ACSD), June 2009.  (Best Paper Award).
[CCK09a]
J. Carmona, J. Cortadella, M. Kishinevsky. Genet: a Tool for the Synthesis and Mining of Petri Nets . In Proc. 9th International Conference on Application of Concurrency to System Design (ACSD), June 2009. 
[FC08]
F. Fernández-Nogueira, J. Carmona. Logic Synthesis of Handshake Components using Clustering Techniques. In Proc. International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), September 2008.
[CCK08]
J. Carmona, J. Cortadella, M. Kishinevsky. A Region-Based Algorithm for Discovering Petri Nets from Event Logs. In Proc. 6th International Conference on Business Process Management (BPM), pages 358-373, September 2008. 
[CCKLKK08]
J. Carmona, J. Cortadella, M. Kishinevsky, L. Lavagno, A. Kondratyev, A. Yakovlev. A symbolic algorithm for the synthesis of bounded Petri nets. In Proc. International Conferences on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN), pages 92-111, June 2008. 
[CCTP06]
J. Carmona, J. Cortadella, Y. Takada, and F. Peper. From molecular interactions to gates: a systematic approach. In Proc. International Conf. Computer-Aided Design (ICCAD), November 2006. [ bib | pdf ]

[CC06]
J. Carmona and J. Cortadella. State encoding of large asynchronous controllers. In Proc. ACM/IEEE Design Automation Conference (DAC), pages 939-944, July 2006. [ bib | PPT | pdf ]
[CC03a]
J. Carmona and J. Cortadella. ILP models for the synthesis of asynchronous control circuits. In Proc. International Conf. Computer-Aided Design (ICCAD), pages 818-825, November 2003. [ bib | pdf ]

[CC02]
J. Carmona and J. Cortadella. Input/output compatibility of reactive systems. In M. Aagaard and J.W. O'Leary, editors, International Conference on Formal Methods in Computer-Aided Design (FMCAD), volume 2517 of Lecture Notes in Computer Science, pages 360-377. Springer-Verlag, November 2002. [ bib | pdf ]
[CCP01]
Josep Carmona, Jordi Cortadella, and Enric Pastor. A structural encoding technique for the synthesis of asynchronous circuits. In Int. Conf. on Application of Concurrency to System Design, pages 157-166, June 2001. [ bib | pdf ]

[BBCCLY00]
Ivan Blunno, Alex Bystrov, Josep Carmona, Jordi Cortadella, Luciano Lavagno, Alex Yakovlev. Direct synthesis of large-scale asynchronous controllers using a Petri-net-based approach. In  Asynchronous Circuit Design (ACiD)-WG Workshop, Grenoble, France, January 2000.  Click here for the slides.

TECHNICAL REPORTS

Logic Synthesis of Handshake Components using Clustering Techniques
F. Fernández, J.Carmona. Research Report LSI-08-8-R.  
Performance-preserving clustering of elastic controllers
J.Carmona, J. Júlvez, J. Cortadella, M. Kishinevsky. Research Report LSI-08-7-R.  

Interactive Behaviour of Multi-Component Systems.
J.Carmona, J. Kleijn. LIACS Technical Report TR 2004-04, 2004.

On the realization of reactive systems
J.Carmona, J.Cortadella. Research Report LSI-01-24-R.  

Natural Language Processing Publications (From 1997 to 1999)