-
2
-
-
84947290593
-
The Temporal Rover and the ATG Rover
-
SPIN Model Checking and Software Verification, Springer
-
D. Drusinsky. The Temporal Rover and the ATG Rover. In SPIN Model Checking and Software Verification, volume 1885 of LNCS. Springer, 2000.
-
(2000)
LNCS
, vol.1885
-
-
Drusinsky, D.1
-
3
-
-
11344253696
-
On the construction of monitors for temporal logic properties
-
Elsevier
-
M. Geilen. On the construction of monitors for temporal logic properties. In ENTCS, volume 55. Elsevier, 2001.
-
(2001)
ENTCS
, vol.55
-
-
Geilen, M.1
-
5
-
-
84960940206
-
Circular coinductive rewriting
-
IEEE, (Grenoble, France)
-
J. Goguen, K. Lin, and G. Roşu Circular coinductive rewriting. In Proceedings, International Conference on Automated Software Engineering (ASE'00). IEEE, 2000. (Grenoble, France).
-
(2000)
Proceedings, International Conference on Automated Software Engineering (ASE'00)
-
-
Goguen, J.1
Lin, K.2
Roşu, G.3
-
6
-
-
35248861359
-
Conditional circular coinductive rewriting with case analysis
-
Recent Trends in Algebraic Development Techniques (WADT'02), Frauenchiemsee, Germany, September Springer
-
J. Goguen, K. Lin, and G. Rosu. Conditional circular coinductive rewriting with case analysis. In Recent Trends in Algebraic Development Techniques (WADT'02), LNCS, Frauenchiemsee, Germany, September 2002. Springer.
-
(2002)
LNCS
-
-
Goguen, J.1
Lin, K.2
Rosu, G.3
-
8
-
-
4644223214
-
Java Path Explorer - A Runtime Verification Tool
-
Montreal, Canada, June 18-21
-
K. Havelund and G. Roşu. Java Path Explorer - A Runtime Verification Tool. In The 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space: A New Space Odyssey, Montreal, Canada, June 18-21, 2001.
-
(2001)
The 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space: A New Space Odyssey
-
-
Havelund, K.1
Roşu, G.2
-
10
-
-
18944392918
-
Runtime Verification 2002
-
Elsevier, Proceedings of a Computer Aided Verification (CAV'02) satellite workshop
-
K. Havelund and G. Roşu. Runtime Verification 2002, volume 70(4) of ENTCS. Elsevier, 2002. Proceedings of a Computer Aided Verification (CAV'02) satellite workshop.
-
(2002)
ENTCS
, vol.70
, Issue.4
-
-
Havelund, K.1
Roşu, G.2
-
11
-
-
84888249425
-
Synthesizing monitors for safety properties
-
Tools and Algorithms for Construction and Analysis of Systems (TACAS'02), Springer
-
K. Havelund and G. Roşu. Synthesizing monitors for safety properties. In Tools and Algorithms for Construction and Analysis of Systems (TACAS'02), volume 2280 of LNCS. Springer, 2002.
-
(2002)
LNCS
, vol.2280
-
-
Havelund, K.1
Roşu, G.2
-
13
-
-
0022029327
-
Refutational theorem proving using term rewriting systems
-
J. Hsiang. Refutational theorem proving using term rewriting systems. Artificial Intelligence, 25, 1985.
-
(1985)
Artificial Intelligence
, vol.25
-
-
Hsiang, J.1
-
14
-
-
19144373771
-
Java-MaC: A Run-time Assurance Tool for Java
-
Proceedings of Runtime Verification (RV'01), Elsevier
-
M. Kim, S. Kannan, I. Lee, and O. Sokolsky. Java-MaC: a Run-time Assurance Tool for Java. In Proceedings of Runtime Verification (RV'01), volume 55 of ENTCS. Elsevier, 2001.
-
(2001)
ENTCS
, vol.55
-
-
Kim, M.1
Kannan, S.2
Lee, I.3
Sokolsky, O.4
-
17
-
-
0003311357
-
Runtime Assurance Based on Formal Specifications
-
I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime Assurance Based on Formal Specifications. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999.
-
(1999)
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications
-
-
Lee, I.1
Kannan, S.2
Kim, M.3
Sokolsky, O.4
Viswanathan, M.5
-
18
-
-
0043229221
-
An update on STeP: Deductive-algorithmic verification of reactive systems
-
Tool Support for System Specification, Development and Verification, Springer
-
Z. Manna, N. Bjørner, and A. B. et al. An update on STeP: Deductive-algorithmic verification of reactive systems. In Tool Support for System Specification, Development and Verification, LNCS. Springer, 1998.
-
(1998)
LNCS
-
-
Manna, Z.1
Bjørner, N.2
B, A.3
-
22
-
-
0004193326
-
-
PhD thesis, University of California at San Diego
-
G. Roşu. Hidden Logic. PhD thesis, University of California at San Diego, 2000.
-
(2000)
Hidden Logic
-
-
Roşu, G.1
-
23
-
-
84947771910
-
Testing extended regular language membership incrementally by rewriting
-
Rewriting Techniques and Applications (RTA '03), Springer
-
G. Roşu and M. Viswanathan. Testing extended regular language membership incrementally by rewriting. In Rewriting Techniques and Applications (RTA '03), LNCS. Springer, 2003.
-
(2003)
LNCS
-
-
Roşu, G.1
Viswanathan, M.2
-
24
-
-
17444392939
-
Generating Optimal Monitors for Extended Regular Expressions
-
Proceedings of Runtime Verification (RV'03) (To appear), Elsevier
-
K. Sen and G. Roşu. Generating Optimal Monitors for Extended Regular Expressions. In Proceedings of Runtime Verification (RV'03) (To appear), volume 89(2) of ENTCS. Elsevier, 2003.
-
(2003)
ENTCS
, vol.89
, Issue.2
-
-
Sen, K.1
Roşu, G.2
-
26
-
-
84947247929
-
Model-Checking Multi-threaded Distributed Java Programs
-
SPIN Model Checking and Software Verification, Springer
-
S. D. Stoller. Model-Checking Multi-threaded Distributed Java Programs. In SPIN Model Checking and Software Verification, volume 1885 of LNCS. Springer, 2000.
-
(2000)
LNCS
, vol.1885
-
-
Stoller, S.D.1
-
27
-
-
84960853881
-
Model Checking Programs
-
IEEE CS Press, Sept.
-
W. Visser, K. Havelund, G. Brat, and S. Park. Model Checking Programs. In Proceedings, The 15th IEEE International Conference on Automated Software Engineering (ASE'00). IEEE CS Press, Sept. 2000.
-
(2000)
Proceedings, the 15th IEEE International Conference on Automated Software Engineering (ASE'00)
-
-
Visser, W.1
Havelund, K.2
Brat, G.3
Park, S.4
|