Scheduling of Soft Real-Time Systems for Context-Aware Applications
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Towards laying common grounds for embedded system design education
ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)
Experiences teaching an FPGA-based embedded systems class
ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)
Truly heterogeneous modeling with systemC
Formal methods and models for system design
A framework for embedded system specification under different models of computation in SystemC
Proceedings of the 43rd annual Design Automation Conference
Validating Families of Latency Insensitive Protocols
IEEE Transactions on Computers
A framework for heterogeneous specification and design of electronic embedded systems in SystemC
ACM Transactions on Design Automation of Electronic Systems (TODAES)
EWD: A metamodeling driven customizable multi-MoC system modeling framework
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Proceedings of the 20th annual conference on Integrated circuits and systems design
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Modelling Adaptive Systems in ForSyDe
Electronic Notes in Theoretical Computer Science (ENTCS)
A formalization of global simulation models for continuous/discrete systems
Proceedings of the 2007 Summer Computer Simulation Conference
Exploring power reduction options for a single-chip multiprocessor through system-level modeling
Journal of Embedded Computing - Issues in embedded single-chip multicore architectures
Semantics for model-based validation of continuous/discrete systems
Proceedings of the conference on Design, automation and test in Europe
Formal Reasoning About Causality Analysis
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Bridging MoCs in SystemC specifications of heterogeneous systems
EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Scalable Semantic Annotation Using Lattice-Based Ontologies
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Hierarchical agent monitoring design approach towards self-aware parallel systems-on-chip
ACM Transactions on Embedded Computing Systems (TECS)
A Functional Programming Framework for Latency Insensitive Protocol Validation
Electronic Notes in Theoretical Computer Science (ENTCS)
Introducing embedded systems: a cyber-physical approach: extended abstract
WESE '09 Proceedings of the 2009 Workshop on Embedded Systems Education
HiPEAC'07 Proceedings of the 2nd international conference on High performance embedded architectures and compilers
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Platform modeling for exploration and synthesis
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Specification of embedded control systems behaviour using actor interface automata
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
An introductory textbook on cyber-physical systems
WESE '10 Proceedings of the 2010 Workshop on Embedded Systems Education
Dynamic application model for scheduling with uncertainty on reconfigurable architectures
International Journal of Reconfigurable Computing - Special issue on selected papers from the international workshop on reconfigurable communication-centric systems on chips (ReCoSoC' 2010)
An approach for describing concurrency and communication of heterogeneous systems
Proceedings of the Third Workshop on Behavioural Modelling
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Proceedings of the 14th international conference on Model driven engineering languages and systems
Embedded system design 2.0: rationale behind a textbook revision
WESE '11 Proceedings of the 6th Workshop on Embedded Systems Education
Component-based analysis of embedded control applications
Innovations in Systems and Software Engineering
Models of computation for reactive control of autonomous mobile robots
Expert Systems with Applications: An International Journal
MoPCoM methodology: focus on models of computation
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
System-level synthesis of memory architecture for stream processing sub-systems of a MPSoC
Proceedings of the 49th Annual Design Automation Conference
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
metroII: A design environment for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
An automated parallel simulation flow for heterogeneous embedded systems
Proceedings of the Conference on Design, Automation and Test in Europe
Scheduling of synchronous data flow models onto scratchpad memory-based embedded processors
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on ESTIMedia'10
Output feedback control of asynchronous sequential machines with disturbance inputs
Information Sciences: an International Journal
| Hi-index | 0.00 |