Limor Fix

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Program composition via unification Automata, Languages and Programming	2019-12-04	Paper
Reasoning about programs by exploiting the environment Automata, Languages and Programming	2019-04-29	Paper
SAT-based induction for temporal safety properties	2013-09-20	Paper
Enhanced vacuity detection in linear temporal logic. Lecture Notes in Computer Science	2010-04-20	Paper
Fifteen Years of Formal Property Verification in Intel 25 Years of Model Checking	2008-07-15	Paper
VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND International Journal of Foundations of Computer Science	2007-03-13	Paper
Computer Aided Verification Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2080056 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1796153 (Why is no real title available?)	2002-09-04	Paper
scientific article; zbMATH DE number 1670790 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 1324661 (Why is no real title available?)	1999-08-17	Paper
Event-clock automata: a determinizable class of timed automata Theoretical Computer Science	1999-01-12	Paper
Verification of temporal properties Journal Of Logic And Computation	1996-11-10	Paper
Program composition via unification Theoretical Computer Science	1994-08-29	Paper
scientific article; zbMATH DE number 176727 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Limor Fix