Stem sos$ (all stems)

13 papers:

FoSSaCS-2014-DArgenioGL #axiom #bisimulation #metric #probability

Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules (PRD, DG, MDL), pp. 289–303.

CAiSE-2012-AtzeniBR #database #framework

Uniform Access to Non-relational Database Systems: The SOS Platform (PA, FB, LR), pp. 160–174.

OOPSLA-2011-LiSD #analysis #concurrent #detection #named

SOS: saving time in dynamic race detection with stationary analysis (DL, WSa, MBD), pp. 35–50.

SLE-2011-StappersWRAN #case study #domain-specific language #formal method #industrial #using

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study (FPMS, SW, MAR, SA, IN), pp. 223–242.

ICSE-2010-Schneider #exclamation

Beyond hacking: an SOS! (FBS), p. 2.

ICPR-v3-2004-ShimizuYWSTN #detection #mobile

Moving Object Detection with Mobile Stereo Omni-directional System (SOS) based on Motion Compensatory Inter-frame Depth Subtraction (SS, KY, CW, YS, HT, YN), pp. 248–251.

LICS-2004-MousaviRG #congruence

Congruence for SOS with Data (MRM, MAR, JFG), pp. 303–312.

LOPSTR-2002-BragaHMM #composition #logic

Mapping Modular SOS to Rewriting Logic (CdOB, EHH, JM, PDM), pp. 262–277.

SAS-1998-BodeiDP #abstract interpretation #concurrent #semantics

Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation (CB, PD, CP), pp. 168–183.

POPL-1997-Sands #functional #proving

From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages (DS), pp. 428–441.

ESOP-1994-Buth #simulation #term rewriting

Simulation of SOS Definitions with Term Rewriting Systems (KHB), pp. 150–164.

RE-1993-GreenspanF #paradigm #requirements #using

Requirements engineering using the SOS paradigm (SJG, MF), pp. 260–263.

LICS-1992-AcetoBV #equation

Turning SOS Rules into Equations (LA, BB, FWV), pp. 113–124.