Publications

2016

  • Wil M. P. van der Aalst, Robin Bergenthum, and Josep Carmona, editors. Proceedings of the International Workshop on Algorithms {\&} Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design {ACSD} 2016, Torun, Poland, June 20-21, 2016, volume 1592 of {CEUR} Workshop Proceedings, CEUR-WS.org, 2016. URL: http://ceur-ws.org/Vol-1592.
    Bibtex ]

  • Thomas Chatain and Josep Carmona. Anti-alignments in conformance checking - the dark side of process models. In Application and Theory of Petri Nets and Concurrency - 37th International Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24, 2016. Proceedings, 240–258. 2016. doi:10.1007/978-3-319-39086-4_15.
    Bibtex ]

  • Julius Holderer, Josep Carmona, and G{\"{u}}nter M{\"{u}}ller. Security-sensitive tackling of obstructed workow executions. In Proceedings of the International Workshop on Algorithms {\&} Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design {ACSD} 2016, Torun, Poland, June 20-21, 2016., 126–137. 2016.
    Bibtex ] [ PDF ]

  • Mar{í}a Teresa G{\'{o}}mez L{\'{o}}pez, Diana Borrego, Josep Carmona, and Rafael M. Gasca. Computing alignments with constraint programming: the acyclic case. In Proceedings of the International Workshop on Algorithms {\&} Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design {ACSD} 2016, Torun, Poland, June 20-21, 2016., 96–110. 2016.
    Bibtex ] [ PDF ]

  • Andrey Mokhov, Josep Carmona, and Jonathan Beaumont. Mining conditional partial order graphs from event logs. T. Petri Nets and Other Models of Concurrency, 11:114–136, 2016. URL: http://dx.doi.org/10.1007/978-3-662-53401-4_6, doi:10.1007/978-3-662-53401-4_6.
    Bibtex ]

  • Joel Ribeiro and Josep Carmona. A method for assessing parameter impact on control-flow discovery algorithms. T. Petri Nets and Other Models of Concurrency, 11:181–202, 2016. URL: http://dx.doi.org/10.1007/978-3-662-53401-4_9, doi:10.1007/978-3-662-53401-4_9.
    Bibtex ]

  • Timo Sztyler, Josep Carmona, Johanna V{\"{o}}lker, and Heiner Stuckenschmidt. Self-tracking reloaded: applying process mining to personalized health care from labeled sensor data. T. Petri Nets and Other Models of Concurrency, 11:160–180, 2016. URL: http://dx.doi.org/10.1007/978-3-662-53401-4_8, doi:10.1007/978-3-662-53401-4_8.
    Bibtex ]

  • Farbod Taymouri and Josep Carmona. A recursive paradigm for aligning observed behavior of large structured process models. In Business Process Management - 14th International Conference, {BPM} 2016, Rio de Janeiro, Brazil, September 18 - September 22, 2016, Proceedings. 2016.
    Bibtex ]

  • Maurice H. ter Beek, Josep Carmona, and Jetty Kleijn. Conditions for compatibility of components. the case of masters and slaves. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), Corfu, Greece, October 5 -- October 14, 2016, Proceedings. 2016.
    Bibtex ]

  • Boudewijn F. van Dongen, Josep Carmona, and Thomas Chatain. A unified approach for measuring precision and generalization based on anti-alignments. In Business Process Management - 14th International Conference, {BPM} 2016, Rio de Janeiro, Brazil, September 18 - September 22, 2016, Proceedings. 2016.
    Bibtex ]

2015

  • Wil M. P. van der Aalst, Robin Bergenthum, and Josep Carmona, editors. Proceedings of the International Workshop on Algorithms {\&} Theories for the Analysis of Event Data, {ATAED} 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015, volume 1371 of {CEUR} Workshop Proceedings, CEUR-WS.org, 2015. URL: http://ceur-ws.org/Vol-1371.
    Bibtex ]

  • Arya Adriansyah, Jorge Munoz{-}Gama, Josep Carmona, Boudewijn F. van Dongen, and Wil M. P. van der Aalst. Measuring precision of modeled behavior. Inf. Syst. E-Business Management, 13(1):37–67, 2015. doi:10.1007/s10257-014-0234-7.
    Bibtex ]

  • Javier de San Pedro, Josep Carmona, and Jordi Cortadella. Log-based simplification of process models. In Business Process Management - 13th International Conference, {BPM} 2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings, 457–474. 2015. doi:10.1007/978-3-319-23063-4_30.
    Bibtex ]

  • Andrey Mokhov and Josep Carmona. Event log visualisation with conditional partial order graphs: from control flow to data. In Proceedings of the International Workshop on Algorithms {\&} Theories for the Analysis of Event Data, {ATAED} 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015., 16–30. 2015. URL: http://ceur-ws.org/Vol-1371/paper02.pdf.
    Bibtex ]

  • Joel Ribeiro and Josep Carmona. A method for assessing parameter impact on control-flow discovery algorithms. In Proceedings of the International Workshop on Algorithms {\&} Theories for the Analysis of Event Data, {ATAED} 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015., 83–96. 2015. URL: http://ceur-ws.org/Vol-1371/paper07.pdf.
    Bibtex ]

  • Timo Sztyler, Johanna V{\"{o}}lker, Josep Carmona, Oliver Meier, and Heiner Stuckenschmidt. Discovery of personal processes from labeled sensor data - an application of process mining to personalized health care. In Proceedings of the International Workshop on Algorithms {\&} Theories for the Analysis of Event Data, {ATAED} 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015., 31–46. 2015. URL: http://ceur-ws.org/Vol-1371/paper03.pdf.
    Bibtex ]

  • Maurice H. ter Beek, Josep Carmona, and Jetty Kleijn. Communication and compatibility in systems of systems: correctness-by-construction. {ERCIM} News, 2015. URL: http://ercim-news.ercim.eu/en102/special/communication-and-compatibility-in-systems-of-systems-correctness-by-construction.
    Bibtex ]

  • Hern{\'{a}}n {Ponce de Le{\'{o}}n}, Josep Carmona, and Seppe K. L. M. vanden Broucke. Incorporating negative information in process discovery. In Business Process Management - 13th International Conference, {BPM} 2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings, 126–143. 2015. doi:10.1007/978-3-319-23063-4_8.
    Bibtex ]

  • Hern{\'{a}}n {Ponce de Le{\'{o}}n}, C{\'{e}}sar Rodr{í}guez, and Josep Carmona. {POD} - {A} tool for process discovery using partial orders and independence information. In Proceedings of the {BPM} Demo Session 2015 Co-located with the 13th International Conference on Business Process Management {(BPM} 2015), Innsbruck, Austria, September 2, 2015., 100–104. 2015. URL: http://ceur-ws.org/Vol-1418/paper21.pdf.
    Bibtex ]

  • Hern{\'{a}}n {Ponce de Le{\'{o}}n}, C{\'{e}}sar Rodr{í}guez, Josep Carmona, Keijo Heljanko, and Stefan Haar. Unfolding-based process discovery. CoRR, 2015. URL: http://arxiv.org/abs/1507.02744.
    Bibtex ]

2014

  • Josep Carmona and Jordi Cortadella. Process discovery algorithms using numerical abstract domains. {IEEE} Trans. Knowl. Data Eng., 26(12):3064–3076, 2014. doi:10.1109/TKDE.2013.156.
    Bibtex ]

  • Josep Carmona, Mihai Teodor Lazarescu, and Marta Pietkiewicz{-}Koutny. Introduction to special issue on application of concurrency to system design (acsd'13). {ACM} Trans. Embedded Comput. Syst., 13(4s):140:1–140:2, 2014. doi:10.1145/2627347.
    Bibtex ]

  • Josep Carmona and Marc Sol{\'{e}}. {PMLAB:} an scripting environment for process mining. In Proceedings of the {BPM} Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management {(BPM} 2014), Eindhoven, The Netherlands, September 10, 2014., 16. 2014. URL: http://ceur-ws.org/Vol-1295/paper4.pdf.
    Bibtex ]

  • Massimiliano de Leoni, Jorge Munoz{-}Gama, Josep Carmona, and Wil M. P. van der Aalst. Decomposing alignment-based conformance checking of data-aware process models. In On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and {ODBASE} 2014, Amantea, Italy, October 27-31, 2014, Proceedings, 3–20. 2014. doi:10.1007/978-3-662-45563-0_1.
    Bibtex ]

  • Jorge Munoz{-}Gama, Josep Carmona, and Wil M. P. van der Aalst. Single-entry single-exit decomposed conformance checking. Inf. Syst., 46:102–122, 2014. doi:10.1016/j.is.2014.04.003.
    Bibtex ]

  • Joel Ribeiro and Josep Carmona. {RS4PD:} {A} tool for recommending control-flow algorithms. In Proceedings of the {BPM} Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management {(BPM} 2014), Eindhoven, The Netherlands, September 10, 2014., 66. 2014. URL: http://ceur-ws.org/Vol-1295/paper14.pdf.
    Bibtex ]

  • Joel Ribeiro, Josep Carmona, Mustafa Misir, and Mich{\`{e}}le Sebag. A recommender system for process discovery. In Business Process Management - 12th International Conference, {BPM} 2014, Haifa, Israel, September 7-11, 2014. Proceedings, 67–83. 2014. doi:10.1007/978-3-319-10172-9_5.
    Bibtex ]

  • Vasiliki Sfyrla, Josep Carmona, and Pascal Henck. Process-oriented analysis for medical devices. In 5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin, Germany, April 14, 2014, 143–146. 2014. URL: http://dx.doi.org/10.4230/OASIcs.MCPS.2014.143, doi:10.4230/OASIcs.MCPS.2014.143.
    Bibtex ]

  • Seppe K. L. M. vanden Broucke, Jorge Munoz{-}Gama, Josep Carmona, Bart Baesens, and Jan Vanthienen. Event-based real-time decomposed conformance analysis. In On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and {ODBASE} 2014, Amantea, Italy, October 27-31, 2014, Proceedings, 345–363. 2014. doi:10.1007/978-3-662-45563-0_20.
    Bibtex ]

2013

  • Josep Carmona, Mihai T. Lazarescu, and Marta Pietkiewicz{-}Koutny, editors. 13th International Conference on Application of Concurrency to System Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013, {IEEE} Computer Society, 2013. URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6597648.
    Bibtex ]

  • Josep Carmona and Jetty Kleijn. Compatibility in a multi-component environment. Theor. Comput. Sci., 484:1–15, 2013. doi:10.1016/j.tcs.2013.03.006.
    Bibtex ]

  • Jorge Munoz{-}Gama, Josep Carmona, and Wil M. P. van der Aalst. Conformance checking in the large: partitioning and topology. In Business Process Management - 11th International Conference, {BPM} 2013, Beijing, China, August 26-30, 2013. Proceedings, 130–145. 2013. doi:10.1007/978-3-642-40176-3_11.
    Bibtex ]

  • Jorge Munoz{-}Gama, Josep Carmona, and Wil M. P. van der Aalst. Hierarchical conformance checking of process models based on event logs. In Application and Theory of Petri Nets and Concurrency - 34th International Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings, 291–310. 2013. doi:10.1007/978-3-642-38697-8_16.
    Bibtex ]

  • Ferdinand Peper, Jia Lee, Josep Carmona, Jordi Cortadella, and Kenichi Morita. Brownian circuits: fundamentals. {JETC}, 9(1):3, 2013. doi:10.1145/2422094.2422097.
    Bibtex ]

  • Marc Sol{\'{e}} and Josep Carmona. Amending c-net discovery algorithms. In Proceedings of the 28th Annual {ACM} Symposium on Applied Computing, {SAC} '13, Coimbra, Portugal, March 18-22, 2013, 1418–1425. 2013. doi:10.1145/2480362.2480628.
    Bibtex ]

  • Marc Sol{\'{e}} and Josep Carmona. Region-based foldings in process discovery. {IEEE} Trans. Knowl. Data Eng., 25(1):192–205, 2013. doi:10.1109/TKDE.2011.192.
    Bibtex ]

2012

  • Arya Adriansyah, Jorge Munoz{-}Gama, Josep Carmona, Boudewijn F. van Dongen, and Wil M. P. van der Aalst. Alignment based precision checking. In Business Process Management Workshops - {BPM} 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers, 137–149. 2012. doi:10.1007/978-3-642-36285-9_15.
    Bibtex ]

  • Josep Carmona. Projection approaches to process mining using region-based techniques. Data Min. Knowl. Discov., 24(1):218–246, 2012. doi:10.1007/s10618-011-0226-x.
    Bibtex ]

  • Josep Carmona. The label splitting problem. Trans. Petri Nets and Other Models of Concurrency, 6:1–23, 2012. doi:10.1007/978-3-642-35179-2_1.
    Bibtex ]

  • Josep Carmona and Ricard Gavald{\`{a}}. Online techniques for dealing with concept drift in process mining. In Advances in Intelligent Data Analysis {XI} - 11th International Symposium, {IDA} 2012, Helsinki, Finland, October 25-27, 2012. Proceedings, 90–102. 2012. doi:10.1007/978-3-642-34156-4_10.
    Bibtex ]

  • Javier de San Pedro, Josep Carmona, Jordi Cortadella, and Jordi Petit. Integrating formal verification in an online judge for e-learning logic circuit design. In Proceedings of the 43rd {ACM} technical symposium on Computer science education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3, 2012, 451–456. 2012. doi:10.1145/2157136.2157268.
    Bibtex ]

  • Nikita Nikitin, Javier de San Pedro, Josep Carmona, and Jordi Cortadella. Analytical performance modeling of hierarchical interconnect fabrics. In 2012 Sixth {IEEE/ACM} International Symposium on Networks-on-Chip (NoCS), Copenhagen, Denmark, 9-11 May, 2012, 107–114. 2012. doi:10.1109/NOCS.2012.20.
    Bibtex ]

  • Marc Sol{\'{e}} and Josep Carmona. A high-level strategy for c-net discovery. In 12th International Conference on Application of Concurrency to System Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012, 102–111. 2012. doi:10.1109/ACSD.2012.20.
    Bibtex ]

  • Marc Sol{\'{e}} and Josep Carmona. An smt-based discovery algorithm for c-nets. In Application and Theory of Petri Nets - 33rd International Conference, {PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings, 51–71. 2012. doi:10.1007/978-3-642-31131-4_4.
    Bibtex ]

  • Marc Sol{\'{e}} and Josep Carmona. Incremental process discovery. Trans. Petri Nets and Other Models of Concurrency, 5:221–242, 2012. doi:10.1007/978-3-642-29072-5_10.
    Bibtex ]

2011

  • Beno{\^{\i}}t Caillaud, Josep Carmona, and Kunihiko Hiraishi, editors. 11th International Conference on Application of Concurrency to System Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011, {IEEE} Computer Society, 2011. URL: http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5986770.
    Bibtex ]

  • Josep Carmona. The label splitting problem. In Proceedings of the Workshop Applications of Region Theory 2011, Newcastle upon Tyne, UK, June 21, 2011, 22–35. 2011. URL: http://ceur-ws.org/Vol-725/paper02.pdf.
    Bibtex ]

  • Josep Carmona, Jorge J{\'{u}}lvez, Jordi Cortadella, and Michael Kishinevsky. A scheduling strategy for synchronous elastic designs. Fundam. Inform., 108(1-2):1–21, 2011. doi:10.3233/FI-2011-411.
    Bibtex ]

  • Jorge Munoz{-}Gama and Josep Carmona. Enhancing precision in process conformance: stability, confidence and severity. In Proceedings of the {IEEE} Symposium on Computational Intelligence and Data Mining, {CIDM} 2011, part of the {IEEE} Symposium Series on Computational Intelligence 2011, April 11-15, 2011, Paris, France, 184–191. 2011. doi:10.1109/CIDM.2011.5949451.
    Bibtex ]

  • Marc Sol{\'{e}} and Josep Carmona. Light region-based techniques for process discovery. Fundam. Inform., 113(3-4):343–376, 2011. doi:10.3233/FI-2011-612.
    Bibtex ]

  • Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Mal{\'{u}} Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. G{\"{u}}nther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz{-}Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel P{\'{e}}rez, Ricardo Seguel P{\'{e}}rez, Marcos Sep{\'{u}}lveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, and Moe Thandar Wynn. Process mining manifesto. In Business Process Management Workshops - {BPM} 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part {I}, 169–194. 2011. doi:10.1007/978-3-642-28108-2_19.
    Bibtex ]

2010

  • Josep Carmona and Jordi Cortadella. Process mining meets abstract interpretation. In Machine Learning and Knowledge Discovery in Databases, European Conference, {ECML} {PKDD} 2010, Barcelona, Spain, September 20-24, 2010, Proceedings, Part {I}, 184–199. 2010. doi:10.1007/978-3-642-15880-3_18.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, and Michael Kishinevsky. New region-based algorithms for deriving bounded petri nets. {IEEE} Trans. Computers, 59(3):371–384, 2010. doi:10.1109/TC.2009.131.
    Bibtex ]

  • Jorge Munoz{-}Gama and Josep Carmona. A fresh look at precision in process conformance. In Business Process Management - 8th International Conference, {BPM} 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings, 211–226. 2010. doi:10.1007/978-3-642-15618-2_16.
    Bibtex ]

  • Marc Sol{\'{e}} and Josep Carmona. Incremental process mining. In Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency {(PETRI} {NETS} 2010) and of the 10th International Conference on Application of Concurrency to System Design {(ACSD} 2010), Braga, Portugal, June, 2010, 175–190. 2010. URL: http://ceur-ws.org/Vol-827/14_MarcSole_article.pdf.
    Bibtex ]

  • Marc Sol{\'{e}} and Josep Carmona. Process mining from a basis of state regions. In Applications and Theory of Petri Nets, 31st International Conference, {PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings, 226–245. 2010. doi:10.1007/978-3-642-13675-7_14.
    Bibtex ]

  • Marc Sol{\'{e}} and Josep Carmona. Rbminer: {A} tool for discovering petri nets from transition systems. In Automated Technology for Verification and Analysis - 8th International Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings, 396–402. 2010. doi:10.1007/978-3-642-15643-4_33.
    Bibtex ]

2009

  • Josep Carmona, Jordi Cortadella, and Michael Kishinevsky. Divide-and-conquer strategies for process mining. In Business Process Management, 7th International Conference, {BPM} 2009, Ulm, Germany, September 8-10, 2009. Proceedings, 327–343. 2009. doi:10.1007/978-3-642-03848-8_22.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, and Michael Kishinevsky. Genet: {A} tool for the synthesis and mining of petri nets. In Ninth International Conference on Application of Concurrency to System Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009, 181–185. 2009. doi:10.1109/ACSD.2009.6.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, Michael Kishinevsky, and Alexander Taubin. Elastic circuits. {IEEE} Trans. on {CAD} of Integrated Circuits and Systems, 28(10):1437–1455, 2009. doi:10.1109/TCAD.2009.2030436.
    Bibtex ]

  • Josep Carmona, Jorge J{\'{u}}lvez, Jordi Cortadella, and Michael Kishinevsky. Scheduling synchronous elastic designs. In Ninth International Conference on Application of Concurrency to System Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009, 52–59. 2009. doi:10.1109/ACSD.2009.12.
    Bibtex ]

2008

  • Josep Carmona and Jordi Cortadella. Encoding large asynchronous controllers with {ILP} techniques. {IEEE} Trans. on {CAD} of Integrated Circuits and Systems, 27(1):20–33, 2008. doi:10.1109/TCAD.2007.907238.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, and Michael Kishinevsky. A region-based algorithm for discovering petri nets from event logs. In Business Process Management, 6th International Conference, {BPM} 2008, Milan, Italy, September 2-4, 2008. Proceedings, 358–373. 2008. doi:10.1007/978-3-540-85758-7_26.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, and Alexandre Yakovlev. A symbolic algorithm for the synthesis of bounded petri nets. In Applications and Theory of Petri Nets, 29th International Conference, {PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings, 92–111. 2008. doi:10.1007/978-3-540-68746-7_10.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, Yousuke Takada, and Ferdinand Peper. Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. {JETC}, 2008. doi:10.1145/1350763.1350768.
    Bibtex ]

  • Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, and Jorge J{\'{u}}lvez. Elasticity and petri nets. Trans. Petri Nets and Other Models of Concurrency, 1:221–249, 2008. doi:10.1007/978-3-540-89287-8_13.
    Bibtex ]

  • Francisco Fern{\'{a}}ndez{-}Nogueira and Josep Carmona. Logic synthesis of handshake components using structural clustering techniques. In Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, {PATMOS} 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers, 188–198. 2008. doi:10.1007/978-3-540-95948-9_19.
    Bibtex ]

2006

  • Josep Carmona, Jos{\'{e}} Manuel Colom, Jordi Cortadella, and Fernando Garc{í}a{-}Vall{\'{e}}s. Synthesis of asynchronous controllers using integer linear programming. {IEEE} Trans. on {CAD} of Integrated Circuits and Systems, 25(9):1637–1651, 2006. doi:10.1109/TCAD.2005.859516.
    Bibtex ]

  • Josep Carmona and Jordi Cortadella. State encoding of large asynchronous controllers. In Proceedings of the 43rd Design Automation Conference, {DAC} 2006, San Francisco, CA, USA, July 24-28, 2006, 939–944. 2006. doi:10.1145/1146909.1147148.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, Yousuke Takada, and Ferdinand Peper. From molecular interactions to gates: a systematic approach. In 2006 International Conference on Computer-Aided Design, {ICCAD} 2006, San Jose, CA, USA, November 5-9, 2006, 891–898. 2006. doi:10.1145/1233501.1233688.
    Bibtex ]

2003

  • Josep Carmona and Jordi Cortadella. {ILP} models for the synthesis of asynchronous control circuits. In 2003 International Conference on Computer-Aided Design, {ICCAD} 2003, San Jose, CA, USA, November 9-13, 2003, 818–826. 2003. doi:10.1109/ICCAD.2003.1257903.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, Victor Khomenko, and Alexandre Yakovlev. Synthesis of asynchronous hardware from petri nets. In Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, {ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003. In addition to lectures given at {ACPN} 2003, additional chapters have been commissioned], 345–401. 2003. doi:10.1007/978-3-540-27755-2_9.
    Bibtex ]

2002

  • Josep Carmona and Jordi Cortadella. Input/output compatibility of reactive systems. In Formal Methods in Computer-Aided Design, 4th International Conference, {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings, 360–377. 2002. doi:10.1007/3-540-36126-X_22.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, and Enric Pastor. A structural encoding technique for the synthesis of asynchronous circuits. Fundam. Inform., 50(2):135–154, 2002. URL: http://content.iospress.com/articles/fundamenta-informaticae/fi50-2-03.
    Bibtex ]

  • Josep Carmona, Jordi Cortadella, and Enric Pastor. Synthesis of reactive systems: application to asynchronous circuit design. In Concurrency and Hardware Design, Advances in Petri Nets, 108–151. 2002. doi:10.1007/3-540-36190-1_4.
    Bibtex ]

2001

  • Josep Carmona, Jordi Cortadella, and Enric Pastor. A structural encoding technique for the synthesis of asynchronous circuits. In 2nd International Conference on Application of Concurrency to System Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}, 157–166. 2001. doi:10.1109/CSD.2001.981773.
    Bibtex ]

2000

  • I. Blunno, A. Bystrov, J. Carmona, J. Cortadella, L. Lavagno, and A. Yakovlev. Direct synthesis of large-scale asynchronous controllers using a pet ri-net based approach. In Handouts of the Asynchronous Circuits Design (ACiD) Workshop. Grenoble, France, January 2000.
    Bibtex ]

1999

  • L. M\`arquez, H. Rodríguez, J. Carmona, and J. Montolio. Improving pos tagging using machine-learning techniques. In EMNLP/VLC. Maryland, USA, 1999.
    Bibtex ]

1998

  • J. Atserias, J. Carmona, I. Castell\'on, S. Cervell, M. Civit, L. Màrquez, M. Martí, L. Padr\'o, R. Placer, H. Rodríguez, M. Taul\'e, and J. Turmo. Morphosyntactic analysis and parsing of unrestricted spanish text. In First International Conference on Language Resources and Evaluation (LREC). Granada, Spain, 1998.
    Bibtex ]

  • J. Carmona, S. Cervell, L. Màrquez, M. Martí, L. Padr\'o, R. Placer, H. Rodríguez, M. Taul\'e, and J. Turmo. An environment for morphosyntactic processing of unrestricted spanish text. In ELRA. 1998.
    Bibtex ]