227 citations
- University of StuttgartDE59 papers
- Max Planck Institute for Intelligent SystemsDE4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Heidelberg UniversityDE3 papers
- Baden-Wuerttemberg Cooperative State UniversityDE2 papers
- British Astronomical AssociationGB2 papers
- Center for Integrated Quantum Science and TechnologyDE2 papers
- Graz University of TechnologyAT2 papers
- Jet Propulsion LaboratoryUS2 papers
- Kirchhoff (Germany)DE2 papers
- Max Planck Institute for Solid State ResearchDE2 papers
- Planetary Science InstituteUS2 papers
Showing 2016Show all
3 papers · 1 filter
cs.SE2016★ 6 cited
A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis
Asim Abdulkhaleq, Stefan Wagner
Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Theref…
cs.DC2016★ 2 cited
AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version)
Marius Poke, Torsten Hoefler, Colin W. Glass
Many distributed systems require coordination between the components involved. With the steady growth of such systems, the probability of failures increases, which necessitates sca…
q-bio.NC2016
Diversity of emergent dynamics in competitive threshold-linear networks
Katherine Morrison, Anda Degeratu, Vladimir Itskov +1
Threshold-linear networks consist of simple units interacting in the presence of a threshold nonlinearity. Competitive threshold-linear networks have long been known to exhibit mul…