|
СТ |
Precise Interprocedural Analysis through Linear Algebra |
2004 |
Muller-Olm M., Seidl H. |
|
|
|
POPL 2004 |
09.06.2004 |
|
СТ |
MetaGame: An Animation Tool for Model-Checking Games |
2004 |
Muller-Olm M., Yoo H. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
|
СТ |
On the Complexity of Constant Propagation |
2001 |
Muller-Olm M., Ruthing O. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
On the Translation of Procedures to Finite Machines |
2000 |
Muller-Olm M., Wolf A. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Compilation and Synthesis for Real-Time Embedded Controllers |
1999 |
Franzle M., Muller-Olm M. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
On Excusable and Inexcusable Failures |
1999 |
Muller-Olm M., Wolf A. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
On the Evolution of Reactive Components - A Process-Algebraic Approach |
1999 |
Muller-Olm M., Steffen B., Cleavaland R. |
|
|
|
Lecture Notes in Computer Science |
06.04.1999 |
|
М |
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction |
1997 |
Muller-Olm M. |
Lecture Notes in Computer Science |
|
|
|
28.08.1997 |
|
СТ |
An Exercise in Compiler Verification |
1995 |
Muller-Olm M. |
|
|
|
Kolloquium: Programmiersprachen und Grundlagen der Programmierung. Adalbert Stifter Haus, Alt Reichenau. 11-13 Oktober 1995 |
23.05.1996 |
|
СТ |
Provably Correct Systems |
1994 |
He J., Hoare C.A. R., Franzle M., Muller-Olm M., Olderog E. -R., Schenke M., Hansen M. R., Ravn A. P., Rischel H. |
|
|
|
Lecture Notes in Computer Science |
19.10.1994 |
|
СТ |
Towards Provably Correct Code Generation for a Hard Real-Time Programming Language |
1994 |
Franzle M., Muller-Olm M. |
|
|
|
Lecture Notes in Computer Science |
27.04.1994 |
|
СТ |
Provably Correct Compiler Development and Implementation |
1992 |
Buth B., Buth K. -H., Franzle M., Karger B. V., Lakhneche Y., Langmaack H., Muller-Olm M. |
|
|
|
Lecture Notes in Computer Science |
27.10.1992 |
