José Manuel Colom

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 11

Top Topics

Top Venues

PNSE @ Petri Nets

Publications

Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom
Model-driven development of data intensive applications over cloud resources. CoRR (2024)
José Manuel Colom
Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation. Petri Nets (2024)
Tomás Pelayo, Unai Arronategui, José Ángel Bañares, José Manuel Colom
Design and Implementation of a Compiler for Simulation of Large-Scale Models. GECON (2022)
Unai Arronategui, José Ángel Bañares, José Manuel Colom
A Framework to Support Decision-Making Based on AI and Simulation of Large-Scale Models. GECON (2022)
Paul Hodgetts, Hayk Kocharyan, Fidel Reviriego, Álvaro Santamaría, Unai Arronategui, José Ángel Bañares, José Manuel Colom
Workload Evaluation in Distributed Simulation of DESs. GECON (2021)
Unai Arronategui, José Ángel Bañares, José Manuel Colom
A MDE Approach for Modelling and Distributed Simulation of Health Systems. GECON (2020)
Unai Arronategui, José Ángel Bañares, José Manuel Colom
Towards an Architecture Proposal for Federation of Distributed DES Simulators. GECON (2019)
Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom
Model-driven development of data intensive applications over cloud resources. Future Gener. Comput. Syst. 87 (2018)
José Ángel Bañares, José Manuel Colom
Model and Simulation Engines for Distributed Simulation of Discrete Event Systems. GECON (2018)
José Ignacio Requeno, José Manuel Colom
Evaluation of properties over phylogenetic trees using stochastic logics. BMC Bioinform. 17 (2016)
Victor Medel Gracia, Unai Arronategui, José Ángel Bañares, José Manuel Colom
Distributed Simulation of Complex and Scalable Systems: From Models to the Cloud. GECON (2016)
Alfonso Blesa, Carlos Catalán, Félix Serna, José Manuel Colom, C. Larrea, Josep M. Rams
Function blocks for the design of control applications based on EtherCAT fieldbus. ICIT (2015)
Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom
On Autonomic Platform-as-a-Service: Characterisation and Conceptual Model. KES-AMSTA (2015)
José Manuel Colom, Jörg Desel, Jetty Kleijn
Preface. Fundam. Informaticae 137 (1) (2015)
Alberto Merino, Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom
A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services. GECON (2015)
Juan-Pablo López-Grao, José Manuel Colom, Fernando Tricas
The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach. ETFA (2014)
Fernando Tricas, José Manuel Colom, Juan Julián Merelo Guervós
Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach. PNSE @ Petri Nets (2014)
José Ignacio Requeno, José Manuel Colom
Timed and Probabilistic Model Checking over Phylogenetic Trees. PACBB (2014)
Simona Bernardi, José Manuel Colom, Jorge Albareda, Cristian Mahulea
A model-based approach for the specification and verification of clinical guidelines. ETFA (2014)
José Ignacio Requeno, José Manuel Colom
Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study. J. Integr. Bioinform. 11 (3) (2014)
José Ángel Bañares, Rafael Tolosana-Calasanz, Fernando Tricas, Unai Arronategui, Javier Celaya, José Manuel Colom
Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision. PNSE @ Petri Nets (2014)
Rafael Tolosana-Calasanz, José Ángel Bañares, José Manuel Colom
Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures. GECON (2014)
Asaftei Timotei, José Manuel Colom
A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources. ICORES (2013)
José Ignacio Requeno, José Manuel Colom
Model checking software for phylogenetic trees using distribution and database methods. J. Integr. Bioinform. 10 (3) (2013)
Marius Kloetzer, Cristian Mahulea, José Manuel Colom
Petri net approach for deadlock prevention in robot planning. ETFA (2013)
Asaftei Timotei, José Manuel Colom
Enforcing Liveness in S3PR Nets by Specialization of Resources. ICORES (2013)
José Ignacio Requeno, Gregorio de Miguel Casado, Roberto Blanco, José Manuel Colom
Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (4) (2013)
José Ignacio Requeno, José Manuel Colom
Speeding Up Phylogenetic Model Checking. PACBB (2013)
José Ignacio Requeno, José Manuel Colom
Compact Representation of Biological Sequences Using Set Decision Diagrams. PACBB (2012)
Elia Esther Cano, Carlos A. Rovetto, José Manuel Colom
An algorithm to compute the minimal siphons in S 4 PR nets. Discret. Event Dyn. Syst. 22 (4) (2012)
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
Sliced Model Checking for Phylogenetic Analysis. PACBB (2012)
Cristian Mahulea, Juan-Manuel Garcia-Soriano, José Manuel Colom
Modular Petri net modeling of the Spanish health system. ETFA (2012)
Juan-Pablo López-Grao, José Manuel Colom
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Félix Serna, Carlos Catalán, Alfonso Blesa, José Manuel Colom, Josep María Rams
"Predictive maintenance surveyor" design pattern for machine tools control software applications. ETFA (2011)
Juan-Pablo López-Grao, José Manuel Colom
On the deadlock analysis of multithreaded control software. ETFA (2011)
Félix Serna, Carlos Catalán, Alfonso Blesa, Josep M. Rams, José Manuel Colom
Control software design for a cutting glass machine tool based on the COSME platform. Case study. CASE (2011)
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
Phylogenetic Analysis Using an SMV Tool. PACBB (2011)
Carlos Catalán, Félix Serna, Alfonso Blesa, José Manuel Colom, Josep María Rams
COSME: A distributed control platform for communicating machine tools in Agile Manufacturing Systems. ETFA (2011)
Carlos Catalán, Félix Serna, Alfonso Blesa, Josep M. Rams, José Manuel Colom
Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499. CASE (2011)
Carlos A. Rovetto, Elia E. Cano, José Manuel Colom
Deadlock analysis in minimal adaptive routing algorithms using Petri Nets. SMC (2010)
Elia E. Cano, Carlos A. Rovetto, José Manuel Colom
An algorithm to compute the minimal siphons in S4PR nets. WODES (2010)
Elia E. Cano, Carlos A. Rovetto, José Manuel Colom
PR nets from a generating family of siphons. ETFA (2010)
Carlos A. Rovetto, Elia E. Cano, José Manuel Colom
Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. ACSD/Petri Nets Workshops (2010)
Roberto Blanco, Gregorio de Miguel Casado, José Ignacio Requeno, José Manuel Colom
Temporal logics for phylogenetic analysis via model checking. BIBM Workshops (2010)
Juan-Pablo López-Grao, José Manuel Colom
The Resource Allocation Problem in Software Applications: A Petri Net Perspective. ACSD/Petri Nets Workshops (2010)
Juan-Pablo López-Grao, José Manuel Colom
PR Class. FORTE (2006)
Juan-Pablo López-Grao, José Manuel Colom
Lender processes competing for shared resources: Beyond the S4PR paradigm. SMC (2006)
Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés
Synthesis of asynchronous controllers using integer linear programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (9) (2006)
Fernando Tricas, Fernando García-Vallés, José Manuel Colom, Joaquin Ezpeleta
A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. ICRA (2005)
José Manuel Colom
The Resource Allocation Problem in Flexible Manufacturing Systems. ICATPN (2003)
Joaquin Ezpeleta, Fernando Tricas, Fernando García-Vallés, José Manuel Colom
A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Trans. Robotics Autom. 18 (4) (2002)
Fernando Tricas, José Manuel Colom, Joaquin Ezpeleta
Some Improvements to the Banker s Algorithm Based on the Process Structure. ICRA (2000)
Fernando García-Vallés, José Manuel Colom, Joaquín Ezpeleta
Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Trans. Autom. Control. 45 (9) (2000)
Fernando García-Vallés, José Manuel Colom
Implicit places in net systems. PNPM (1999)
Joaquin Ezpeleta, Fernando García-Vallés, José Manuel Colom
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. ICATPN (1998)
Enrique Teruel, José Manuel Colom, Manuel Silva Suárez
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals. IEEE Trans. Syst. Man Cybern. Part A 27 (1) (1997)
Joaquín Ezpeleta, José Manuel Colom
Automatic synthesis of colored Petri nets for the control of FMS. IEEE Trans. Robotics Autom. 13 (3) (1997)
Manuel Silva Suárez, Enrique Teruel, José Manuel Colom
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. Petri Nets (1996)
Joaquín Ezpeleta, José Manuel Colom, Javier Martínez
A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robotics Autom. 11 (2) (1995)
Serafín Olcoz, José Manuel Colom
A Colored Petri Net Model of VHDL. Formal Methods Syst. Des. 7 (1/2) (1995)
José Luis Briz, José Manuel Colom
Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions. Application and Theory of Petri Nets (1994)
Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez
Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Trans. Software Eng. 20 (7) (1994)
Enrique Teruel, José Manuel Colom, Manuel Silva Suárez
Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems (1993)
Serafín Olcoz, José Manuel Colom
A Petri Net Approach for the Analysis of VHDL Descriptions. CHARME (1993)
Giovanni Chiola, Cosimo Anglano, Javier Campos, José Manuel Colom, Manuel Silva Suárez
Operational analysis of timed Petri nets and application to the computation of performance bounds. PNPM (1993)
Serafín Olcoz, José Manuel Colom
Analysis tools applied to VHDL. Microprocess. Microprogramming 38 (1-5) (1993)
Manuel Silva Suárez, José Manuel Colom
Petri Nets applied to the modelling and analysis of computer architecture problems. Microprocess. Microprogramming 38 (1-5) (1993)
Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez
A general iterative technique for approximate throughput computation of stochastic marked graphs. PNPM (1993)
Serafín Olcoz, José Manuel Colom
Toward a formal semantics of IEEE Std. VHDL 1076. EURO-DAC (1993)
Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez
On Weighted T-Systems. Application and Theory of Petri Nets (1992)
José Manuel Colom, Manuel Silva Suárez
Improving the linearly based characterization of P/T nets. Applications and Theory of Petri Nets (1989)
Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva Suárez
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. PNPM (1989)
José Manuel Colom, Manuel Silva Suárez
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. Applications and Theory of Petri Nets (1989)
Manuel Silva Suárez, José Manuel Colom
On the Computation of Structural Synchronic Invariants in P/T Nets. European Workshop on Applications and Theory of Petri Nets (1987)