|
СТ |
Learning to Verify Safety Properties |
2004 |
Vardhan A., Sen K., Viswanathan M., Agha G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.02.2005 |
|
СТ |
A Temporal Logic Based Network for Intrusion Detection |
2004 |
Naldurg P., Sen K., Thati P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
|
СТ |
Online Efficient Predictive Safety Analysis of Multithreaded Programs |
2004 |
Sen K., Rosu G., Agha G. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
|
СТ |
Rule-Based Runtime Verification |
2004 |
Barringer H., Goldberg A., Havelund K., Sen K. |
|
|
|
Lecture Notes in Computer Science |
11.02.2004 |
|
СТ |
Generating Optimal Linear Temporal Logic Monitors by Coinduction |
2003 |
Sen K., Rosu G., Agha G. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
