75 citations
- Carl von Ossietzky Universität OldenburgDE19 papers
- AIT Austrian Institute of Technology GmbHAT13 papers
- Technical University of DenmarkDK11 papers
- Delft University of TechnologyNL8 papers
- European Distributed Energy Resources LaboratoriesDE6 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- HAW HamburgDE5 papers
- National Technical University of AthensGR5 papers
- University of StrathclydeGB5 papers
- Fraunhofer Institute for Energy Economics and Energy System TechnologyDE4 papers
- Laboratoire Charles FabryFR4 papers
- Université Paris-SaclayFR4 papers
Showing 2013Show all
2 papers · 1 filter
hep-th2013★ 31 cited
Stable Cosmic Vortons
Julien Garaud, Eugen Radu, Mikhail S. Volkov
We present for the first time solutions in the gauged model of Witten describing vortons -- spinning flux loops stabilized against contraction by the centrifugal…
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…