BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (4)
model (4)
verif (3)
specif (2)
inform (2)

Stem psl$ (all stems)

11 papers:

KEODKEOD-2014-ChuiG #ontology
Merging the DOLCE and PSL Upper Ontologies (CC, MG), pp. 16–26.
CAVCAV-2013-ArmoniFJ #approach
SVA and PSL Local Variables — A Practical Approach (RA, DF, NJ), pp. 197–212.
DATEDATE-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.
TACASTACAS-2007-CimattiRT #optimisation #verification
Syntactic Optimizations for PSL Verification (AC, MR, ST), pp. 505–518.
COCVCOCV-2007-BloemGJPPW #hardware
Specify, Compile, Run: Hardware from PSL (RB, SJG, BJ, NP, AP, MW), pp. 3–16.
DATEDATE-2006-Morin-AlloryB #monitoring #specification
Proven correct monitors from PSL specifications (KMA, DB), pp. 1246–1251.
FMFM-2006-PnueliZ #model checking #runtime #verification
PSL Model Checking and Run-Time Verification Via Testers (AP, AZ), pp. 573–586.
ECOOPECOOP-1995-LeaM #interface #protocol #specification #using
Interface-Based Protocol Specification of Open Systems using PSL (DL, JM), pp. 374–398.
CAiSECAiSE-1989-McDaniel #information management #using
Using PSL/PSA to Model Information System Planning for The United States Department of the Army Headquarters (PDM).
LISPLFP-1982-GrissBM #lisp #named
PSL: A Portable LISP System (MLG, EB, GQMJ), pp. 88–97.
ICSEICSE-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.