|
СТ |
Invariants, Modularity, and Rights |
2010 |
Cohen E., Alkassar E., Boyarinov V., Dahlweid M., Degenbaev U., Hillebrand M., Langenstein B., Leinenbach D., Moskal M., Obua S., Paul W., Pentchev H., Petrova E., Santen T., Schirmer N., Schmaltz S., Schulte W., Shadrin A., Tobies S., Tsyban A., Tverdyshev S. |
Lecture Notes in Computer Science |
|
|
Perspectives of Systems Informatics |
13.04.2010 |
|
СТ |
Semantic Essence of AsmL: Extended Abstract |
2004 |
Gurevich Yu., Rossman B., Schulte W. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
12.02.2005 |
|
СТ |
Generating Finite State Machines from Abstract State Machines |
2004 |
Grieskamp W., Gurevich Yu., Schulte W., Veanes M. |
|
|
|
Moscow Computer Sience School 2004 - ASM: Abstract State Machine |
29.10.2004 |
|
СТ |
Semantic Essence of AsmL |
2004 |
Gurevich Yu., Rossman B., Schulte W. |
|
|
|
Moscow Computer Science School 2004 - ASM: Abstract State Machine |
29.10.2004 |
|
СТ |
Towards a Tool Environment for Model-Based Testing with AsmL |
2004 |
Barnett M., Grieskamp W., Nachmanson L., Schulte W., Tillmann N., Veanes M. |
|
|
|
Lecture Notes in Computer Science |
11.03.2004 |
|
СТ |
Investigating Java Concurrency Using Abstract State Machines |
2000 |
Gurevich Y., Schulte W., Wallace C. |
|
|
|
Lecture Notes in Computer Science |
27.10.2000 |
|
СТ |
A Programmer Friendly Modular Definition of the Semantics of Java |
1999 |
Borger E., Schulte W. |
|
|
|
Lecture Notes in Computer Science |
03.07.1999 |
|
СТ |
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation |
1998 |
Borger E., Schulte W. |
|
|
|
Lecture Notes in Computer Science |
02.09.1998 |
|
СТ |
A Formal OO Method Inspired by Fusion and Object-Z |
1997 |
Achatz K., Schulte W. |
|
|
|
Lecture Notes in Computer Science |
15.04.1997 |
|
СТ |
The Design of a Functional GUI Library Using Constructor Classes |
1996 |
Vullinghs T., Schulte W., Schwinn T. |
|
|
|
Lecture Notes in Computer Science |
15.02.1997 |
|
СТ |
Lightweight GUIs for Functional Programming |
1995 |
Vullinghs T., Tuijnman D., Schulte W. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Deriving Residual Reference Count Garbage Collectors |
1994 |
Schulte W. |
|
|
|
Lecture Notes in Computer Science |
12.10.1994 |
