BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Portugal
2 × Cyprus
2 × Italy
Collaborated with:
S.Georgievska M.v.d.Brand J.C.M.Baeten L.Engelen L.J.P.Engelen T.Verhoeff F.P.M.Stappers S.Weber M.A.Reniers I.Nagy
Talks about:
probabilist (3) process (2) test (2) transform (1) industri (1) abstract (1) reusabl (1) reactiv (1) probabl (1) languag (1)

♀ Person: Suzana Andova

DBLP DBLP: Andova:Suzana

Facilitated 2 volumes:

LDTA 2012Ed
LDTA 2012PrCh

Contributed to:

ICMT 20122012
SFM 20122012
SLE 20112011
FOSSACS 20102010
QAPL 20102010
TACAS 20012001

Wrote 6 papers:

ICMT-2012-AndovaBE #model transformation #reuse
Reusable and Correct Endogenous Model Transformations (SA, MvdB, LE), pp. 72–88.
SFM-2012-AndovaBEV #domain-specific language
MDE Basics with a DSL Focus (SA, MvdB, LJPE, TV), pp. 21–57.
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.
FoSSaCS-2010-GeorgievskaA #probability #testing
Retaining the Probabilities in Probabilistic Testing Theory (SG, SA), pp. 79–93.
QAPL-2010-GeorgievskaA #probability #process #testing
Testing Reactive Probabilistic Processes (SG, SA), pp. 99–113.
TACAS-2001-AndovaB #abstraction #algebra #probability #process
Abstraction in Probabilistic Process Algebra (SA, JCMB), pp. 204–219.

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.