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: Sorea:Maria
Contributed to:
2009
20042003
2002Wrote 4 papers:
- IFM-2009-VossSE #network #scheduling
- SAL-Based Symbolic Scheduling in Time-Triggered Networks (SV, MS, KE), pp. 200–214.
- CAV-2004-MouraORRSST
- 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.