The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Usage Scenarios for an Automated Model Compiler
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Reuse of software in distributed embedded automotive systems
Proceedings of the 4th ACM international conference on Embedded software
Proceedings of the 4th ACM international conference on Embedded software
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Model-based run-time monitoring of end-to-end deadlines
Proceedings of the 5th ACM international conference on Embedded software
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Abstractions for Model-Based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
4th International ICSE Workshop on Software Engineering for Automotive Systems
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
A Future for Software Engineering?
FOSE '07 2007 Future of Software Engineering
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
Ahaa --agile, hybrid assessment method for automotive, safety critical smes
Proceedings of the 30th international conference on Software engineering
A language for advanced protocol analysis in automotive networks
Proceedings of the 30th international conference on Software engineering
Clone detection in automotive model-based development
Proceedings of the 30th international conference on Software engineering
REFSQ '08 Proceedings of the 14th international conference on Requirements Engineering: Foundation for Software Quality
Model-Based Quality Assurance of Automotive Software
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Challenges for semi-automatic trace recovery in the automotive domain
TEFSE '09 Proceedings of the 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering
A Requirements Reference Model for Model-Based Requirements Engineering in the Automotive Domain
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Monitoring probabilistic properties
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Feature-oriented requirements modelling
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Extending software engineering research outside the digital box
Proceedings of the FSE/SDP workshop on Future of software engineering research
Architecting automotive product lines: industrial practice
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A formal approach for the specification and verification of trustworthy component-based systems
Journal of Systems and Software
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Seamless model-driven development put into practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Reliability-driven deployment optimization for embedded systems
Journal of Systems and Software
Cardiogram: visual analytics for automotive engineers
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Requirements engineering for embedded systems: an investigation of industry needs
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
Component deployment optimisation with bayesian learning
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Data management for component-based embedded real-time systems: The database proxy approach
Journal of Systems and Software
Measuring the size of changes in automotive software systems and their impact on product quality
Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement
Problems and their mitigation in system and software architecting
Information and Software Technology
Architecture-driven reliability optimization with uncertain model parameters
Journal of Systems and Software
Information visualization evaluation in large companies: challenges, experiences and recommendations
Information Visualization - Special issue on Evaluation for Information Visualization
Requirement identification for variability management in a co-simulation environment
Proceedings of the 16th International Software Product Line Conference - Volume 1
Formal semantics of modular time refinement in AutoFocus
Computer Science - Research and Development
Verification across Intellectual Property Boundaries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of Systems and Software
Simulink models are also software: modularity assessment
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Automotive architecture description and its quality
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Architecting automotive product lines: Industrial practice
Science of Computer Programming
A reference architecture for cooperative driving
Journal of Systems Architecture: the EUROMICRO Journal
Guiding requirements engineering for software-intensive embedded systems in the automotive industry
Computer Science - Research and Development
Hi-index | 0.00 |
The first pieces of software were introduced into cars in 1976. By 2010, premium class vehicles are expected to contain one gigabyte of on-board software. We present research challenges in the domain of automotive software engineering.