Instituto de Física de Partículas y del Cosmos (IPARCOS)
Ikastegia/Institutua
Eugenio
Villar Bonet
Eugenio Villar Bonet-rekin lankidetzan egindako argitalpenak (25)
2017
-
CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties
Microprocessors and Microsystems, Vol. 51, pp. 39-55
2016
-
CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties
Proceedings - 19th Euromicro Conference on Digital System Design, DSD 2016
2015
-
A model-based, single-source approach to designspace exploration and synthesis of mixed-criticality systems (Extended Abstract)
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015
-
Automatic synthesis of communication and concurrency for exploring component-based system implementations considering UML channel semantics
Journal of Systems Architecture, Vol. 61, Núm. 8, pp. 341-360
-
Enhancing Analysability and Time Predictability in UML/MARTE Component-based Application Models
2015 18TH FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL)
-
Enhancing analysability and time predictability in UML/MARTE component-based application models
Forum on Specification and Design Languages
-
UML-Based Single-source Approach for Evaluation and Optimization of Mixed-Critical Embedded Systems
2015 Conference on Design of Circuits and Integrated Systems, DCIS 2015
2014
-
Automatic deployment of component-based embedded systems from UML/MARTE models using MCAPI
Proceedings of the 2014 29th Conference on Design of Circuits and Integrated Systems, DCIS 2014
-
Automatic synthesis of embedded SW for evaluating physical implementation alternatives from UML/MARTE models supporting memory space separation
Microelectronics Journal, Vol. 45, Núm. 10, pp. 1281-1291
-
Automatic synthesis over multiple APIs from Uml/Marte models for easy platform mapping and reuse
Proceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014
-
Improving the design flow for parallel and heterogeneous architectures running real-time applications: The PHARAON FP7 project
Microprocessors and Microsystems, Vol. 38, Núm. 8, pp. 960-975
-
Model-driven methodology for the development of multi-level executable environments
Lecture Notes in Electrical Engineering
-
The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems
Journal of Systems Architecture, Vol. 60, Núm. 1, pp. 55-78
2013
-
System synthesis from UML/MARTE models: The PHARAON approach
Proceedings of the electronic system level synthesis conference
2012
-
A MDD Methodology for Specification of Embedded Systems and Automatic Generation of Fast Configurable and Executable Performance Models
CODES+ISSS'12: Proceedings of the Tenth ACM International Conference on Hardware/Software-Codesign and System Synthesis
-
A MDD methodology for specification of embedded systems and automatic generation of fast configurable and executable performance models
CODES+ISSS'12 - Proceedings of the 10th ACM International Conference on Hardware/Software-Codesign and System Synthesis, Co-located with ESWEEK
-
A model-driven methodology for the development of SystemC executable environments
Forum on Specification and Design Languages
-
Automatic synthesis from UML/MARTE models using channel semantics
MODELS 2012 Innsbruck - Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2012
-
Formal support for untimed MARTE-SystemC interoperability
Lecture Notes in Electrical Engineering
-
The COMPLEX Eclipse framework for UML/MARTE specification and design space exploration of embedded systems
Conference on Design and Architectures for Signal and Image Processing, DASIP