BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Kerstin Eder
SearchCollections
Map detail
Kerstin Eder13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipKerstin EderAKerstin EderResearcherENTRA: Whole-Systems Energy TransparencyWENTRA: Whole-Systems En...preprint / 2016On Self-Supervised Dynamic Incremental Regularised AdaptationWOn Self-Supervised Dyna...preprint / 2023Goal-constrained Planning Domain Model Verification of Safety PropertiesWGoal-constrained Planni...preprint / 2020Formal Verification of Control Systems Properties with Theorem ProvingWFormal Verification of ...preprint / 2014A high-level model of embedded flash energy consumptionWA high-level model of e...preprint / 2014A software controlled voltage tuning system using multi-purpose ring oscillatorsWA software controlled v...preprint / 2015Using Models at Runtime to Address Assurance for Self-Adaptive SystemsWUsing Models at Runtime...preprint / 2015Modeling and visualizing networked multi-core embedded software energy consumptionWModeling and visualizin...preprint / 2015Marimba: A Tool for Verifying Properties of Hidden Markov ModelsWMarimba: A Tool for Ver...preprint / 2015Evaluating Model Checking Approaches to Verify Stability of Control Systems in SimulinkWEvaluating Model Checki...preprint / 2015EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software DevelopmentWEACOF: A Framework for ...preprint / 2014CyRes -- Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract)WCyRes -- Avoiding Catas...preprint / 2020
Person12 links

Kerstin Eder

Researcher

PaperENTRA: Whole-Systems Energy TransparencyAuthorship / preprint / 2016PaperOn Self-Supervised Dynamic Incremental Regularised AdaptationAuthorship / preprint / 2023PaperGoal-constrained Planning Domain Model Verification of Safety PropertiesAuthorship / preprint / 2020PaperFormal Verification of Control Systems Properties with Theorem ProvingAuthorship / preprint / 2014PaperA high-level model of embedded flash energy consumptionAuthorship / preprint / 2014PaperA software controlled voltage tuning system using multi-purpose ring oscillatorsAuthorship / preprint / 2015PaperUsing Models at Runtime to Address Assurance for Self-Adaptive SystemsAuthorship / preprint / 2015PaperModeling and visualizing networked multi-core embedded software energy consumptionAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)