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 × Denmark
1 × Germany
2 × USA
Collaborated with:
L.M.d.Moura H.Rueß S.Voss K.Echtle S.Owre J.M.Rushby N.Shankar A.Tiwari
Talks about:
model (2) check (2) bound (2) sal (2) categori (1) abstract (1) trigger (1) theorem (1) schedul (1) network (1)

Person: Maria Sorea

DBLP DBLP: Sorea:Maria

Contributed to:

IFM 20092009
CAV 20042004
CAV 20032003
CADE 20022002

Wrote 4 papers:

IFM-2009-VossSE #network #scheduling
SAL-Based Symbolic Scheduling in Time-Triggered Networks (SV, MS, KE), pp. 200–214.
SAL 2 (LMdM, SO, HR, JMR, NS, MS, AT), pp. 496–500.
CAV-2003-MouraRS #bound #induction #model checking #verification
Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A) (LMdM, HR, MS), pp. 14–26.
CADE-2002-MouraRS #bound #infinity #lazy evaluation #model checking #proving #theorem proving
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains (LMdM, HR, MS), pp. 438–455.

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.