Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
4,323 authors found
quering by "Formal Verification"
.
Showing
the first 25
sort by ONE Index.
|
920
One Index
|
Biere, Armin PhD 0000-0001-7170-9242 |
295 docs (1997 - 2024)
Model Checking , Solver , Boolean satisfiability problem , Satisfiability , Symbolic Model Checker |
|
916
One Index
|
Yahav, Eran PhD 0000-0003-4305-6314 |
212 docs (1996 - 2023)
Source Code Analysis , Code (set theory) , Software Defect Prediction , Model Checking , Code Clone Detection |
|
914
One Index
|
Basin, David PhD 0000-0003-2952-939X |
492 docs (1989 - 2024)
Temporal Logic , Model Checking , Security Protocols , HOL , Constraint Logic Programming |
|
903
One Index
|
Bjorner, Nikolaj PhD 0000-0002-1695-2810 |
191 docs (1994 - 2024)
Model Checking , Satisfiability , Satisfiability Modulo Theories , Solver , Runtime Verification |
|
902
One Index
|
Vyatkin, Valeriy PhD 0000-0002-9315-9920 |
530 docs (2000 - 2024)
Model Checking , Reconfigurable Manufacturing Systems , IEC 61850 , Safety Verification , Design for Manufacture |
|
901
One Index
|
Zanella Béguelin, Santiago PhD 0000-0003-0479-9967 |
104 docs (2006 - 2024)
Searchable Encryption , Secure Multi-party Computation , Homomorphic Encryption , Pairing-based Cryptography , Privacy-Preserving Computation |
|
900
One Index
|
BARTHE, Gilles PhD 0000-0002-3853-1777 |
455 docs (1995 - 2024)
Privacy-Preserving Computation , Searchable Encryption , Security Analysis , Pairing-based Cryptography , Type Inference |
|
896
One Index
|
Bhargavan, Karthikeyan PhD 0000-0002-3152-8997 |
146 docs (1998 - 2024)
Security Protocols , Implementation , Authentication , Security Analysis , Handshake |
|
896
One Index
|
Rybalchenko, Andrey PhD |
147 docs (2002 - 2024)
Model Checking , Runtime Verification , Liveness , Safety Verification , Predicate abstraction |
|
895
One Index
|
A Amir Pnueli PhD |
453 docs (1968 - 2021)
Temporal Logic , Model Checking , Runtime Verification , Liveness , Safety Verification |
|
893
One Index
|
Tinelli, Cesare PhD 0000-0002-6726-775X |
208 docs (1996 - 2024)
Solver , Satisfiability , Satisfiability Modulo Theories , Model Checking , Satisfiability modulo theories |
|
892
One Index
|
Sergey, Ilya PhD 0000-0003-4250-5392 |
111 docs (2009 - 2024)
Blockchain , Model Checking , Smart Contracts , Programming Language Semantics , Heap (data structure) |
|
889
One Index
|
Kohlweiss, Markulf PhD 0000-0002-8660-9663 |
342 docs (1996 - 2023)
Searchable Encryption , Secure Multi-party Computation , Privacy-Preserving Computation , Security Protocols , Attribute-Based Encryption |
|
888
One Index
|
Esparza, Javier PhD 0000-0001-9862-4919 |
380 docs (1989 - 2024)
Model Checking , Stochastic Petri Nets , Petri Nets , Runtime Verification , Safety Verification |
|
883
One Index
|
Tonetta, Stefano PhD 0000-0001-9091-7899 |
152 docs (2003 - 2024)
Model Checking , Safety Verification , Temporal Logic , Runtime Verification , Symbolic Model Checker |
|
883
One Index
|
Kupferman, Orna PhD 0000-0003-4699-6117 |
304 docs (1995 - 2024)
Model Checking , Nondeterministic algorithm , Temporal Logic , Synchronizing Automata , Satisfiability Modulo Theories |
|
882
One Index
|
Odersky, Martin PhD 0009-0005-3923-8993 |
207 docs (1987 - 2024)
Scala , Programming Language Semantics , Model Checking , Type Inference , Performance Optimization |
|
881
One Index
|
Zdancewic, Steve PhD 0000-0002-3516-1512 |
171 docs (1999 - 2024)
Programming Language Semantics , Information flow , Security Policies , Memory safety , Type Inference |
|
880
One Index
|
Birkedal, Lars PhD 0000-0003-1320-0098 |
248 docs (1993 - 2024)
Separation Logic , Temporal Logic , Nonmonotonic Reasoning , Type theory , Constraint Logic Programming |
|
879
One Index
|
Majumdar, Rupak PhD 0000-0003-2136-0542 |
496 docs (1996 - 2024)
Model Checking , Abstraction , Runtime Verification , Temporal Logic , Probabilistic Systems |
|
878
One Index
|
Bouajjani, Ahmed PhD 0000-0002-2060-3592 |
258 docs (1989 - 2024)
Model Checking , Reachability problem , Undecidable problem , Symbolic Model Checker , Runtime Verification |
|
877
One Index
|
Strub, Pierre-Yves PhD 0000-0002-8196-7875 |
117 docs (2001 - 2024)
Proof assistant , Privacy-Preserving Computation , Secure Multi-party Computation , Differential Privacy , Implementation |
|
877
One Index
|
Heule, Marijn PhD 0000-0002-5587-8801 |
204 docs (2005 - 2024)
Satisfiability , Boolean satisfiability problem , Solver , Satisfiability Modulo Theories , Conjunctive normal form |
|
875
One Index
|
Claessen, Koen PhD 0000-0002-8113-4478 |
152 docs (1997 - 2024)
Haskell , Model Checking , Temporal Logic , Counterexample , Benchmark (surveying) |
|
875
One Index
|
Leino, K. Rustan M. PhD 0000-0003-2872-8039 |
173 docs (1992 - 2023)
Model Checking , Formal Verification , Runtime Verification , Safety Verification , Programming Language Semantics |
