Publications
Filters: First Letter Of Last Name is B [Clear All Filters]
[BM-JSS-07] Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
.
2007.
[BM-WOSP-07] A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
.
2007.
[IPKLMA08] Formal analysis of timed continuous Petri net.
.
2008.
.
2008.
[BMP-Models-08] Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
.
2008.
.
2009.
[1309] Exhaustive mitochondrial phylogenetics: challenges and solutions. 9th Workshop on Algorithms in Bioinformatics (WABI 2009).
.
2009.
[1310] Building maintainable, exhaustive human mitochondrial phylogenies. 17 Annual International Conference on Intelligent Systems for Molecular Biology/8th European Conference.
.
2009.
[BBCM-09] UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
.
2009.
[BC09] Computation of Performance Bounds for Real-time systems using Time Petri Nets. IEEE Transactions on Industrial Informatics. 5(2):168-180.
.
2009.
[RMB_SERENE10] Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
.
2010.
.
2010.
[PMB-ICPE10] Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
.
2010.
[1278] An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
.
2010.
[1268] Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
.
2010.
[1373] IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1374] Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1320] 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.
.
2010.
[MIMB-ICNS-10] Performance analysis of a dynamic architecture for reconfiguration of web servers clusters. 6th International Conference on Networking and Services (ICNS'10). :224-229.
.
2010.
[BML-EDCC-10] 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.
.
2010.
[1304] 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.
.
2011.
[1322] Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
.
2011.
[1369] Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinformatics. 12:174(29pp.).
.
2011.
[1382] Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
.
2011.
[BMP-SOSYM09] A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
.
2011.