Export 10 results:
Author Title Type [ Year] Filters: First Letter Of Title is U [Clear All Filters]
"Unifying Dependability of Critical Infrastructures: Electric Power System and ICT (Concepts, Figures of Merit and Taxonomy)",
IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Zhangjiajie, China, 11/2015.
"User-Perceived Instantaneous Service Availability Evaluation",
19th Pacific Rim International Symposium on Dependable Computing (PRDC), Vancouver, British Columbia, Canada, IEEE Computer Society, 12/2013.
"Using Multi-objective Design Space Exploration to Enable Run-time Resource Management for Reconfigurable Architectures",
Proc. Design, Automation Test in Europe Conf. Exhibition (DATE), March, 2012.
"Using MARTE for Designing power Supply Section of WSNs",
M-BED 2010: Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design (a DATE 2010 Workshop), Dresden, Germany, March 12, 2010.
"Ultra-low power optimizations for the IEEE 802.15.4 networking protocol",
proceedings of MASS, October, 2007.
"UML in an Electronic System Level Design Methodology",
UML-SOC'04, San Diego, California, pp. 47-52, June 6, 2004.
"UML Specifications Towards a Codesign Environment",
FDL'04, Lille, France, pp. 313-324, September 14-17, 2004.
"UML System-Level Analysis and Design of Secure Communication Schemes for Embedded Systems",
FDL'04, Lille, France, pp. 301-312, September 14-17, 2004.
"UML-based specifications of an embedded system oriented to HW/SW partitioning: a case study",
Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL'03, Norwell, MA, USA, Kluwer Academic Publishers, pp. 71-84, 2004.
"UML-based Specifications of an Embedded System Oriented to HW/SW Partitioning: a Case Study",
FDL'03, Frankfurt, pp. 226-237, September 23-26, 2003.