[IEEE 2010 49th IEEE Conference on Decision and Control (CDC) - Atlanta, GA, USA (2010.12.15-2010.12.17)] 49th IEEE Conference on Decision and Control (CDC) - Multiscale optimal control of transport-reaction system with time varying spatial domain
- 作者Ng, James; Dubljevic, Stevan; Aksikas, Ilyasse
- 文件大小567.65KB
- 发表时间2010
- DOI10.1109/cdc.2010.5717106
- 页码858-863
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMsGiuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli · 2011
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System IntegrationGuglielmo, Luigi Di; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Vinco, Sara · IEEE Transactions on Computers · 2013
On the integration of model-driven design and dynamic assertion-based verification for embedded softwareDi Guglielmo, Giuseppe; Di Guglielmo, Luigi; Foltinek, Andreas; Fujita, Masahiro; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano · Journal of Systems and Software · 2013
[IEEE 2010 IEEE International Conference on Computer Design (ICCD 2010) - Amsterdam, Netherlands (2010.10.3-2010.10.6)] 2010 IEEE International Conference on Computer Design - DDPSL: An easy way of defining propertiesDi Guglielmo, Luigi; Fummi, Franco; Orlandi, Nicola; Pravadelli, Graziano · 2010
[IEEE 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Anaheim, FL, USA (2010.06.10-2010.06.12)] 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) - HIFSuite: Tools for HDL code conversion and manipulationBombieri, Nicola; Di Guglielmo, Giuseppe; Di Guglielmo, Luigi; Ferrari, Michele; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Venturelli, Alessandro · 2010
[ACM Press Proceeding of the 6th international workshop - Waikiki, Honolulu, HI, USA (2011.05.23-2011.05.24)] Proceeding of the 6th international workshop on Automation of software test - AST '11 - Model-driven design and validation of embedded softwareDi Guglielmo, Giuseppe; Fujita, Masahiro; Di Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano; Marconcini, Cristina; Foltinek, Andreas · 2011
[IEEE 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Napa Valley, CA, USA (2011.11.9-2011.11.11)] 2011 IEEE International High Level Design Validation and Test Workshop - Interactive presentation abstract: Assertion-based verification in embedded-software designDi Guglielmo, Giuseppe; Di Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano · 2011
[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Vacuity analysis for property qualification by mutation of checkersDi Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano · 2010