Publisher: Elsevier

Related content
Volume 55, Number 2, January 2004

< previous issue | all issues | next issue >

Favourites:Add to Favourites
Favourites:Add to Favourites

Collecting and Analyzing Data from Distributed Control Programs
pp. 1-19(19)
Authors: Kortenkamp, D.; Milam, T.; Simmons, R.; Fernandez, J.L.

Favourites:Add to Favourites

Monitoring Java Programs with Java PathExplorer
pp. 1-18(18)
Authors: Havelund, K.; Rosu, G.

Favourites:Add to Favourites

Dynamic Assertions Using TXP
pp. 1-13(13)
Authors: Dudani, S.; Geada, J.; Jakacki, G.; Vainer, D.

Favourites:Add to Favourites

Jass - Java with Assertions
pp. 1-15(15)
Authors: Bartetzko, D.; Fischer, C.; Moller, M.; Wehrheim, H.

Favourites:Add to Favourites

Checking Finite Traces using Alternating Automata
pp. 1-17(17)
Authors: Finkbeiner, B.; Sipma, H.

Favourites:Add to Favourites

DynaMICs - Comprehensive Support for Run-Time Monitoring
pp. 1-17(17)
Authors: Gates, A.Q.; Roach, S.; Mondragon, O.; Delgado, N.

Favourites:Add to Favourites

Java-MaC - A Run-time Assurance Tool for Java Programs
pp. 1-18(18)
Authors: Kim, M.; Kannan, S.; Lee, I.; Sokolsky, O.; Viswanathan, M.

Favourites:Add to Favourites
Favourites:Add to Favourites

Efficient Automated Trace Analysis - Examples with Morphine
pp. 1-16(16)
Authors: Ducasse, M.; Jahier, E.

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more