Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Guidelines for a graduate curriculum on embedded software and systems
ACM Transactions on Embedded Computing Systems (TECS)
Communications of the ACM
A Framework for Component-based Construction Extended Abstract
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Validating timed UML models by simulation and verification
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Introducing USB technology into the undergraduate CS curriculum
Journal of Computing Sciences in Colleges
Editorial: embedded systems design in intelligent industrial automation
EURASIP Journal on Embedded Systems - Embedded System Design in Intelligent Industrial Automation
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Bridging the gap: Discrete-Event Systems for software engineering (short position paper)
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Functional metamodels for systems and software
Journal of Systems and Software
Model checking: algorithmic verification and debugging
Communications of the ACM - Scratch Programming for All
On determinism in modal transition systems
Theoretical Computer Science
Recent advances in model-based methodologies for pervasive and embedded software
ACM SIGSOFT Software Engineering Notes
Revitalizing CS hardware curricula: object oriented hardware design
Journal of Computing Sciences in Colleges
Closed-loop modeling in future automation system engineering and validation
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Journal of Computing Sciences in Colleges
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
Collaborative modelling and co-simulation in the development of dependable embedded systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A frame work for model based designing of analog circuits using simulink
Proceedings of the International Conference & Workshop on Emerging Trends in Technology
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
An aspect-oriented, model-driven approach to functional hardware verification
Journal of Systems Architecture: the EUROMICRO Journal
Modal event-clock specifications for timed component-based design
Science of Computer Programming
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
EXPTIME-completeness of thorough refinement on modal transition systems
Information and Computation
Comprehensive design of cyber physical systems
Proceedings of the 13th annual conference on Information technology education
Design support and tooling for dependable embedded control software
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Ensuring reachability by design
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Information and Software Technology
Conservative open-page policy for mixed time-criticality memory controllers
Proceedings of the Conference on Design, Automation and Test in Europe
From software verification to `everyware' verification
Computer Science - Research and Development
| Hi-index | 4.12 |
The wall between computer science and electrical engineering has kept the potential of embedded systems at bay. It is time to build a new scientific foundation with embedded systems design as the cornerstone, which will ensure a systematic and even-handed integration of the two fields.