| 2014 | ETFA | A model-based approach for the specification and verification of clinical guidelines. | Simona Bernardi, Jos Manuel Colom, Jorge Albareda, Cristian Mahulea |
| 2014 | ETFA | The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach. | Juan-Pablo Lpez-Grao, Jos Manuel Colom, Fernando Tricas |
| 2014 | PACBB | Timed and Probabilistic Model Checking over Phylogenetic Trees. | Jos Ignacio Requeno, Jos Manuel Colom |
| 2013 | ETFA | Petri net approach for deadlock prevention in robot planning. | Marius Kloetzer, Cristian Mahulea, Jos Manuel Colom |
| 2013 | ICORES | A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources. | Asaftei Timotei, Jos Manuel Colom |
| 2013 | ICORES | Enforcing Liveness in S3PR Nets by Specialization of Resources. | Asaftei Timotei, Jos Manuel Colom |
| 2013 | PACBB | Speeding Up Phylogenetic Model Checking. | Jos Ignacio Requeno, Jos Manuel Colom |
| 2012 | ETFA | Modular Petri net modeling of the Spanish health system. | Cristian Mahulea, Juan-Manuel Garcia-Soriano, Jos Manuel Colom |
| 2012 | PACBB | Sliced Model Checking for Phylogenetic Analysis. | Jos Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, Jos Manuel Colom |
| 2012 | PACBB | Compact Representation of Biological Sequences Using Set Decision Diagrams. | Jos Ignacio Requeno, Jos Manuel Colom |
| 2011 | ETFA | COSME: A distributed control platform for communicating machine tools in Agile Manufacturing Systems. | Carlos Cataln, Flix Serna, Alfonso Blesa, Jos Manuel Colom, Josep Mara Rams |
| 2011 | ETFA | On the deadlock analysis of multithreaded control software. | Juan-Pablo Lpez-Grao, Jos Manuel Colom |
| 2011 | ETFA | "Predictive maintenance surveyor" design pattern for machine tools control software applications. | Flix Serna, Carlos Cataln, Alfonso Blesa, Jos Manuel Colom, Josep Mara Rams |
| 2011 | PACBB | Phylogenetic Analysis Using an SMV Tool. | Jos Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, Jos Manuel Colom |
| 2010 | ETFA | On the computation of the minimal siphons of S | Elia E. Cano, Carlos A. Rovetto, Jos Manuel Colom |
| 2010 | SMC | Deadlock analysis in minimal adaptive routing algorithms using Petri Nets. | Carlos A. Rovetto, Elia E. Cano, Jos Manuel Colom |
| 2006 | FORTE | Resource Allocation Systems: Some Complexity Results on the S | Juan-Pablo Lpez-Grao, Jos Manuel Colom |
| 2006 | SMC | Lender processes competing for shared resources: Beyond the S4PR paradigm. | Juan-Pablo Lpez-Grao, Jos Manuel Colom |
| 2005 | ICRA | A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. | Fernando Tricas, Fernando Garca-Valls, Jos Manuel Colom, Joaquin Ezpeleta |
| 2000 | ICRA | Some Improvements to the Banker s Algorithm Based on the Process Structure. | Fernando Tricas, Jos Manuel Colom, Joaquin Ezpeleta |