Sebastian Steinhorst

CoRR, 2024

SoK: Security of the Image Processing Pipeline in Autonomous Vehicles.

[BibT_eX]

[DOI]

CoRR, 2024

Zero-Knowledge Location Privacy via Accurate Floating Point SNARKs.

[BibT_eX]

[DOI]

CoRR, 2024

REACT: Autonomous intrusion response system for intelligent vehicles.

[BibT_eX]

[DOI]

Comput. Secur., 2024

Blockchain Censorship.

[BibT_eX]

[DOI]

Mikolaj Barczentewicz

Arthur Gervais

Proceedings of the ACM on Web Conference 2024, 2024

Autonomous Vehicular Systems: Architectural Strategies for Adaptive Multi-Objective Configuration.

[BibT_eX]

[DOI]

Proceedings of the 99th IEEE Vehicular Technology Conference, 2024

MATRaCAE: Time-Based Revocable Access Control in the IoT.

[BibT_eX]

[DOI]

Clémentine Gritti

Proceedings of the 21st International Conference on Security and Cryptography, 2024

Quantifying the Impact of Frame Preemption on Combined TSN Shapers.

[BibT_eX]

[DOI]

Proceedings of the NOMS 2024 IEEE Network Operations and Management Symposium, 2024

HoloWoT: A First Step Towards Mixed Reality Digital Twins for the Industrial Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Advanced IDPS Architecture for Connected and Autonomous Vehicles.

[BibT_eX]

[DOI]

Sherin Kalli Valappil

Lars Vogel

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2024, 2024

DyST: Dynamic Specification Mining for Heterogenous IoT Systems with WoT.

[BibT_eX]

[DOI]

Silvia Oliva Ramirez

Proceedings of the Web Engineering - 24th International Conference, 2024

zkGen: Policy-to-Circuit Transpiler.

[BibT_eX]

[DOI]

Jan Lauinger

Jens Ernstberger

Mohammad Reza Heidari Iman

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

Portal: Time-Bound and Replay-Resistant Zero-Knowledge Proofs for Single Sign-On.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

ADAssure: Debugging Methodology for Autonomous Driving Control Algorithms.

[BibT_eX]

[DOI]

Andrew Roberts

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Stateful-WoT: Capturing the Behavior of Highly Dynamic Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2024

2023

Predictable timing behavior of gracefully degrading automotive systems.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., June, 2023

SEEMQTT: Secure End-to-End MQTT-Based Communication for Mobile IoT Systems Using Secret Sharing and Trust Delegation.

[BibT_eX]

[DOI]

IEEE Internet Things J., February, 2023

Janus: Fast Privacy-Preserving Data Provenance For TLS 1.3.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

SoK: Data Sovereignty.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Security Challenges in Autonomous Systems Design.

[BibT_eX]

[DOI]

CoRR, 2023

Reliability Analysis of Gracefully Degrading Automotive Systems.

[BibT_eX]

[DOI]

Ali Younessi

CoRR, 2023

RobWoT: Generating Real-Time Digital Twin Simulations for the Robotic Web of Things.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE World Forum on Internet of Things, 2023

Simutack - An Attack Simulation Framework for Connected and Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 97th IEEE Vehicular Technology Conference, 2023

5GTQ: QoS-Aware 5G-TSN Simulation Framework.

[BibT_eX]

[DOI]

Rubi Debnath

Mustafa Selman Akinci

Devika Ajith

Proceedings of the 98th IEEE Vehicular Technology Conference, 2023

Message from the Chairs: RTCSA 2023.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

Advanced Modeling and Analysis of Individual and Combined TSN Shapers in OMNeT++.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

TEEVseL4: Trusted Execution Environment for Virtualized seL4-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

X-MAPE: Extending 6G-Connected Self-Adaptive Systems with Reflexive Actions.

[BibT_eX]

[DOI]

Dimitrios A. Prousalis

Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2023

Anonymous Domain Ownership.

[BibT_eX]

[DOI]

Jan Lauinger

Jens Ernstberger

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

Autonomous Hyperloop Control Architecture Design using MAPE-K.

[BibT_eX]

[DOI]

Julian Demicoli

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Trusted Single-Source Sensors using SNARKs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2023

WoT-Phyng-Sim: Integrating Physics Simulations with IoT Digital Twins using the Web of Things.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2023

2022

On the efficacy of SoC-preconditioning on the utilization of battery packs in Electric Vehicles.

[BibT_eX]

[DOI]

Ananth Garikapati

Johannes Machleid

Microprocess. Microsystems, February, 2022

Quantitative Performance Comparison of Various Traffic Shapers in Time-Sensitive Networking.

[BibT_eX]

[DOI]

Luxi Zhao

Paul Pop

IEEE Trans. Netw. Serv. Manag., 2022

Toward Resilience in Mixed Critical Industrial Control Systems: A Multi-Disciplinary View.

[BibT_eX]

[DOI]

Robert-Jeron Reifert

Martin Krawczyk-Becker

Svyatoslav Pavlichkov

Mohammad Al Khatib

Sandesh Athni Hiremath

IEEE Access, 2022

Toward a Multi-Layer Intrusion Response System for Connected Vehicles.

[BibT_eX]

[DOI]

Jan Lauinger

Proceedings of the 96th Vehicular Technology Conference, 2022

Rollback Sequences for Dynamic Reconfiguration of IEC 61499.

[BibT_eX]

[DOI]

Simon Hofmann

Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

Real-time Dynamic Reconfiguration for IEC 61499.

[BibT_eX]

[DOI]

Simon Hofmann

Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

FLaaS6G: Federated Learning as a Service in 6G Using Distributed Data Management Architecture.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Communications Conference, 2022

Feasible Time Delay Attacks Against the Precision Time Protocol.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Communications Conference, 2022

Supporting a Model-driven Development Process for Distributed Control Software.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Towards Resilience by Self-Adaptation of Industrial Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

How Real (Time) Are Virtual PLCs?

[BibT_eX]

[DOI]

Diogenes Javier Perez

Josef Waltl

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Attack Data Generation Framework for Autonomous Vehicle Sensors.

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Practical and Scalable Access Control Mechanism for the Internet of Things.

[BibT_eX]

[DOI]

Clémentine Gritti

IACR Cryptol. ePrint Arch., 2021

Quantitative System-Level Security Verification of the IoV Infrastructure.

[BibT_eX]

[DOI]

CoRR, 2021

Towards an Increased Detection Sensitivity of Time-Delay Attacks on Precision Time Protocol.

[BibT_eX]

[DOI]

Lea Schönberger

Javier Velasquez Gomez

Selma Saidi

IEEE Access, 2021

A novel load distribution strategy for aggregators using IoT-enabled mobile devices.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2021

Cluster-Based Network Time Synchronization for Resilience with Energy Efficiency.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

A-MaGe: Atomic Mashup Generator for the Web of Things.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 21st International Conference, 2021

Human-based Consensus for Trust Installation in Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

A-PoA: Anonymous Proof of Authorization for Decentralized Identity Management.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2021

Automated Dependency Resolution for Dynamic Reconfiguration of IEC 61499.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Checkpointing Period Optimization of Distributed Fail-Operational Automotive Applications.

[BibT_eX]

[DOI]

Emil Daporta

Proceedings of the 24th Euromicro Conference on Digital System Design, 2021

Heterogeneous Communication Virtualization for Distributed Embedded Applications.

[BibT_eX]

[DOI]

Proceedings of the 24th Euromicro Conference on Digital System Design, 2021

Worst-Case Failover Timing Analysis of Distributed Fail-Operational Automotive Applications.

[BibT_eX]

[DOI]

Sherif Elsabbahy

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Decentralized Autonomous Architecture for Resilient Cyber-Physical Production Systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

SPPS: Secure Policy-based Publish/Subscribe System for V2C Communication.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Towards a behavioral description of cyber-physical systems using the thing description.

[BibT_eX]

[DOI]

Proceedings of the DAI-SNAC@CoNEXT 2021: Proceedings of the 2021 Workshop on Descriptive Approaches to IoT Security, 2021

CISCAV: Consensus-based Intersection Scheduling for Connected Autonomous Vehicles.

[BibT_eX]

[DOI]

Markus Birkner

Proceedings of the 2021 IEEE International Conference on Omni-Layer Intelligent Systems, 2021

Runtime Deployment, Management and Monitoring of Web of Things Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE International Conference on Omni-Layer Intelligent Systems, 2021

2020

Internet of Things.

[BibT_eX]

[DOI]

it Inf. Technol., 2020

A survey on time-sensitive resource allocation in the cloud continuum.

[BibT_eX]

[DOI]

it Inf. Technol., 2020

Streamlining IoT system development with open standards.

[BibT_eX]

[DOI]

Sebastian Kaebisch

it Inf. Technol., 2020

No-Code Shadow Things Deployment for the IoT.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE World Forum on Internet of Things, 2020

Poster Abstract: C-Sync: The Resilient Time Synchronization Protocol.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2020

W-ADE: Timing Performance Benchmarking in Web of Things.

[BibT_eX]

[DOI]

Verena Eileen Schlott

Sebastian Käbisch

Proceedings of the Web Engineering - 20th International Conference, 2020

WiP Abstract: Mobility-based Load Balancing for IoT-enabled Devices in Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

DeCoRIC: Decentralized Connected Resilient IoT Clustering.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Computer Communications and Networks, 2020

Towards a Blockchain-based Identity and Trust Management Framework for the IoV Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 2020 Global Internet of Things Summit, 2020

Energy-Optimized Elastic Application Distribution for Automotive Systems in Hybrid Cloud Architectures.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

Fail-Operational Automotive Software Design Using Agent-Based Graceful Degradation.

[BibT_eX]

[DOI]

Felix Reimann

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Adaptable Demonstrator Platform for the Simulation of Distributed Agent-Based Automotive Systems.

[BibT_eX]

[DOI]

Sebastian Nagel

Proceedings of the 2nd International Workshop on Autonomous Systems Design, 2020

Real-Time Energy Monitoring in IoT-enabled Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

AMSA: Adaptive Merkle Signature Architecture.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Blockchain, what time is it? Trustless Datetime Synchronization for IoT.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

Random Forest Regression of Charge Balancing Data: A State of Health Estimation Method for Electric Vehicle Batteries.

[BibT_eX]

[DOI]

Moritz Riesterer

Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

Web of Things System Description for Representation of Mashups.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

COLAW: Cooperative Location Proof Architecture for VANETs based on Witnessing.

[BibT_eX]

[DOI]

Philippos Barabas

Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

2019

Optimal Dimensioning and Control of Active Cell Balancing Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2019

Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS.

[BibT_eX]

[DOI]

Thomas Zimmermann

Mathias Mora

Daniel Mueller-Gritschneder

Andreas Jossen

ACM Trans. Design Autom. Electr. Syst., 2019

Future Automotive HW/SW Platform Design (Dagstuhl Seminar 19502).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2019

Virtual-Thing: Thing Description based Virtualization.

[BibT_eX]

[DOI]

Hassib Belhaj Hassine

CoRR, 2019

WoTify: A platform to bring Web of Things to your devices.

[BibT_eX]

[DOI]

Hassib Belhaj Hassine

Verena Eileen Schlott

Sebastian Käbisch

CoRR, 2019

Enhancing Battery Pack Capacity Utilization in Electric Vehicle Fleets via SoC-Preconditioning.

[BibT_eX]

[DOI]

Ananth Garikapati

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Cost/Privacy Co-optimization in Smart Energy Grids.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Decentralized Non-Neighbor Active Charge Balancing in Large Battery Packs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

Multi-Pattern Active Cell Balancing Architecture and Equalization Strategy for Battery Packs.

[BibT_eX]

[DOI]

Sangyoung Park

Proceedings of the International Symposium on Low Power Electronics and Design, 2018

LeapChain: efficient blockchain verification for embedded IoT.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer-Aided Design, 2018

Design automation for battery systems.

[BibT_eX]

[DOI]

Sangyoung Park

Proceedings of the International Conference on Computer-Aided Design, 2018

SmaCoNat: Smart Contracts in Natural Language.

[BibT_eX]

[DOI]

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Sequential Behavioral Modeling for Scalable IoT Devices and Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

SOH-aware active cell balancing strategy for high power battery packs.

[BibT_eX]

[DOI]

Alma Pröbstl

Sangyoung Park

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Improving fast charging efficiency of reconfigurable battery packs.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Automated interpretation and reduction of in-vehicle network traces at a large scale.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Design Automation Conference, 2018

Future automotive systems design: research challenges and opportunities: special session.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017

Modular Active Charge Balancing for Scalable Battery Packs.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2017

Security in Automotive Networks: Lightweight Authentication and Authorization.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2017

Automotive Electrical and Electronic Architecture Security via Distributed In-Vehicle Traffic Monitoring.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Rapid Analysis of Active Cell Balancing Circuits.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

VEGa: A High Performance Vehicular Ethernet Gateway on Hybrid FPGA.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2017

Efficient decentralized active balancing strategy for smart battery cells.

[BibT_eX]

[DOI]

Nitin Shivaraman

Arvind Easwaran

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs.

[BibT_eX]

[DOI]

Arne Meeuw

ACM Trans. Design Autom. Electr. Syst., 2016

On Battery Recovery Effect in Wireless Sensor Nodes.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2016

Security-Aware Obfuscated Priority Assignment for Automotive CAN Platforms.

[BibT_eX]

[DOI]

Philipp Mundhenk

ACM Trans. Design Autom. Electr. Syst., 2016

Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Synthesis of Active Cell Balancing Architectures for Battery Packs.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

Open source model and simulator for real-time performance analysis of automotive network security.

[BibT_eX]

[DOI]

SIGBED Rev., 2016

Design and verification methodologies for Smart Battery Cells.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Integrated Circuits, 2016

Formal approaches to design of active cell balancing architectures in battery management systems.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Feature based state space coverage of analog circuits.

[BibT_eX]

[DOI]

Andreas Furtig

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

Distributed reconfigurable Battery System Management Architectures.

[BibT_eX]

[DOI]

Muhammad Usman Rafique

Qixin Wang

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015

Topology identification for smart cells in modular batteries.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Lightweight authentication for secure automotive networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Inductor optimization for active cell balancing using geometric programming.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Security analysis of automotive architectures using probabilistic model checking.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

Efficient design space exploration of embedded platforms.

[BibT_eX]

[DOI]

Florian Sagstetter

Proceedings of the 52nd Annual Design Automation Conference, 2015

Many-to-many active cell balancing strategy design.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

2014

Optimal dimensioning of active cell balancing architectures.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Smart Cells for Embedded Battery Management.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

Policy-based message scheduling using FlexRay.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

Verification of balancing architectures for modular batteries.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013

Security challenges in automotive hardware/software architecture design.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Priority assignment for event-triggered systems using mathematical programming.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

System architecture and software design for electric vehicles.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Modular system-level architecture for concurrent cell balancing.

[BibT_eX]

[DOI]

Swaminathan Naranayaswami

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Model-based development and verification of control software for electric vehicles.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

Formal verification of distributed controllers using Time-Stamped Event Count Automata.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012

Equivalence checking of nonlinear analog circuits for hierarchical AMS System Verification.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/IFIP International Conference on VLSI and System-on-Chip, 2012

Trajectory-Directed discrete state space modeling for formal verification of nonlinear analog circuits.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/ACM International Conference on Computer-Aided Design, 2012

Analog assertion-based verification on partial state space representations using ASL.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Cyber-Physical Systems Design for Electric Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

2011

Formal verification methodologies for nonlinear analog circuits (Formale Verifikationsmethodiken für nichtlineare analoge Schaltungen)

[BibT_eX]

[DOI]

PhD thesis, 2011

2010

Advanced methods for equivalence checking of analog circuits with strong nonlinearities.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2010

Improving verification coverage of analog circuit blocks by state space-guided transient simulation.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

2009

Formal approaches to analog circuit verification.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Model Checking of Analog Systems using an Analog Specification Language.

[BibT_eX]

[DOI]