Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

ERC

POWVER

Project ID: 695614
Financiado con arreglo a

Power to the People. Verified.

Desde 2016-09-01 hasta 2021-08-31, proyecto en curso | POWVER Sitio web

Detalles del proyecto

Coste total:

EUR 2 425 000

Aportación de la UE:

EUR 2 425 000

Coordinado en:

Germany

Convocatoria de propuestas:

ERC-2015-AdGSee other projects for this call

Régimen de financiación:

ERC-ADG - Advanced Grant

Objetivo

Related Information not available

Deliverables

Deliverables not available

Publications

  • Battery-Aware Scheduling in Low Orbit: The GomX-3 Case
    Author(s): Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krčál, Gilles Nies, Marvin Stenger
    Published in: 21st International Symposium on Formal Methods, FM 2016, 2016. Page(s) 559-576. 
    DOI: 10.1007/978-3-319-48989-6_34
  • Exploiting Robust Optimization for Interval Probabilistic Bisimulation
    Author(s): Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini
    Published in: 13th International Conference on Quantitative Evaluation of Systems, QEST 2016, 2016. Page(s) 55-71. 
    DOI: 10.1007/978-3-319-43425-4_4
  • My O Is Bigger Than Yours (Invited Talk)
    Author(s): Holger Hermanns
    Published in: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, 2016. 
    DOI: 10.4230/LIPIcs.FSTTCS.2016.3
  • Mastering Operational Limitations of LEO Satellites: The GomX-3 Approach
    Author(s): Gilles Nies, Marvin Stenger, Jan Krčál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn R. Haverkort, Marijn Jongerden, Kim G. Larsen, and Erik R. Wognsen
    Published in: 67th International Astronautical Congress, IAC 2016, 2016. 
  • Facets of Software Doping
    Author(s): Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns
    Published in: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA (2) 2016, 2016. Page(s) 601-608. 
    DOI: 10.1007/978-3-319-47169-3_46
  • Effective Static and Dynamic Fault Tree Analysis
    Author(s): Ola Bäckström, Yuliya Butkova, Holger Hermanns, Jan Krčál, Pavel Krčál
    Published in: 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, 2016. Page(s) 266-280. 
    DOI: 10.1007/978-3-319-45477-1_21

Institución de acogida

UNIVERSITAT DES SAARLANDES
Germany

Aportación de la UE: EUR 2 425 000


CAMPUS
66123 SAARBRUCKEN
Germany
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Beneficiarios

UNIVERSITAT DES SAARLANDES
Germany

Aportación de la UE: EUR 2 425 000


CAMPUS
66123 SAARBRUCKEN
Germany
Activity type: Higher or Secondary Education Establishments

Contact the organisation

To know more

Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba