Publications
]
[1442] .
2011. On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
[1444] .
2011. A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots. ETFA'2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation.
[1508] .
2011. Cloud-based Assistive Technology Services. Proceedings of the 3rd Workshop on Software Services: Semantic-based Software Services (WoSS) at the Federated Conference on Computer Science and Information Systems (FedCSIS).
[1445] .
2011. Fluidization and Fluid views of Discrete Event Systems. 15th Int. Conf. on System Theory, Control and Computing.
[1423] .
2011. Aplicaciones de la Dimensión Efectiva a la Complejidad Computacional y a los Algoritmos de Compresión de Datos. PhD
[1494] .
2011. Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 42(4):641-653.
[1446] .
2011. On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
[1450] .
2011. On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications. 21(4):497.
[BCM-TII-11] .
2011. Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
[1297] .
2012. Inseparability and Strong Hypotheses for Disjoint NP Pairs. Theory of Computing Systems. 51:229-247.
[1323] .
2012. A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. Transactions on Petri Nets and Other Models of Concurrency. V
[1381] .
2012. Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
[1383] .
2012. Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
[1412] .
2012. PHYSER: An Algorithm to Detect Sequencing Errors from Phylogenetic Information. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1425] .
2012. Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6)
[1426] .
2012. Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Dagstuhl Reports. 2(1)
[1434] .
2012. Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
[1438] .
2012. Dimension spectra of random subfractals of self-similar fractals. Ninth International Conference on Computability and Complexity in Analysis (CCA 2012).
[1441] .
2012. CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3)
[1485] .
2012. PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. Proceedings of the 12th International Conference on Application of Concurrency to System Designs (ACSD).
[1486] .
2012. Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems. Proceedings of the 3rd International Symposium on Architecting Critical Systems (ISARCS).
[1407] .
2012. Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1408] .
2012. Compact representation of biological sequences using set decision diagrams. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
