Fernando Herrera

According to our database1, Fernando Herrera authored at least 39 papers between 2003 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design Approach.
Proceedings of the Handbook of Hardware/Software Codesign., 2017

CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties.
Microprocessors and Microsystems - Embedded Hardware Design, 2017

2016
CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties.
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015
A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems.
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

An efficient joint analytical and simulation-based design space exploration flow for predictable multi-core systems.
Proceedings of the 2015 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2015

Enhancing analysability and time predictability in UML/MARTE component-based application models.
Proceedings of the 2015 Forum on Specification and Design Languages, 2015

2014
The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems.
Journal of Systems Architecture - Embedded Systems Design, 2014

An extensible infrastructure for modeling and time analysis of predictable embedded systems.
Proceedings of the 2014 Forum on Specification and Design Languages, 2014

2013
The COMPLEX reference framework for HW/SW co-design and power management supporting platform-based design-space exploration.
Microprocessors and Microsystems - Embedded Hardware Design, 2013

Combining analytical and simulation-based design space exploration for time-critical systems.
Proceedings of the 2013 Forum on specification and Design Languages, 2013

Towards a Modelling and Design Framework for Mixed-Criticality SoCs and Systems-of-Systems.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012
Towards automated implementation of adaptive systems from abstract SystemC specifications - From SystemC adaptive processes to embedded software and to synthesizable hardware descriptions.
Design Autom. for Emb. Sys., 2012

Model-Driven Methodology for the Development of Multi-level Executable Environments.
Proceedings of the Models, Methods, and Tools for Complex Chip Design, 2012

A model-driven methodology for the development of SystemC executable environments.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Enhanced IP-XACT Platform Descriptions for Automatic Generation from UML/MARTE of Fast Performance Models for DSE.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

COMPLEX: COdesign and Power Management in PLatform-Based Design Space EXploration.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

The COMPLEX Eclipse framework for UML/MARTE specification and design space exploration of embedded systems.
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

A MDD methodology for specification of embedded systems and automatic generation of fast configurable and executable performance models.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011
Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware.
Proceedings of the 2011 Forum on Specification & Design Languages, 2011

A framework for the generation from UML/MARTE models of IPXACT HW platform descriptions for multi-level performance estimation.
Proceedings of the 2011 Forum on Specification & Design Languages, 2011

2010
Formal Support for Untimed SystemC Specifications: Application to High-level Synthesis.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

Formal Foundations for MARTE-SystemC Interoperability.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

2009
Optimal control of batch processes using particle swam optimisation with stacked neural network models.
Computers & Chemical Engineering, 2009

Local application of simulation directed for Exhaustive Coverage of Schedulings of SystemC specifications.
Proceedings of the Forum on specification and Design Languages, 2009

2008
Bridging MoCs in SystemC Specifications of Heterogeneous Systems.
EURASIP J. Emb. Sys., 2008

Specification of Adaptive HW/SW Systems in SystemC.
Proceedings of the Forum on specification and Design Languages, 2008

2007
A framework for heterogeneous specification and design of electronic embedded systems in SystemC.
ACM Trans. Design Autom. Electr. Syst., 2007

The ANDRES Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems.
Proceedings of the FPL 2007, 2007

A general approach to the interoperability of HetSC and SystemC-AMS.
Proceedings of the Forum on specification and Design Languages, 2007

2006
Extension of the SystemC Kernel for Simulation Coverage.
Proceedings of the Forum on specification and Design Languages, 2006

A framework for embedded system specification under different models of computation in SystemC.
Proceedings of the 43rd Design Automation Conference, 2006

2005
Mixing Synchronous Reactive and Untimed Models of Computation.
Proceedings of the Forum on specification and Design Languages, 2005

Legal and Organizational Issues in Collaborative User-Created Content.
Proceedings of the Digital Games Research Conference 2005, 2005

2004
Single Source Design Environment for Embedded Systems Based on SystemC.
Design Autom. for Emb. Sys., 2004

Heterogeneous System-Level Specification in SystemC.
Proceedings of the Forum on specification and Design Languages, 2004

System-Level Performance Analysis in SystemC.
Proceedings of the 2004 Design, 2004

2003
Modeling of CSP, KPN and SR Systems with SystemC.
Proceedings of the Forum on specification and Design Languages, 2003

Systemic Embedded Software Generation from SystemC.
Proceedings of the 2003 Design, 2003

Systematic Embedded Software Generation from Systemc.
Proceedings of the Embedded Software for SoC, 2003


  Loading...