Statecharts: A visual formalism for complex systems
Science of Computer Programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Real-time object-oriented modeling
Real-time object-oriented modeling
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
Object-oriented technology for real-time systems: a practical approach using OMT and Fusion
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Software engineering for real-time: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A codesign virtual machine for hierarchical, balanced hardware/software system modeling
Proceedings of the 37th Annual Design Automation Conference
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Modeling and evaluation of hardware/software designs
Proceedings of the ninth international symposium on Hardware/software codesign
Embedded UML: a merger of real-time UML and co-design
Proceedings of the ninth international symposium on Hardware/software codesign
Modeling and simulation of steady state and transient behaviors for emergent SoCs
Proceedings of the 14th international symposium on Systems synthesis
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Towards an engineering tool for implementing reusable distributed control systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling architectural patterns using architectural primitives
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A catalog of architectural primitives for modeling architectural patterns
Information and Software Technology
On the extension of UML with use case maps concepts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Scenario-oriented design for single-chip heterogeneous multiprocessors
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
| Hi-index | 48.22 |