Personal information

Websites & social links

Personal
Departmental
Publication list

Keywords

Computer science, SMT, verification, embedded systems

Countries

Sweden

Activities

Collapse all

Funding (5)

WebSec

2018 to 2023 | Grant
Swedish Foundation for Strategic Research (Stockholm, SE)
GRANT_NUMBER: RIT17-0011
Source: Self-asserted source
Philipp Rümmer

Satisfiability Modulo Theories and Quantifiers

2015-01-01 to 2018-12-31 | Grant
Swedish Research Council (n/a, SE)
GRANT_NUMBER: 2014-5484
GRANT_NUMBER: 2014-5484
Source: Self-asserted source
Philipp Rümmer via DimensionsWizard

First-Order Satisfiability Modulo Theories

2013-11 to 2016-11 | Grant
Microsoft Research (WA, WA, US)
Source: Self-asserted source
Philipp Rümmer

Scalable Floating-Point Reasoning for Embedded Systems Analysis

2012-01-01 to 2014-12-31 | Grant
Swedish Research Council (n/a, SE)
GRANT_NUMBER: 2011-6310
GRANT_NUMBER: 2011-6310
Source: Self-asserted source
Philipp Rümmer via DimensionsWizard

Testing Embedded Software with the Z3 SMT Solver

2009 to 2009 | Grant
Microsoft Research (WA, WA, US)
Source: Self-asserted source
Philipp Rümmer
How many people are using ORCID?