46 citations
- AIT Austrian Institute of Technology GmbHAT3 papers
- Technical University of DenmarkDK3 papers
- Delft University of TechnologyNL2 papers
- National Technical University of AthensGR2 papers
- Ricerca sul Sistema Energetico (Italy)IT2 papers
- Carl von Ossietzky Universität OldenburgDE1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Diputación Foral de GipuzkoaES1 paper
- DNV (Netherlands)NL1 paper
- European Distributed Energy Resources LaboratoriesDE1 paper
- Fraunhofer Institute for Energy Economics and Energy System TechnologyDE1 paper
- Kema International (Netherlands)NL1 paper
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2021★ 1 cited
Testing a Battery Management System via Criticality-based Rare Event Simulation
Daniel Grujic, Tabea Henning, Emilio José Calleja García +1
For the validation of safety-critical systems regarding safety and comfort, e.g., in the context of automated driving, engineers often have to cope with large (parametric) test spa…
cs.SE2013★ 3 cited
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets
Sven Sieverding, Christian Ellen, Peter Battram
In this paper, we formally define Test Case Sequence Diagrams (TCSD) as an easy-to-use means to specify test cases for components including timing constraints. These test cases are…