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 × Austria
1 × Spain
1 × United Kingdom
2 × Israel
3 × France
4 × USA
Collaborated with:
G.Kamhi O.Grumberg M.Y.Vardi N.Francez O.Weissberg F.B.Schneider R.Fraer R.Alur T.A.Henzinger A.Tiemeyer S.Hazelhurst R.Armoni A.Flaisher B.Ziv S.Mador-Haim E.Singerman P.Basu S.Das P.Dasgupta P.P.Chakrabarti C.R.Mohan N.Piterman F.Copty E.Giunchiglia A.Tacchella D.L.Dill N.James S.Rawat G.Berry H.Foster R.K.Ranjan G.Stålmarck C.Widdoes T.Arons E.Elster M.Mishaeli J.Shalev L.D.Zuck R.Gerth B.Ginsburg T.Kanza A.Landver Y.Zbar
Talks about:
verif (6) program (3) tempor (3) formal (3) properti (2) composit (2) effici (2) design (2) logic (2) get (2)

Person: Limor Fix

DBLP DBLP: Fix:Limor

Facilitated 2 volumes:

DAC 2008Ed
DAC 2004Ed

Contributed to:

CAV 20052005
DATE v1 20042004
CAV 20032003
DAC 20022002
TACAS 20022002
CAV 20012001
CAV 20002000
CAV 19971997
CAV 19941994
ICALP 19941994
ICALP 19921992
ICALP 19911991

Wrote 13 papers:

CAV-2005-AronsEFMMSSTVZ #verification
Formal Verification of Backward Compatibility of Microcode (TA, EE, LF, SMH, MM, JS, ES, AT, MYV, LDZ), pp. 185–198.
DATE-v1-2004-BasuDDCMF #architecture #design #question #verification
Formal Verification Coverage: Are the RTL-Properties Covering the Design’s Architectural Intent? (PB, SD, PD, PPC, CRM, LF), pp. 668–669.
CAV-2003-ArmoniFFGPTV #detection #linear #logic
Enhanced Vacuity Detection in Linear Temporal Logic (RA, LF, AF, OG, NP, AT, MYV), pp. 368–380.
DAC-2002-DillJRBFFRSW #verification
Formal verification methods: getting around the brick wall (DLD, NJ, SR, GB, LF, HF, RKR, GS, CW), pp. 576–577.
DAC-2002-HazelhurstWKF #approach #design #hybrid #verification
A hybrid verification approach: getting deep into the design (SH, OW, GK, LF), pp. 111–116.
TACAS-2002-ArmoniFFGGKLMSTVZ #logic
The ForSpec Temporal Logic: A New Temporal Property-Specification Language (RA, LF, AF, RG, BG, TK, AL, SMH, ES, AT, MYV, YZ), pp. 296–211.
CAV-2001-CoptyFFGKTV #bound #industrial #model checking
Benefits of Bounded Model Checking at an Industrial Setting (FC, LF, RF, EG, GK, AT, MYV), pp. 436–453.
CAV-2000-FraerKZVF #analysis #performance #reachability #traversal #verification
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification (RF, GK, BZ, MYV, LF), pp. 389–402.
CAV-1997-KamhiWF #automation #performance
Automatic Datapath Extraction for Efficient Usage of HDD (GK, OW, LF), pp. 95–106.
CAV-1994-AlurFH #automaton
A Determinizable Class of Timed Automata (RA, LF, TAH), pp. 1–13.
ICALP-1994-FixS #reasoning #source code
Reasoning about Programs by Exploiting the Environment (LF, FBS), pp. 328–339.
ICALP-1992-FixFG #composition #unification
Program Composition via Unification (LF, NF, OG), pp. 672–684.
ICALP-1991-FixFG #composition #verification
Program Composition and Modular Verification (LF, NF, OG), pp. 93–114.

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.