The declarative past and imperative future: Executable temporal logic for interactive systems von Gabbay, Dov

Volltext

Temporal, numerical and meta-level dynamics in argumentation networks von Barringer, H, Gabbay, D M, Woods, J

Volltext

Mercury concentrations in water from an unconfined aquifer system, New Jersey coastal plain von Barringer, Julia L., Szabo, Zoltan, Kauffman, Leon J., Barringer, Thomas H., Stackelberg, Paul E., Ivahnenko, Tamara, Rajagopalan, Shilpa, Krabbenhoft, David P.

Volltext

Modal and temporal argumentation networks von Barringer, H, Gabbay, D M, Woods, J

Volltext

Temporal logic with fixed points von Banieqbal, Behnam, Barringer, Howard

Volltext

Assumption generation for software component verification von Giannakopoulou, D., Pasareanu, C.S., Barringer, H.

Volltext

On the relation of programs and computations to models of temporal logic von Wolper, Pierre

Volltext

Rule Systems for Run-time Monitoring: from Eagle to RuleR von Barringer, Howard, Rydeheard, David, Havelund, Klaus

Volltext

Statistical Model Checking: An Overview von Legay, Axel, Delahaye, Benoît, Bensalem, Saddek

Volltext

Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 Proceedings von Banieqbal, B, Barringer, H, Pnueli, A

Volltext

Rule-Based Runtime Verification von Barringer, Howard, Goldberg, Allen, Havelund, Klaus, Sen, Koushik

Volltext

The prescription and description of state based systems von Khosla, S., Maibaum, T. S. E.

Volltext

Abstract object types: A temporal perspective von Sernadas, A., Fiadeiro, J., Sernadas, C., Ehrich, H.-D.

Volltext

Comparing linear and branching time temporal logics von Stirling, Colin

Volltext

Unified verification theory von Vardi, Moshe Y.

Volltext

Using temporal logic for prototyping: The design of a lift controller von Hale, Roger

Volltext

Extending interval logic to real time systems von Melliar-Smith, P. M.

Volltext

Enforcing nondeterminism via linear time temporal logic specifications using hiding von Kuiper, Ruurd

Volltext

Specifying communicating systems with temporal logic von Zhou, Chaochen

Volltext

Interleaving set temporal logic von Katz, Shmuel, Peled, Doron

Volltext