Orna Grumberg
Orcid: 0009-0005-9682-3312Affiliations:
- Technion - Israel Institute of Technology, Haifa, Israel
According to our database1,
Orna Grumberg
authored at least 139 papers
between 1983 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2015, "For contributions to research in automated formal verification of hardware and software systems.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Automated Technology for Verification and Analysis, 2024
2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version).
CoRR, 2022
Proceedings of the Principles of Systems Design, 2022
2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains.
J. Autom. Reason., 2019
Proceedings of the 7th IEEE Conference on Communications and Network Security, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Proceedings of the Static Analysis - 24th International Symposium, 2017
An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
2016
Proceedings of the Dependable Software Systems Engineering, 2016
A framework for compositional verification of multi-valued systems via abstraction-refinement.
Inf. Comput., 2016
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201).
Dagstuhl Reports, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
2014
Proceedings of the Software Systems Safety, 2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications.
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Proceedings of the Software Safety and Security - Tools for Analysis and Verification, 2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
2010
Proceedings of the Logics and Languages for Reliability and Security, 2010
Proceedings of the Language and Automata Theory and Applications, 2010
2009
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.
Int. J. Softw. Tools Technol. Transf., 2009
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations.
Formal Methods Syst. Des., 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Proceedings of the Languages: From Formal to Natural, 2009
Proceedings of the Automated Technology for Verification and Analysis, 2009
2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
2007
ACM Trans. Comput. Log., 2007
Int. J. Softw. Tools Technol. Transf., 2007
Int. J. Found. Comput. Sci., 2007
When not losing is better than winning: Abstraction and refinement for the full mu-calculus.
Inf. Comput., 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
2006
Formal Methods Syst. Des., 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Formal Methods Syst. Des., 2005
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005
Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation.
Proceedings of the Correct Hardware Design and Verification Methods, 2005
Proceedings of the Correct Hardware Design and Verification Methods, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Int. J. Softw. Tools Technol. Transf., 2004
Formal Methods Syst. Des., 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004
2003
Int. J. Softw. Tools Technol. Transf., 2003
J. ACM, 2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
J. Log. Algebraic Methods Program., 2002
Formal Methods Syst. Des., 2002
Proceedings of the Parallel and Distributed Model Checking, 2002
Proceedings of the Integrated Formal Methods, Third International Conference, 2002
Proceedings of the Integrated Formal Methods, Third International Conference, 2002
2001
Proceedings of the Informatics - 10 Years Back. 10 Years Ahead., 2001
2000
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System.
Formal Methods Syst. Des., 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Int. J. Softw. Tools Technol. Transf., 1999
Proceedings of the First International Workshop on Symbolic Model Checking, 1999
"Have I written enough Properties?" - A Method of Comparison between Specification and Implementation.
Proceedings of the Correct Hardware Design and Verification Methods, 1999
1998
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998
1997
1996
Model checking.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Formal Methods Syst. Des., 1995
Proceedings of the 32st Conference on Design Automation, 1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995
Proceedings of the Correct Hardware Design and Verification Methods, 1995
1994
Proceedings of the Temporal Logic, First International Conference, 1994
1993
Formal Methods Syst. Des., 1993
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993
Proceedings of the CONCUR '93, 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
1992
J. Log. Comput., 1992
1991
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991
1990
Sematics-Driven Decompositions for the Verification of Distributed Programs.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990
1989
Inf. Comput., April, 1989
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989
1988
Theor. Comput. Sci., 1988
1987
Proceedings of the Temporal Logic in Specification, 1987
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987
1986
1985
1984
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984
1983
Proceedings of the Logics of Programs, 1983