José Manuel Colom

According to our database1, José Manuel Colom authored at least 72 papers between 1987 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Design and Implementation of a Compiler for Simulation of Large-Scale Models.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2022

A Framework to Support Decision-Making Based on AI and Simulation of Large-Scale Models.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2022

2021
Workload Evaluation in Distributed Simulation of DESs.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2021

2020
A MDE Approach for Modelling and Distributed Simulation of Health Systems.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2020

2019
Towards an Architecture Proposal for Federation of Distributed DES Simulators.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2019

2018
Model-driven development of data intensive applications over cloud resources.
Future Gener. Comput. Syst., 2018

Model and Simulation Engines for Distributed Simulation of Discrete Event Systems.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2018

2016
Evaluation of properties over phylogenetic trees using stochastic logics.
BMC Bioinform., 2016

Distributed Simulation of Complex and Scalable Systems: From Models to the Cloud.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2016

2015
Preface.
Fundam. Informaticae, 2015

On Autonomic Platform-as-a-Service: Characterisation and Conceptual Model.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2015

Function blocks for the design of control applications based on EtherCAT fieldbus.
Proceedings of the IEEE International Conference on Industrial Technology, 2015

A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2015

2014
Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study.
J. Integr. Bioinform., 2014

Timed and Probabilistic Model Checking over Phylogenetic Trees.
Proceedings of the 8th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2014

Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2014

The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A model-based approach for the specification and verification of clinical guidelines.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013
Temporal Logics for Phylogenetic Analysis via Model Checking.
IEEE ACM Trans. Comput. Biol. Bioinform., 2013

Model checking software for phylogenetic trees using distribution and database methods.
J. Integr. Bioinform., 2013

Speeding Up Phylogenetic Model Checking.
Proceedings of the 7th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2013

Enforcing Liveness in S3PR Nets by Specialization of Resources.
Proceedings of the ICORES 2013, 2013

A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources.
Proceedings of the ICORES 2013, 2013

Petri net approach for deadlock prevention in robot planning.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem.
Proceedings of the Control of Discrete-Event Systems, 2013

2012
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering.
Trans. Petri Nets Other Model. Concurr., 2012

An algorithm to compute the minimal siphons in S 4 PR nets.
Discret. Event Dyn. Syst., 2012

Compact Representation of Biological Sequences Using Set Decision Diagrams.
Proceedings of the 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2012

Sliced Model Checking for Phylogenetic Analysis.
Proceedings of the 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2012

Modular Petri net modeling of the Spanish health system.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
Phylogenetic Analysis Using an SMV Tool.
Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2011

"Predictive maintenance surveyor" design pattern for machine tools control software applications.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

On the deadlock analysis of multithreaded control software.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

COSME: A distributed control platform for communicating machine tools in Agile Manufacturing Systems.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Control software design for a cutting glass machine tool based on the COSME platform. Case study.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
An algorithm to compute the minimal siphons in S4PR nets.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Deadlock analysis in minimal adaptive routing algorithms using Petri Nets.
Proceedings of the IEEE International Conference on Systems, 2010

On the computation of the minimal siphons of S<sup>4</sup>PR nets from a generating family of siphons.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets.
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), 2010

The Resource Allocation Problem in Software Applications: A Petri Net Perspective.
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), 2010

2006
Synthesis of asynchronous controllers using integer linear programming.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

Lender processes competing for shared resources: Beyond the S4PR paradigm.
Proceedings of the IEEE International Conference on Systems, 2006

Resource Allocation Systems: Some Complexity Results on the S<sup>4</sup>PR Class.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005
A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

2003
The Resource Allocation Problem in Flexible Manufacturing Systems.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states.
IEEE Trans. Robotics Autom., 2002

2000
Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources.
IEEE Trans. Autom. Control., 2000

Some Improvements to the Banker s Algorithm Based on the Process Structure.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1999
Implicit places in net systems.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1998
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals.
IEEE Trans. Syst. Man Cybern. Part A, 1997

Automatic synthesis of colored Petri nets for the control of FMS.
IEEE Trans. Robotics Autom., 1997

1996
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems.
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995
A Petri net based deadlock prevention policy for flexible manufacturing systems.
IEEE Trans. Robotics Autom., 1995

A Colored Petri Net Model of VHDL.
Formal Methods Syst. Des., 1995

1994
Approximate Throughput Computation of Stochastic Marked Graphs.
IEEE Trans. Software Eng., 1994

Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions.
Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993
Petri Nets applied to the modelling and analysis of computer architecture problems.
Microprocess. Microprogramming, 1993

Analysis tools applied to VHDL.
Microprocess. Microprogramming, 1993

Operational analysis of timed Petri nets and application to the computation of performance bounds.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

A general iterative technique for approximate throughput computation of stochastic marked graphs.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals.
Proceedings of the Decentralized and Distributed Systems, 1993

Toward a formal semantics of IEEE Std. VHDL 1076.
Proceedings of the European Design Automation Conference 1993, 1993

A Petri Net Approach for the Analysis of VHDL Descriptions.
Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992
On Weighted T-Systems.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

1989
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Improving the linearly based characterization of P/T nets.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1987
On the Computation of Structural Synchronic Invariants in P/T Nets.
Proceedings of the Advances in Petri Nets 1988, 1987


  Loading...