Stem psl$ (all stems)

11 papers:

KEOD-2014-ChuiG #ontology

Merging the DOLCE and PSL Upper Ontologies (CC, MG), pp. 16–26.

CAV-2013-ArmoniFJ #approach

SVA and PSL Local Variables — A Practical Approach (RA, DF, NJ), pp. 197–212.

DATE-2010-FerroP #modelling #semantics #transaction #verification

Formal semantics for PSL modeling layer and application to the verification of transactional models (LF, LP), pp. 1207–1212.

TACAS-2007-CimattiRT #optimisation #verification

Syntactic Optimizations for PSL Verification (AC, MR, ST), pp. 505–518.

COCV-2007-BloemGJPPW #hardware

Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.

DATE-2006-Morin-AlloryB #monitoring #specification

Proven correct monitors from PSL specifications (KMA, DB), pp. 1246–1251.

FM-2006-PnueliZ #model checking #runtime #verification

PSL Model Checking and Run-Time Verification Via Testers (AP, AZ), pp. 573–586.

ECOOP-1995-LeaM #interface #protocol #specification #using

Interface-Based Protocol Specification of Open Systems using PSL (DL, JM), pp. 374–398.

CAiSE-1989-McDaniel #information management #using

Using PSL/PSA to Model Information System Planning for The United States Department of the Army Headquarters (PDM).

LFP-1982-GrissBM #lisp #named

PSL: A Portable LISP System (MLG, EB, GQMJ), pp. 88–97.

ICSE-1976-TeichroewH #analysis #documentation #information management #named

PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems (Abstract) (DT, EAHI), p. 2.