Schröer, Philipp
84  results:
Search for persons X
?
2

A Deductive Verification Infrastructure for Probabilistic P..:

Schröer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien..
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 2052-2082 , 2023
 
?
4

Grundfälle zur gestörten Gesamtschuld:

, In: Juristische Arbeitsblätter
Fischinger, Philipp S. ; Schröer, Philipp. (2022)  12 - p. 982-988
Copies:  BB Nat.-NW1: z jur 001/681; Juridicum: z jur 001/681
 
?
5

Latticed k-Induction with an Application to Probabilistic P..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
 
?
10

PrIC3: Property Directed Reachability for MDPs:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
 
?
11

Modeling the Dynamic Behavior of 12V AGM Batteries and Its ..:

, In: 2019 IEEE Vehicle Power and Propulsion Conference (VPPC),
 
?
12

Analysis of deviations between time-based and frequency-bas..:

, In: Elektrik/Elektronik in Hybrid- und Elektrofahrzeugen und elektrisches Energiemanagement VII / Dr.-Ing. Carsten Hoff, Dipl.-Ing. (Univ.) Ottmar Sirch (Hrsg.) und 129 Mitautoren
Copies:  TB BHV: ver 60/44-VII; :TB Technik l 472/679
 
1-15