Sebastian Steinhorst

Citeras av

	Alla	Sedan 2017
Citat	1394	1039
h-index	22	17
i10-index	42	32

260

130

195

200920102011201220132014201520162017201820192020202120226 16 28 19 27 37 73 136 142 196 203 183 255 59

Offentlig åtkomst

Visa alla

58 artiklar

5 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Martin LukasiewyczGoogleVerifierad e-postadress på google.com
Samarjit ChakrabortyKenan Professor of Computer Science, The University of North Carolina at Chapel HillVerifierad e-postadress på cs.unc.edu
Swaminathan NarayanaswamyTechnical University of MunichVerifierad e-postadress på tum.de
Philipp MundhenkRobert Bosch GmbHVerifierad e-postadress på de.bosch.com
Suhaib FahmyAssociate Professor, King Abdullah University of Science and Technology (KAUST)Verifierad e-postadress på kaust.edu.sa
Florian SagstetterResearch AssociateVerifierad e-postadress på tum-create.edu.sg
Emanuel RegnathTechnical University of MunichVerifierad e-postadress på tum.de
Artur MrowcaBMW AGVerifierad e-postadress på mytum.de
Peter WaszeckiAssistant Professor, Singapore Institute of TechnologyVerifierad e-postadress på singaporetech.edu.sg
Marko WolfBOSCH GroupVerifierad e-postadress på rub.de
Shreejith ShankerAssistant Professor, Trinity College DublinVerifierad e-postadress på tcd.ie
Arvind EaswaranNanyang Technological University (NTU)Verifierad e-postadress på ntu.edu.sg
Sangyoung ParkAssistant Professor, Technical University of Berlin, Einstein Center Digital FutureVerifierad e-postadress på tu-berlin.de
Thomas PeyrinAssociate Professor, Nanyang Technological UniversityVerifierad e-postadress på ntu.edu.sg
Somesh JhaLubar Chair of Computer Science, University of WisconsinVerifierad e-postadress på cs.wisc.edu
William HarrisResearch Scientist, Galois Inc.Verifierad e-postadress på galois.com
Andrew PaverdMicrosoft ResearchVerifierad e-postadress på microsoft.com
Dip GoswamiAssistant Professor, Electrical Engineering, Eindhoven University of Technology (TU/e)Verifierad e-postadress på tue.nl
Alma PröbstlZF Friedrichshafen AGVerifierad e-postadress på tum.de
Qixin WangAssociate Professor of Department of Computing, The Hong Kong Polytechnic UniversityVerifierad e-postadress på comp.polyu.edu.hk

Följ

Sebastian Steinhorst

Associate Professor, Dept. of Electrical and Computer Engineering, Technical University of Munich

Verifierad e-postadress på tum.de - Startsida

Internet of Things Embedded Systems Autonomous Systems Automotive


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Security challenges in automotive hardware/software architecture design F Sagstetter, M Lukasiewycz, S Steinhorst, M Wolf, A Bouard, WR Harris, ... 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 458-463, 2013	135	2013
Smart cells for embedded battery management S Steinhorst, M Lukasiewycz, S Narayanaswamy, M Kauer, S Chakraborty 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and …, 2014	61	2014
Security in automotive networks: Lightweight authentication and authorization P Mundhenk, A Paverd, A Mrowca, S Steinhorst, M Lukasiewycz, ... ACM Transactions on Design Automation of Electronic Systems (TODAES) 22 (2 …, 2017	60	2017
Modular active charge balancing for scalable battery packs S Narayanaswamy, M Kauer, S Steinhorst, M Lukasiewycz, S Chakraborty IEEE Transactions on Very Large Scale Integration (VLSI) Systems 25 (3), 974-987, 2016	55	2016
Model checking of analog systems using an analog specification language S Steinhorst, L Hedrich Proceedings of the conference on Design, automation and test in Europe, 324-329, 2008	52	2008
Lightweight authentication for secure automotive networks P Mundhenk, S Steinhorst, M Lukasiewycz, SA Fahmy, S Chakraborty 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 285-288, 2015	50	2015
Distributed reconfigurable battery system management architectures S Steinhorst, Z Shao, S Chakraborty, M Kauer, S Li, M Lukasiewycz, ... 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), 429-434, 2016	46	2016
Special session: Future automotive systems design: Research challenges and opportunities S Saidi, S Steinhorst, A Hamann, D Ziegenbein, M Wolf 2018 International Conference on Hardware/Software Codesign and System …, 2018	45*	2018
System architecture and software design for electric vehicles M Lukasiewycz, S Steinhorst, S Andalam, F Sagstetter, P Waszecki, ... Proceedings of the 50th Annual Design Automation Conference, 95, 2013	43	2013
Security analysis of automotive architectures using probabilistic model checking P Mundhenk, S Steinhorst, M Lukasiewycz, SA Fahmy, S Chakraborty 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2015	40	2015
Advanced methods for equivalence checking of analog circuits with strong nonlinearities S Steinhorst, L Hedrich Formal Methods in System Design 36 (2), 131-147, 2010	36	2010
Automotive electrical and electronic architecture security via distributed in-vehicle traffic monitoring P Waszecki, P Mundhenk, S Steinhorst, M Lukasiewycz, R Karri, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017	34	2017
Security-aware obfuscated priority assignment for automotive can platforms M Lukasiewycz, P Mundhenk, S Steinhorst ACM Transactions on Design Automation of Electronic Systems (TODAES) 21 (2 …, 2016	31	2016
Cyber-physical systems design for electric vehicles M Lukasiewycz, S Steinhorst, F Sagstetter, W Chang, P Waszecki, ... 2012 15th Euromicro Conference on Digital System Design, 477-484, 2012	31	2012
Modular system-level architecture for concurrent cell balancing M Kauer, S Naranayaswami, S Steinhorst, M Lukasiewycz, S Chakraborty, ... 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC), 1-10, 2013	30	2013
Smaconat: Smart contracts in natural language E Regnath, S Steinhorst 2018 Forum on Specification & Design Languages (FDL), 5-16, 2018	27	2018
Trajectory-directed discrete state space modeling for formal verification of nonlinear analog circuits S Steinhorst, L Hedrich 2012 IEEE/ACM international conference on computer-aided design (ICCAD), 202-209, 2012	27	2012
Formal approaches to analog circuit verification E Barke, D Grabowski, H Graeb, L Hedrich, S Heinen, R Popp, ... 2009 Design, Automation & Test in Europe Conference & Exhibition, 724-729, 2009	27	2009
Optimal dimensioning of active cell balancing architectures S Narayanaswamy, S Steinhorst, M Lukasiewycz, M Kauer, S Chakraborty 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014	24	2014
VEGa: A high performance vehicular Ethernet gateway on hybrid FPGA S Shreejith, P Mundhenk, A Ettner, SA Fahmy, S Steinhorst, ... IEEE Transactions on Computers 66 (10), 1790-1803, 2017	23	2017

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ den här författaren

Citeras av

Medförfattare