Community Research and Development Information Service - CORDIS

Power to the People. Verified.

From 2016-09-01 to 2021-08-31, ongoing project | POWVER Website

Project details

Total cost:

EUR 2 425 000

EU contribution:

EUR 2 425 000

Coordinated in:

Germany

Call for proposal:

ERC-2015-AdGSee other projects for this call

Funding scheme:

ERC-ADG - Advanced Grant

Objective

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

Host Institution

UNIVERSITAT DES SAARLANDES
Germany

EU contribution: EUR 2 425 000


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

Contact the organisation

Beneficiaries

UNIVERSITAT DES SAARLANDES
Germany

EU contribution: EUR 2 425 000


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

Contact the organisation

To know more

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top