|
Results
Found 173 publication records. Showing 173 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner |
4th Intl. ICSE workshop on Software Engineering for Automotive Systems.  |
ACM SIGSOFT Software Engineering Notes  |
2007 |
DBLP DOI BibTeX RDF |
software engineering, automotive systems |
| 3 | Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber |
Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
systems engineering, architecture description language, automotive systems |
| 3 | Steffen Thiel, Andreas Hein |
Modeling and Using Product Line Variability in Automotive Systems. |
IEEE Software |
2002 |
DBLP DOI BibTeX RDF |
Product line development, economies of scope, configurability, variability, feature model, architecture design, automotive systems, product derivation |
| 2 | Jurgen Mossinger |
Software in Automotive Systems. |
IEEE Software |
2010 |
DBLP DOI BibTeX RDF |
software engineering, standards, best practices, automotive systems |
| 2 | Hyunchul Jo, Shiquan Piao, Wooyoung Jung |
Design of a Vehicular Code Generator for Distributed Automotive Systems. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
Software architecture, Automotive systems, Software development tool, AUTOSAR, RTE |
| 2 | Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux |
Use of formal methods for building qualified code generator for safer automotive systems. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
software engineering, formal verification, certification, automatic code generator, automotive systems |
| 2 | Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova |
On the correctness of upper layers of automotive systems. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Time-triggered systems, Formal verification, Model-based development, Automotive software |
| 2 | Eckard Bringmann, Andreas Krämer |
Model-Based Testing of Automotive Systems. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
continuous behavior testing, closed loop testing, Model-based testing, test automation, automotive systems |
| 2 | Bo Zhang |
Modeling and Analyzing of a Time-Triggered Protocol for Automotive Systems. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Isabell Jahnich, Ina Podolski, Achim Rettberg |
Integrating Dynamic Load Balancing Strategies into the Car-Network. |
DELTA |
2008 |
DBLP DOI BibTeX RDF |
Load Balancing, Middleware, Automotive Systems, Task Distribution |
| 2 | Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
Period Optimization for Hard Real-time Distributed Automotive Systems. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Willem Ridderhof, Hans-Gerhard Groß, Heiko Dörr |
Establishing Evidence for Safety Cases in Automotive Systems - A Case Study. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Ramin Tavakoli Kolagari, Mark-Oliver Reiser |
Reusing Requirements: The Need for Extended Variability Models. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
complex variability, requirements engineering, software product lines, automotive systems, variability modeling |
| 2 | Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner |
3rd Intl. ICSE workshop on software engineering for automotive systems. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
automotive software engineering |
| 2 | Venkita Subramonian, Christopher D. Gill |
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Jon Friedman |
MATLAB/Simulink for automotive systems design. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Matteo Sonza Reorda, Massimo Violante |
Hardware-in-the-Loop-Based Dependability Analysis of Automotive Systems. |
IOLTS |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner |
3rd international workshop on software engineering for automotive systems - SEAS 2006. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
safety methods, security, real time, software quality, automotive software engineering |
| 2 | Shengbing Jiang |
A Decoupled Scheduling Approach For Distributed Real-Time Embedded Automotive Systems. |
IEEE Real Time Technology and Applications Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Alexander Pretschner, Chris Salzmann, Thomas Stauner |
2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems. |
ACM SIGSOFT Software Engineering Notes |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Domenico Capriglione, Claudio Marrocco, Mario Molinara, Francesco Tortorella |
SVM Based Regression Schemes for Instruments Fault Accommodation in Automotive Systems. |
ICIAP |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Alexander Pretschner, Chris Salzmann, Thomas Stauner |
Software engineering for automotive systems at ICSE 2004 workshop summary. |
ACM SIGSOFT Software Engineering Notes |
2004 |
DBLP DOI BibTeX RDF |
ICSE workshop, automotive software engineering |
| 2 | Fulvio Corno, Matteo Sonza Reorda, S. Tosato, F. Esposito |
Evaluating the Effects of Transient Faults on Vehicle Dynamic Performance in Automotive Systems. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Sandeep Neema, Gabor Karsai |
Software for Automotive Systems: Model-Integrated Computing. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Barthels, Joachim Fröschl, Hans-Ulrich Michel, Uwe Baumgarten |
An Architecture for Power Management in Automotive Systems. |
ARCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lukasiewycz, Reinhard Schneider, Dip Goswami, Samarjit Chakraborty |
Modular scheduling of distributed heterogeneous time-triggered automotive systems. |
ASP-DAC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Drössler, Michael Eichhorn, S. Holzknecht, Bernd Müller-Rathgeber, Holm Rauchfuss, Michael Zwick, E. Biebl, Klaus Diepold, Jörg Eberspächer, Andreas Herkersdorf, Walter Stechele, Eckehard G. Steinbach, R. Freymann, Karl-Ernst Steinberg, Hans-Ulrich Michel |
A Real-Time Capable Virtualized Information and Communication Technology Infrastructure for Automotive Systems. |
Advances in Real-Time Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Holtmann, Jan Meyer, Matthias Meyer |
A Seamless Model-Based Development Process for Automotive Systems. |
Software Engineering (Workshops) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Siegl, Kai-Steffen Jens Hielscher, Reinhard German |
Modeling and Statistical Testing of Real Time Embedded Automotive Systems by Combination of Test Models and Reference Models in MATLAB/Simulink. |
ICSEng |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Siegl, Kai-Steffen Jens Hielscher, Reinhard German, Christian Berger |
Formal specification and systematic model-driven testing of embedded automotive systems. |
DATE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eckehard Schnieder, Géza Tarnai (eds.) |
FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010 |
FORMS/FORMAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sinisa Kezic, Mario Zagar, D. Ilic |
Improving behavior of automotive systems with collected runtime data visualization. |
MIPRO |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nabil Kabbaj, Andrei Doncescu |
Diagnosis of Automotive Systems Based on Logfile Similarity. |
BWCCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl Svärd, Mattias Nyberg |
Residual Generators for Fault Diagnosis Using Computation Sequences With Mixed Causality Applied to Automotive Systems. |
IEEE Transactions on Systems, Man, and Cybernetics, Part A |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Klöpper, Shinichi Honiden, Jan Meyer, Matthias Tichy |
Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems. |
SASO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Saoussen Anssi, Sébastien Gérard, Arnaud Albinet, François Terrier |
Requirements and Solutions for Timing Analysis of Automotive Systems. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Zeller, Stefan Grosse, Dirk Eilers, Rudi Knorr |
Fail-Safe Data Management in Self-Healing Automotive Systems. |
ICAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer |
Designing Self-healing in Automotive Systems. |
ATC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Siegl, Kai-Steffen Jens Hielscher, Reinhard German |
Model Based Requirements Analysis and Testing of Automotive Systems with Timed Usage Models. |
RE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonja-Lara Bepperling, Andreas Schöbel |
Estimation of Safety Requirements for Wayside Hot Box Detection Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle |
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Braband |
On the Justification of a Risk Matrix for Technical Systems in European Railways. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | André Sülflow, Rolf Drechsler |
Automatic Fault Localization for Programmable Logic Controllers. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | András Pataricza |
Towards Open Modular Critical Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-Rüdiger Hase |
"Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Tang |
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich |
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto |
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Antova, Dragan Jovicic, Thierry Breyne |
Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Birgit Milius |
Designing a semi-quantitative risk graph. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse |
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karol Rástocný, Juraj Ilavský |
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter |
Using Guided Simulation to Assess Driver Assistance Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kuckelberg, Ekkehard Wendler |
Modeling Computer based, microscopic Dispatching Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi |
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Detering, Lars Schnieder |
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann |
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe |
A Method of Evaluating Railway Signalling System Based on RAMS Concept. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Balázs Polgár, István Ráth, István Majzik |
Model-based Integration Framework for Development and Testing Tool-chains. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Schweinsberg |
Achieving Europe-wide safety through technical harmonization. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto |
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi |
Model Checking Interlocking Control Tables. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita Peltekova |
Safety and Security in Transportation Process - Not Just Technical Issue. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Antoni |
Complementarity between Axle Counters and Tracks Circuits. |
FORMS/FORMAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Barbosa, Johan Karlsson |
Opportunities from standardization in automotive safety assessment. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Johansson, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert |
A road-map for enabling system analysis of AUTOSAR-based systems. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
ISO-26262, safety, system analysis, ADL, model-based design, AUTOSAR |
| 1 | Marie-Agnès Peraldi-Frati, Arnaud Albinet |
Requirement traceability in safety critical systems. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
modeling, validation, time, safety, traceability, non-functional requirement, MARTE |
| 1 | Cláudio Maia, Luís Nogueira, Luís Miguel Pinho |
Experiences on the implementation of a cooperative embedded system framework: short paper. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
Android, cooperative computing, distributed real-time embedded systems |
| 1 | Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Stochastic Analysis of Distributed Real-time Automotive Systems. |
IEEE Trans. Industrial Informatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
Challenges and Solutions in the Development of Automotive Systems. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kihoon Choi, Satnam Singh, Anuradha Kodali, Krishna R. Pattipati, John W. Sheppard, Setu Madhavi Namburu, Shunsuke Chigusa, Danil V. Prokhorov, Liu Qiao |
Novel Classifier Fusion Approaches for Fault Diagnosis in Automotive Systems. |
IEEE T. Instrumentation and Measurement |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Schulze, Mario Pukall, Gunter Saake, Tobias Hoppe, Jana Dittmann |
On the Need of Data Management in Automotive Systems. |
BTW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan-Hendrik Oetjens, Ralph Görgen, Joachim Gerlach, Wolfgang Nebel |
An automated flow for integrating hardware IP into the automotive systems engineering process. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Damien Chabrol, Christophe Aussaguès, Vincent David |
A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems. |
ETFA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hesham Shokry, Mike Hinchey |
On practical Service-Based Computing in distributed embedded automotive systems. |
MOMPES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
Scheduling the FlexRay bus using optimization techniques. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, automotive, MILP, FlexRay |
| 1 | Lotfi Guedria, Damien Hubaux, Mathieu Ocãna, Jean-Didier Legat |
Flexible embedded system for sensor integration and custom data processing in an automotive application. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
driver coaching, soft-core, vehicle monitoring, FPGA, GPS, flexibility, automotive system, FMS, CAN bus |
| 1 | Ji Eun Kim, Oliver Rogalla, Simon Kramer 0003, Arne Hamann |
Extracting, specifying and predicting software system properties in component based real-time embedded software development. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard W. Selby |
Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems. |
ICSP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Hoppe, Stefan Kiltz, Jana Dittmann |
Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christer Thörn, Kurt Sandkuhl |
Feature Modeling: Managing Variability in Complex Systems. |
Complex Systems in Knowledge-based Environments |
2009 |
DBLP DOI BibTeX RDF |
Feature modeling, variability modeling |
| 1 | Krishna R. Pattipati, Anuradha Kodali, Jianhui Luo, Kihoon Choi, Satnam Singh, Chaitanya Sankavaram, Suvasri Mandal, William Donat, Setu Madhavi Namburu, Shunsuke Chigusa, Liu Qiao |
An Integrated Diagnostic Process for Automotive Systems. |
Computational Intelligence in Automotive Applications |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Dörr |
The AUTOSAR Way of Model-Based Engineering of Automotive Systems. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hesham Shokry, M. Ali Babar |
Dynamic Software Product Line Architectures Using Service-Based Computing for Automotive Systems. |
SPLC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alec Dorling |
The Role of Process Standards in Automotive Systems Development. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes |
Service-Oriented Modelling of Automotive Systems. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Markwirth, Joachim Haase, Karsten Einwich |
Statistical Modeling with SystemC-AMS for Automotive Systems. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
Software Components for Reliable Automotive Systems. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
Physical Architectures of Automotive Systems. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti |
Formal verification of an automotive scenario in service-oriented computing. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
model checking, service-oriented computing, automotive systems |
| 1 | Tim Reichert, Edmund Klaus, Wolfgang Schoch, Ansgar Meroth, Dominikus Herzberg |
A language for advanced protocol analysis in automotive networks. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
automotive systems engineering, protocol analysis, protocol specifications |
| 1 | Augustin Kebemou, Ina Schieferdecker |
The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures. |
DIPES |
2008 |
DBLP DOI BibTeX RDF |
design, architecture, partitioning, mapping, automotive systems |
| 1 | Ana Magazinovic, Joakim Pernstål, Peter Öhman |
Software Cost Estimation Inhibitors - A Case Study. |
PROFES |
2008 |
DBLP DOI BibTeX RDF |
Empirical Software Engineering, Case Study, Cost Estimation, Automotive Systems |
| 1 | Dawid Trawczynski, Janusz Sosnowski, Piotr Gawkowski |
Analyzing Fault Susceptibility of ABS Microcontroller. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
safety evaluation, fault tolerance, Fault injection, real-time embedded systems, automotive systems |
| 1 | Serena Fritsch, Aline Senart, Douglas C. Schmidt, Siobhán Clarke |
Time-bounded adaptation for automotive system software. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
automotive software systems, taxonomy, dynamic adaptation |
| 1 | Lars Grunske |
Specification patterns for probabilistic quality properties. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
csl, pctl, pctl*, probabilistic quality, probabilistic quality patterns, security, performance, reliability, safety, specification patterns |
| 1 | Lei Feng, De-Jiu Chen, Martin Törngren |
Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Zhang |
Specifying and Verifying Timing Properties of a Time-triggered Protocol for In-vehicle Communication. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 173 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")