Export 21 results:
Author [ Title
] Type Year Filters: First Letter Of Last Name is P and Author is Mauro Prevostini [Clear All Filters]
"Bridging the Gap between SysML and Design Space Exploration",
FDL'06 Proceedings, Darmstadt, Germany, pp. 389-394, September 19-22, 2006.
"Calibration and in-Field Validation Tests of a Web-based Adaptive Management System for Monitoring - Scaphoideus titanus",
Future Integrated Pest Management in Europe, 2013.
"Characterization of In-tunnel Distance Measurements for Vehicle Localization",
IEEE Wireless Communications and Networking Conference (WCNC), Shanghai, P.R. China, 2013.
"Design and Synthesis of Reusable Platforms with Programmable Interconnects",
UML-SoC 2005, Anaheim, California, pp. 43-48, June 12, 2005.
"Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities",
Proceedings of MARTE Workshop (DATE08), Munich, Germany, March, 2008.
"Intelligent, low-power and low-cost measurement system for energy consumption",
VECIMS 2003, Lugano, pp. 125-130, July 27-29, 2003.
Introduction to SysML,
, April 20, 2007.
"MDE Support for HW/SW Codesign: a UML-based Design Flow",
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's, Dordrecht, The Netherlands, Springer, pp. 19-37, 2010.
"A Methodology for Bridging the Gap between UML and Codesign",
UML for SOC Design, Dordrecht, The Netherlands, Springer, pp. 119-146, 2005.
"Model-based Design Space Exploration for RTES with SysML and MARTE",
Proceedings of FDL08, Stuttgart, Germany, September, 2008.
"Semi-Automated HW/SW Co-design for Embedded Systems: from MARTE Models to SystemC Simulators",
FDL'09 Proceedings, Sophia-Antipolis, France, September 22-24, 2009.
"System-level design of embedded applications by UML: the Wireless Meter Reading case",
MSy2002 Workshop, Winterthur, pp. 181-187, October 3-4, 2002.
"Time of Flight Error Compensation for In-Tunnel Vehicle Localization",
The Fourth International Workshop on Pervasive Networks for Emergency Management, 2014 (PerNEM'14), Budapest, Hungary, IEEE, 03/2014.
"Topology Optimization of Wireless Localization Networks",
European Wireless 2016 , Oulu, Finland, 05/2016.
"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",
FDL'03, Frankfurt, pp. 226-237, September 23-26, 2003.
"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.
"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.