Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Architecting in software ecosystems: interface translucence as an enabler for scalable collaboration
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Managing evolution in software product lines: a model-checking perspective
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Using architecture for multiple levels of access to an ecosystem platform
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
System-specific static code analyses: a case study in the complex embedded systems domain
Software Quality Control
A testbench specification language for SystemC verification
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Eternal embedded software: towards innovation experiment systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
A vision for behavioural model-driven validation of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Coverage-directed observability-based validation for embedded software
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Automated repair of binary and assembly programs for cooperating embedded devices
Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems
Safe deployment for reconfigurable cyber-physical systems
Proceedings of the 18th international doctoral symposium on Components and architecture
A discipline-spanning development process for self-adaptive mechatronic systems
Proceedings of the 2013 International Conference on Software and System Process
Journal of Systems and Software
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Science of Computer Programming
Studying the code compression design space - A synthesis approach
Journal of Systems Architecture: the EUROMICRO Journal
Reducing the verification cost of evolving product families using static analysis techniques
Science of Computer Programming
| Hi-index | 4.10 |
Due to the complex system context of embedded-software applications, defects can cause life-threatening situations, delays can create huge costs, and insufficient productivity can impact entire economies. Providing better estimates, setting objectives, and identifying critical hot spots in embedded-software engineering requires adequate benchmarking data.