×

zbMATH — the first resource for mathematics

Fix, Limor

Compute Distance To:
Author ID: fix.limor Recent zbMATH articles by "Fix, Limor"
Published as: Fix, Limor
External Links: MGP
Documents Indexed: 15 Publications since 1991

Publications by Year

Citations contained in zbMATH

12 Publications have been cited 95 times in 91 Documents Cited by Year
Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132
Alur, Rajeev; Fix, Limor; Henzinger, Thomas A.
35
1999
The ForSpec temporal logic: A new temporal property-specification language. Zbl 1043.68563
Armoni, Roy; Fix, Limor; Flaisher, Alon; Gerth, Rob; Ginsburg, Boris; Kanza, Tomer; Landver, Avner; Mador-Haim, Sela; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zbar, Yael
16
2002
Benefits of bounded model checking at an industrial setting. Zbl 0991.68637
Copty, Fady; Fix, Limor; Fraer, Ranan; Giunchiglia, Enrico; Kamhi, Gila
15
2001
Enhanced vacuity detection in linear temporal logic. Zbl 1278.68153
Armoni, Roy; Fix, Limor; Flaisher, Alon; Grumberg, Orna; Piterman, Nir; Tiemeyer, Andreas; Vardi, Moshe Y.
10
2003
Formal verification of backward compatibility of microcode. Zbl 1081.68602
Arons, Tamarah; Elster, Elad; Fix, Limor; Mador-Haim, Sela; Mishaeli, Michael; Shalev, Jonathan; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zuck, Lenore D.
4
2005
Verification of temporal properties. Zbl 0851.68070
Fix, Limor; Grumberg, Orna
4
1996
Prioritized traversal: Efficient reachability analysis for verification and falsification. Zbl 0974.68572
Fraer, Ranan; Kamhi, Gila; Ziv, Barukh; Vardi, Moshe Y.; Fix, Limor
3
2000
Program composition and modular verification. Zbl 0769.68093
Fix, Limor; Francez, Nissim; Grumberg, Orna
3
1991
Program composition via unification. Zbl 0822.68061
Fix, Limor; Francez, Nissim; Grumberg, Orna
2
1994
Fifteen years of formal property verification in Intel. Zbl 1142.68433
Fix, Limor
1
2008
SAT-based induction for temporal safety properties. Zbl 1272.68219
Armoni, Roy; Fix, Limor; Fraer, Ranan; Huddleston, Scott; Piterman, Nir; Vardi, Moshe Y.
1
2005
Reasoning about programs by exploiting the environment. Zbl 1418.68054
Fix, Limor; Schneider, Fred B.
1
1994
Fifteen years of formal property verification in Intel. Zbl 1142.68433
Fix, Limor
1
2008
Formal verification of backward compatibility of microcode. Zbl 1081.68602
Arons, Tamarah; Elster, Elad; Fix, Limor; Mador-Haim, Sela; Mishaeli, Michael; Shalev, Jonathan; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zuck, Lenore D.
4
2005
SAT-based induction for temporal safety properties. Zbl 1272.68219
Armoni, Roy; Fix, Limor; Fraer, Ranan; Huddleston, Scott; Piterman, Nir; Vardi, Moshe Y.
1
2005
Enhanced vacuity detection in linear temporal logic. Zbl 1278.68153
Armoni, Roy; Fix, Limor; Flaisher, Alon; Grumberg, Orna; Piterman, Nir; Tiemeyer, Andreas; Vardi, Moshe Y.
10
2003
The ForSpec temporal logic: A new temporal property-specification language. Zbl 1043.68563
Armoni, Roy; Fix, Limor; Flaisher, Alon; Gerth, Rob; Ginsburg, Boris; Kanza, Tomer; Landver, Avner; Mador-Haim, Sela; Singerman, Eli; Tiemeyer, Andreas; Vardi, Moshe Y.; Zbar, Yael
16
2002
Benefits of bounded model checking at an industrial setting. Zbl 0991.68637
Copty, Fady; Fix, Limor; Fraer, Ranan; Giunchiglia, Enrico; Kamhi, Gila
15
2001
Prioritized traversal: Efficient reachability analysis for verification and falsification. Zbl 0974.68572
Fraer, Ranan; Kamhi, Gila; Ziv, Barukh; Vardi, Moshe Y.; Fix, Limor
3
2000
Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132
Alur, Rajeev; Fix, Limor; Henzinger, Thomas A.
35
1999
Verification of temporal properties. Zbl 0851.68070
Fix, Limor; Grumberg, Orna
4
1996
Program composition via unification. Zbl 0822.68061
Fix, Limor; Francez, Nissim; Grumberg, Orna
2
1994
Reasoning about programs by exploiting the environment. Zbl 1418.68054
Fix, Limor; Schneider, Fred B.
1
1994
Program composition and modular verification. Zbl 0769.68093
Fix, Limor; Francez, Nissim; Grumberg, Orna
3
1991
all top 5

Cited by 196 Authors

7 Vardi, Moshe Y.
6 Kupferman, Orna
4 Bouyer, Patricia
4 Schuppan, Viktor
3 Chockler, Hana
3 Fisman, Dana
3 Fix, Limor
3 Geeraerts, Gilles
3 Grumberg, Orna
3 Legay, Axel
3 Ouaknine, Joel O.
3 Raskin, Jean-François
3 Rusu, Vlad
3 Strichman, Ofer
3 Worrell, James B.
2 Akshay, S.
2 Avni, Guy
2 Babari, Parvaneh
2 Bertrand, Nathalie
2 Bloem, Roderick
2 Brihaye, Thomas
2 Droste, Manfred
2 Dufourd, Catherine
2 Eisner, Cindy
2 Francez, Nissim
2 Gastin, Paul
2 Giunchiglia, Enrico
2 Kavraki, Lydia E.
2 Krichen, Moez
2 Krishna, Shankara Narayanan
2 Larsen, Kim Guldstrand
2 Lucanu, Dorel
2 Manna, Zohar
2 Mateescu, Radu
2 Pandya, Paritosh K.
2 Perevoshchikov, Vitaly
2 Plaku, Erion
2 Sznajder, Nathalie
2 Tacchella, Armando
2 Tonetta, Stefano
2 Zimmermann, Martín G.
1 Ábrahám, Erika
1 Åkesson, Knut
1 Aljazzar, Husain
1 Ammar, Ikhlass
1 André, Étienne
1 Arusoaie, Andrei
1 Baader, Franz
1 Barner, Sharon
1 Bauer, Andreas
1 Becker, Bernd
1 Ben-David, Shoham
1 Bérard, Béatrice
1 Bernot, Gilles
1 Bhave, Devendra
1 Bollig, Benedikt
1 Bošnački, Dragan
1 Bozzelli, Laura
1 Bradley, Aaron R.
1 Brauer, Jörg
1 Breik, Keenan
1 Brotherston, James
1 Bruyère, Véronique
1 Bryant, Randal E.
1 Carlier, Pierre
1 Castellini, Claudio
1 Cimatti, Alessandro
1 Ciobâcă, Ştefan
1 Claessen, Koen
1 Clarke, Edmund Melson jun.
1 Clemente, Lorenzo
1 Colvin, Robert J.
1 Comet, Jean-Paul
1 Copty, Fady
1 Cordero, Pablo
1 Dave, Vrunda
1 David, Alexandre
1 Dax, Christian
1 de Guzmán, Inmaculada Pérez
1 de Jong, Hidde
1 de Weerdt, Mathijs M.
1 Dingel, Juergen
1 Dongol, Brijesh
1 Doyen, Laurent
1 Dumas, Estelle
1 Ebrahimi, Masoud
1 Edelkamp, Stefan
1 Eén, Niklas
1 El Touati, Yamen
1 Enciso, Manuel
1 Fahrenberg, Uli
1 Faymonville, Peter
1 Fehnker, Ansgar
1 Fey, Görschwin
1 Finkbeiner, Bernd
1 Fleury, Emmanuel
1 Függer, Matthias
1 Garavel, Hubert
1 Godlin, Benny
1 Gonen, Hila
...and 96 more Authors

Citations by Year