## Die Suche ergab 12 Treffer

15. Feb 2018 19:58
Forum: Archiv
Thema: Final Exam Inspection
Antworten: 0
Zugriffe: 783

### Final Exam Inspection

Dear Participants of the SDPA final exam, The final exam inspection will take place on 26.02.2018 (Monday), 9:30-10:30 in room S2|02/A313. Please bring your student ID card and an official photo ID for authentication. To avoid unnecessarily long waiting times, we recommend that people with last name...
6. Feb 2018 15:45
Forum: Archiv
Thema: Room for Final Exam (NO change)
Antworten: 0
Zugriffe: 192

### Room for Final Exam (NO change)

Dear participants of SDPA, If you have NOT registered for the SDPA final exam you can ignore this message. As previously announced in the lecture and on our website, the room for the final exam on 08.02.2018 (Thursday), 11:40-13:20, will be S1|03/223 (usual lecture room on Thursdays for the course)....
3. Feb 2018 20:16
Forum: Archiv
Thema: Error in Sample Solution of Exercise 5.2
Antworten: 1
Zugriffe: 226

### Re: Error in Sample Solution of Exercise 5.2

Hi Alexander, Thanks for pointing out the non-optimality of f_S1 and f_S2. In the this solution, each of f_S1, f_S2, f_S4 and f_S5 was in fact non-optimal. For S1, the optimal analysis f_S1 is such that f_S1(l) is the bottom element of L as long as one of l(x), l(y) and l(z) is none, and f_S(l) is t...
30. Jan 2018 10:38
Forum: Archiv
Thema: Module 8: SI security theorem
Antworten: 1
Zugriffe: 190

### Re: Module 8: SI security theorem

Hi,

Yes, it should be "strongly secure" instead of "strongly low secure".
Sorry for the confusion. We will upload a new version of slides
with this correction later.

Best regards,
Ximeng
28. Jan 2018 14:51
Forum: Archiv
Thema: Strong Low Bisimulation on Configurations and Strong Low Bisimulation on Programs
Antworten: 1
Zugriffe: 244

### Re: Strong Low Bisimulation on Configurations and Strong Low Bisimulation on Programs

Hi Alexander, I did not read in detail all your arguments about the example programs, but it is correct that for each of the examples a strong low bisimulation on configurations can be constructed such that the pairing of the two programs with some pair/ all pairs of low equal states is in the bisim...
25. Jan 2018 11:05
Forum: Archiv
Thema: Exercise Sheet 10
Antworten: 1
Zugriffe: 194

### Re: Exercise Sheet 10

Hi Alexander,

As noticed on Tuesday, we will cover some residual slides today.

In fact, SI-secure will be on the slides we are about to cover.

Best regards,
Ximeng
18. Jan 2018 10:42
Forum: Archiv
Thema: Module 2 pg22,25
Antworten: 1
Zugriffe: 276

### Re: Module 2 pg22,25

Hi,

You're right that because of the definition of the function labels ,
the definition of the vertex set V of a control flow graph, and the
definition of the set Lab_S, can be simplified. Thanks for pointing
this out and sorry for the late response.

Best regards,
Ximeng
17. Jan 2018 17:10
Forum: Archiv
Thema: Mid-term exam inspection
Antworten: 0
Zugriffe: 173

### Mid-term exam inspection

Dear Participants of SDPA, The mid-term exam inspection will take place on 24.01.2018 (Wednesday), 9:00-10:00 in Room S2|02/E202. Please bring your student ID card and an official photo ID for authentication. To avoid unnecessarily long waiting times, we recommend that people with last names startin...
11. Jan 2018 09:31
Forum: Archiv
Thema: Remark on Sample Solution of Exercise 3.1
Antworten: 1
Zugriffe: 243

### Re: Remark on Sample Solution of Exercise 3.1

Hi Alexander,

I think you are right that it should be S_C^2 = S_C^1
instead of S_C^1 = S_C^0 in this solution.
Thanks for pointing this out.

Best regards,
Ximeng
5. Dez 2017 20:32
Forum: Archiv
Thema: Room for Mid-term Exam (NO change)
Antworten: 0
Zugriffe: 190

### Room for Mid-term Exam (NO change)

Dear Participants of SDPA, If you have NOT registered for the SDPA mid-term exam you can ignore this message. The SDPA mid-term exam on Thursday 07.12.2017 starting 11:40 is written in S1|03/223 (i.e. the usual lecture room on Thursdays). Do not forget to bring your student ID card and official phot...
1. Dez 2017 14:48
Forum: Archiv
Thema: Remarks and Questions on the Monotone Framework
Antworten: 2
Zugriffe: 364

### Re: Remarks and Questions on the Monotone Framework

Hi Alexander, In general, the Monotone Framework enables one to express analyses over an infinite domain (e.g., the constant propagation analysis). Correspondingly, the Monotone Framework comes with the assumption of a complete lattice, where a least upper bound exists for all subsets including the ...
8. Nov 2017 17:34
Forum: Archiv
Thema: Questions and remarks about modeling of probabilistic schedulers
Antworten: 2
Zugriffe: 285

### Re: Questions and remarks about modeling of probabilistic schedulers

Hi Alexander, Your idea on having initial states for schedulers is sensible -- scheduler definitions along this line exist in the literature. An alternative design choice is to impose the initial state for a (deterministic) scheduler in the definition of a notion of "derivation sequences under sched...