ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Contract-based integration of automotive control software
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017
◽
10.23919/date.2017.7927248
◽
2017
◽
Cited By ~ 1
Author(s):
Tobias Sehnke
◽
Matthias Schultalbers
◽
Rolf Ernst
Keyword(s):
Control Software
◽
Automotive Control
◽
Automotive Control Software
Download Full-text
Related Documents
Cited By
References
Model Checking of Automotive Control Software: An Industrial Approach
IEICE Transactions on Information and Systems
◽
10.1587/transinf.2019fop0002
◽
2020
◽
Vol E103.D
(8)
◽
pp. 1794-1805
Author(s):
Masahiro MATSUBARA
◽
Tatsuhiro TSUCHIYA
Keyword(s):
Model Checking
◽
Control Software
◽
Automotive Control
◽
Automotive Control Software
Download Full-text
Tuning Static Data Race Analysis for Automotive Control Software
2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation
◽
10.1109/scam.2011.16
◽
2011
◽
Cited By ~ 4
Author(s):
Steffen Keul
Keyword(s):
Data Race
◽
Control Software
◽
Automotive Control
◽
Static Data
◽
Automotive Control Software
◽
Race Analysis
Download Full-text
Automatic Discovery of Unspecified Behaviors in Automotive Control Software
Testing – Practice and Research Techniques - Lecture Notes in Computer Science
◽
10.1007/978-3-642-15585-7_18
◽
2010
◽
pp. 181-188
◽
Cited By ~ 1
Author(s):
Muzammil Shahbaz
◽
Robert Eschbach
Keyword(s):
Control Software
◽
Automotive Control
◽
Automatic Discovery
◽
Automotive Control Software
Download Full-text
A model-based development environment for rapid-prototyping of latency-sensitive automotive control software
2016 Sixth International Symposium on Embedded Computing and System Design (ISED)
◽
10.1109/ised.2016.7977087
◽
2016
◽
Cited By ~ 1
Author(s):
Sakthivel Manikandan Sundharam
◽
Lionel Havet
◽
Sebastian Altmeyer
◽
Nicolas Navet
Keyword(s):
Rapid Prototyping
◽
Control Software
◽
Development Environment
◽
Automotive Control
◽
Model Based
◽
Automotive Control Software
Download Full-text
Validating Automotive Control Software Using Instrumentation-Based Verification
2009 IEEE/ACM International Conference on Automated Software Engineering
◽
10.1109/ase.2009.98
◽
2009
◽
Cited By ~ 10
Author(s):
Arnab Ray
◽
Iris Morschhaeuser
◽
Chris Ackermann
◽
Rance Cleaveland
◽
Charles Shelton
◽
...
Keyword(s):
Control Software
◽
Automotive Control
◽
Automotive Control Software
Download Full-text
Model-Based API-Call Constraint Checking for Automotive Control Software
2016 23rd Asia-Pacific Software Engineering Conference (APSEC)
◽
10.1109/apsec.2016.039
◽
2016
◽
Cited By ~ 4
Author(s):
Dongwoo Kim
◽
Yoohee Chung
◽
Yunja Choi
Keyword(s):
Control Software
◽
Automotive Control
◽
Constraint Checking
◽
Model Based
◽
Automotive Control Software
Download Full-text
Issues in performance certification for high-level automotive control software
Proceedings of the second international workshop on Software engineering for automotive systems - SEAS '05
◽
10.1145/1083190.1083196
◽
2005
◽
Cited By ~ 1
Author(s):
Bruce W. Weide
◽
Paolo Bucci
◽
Wayne D. Heym
◽
Murali Sitaraman
◽
Giorgio Rizzoni
Keyword(s):
Control Software
◽
Automotive Control
◽
Automotive Control Software
◽
High Level
Download Full-text
Application of Model Checking to Automotive Control Software with Slicing Technique
10.4271/2013-01-0436
◽
2013
◽
Cited By ~ 1
Author(s):
Masahiro Matsubara
◽
Kohei Sakurai
◽
Fumio Narisawa
◽
Masushi Enshoiwa
◽
Yoshio Yamane
◽
...
Keyword(s):
Model Checking
◽
Control Software
◽
Automotive Control
◽
Automotive Control Software
Download Full-text
Temporal properties in automotive control software
Proceedings of the 25th International Conference on Real-Time Networks and Systems - RTNS '17
◽
10.1145/3139258.3139279
◽
2017
◽
Author(s):
Tobias Sehnke
◽
Dieter Schwarzmann
◽
Matthias Schultalbers
◽
Rolf Ernst
Keyword(s):
Control Software
◽
Automotive Control
◽
Temporal Properties
◽
Automotive Control Software
Download Full-text
Model-Based Verification of Automotive Control Software
Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-642-03240-0_2
◽
2009
◽
pp. 2-2
◽
Cited By ~ 2
Author(s):
Rance Cleaveland
Keyword(s):
Control Software
◽
Automotive Control
◽
Model Based
◽
Automotive Control Software
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close