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: Fix:Limor
Facilitated 2 volumes:
EdEdContributed to:
2005
200420032002
20022001200019971994
199419921991Wrote 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.