Travelled to:1 × France
1 × Italy
1 × United Kingdom
3 × USA
Collaborated with:Y.Meller O.Grumberg E.M.Clarke D.Kröning O.Shacham C.Eisner A.Nahir N.Sharygina
Talks about:behavior (3) model (3) check (2) uml (2) techniqu (1) function (1) composit (1) abstract (1) verilog (1) softwar (1)
Person: Karen Yorav
DBLP: Yorav:Karen
Contributed to:
2014
2012
2008
2007
20052003Wrote 6 papers:
- IFM-2014-MellerGY #behaviour #uml #verification
- Verifying Behavioral UML Systems via CEGAR (YM, OG, KY), pp. 139–154.
- FM-2012-GrumbergMY #behaviour #model checking #modelling #uml
- Applying Software Model Checking Techniques for Behavioral UML Models (OG, YM, KY), pp. 277–292.
- CAV-2008-EisnerNY #composition #design #functional #power management #reasoning #verification
- Functional Verification of Power Gated Designs by Compositional Reasoning (CE, AN, KY), pp. 433–445.
- DAC-2007-ShachamY #on the fly
- On-The-Fly Resolve Trace Minimization (OS, KY), pp. 594–599.
- TACAS-2005-ClarkeKSY #abstraction #named #satisfiability
- SATABS: SAT-Based Predicate Abstraction for ANSI-C (EMC, DK, NS, KY), pp. 570–574.
- DAC-2003-ClarkeKY #behaviour #bound #c #consistency #model checking #source code #using
- Behavioral consistency of C and verilog programs using bounded model checking (EMC, DK, KY), pp. 368–371.