Search results for "automotive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	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
17	Jens Braband	On the Justification of a Risk Matrix for Technical Systems in European Railways.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	Marc Antoni	Complementarity between Axle Counters and Tracks Circuits.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	Kerstin Hartig, Jens Gerlach, Juan Soto 0001, 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
17	Sonja-Lara Bepperling, Andreas Schöbel	Estimation of Safety Requirements for Wayside Hot Box Detection Systems.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	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
17	Alexander Kuckelberg, Ekkehard Wendler	Modeling Computer based, microscopic Dispatching Systems.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	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
17	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
17	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
17	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
17	Birgit Milius	Designing a semi-quantitative risk graph.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	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
17	Tao Tang	Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	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
17	Stefan Detering, Lars Schnieder	Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	André Sülflow, Rolf Drechsler	Automatic Fault Localization for Programmable Logic Controllers.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	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
17	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
17	Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe	A Method of Evaluating Railway Signalling System Based on RAMS Concept.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	Ralf Schweinsberg	Achieving Europe-wide safety through technical harmonization.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	András Pataricza	Towards Open Modular Critical Systems.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	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
17	Alessio Ferrari 0001, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi	Model Checking Interlocking Control Tables.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	Margarita Peltekova	Safety and Security in Transportation Process - Not Just Technical Issue.	FORMS/FORMAT	2010	DBLP DOI BibTeX RDF
17	Bill Fleming	New Technologies for Automotive Electronics [Automotive Electronics].	IEEE Veh. Technol. Mag.	2008	DBLP DOI BibTeX RDF
17	Bill Fleming	Automotive Safety and Convenience Electronics [Automotive Electronics].	IEEE Veh. Technol. Mag.	2008	DBLP DOI BibTeX RDF
17	Fergal McCaffery, Ita Richardson, Peter Moller	Automotive-adept: A lightweight assessment method for the automotive software industry.	Softw. Process. Improv. Pract.	2008	DBLP DOI BibTeX RDF
17	Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)	Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers	ASWSD	2008	DBLP DOI BibTeX RDF
17	Bastian Florentz	Software and System Architecture Evaluation and Analysis in the Automotive Domain (Software- und Systemarchitekturevaluation und -Analysis in der Automotive Domäne) (PDF / PS)		2008	DOI RDF
17	Tobias Melz, Holger Hanselka, Michael Matthias	Adaptronische Systeme für automotive Anwendungen am Beispiel eines modularen, aktiven Strukturinterfaces (Smart Structures for Automotive Applications with the Example of a Modular Active Interface).	Autom.	2006	DBLP DOI BibTeX RDF
17	Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)	Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers	ASWSD	2006	DBLP DOI BibTeX RDF
17	Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee 0001	Generating Sound and Resource-Aware Code from Hybrid Systems Models.	ASWSD	2006	DBLP DOI BibTeX RDF
17	Rance Cleaveland, Scott A. Smolka, Steve Sims	An Instrumentation-Based Approach to Controller Model Validation.	ASWSD	2006	DBLP DOI BibTeX RDF
17	Wolfgang Pree, Josef Templ	Modeling with the Timing Definition Language (TDL).	ASWSD	2006	DBLP DOI BibTeX RDF
17	Stefan Jakubek, Nikolaus Keuth	Optimierte Neuro-Fuzzy-Modelle für Auslegungsprozesse und Simulation im Automotive-Bereich (Improved Neuro-Fuzzy Models for Design Processes and Simulation in Automotive Applications).	Autom.	2005	DBLP DOI BibTeX RDF
17	Jürgen Bortolazzi, J.-L. Maté, J. Becker, C. Morgano	Automotive System Architectures (Automotive Special Day).	DATE	2005	DBLP DOI BibTeX RDF
17	Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm	Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code.	ASWSD	2004	DBLP DOI BibTeX RDF
17	Insik Shin, Insup Lee 0001	A Compositional Framework for Real-Time Guarantees.	ASWSD	2004	DBLP DOI BibTeX RDF
17	Wolfgang Pree, Gerald Stieglbauer, Josef Templ	Simulink Integration of Giotto/TDL.	ASWSD	2004	DBLP DOI BibTeX RDF
17	Ulrich Lang 0002	Automotive Panel: Using VR in the Automotive Business.	EGVE	1998	DBLP DOI BibTeX RDF
17	Tony Owen	19th International Symposium on Automotive Technology and Automation Automotive Automation, ISATA, Croydon, 1, 317pages, no index (no price given).	Robotica	1989	DBLP DOI BibTeX RDF
17	P. Martin	Proceedings International Symposium on Automotive Technology and Automation Isata 85 Graz, Austria, 23rd-27th September, 1985 Automotive Automation Croydon, England, 1985 (no price given).	Robotica	1987	DBLP DOI BibTeX RDF
17	P. O. Ranky	Proceedings of the international symposium on automotive technology and Automation, with particlar Reference to Electronics and Energy saving in the Automotive Industries-Isata '83 ISATA, Croydon, U.K., 1983 (SF 392. =).	Robotica	1984	DBLP DOI BibTeX RDF
16	Utsav Drolia, Zhenyan Wang, Srinivas Vemuri, Madhur Behl, Rahul Mangharam	Demo abstract: AutoPlug - An automotive test-bed for ECU testing, validation and verification.	IPSN	2011	DBLP BibTeX RDF
16	Serge Leef	Challenges and opportunities in optimization of automotive electronics.	ISPD	2010	DBLP DOI BibTeX RDF	automatic optimization, distributed systems, communication
16	Marc Born, John M. Favaro, Olaf Kath	Application of ISO DIS 26262 in practice.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	model, safety, process, traceability
16	Rolf Johansson 0002, 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
16	Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien	Towards verification-based development of in-vehicle safety critical software: a case study.	EDCC-CARS	2010	DBLP DOI BibTeX RDF
16	Herbert Weber, Manfred Broy	Systemorientiertes Automotive Engineering.	Inform. Spektrum	2009	DBLP DOI BibTeX RDF
16	Bernd Hellingrath, Markus Witthaut, Carsten Böhle, Stephan Brügger	An Organizational Knowledge Ontology for Automotive Supply Chains.	HoloMAS	2009	DBLP DOI BibTeX RDF	Ontology, Multi-Agent System, Supply Chain Management
16	Ningxu Cai, Robert W. Brennan	Distributed Sensing and Control Architecture for Automotive Factory Automation.	HoloMAS	2009	DBLP DOI BibTeX RDF	IEC 61499, wireless sensor networks, industrial automation
16	Mirko Felisa, Paolo Zani	Incremental disparity space image computation for automotive applications.	IROS	2009	DBLP DOI BibTeX RDF
16	Jakob Axelsson	Evolutionary architecting of embedded automotive product lines: An industrial case study.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
16	Pascal Steingrube, Stefan K. Gehrig, Uwe Franke	Performance Evaluation of Stereo Algorithms for Automotive Applications.	ICVS	2009	DBLP DOI BibTeX RDF
16	Alexander Gruenstein, Jarrod Orszulak, Sean Liu, Shannon C. Roberts, Jeff Zabel, Bryan Reimer, Bruce Mehler, Stephanie Seneff, James R. Glass, Joseph F. Coughlin	City browser: developing a conversational automotive HMI.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	user interface design, multimodal interfaces, usability testing and evaluation, speech I/O
16	Hesham Shokry, Mike Hinchey	On practical Service-Based Computing in distributed embedded automotive systems.	MOMPES	2009	DBLP DOI BibTeX RDF
16	Mathias Moehring, Antje Gloystein, Ralf Doerner 0001	Issues with Virtual Space Perception within Reaching Distance: Mitigating Adverse Effects on Applications Using HMDs in the Automotive Industry.	VR	2009	DBLP DOI BibTeX RDF
16	Myounghoon Jeon 0001, Junho Park, Ubeom Heo, Jongmin Yun	Enhanced turning point displays facilitate drivers' interaction with navigation devices.	AutomotiveUI	2009	DBLP DOI BibTeX RDF	AUI, IVTs, PND, advanced turn-by-turn display, leading tones for turning, spatial turning sound, GUI
16	Falk Salewski, Stefan Kowalewski	Hardware/Software Design Considerations for Automotive Embedded Systems.	IEEE Trans. Ind. Informatics	2008	DBLP DOI BibTeX RDF
16	Teck Wee Chua, Woei Wan Tan	Genetically Evolved Fuzzy Rule-Based Classifiers and Application to Automotive Classification.	SEAL	2008	DBLP DOI BibTeX RDF	Type-2 Fuzzy, Fuzzy Rule-Based Classifier, Genetic-Fuzzy
16	Chi Zhang, Ning Xi 0001, Quan Shi	Object-orientated registration method for surface inspection of automotive windshields.	IROS	2008	DBLP DOI BibTeX RDF
16	Sam Schauland, Jörg Velten, Anton Kummert	Motion-Based Object Detection for Automotive Applications using Multidimensional Wave Digital Filters.	VTC Spring	2008	DBLP DOI BibTeX RDF
16	Brendan Pell, Wayne S. T. Rowe, Edin Sulic, Kamran Ghorbani, Sabu John, Rahul Gupta, Kefei Zhang, Brian Hughes	Experimental Study of the Effect of Paint on Embedded Automotive Antennas.	VTC Spring	2008	DBLP DOI BibTeX RDF
16	Albrecht Mayer, Frank Hellwig	System Performance Optimization Methodology for Infineon's 32-Bit Automotive Microcontroller Architecture.	DATE	2008	DBLP DOI BibTeX RDF
16	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
16	Patrick Scheer, Ernst Schmidt, Stefan Burges	CARbridge, Reduction of System Complexity by Standardisation of the System-Basis-Chips for Automotive Applications.	DATE	2008	DBLP DOI BibTeX RDF
16	Antonino Tumeo, Marco Branca, Lorenzo Camerini, Marco Ceriani, Matteo Monchiero, Gianluca Palermo, Fabrizio Ferrandi, Donatella Sciuto	A Dual-Priority Real-Time Multiprocessor System on FPGA for Automotive Applications.	DATE	2008	DBLP DOI BibTeX RDF
16	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
16	Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer	Verification of Temporal Properties in Automotive Embedded Software.	DATE	2008	DBLP DOI BibTeX RDF
16	Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski	Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications.	ISoLA	2008	DBLP DOI BibTeX RDF
16	Stefano Di Cairano, Diana Yanakiev, Alberto Bemporad, Ilya V. Kolmanovsky, Davor Hrovat	An MPC design flow for automotive control and applications to idle speed regulation.	CDC	2008	DBLP DOI BibTeX RDF
16	Bart Saerens, Moritz Diehl, Jan Swevers, Eric Van den Bulck	Model predictive control of automotive powertrains - first experimental results.	CDC	2008	DBLP DOI BibTeX RDF
16	Arai Monteforte	Case study for usage modeling in the automotive industry.	WSC	2008	DBLP DOI BibTeX RDF
16	Stefano Monti, Walter Nesci, Serino Angellotti, Claudio Schellino, Massimo Seminara, Rainer Wuesthenagen	Configuration and Change Management of the Outcomes of an Automotive Engine Control Model Based Software Design Process.	COMPSAC	2008	DBLP DOI BibTeX RDF
16	Isabell Jahnich, Ina Podolski, Achim Rettberg	Towards a Middleware Approach for a Self-configurable Automotive Embedded System.	SEUS	2008	DBLP DOI BibTeX RDF
16	Hendrik Schweppe, Armin Zimmermann, Daniel Grill	Flexible in-vehicle stream processing with distributed automotive control units for engineering and diagnosis.	SIES	2008	DBLP DOI BibTeX RDF
16	Dymitr Ruta	A Generic Methodology for Classification of Complex Data Structures in Automotive Industry.	KES (1)	2008	DBLP DOI BibTeX RDF
16	Ahmad Sinjari, Sazzadur Chowdhury	MEMS automotive collision avoidence radar beamformer.	ISCAS	2008	DBLP DOI BibTeX RDF
16	Eyad Alkassar, Peter Böhm, Steffen Knapp	Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.	DIPES	2008	DBLP DOI BibTeX RDF
16	Jan Jürjens, Daniel Reiß, David Trachtenherz	Model-Based Quality Assurance of Automotive Software.	MoDELS	2008	DBLP DOI BibTeX RDF
16	Bo Zhang	Modeling and Analyzing of a Time-Triggered Protocol for Automotive Systems.	ICONS	2008	DBLP DOI BibTeX RDF
16	Fábio Müller Guerrini, Juliano Borges de Freitas	Life Cycle of the Cooperation Networks Environment: A Case Study of a Construction Company's Project of an Automotive Motor Firm.	Virtual Enterprises and Collaborative Networks	2008	DBLP DOI BibTeX RDF
16	Enrique Alba 0001, Davide Anguita, Alessandro Ghio, Sandro Ridella	Using Variable Neighborhood Search to improve the Support Vector Machine performance in embedded automotive applications.	IJCNN	2008	DBLP DOI BibTeX RDF
16	Herbert Hanselmann	Challenges in automotive software engineering.	ICSE Companion	2008	DBLP DOI BibTeX RDF
16	Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Bernhard Schätz, Stefan Wagner 0001, Jean-Francois Girard, Stefan Teuchert	Clone detection in automotive model-based development.	ICSE	2008	DBLP DOI BibTeX RDF	model clone, data-flow, clone detection, matlab/simulink
16	Michael Karner, Christian Steger, Reinhold Weiss, Eric Armengaud, Daniel Watzenig, Gernot Knoll	Verification and analysis of dependable automotive communication systems based on HW/SW co-simulation.	ETFA	2008	DBLP DOI BibTeX RDF
16	Paul Milbredt, Andreas Steininger, Martin Horauer	Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks.	DELTA	2008	DBLP DOI BibTeX RDF	slightly-off-specification, inconsistency, system testing, FlexRay
16	Marco Di Natale	Design and Development of Component-Based Embedded Systems for Automotive Applications.	Ada-Europe	2008	DBLP DOI BibTeX RDF
16	Bo Zhang	Formal Analysis of a Distributed Fault Tolerant Clock Synchronization Algorithm for Automotive Communication Systems.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
16	Akram Khan, Achim Schaefer, Markus Zetlmeisl	Efficient Memory-Protected Integration of Add-On Software Subsystems in Small Embedded Automotive Applications.	IEEE Trans. Ind. Informatics	2007	DBLP DOI BibTeX RDF
16	Thomas Fleischmann	Model Based HMI Specification in an Automotive Context.	HCI (8)	2007	DBLP DOI BibTeX RDF	HMI Specification, Code generation, Domain Specific Language, Model based
16	Debra A. Elkins, A. Christine LaFleur, Earnest Foster, Jeffrey D. Tew, Bahar Biller, James R. Wilson	Clinic: correlated inputs in an automotive paint shop fire risk simulation.	WSC	2007	DBLP DOI BibTeX RDF
16	José Arnaldo Barra Montevechi, Alexandre Ferreira de Pinho, Fabiano Leal, Fernando Augusto Silva Marins	Application of design of experiments on the simulation of a process in an automotive industry.	WSC	2007	DBLP DOI BibTeX RDF
16	Jeffrey Scott Miller, Randy Combs, Earnest Foster, Jeffrey D. Tew, Deborah J. Medeiros, Onur M. Ülgen	Clinic: aggregating subsystem models into an automotive total plant throughput model.	WSC	2007	DBLP DOI BibTeX RDF
16	Deogratias Kibira, Charles R. McLean	Generic simulation of automotive assembly for interoperability testing.	WSC	2007	DBLP DOI BibTeX RDF
16	Jindae Kim, Changsoo Ok, Soundar R. T. Kumara, Shang-Tae Yee	Multiagent-Based Dynamic Deployment Planning in RTLS-Enabled Automotive Shipment Yard.	Canadian AI	2007	DBLP DOI BibTeX RDF
16	Janus S. Liang	A Web-based Learning Platform for Measuring and Circuit Practice in Part Design Course of Automotive Electric.	CSCWD	2007	DBLP DOI BibTeX RDF
16	Shiwei Wang, Dingli Yu	Neural Network in Stable Adaptive Control Law for Automotive Engines.	ISNN (1)	2007	DBLP DOI BibTeX RDF
16	Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati	A multiform time approach to real-time system modeling; Application to an automotive system.	SIES	2007	DBLP DOI BibTeX RDF