Publications
]
[1321] .
2011. Predictive Maintenance Manager design pattern for component based machine tools. IEEE 9th International Conference on Industrial Informatics (INDIN’2011).
[PMM-QoSA11a] .
2011. Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
[PMM-QoSA11b] .
2011. Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
[PM-ICPE11] .
2011. Performance Sensitive Self-Adaptive Service-Oriented Software using Hidden Markov Models. ICPE International Conference on Performance Engineering. :201--206.
[1292] .
2011. Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory of Computing Systems. 48:731-766.
[1293] .
2011. Curves that must be retraced. Information and Computation. 209:992--1006.
[1296] .
2011. On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
[1304] .
2011. Workflows with model selection: a multilocus approach to phylogenetic analysis. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). 93/2011:39-47.
[1316] .
2011. Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.
[1322] .
2011. Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
[1369] .
2011. Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics. 12:174(29pp.).
[1382] .
2011. Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
[Cam-TII-10] .
2010. Guest Editorial: Special Section on Formal Methods in Manufacturing. IEEE Transactions on Industrial Informatics. 6(2):125-126.
[MIMB-ICNS-10] .
2010. Performance analysis of a dynamic architecture for reconfiguration of web servers clusters. 6th International Conference on Networking and Services (ICNS'10). :224-229.
[BML-EDCC-10] .
2010. Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile. Eighth European Dependable Computing Conference (EDCC'10). :95-104.
[1280] .
2010. An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1281] .
2010. Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1320] .
2010. Temporal Logics for Phylogenetic Analysis via Model Checking. Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10). :152-157.
[1406] .
2010. Performance Evaluation of Web Services Orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications. 2(6):18.
[1282] .
2010. Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
[1313] .
2010. The Resource Allocation Problem In Software Applications: A Petri Net Perspective. International Workshop on Petri Nets and Software Engineering PNSE'10,. :7-21.
[1317] .
2010. Deadlock Analysis in Minimal Adaptive Routing Algorithms using Petri Nets. IEEE International Conference on Systems, Man, and Cybernetics (SMC’10). :2619-2626. Abstract
[1267] .
2010. Timing-dependent boundedness and liveness in continuous Petri nets. 10th International Workshop on Discrete Event Systems (WODES).
[1268] .
2010. Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
[1276] .
2010. Performance modeling and analysis of the Universal Control Hub. 7th European Performance Engineering Workshop, EPEW 2010.
