|
СТ |
Deriving and Applying Logic Program Transformers |
1995 |
Anderson P., Basin D. |
|
|
|
Lecture Notes in Computer Science |
12.01.1996 |
|
СТ |
LISA: A Specification Language Based on WS2S |
1998 |
Ayari A., Basin D., Podelski A. |
|
|
|
Lecture Notes in Computer Science |
19.06.1998 |
|
СТ |
SecureUML: A UML-Based Modeling Language for Model-Driven Security |
2002 |
Lodderstedt T., Basin D., Doser J. |
|
|
|
Lecture Notes in Computer Science |
30.10.2002 |
|
СТ |
A Formal Analysis of the CORBA Security Service |
2002 |
Basin D., Rittinger F., Vigano L. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
Bytecode Model Checking: An Experimental Analysis |
2002 |
Basin D., Friedrich S., Gawkowski M., Posegga J. |
|
|
|
Lecture Notes in Computer Science |
01.05.2002 |
|
СТ |
Synthesis of Programs in Computational Logic |
2004 |
Basin D., Deville Y., Flener P., Hamfelt A., Nilsson J. F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.07.2004 |
