Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
26,649 authors found
quering by "Model Checking"
.
Showing
the first 25
sort by ONE Index.
|
946
One Index
|
Su, Zhendong PhD 0000-0002-2970-1391 |
249 docs (1997 - 2024)
Software Defect Prediction , Source Code Analysis , Code (set theory) , Bug Localization , Code Clone Detection |
|
938
One Index
|
Alur, Rajeev PhD 0000-0003-1733-7083 |
405 docs (1989 - 2024)
Model Checking , Temporal Logic , Symbolic Model Checker , Runtime Verification , Undecidable problem |
|
932
One Index
|
Tabuada, Paulo PhD 0000-0002-3417-0951 |
378 docs (1999 - 2024)
Constraint Handling , Nonlinear Systems , Cyber-physical system , Model Checking , Distributed Control |
|
932
One Index
|
Althoff, Matthias PhD 0000-0003-3733-842X |
403 docs (1982 - 2024)
Model Checking , Benchmark (surveying) , Urban Driving , Optimal Motion Planning , Trajectory Prediction |
|
931
One Index
|
Sun, JiaGuang PhD 0000-0002-5884-7939 |
289 docs (1986 - 2023)
Shape Optimization , Fuzz testing , Workflow Mining , Texture Mapping , Code (set theory) |
|
931
One Index
|
Yannakakis, Mihalis PhD 0000-0003-2857-1860 |
346 docs (1978 - 2024)
Model Checking , Approximation Algorithms , Parameterized Complexity , Probabilistic Systems , Constraint Satisfaction Problems |
|
931
One Index
|
Sastry, S. Shankara PhD 0009-0000-9021-7235 |
460 docs (1980 - 2024)
Adaptive Control , Hybrid Systems , Robust Control , Nonlinear Systems , Stability Analysis |
|
929
One Index
|
M. Kholid Baror Abadi PhD |
295 docs (1985 - 2023)
Security Protocols , Nonmonotonic Reasoning , Temporal Logic , Programming Language Semantics , Soundness |
|
927
One Index
|
Vechev, Martin PhD 0000-0002-0054-9568 |
309 docs (2003 - 2024)
Robustness , Code (set theory) , Leverage (statistics) , Robustness (evolution) , Software Defect Prediction |
|
926
One Index
|
Vardi, Moshe PhD 0000-0002-0661-5773 |
906 docs (1972 - 2024)
Model Checking , Temporal Logic , Satisfiability , Runtime Verification , Satisfiability Modulo Theories |
|
926
One Index
|
Wang, Yi PhD 0000-0002-2994-6110 |
269 docs (1991 - 2024)
Timing Analysis , Multiprocessor Scheduling , Scheduling Algorithms , Hard Real-Time Systems , Model Checking |
|
924
One Index
|
Visser, Willem PhD 0000-0002-0913-3091 |
216 docs (1993 - 2024)
Model Checking , Software Reliability Modeling , Symbolic Model Checker , Automated Testing , Concolic testing |
|
921
One Index
|
ROYCHOUDHURY, Abhik PhD 0000-0002-7127-1137 |
293 docs (1995 - 2024)
Program Repair , Multiprocessor Scheduling , Software Defect Prediction , Timing Analysis , Fuzz testing |
|
921
One Index
|
Murray, Richard PhD 0000-0002-5785-7481 |
871 docs (1887 - 2024)
Robustness (evolution) , Synthetic biology , Robust Control , Temporal Logic , Adaptive Control |
|
920
One Index
|
Biere, Armin PhD 0000-0001-7170-9242 |
295 docs (1997 - 2024)
Model Checking , Solver , Boolean satisfiability problem , Satisfiability , Symbolic Model Checker |
|
919
One Index
|
Baresi, Luciano PhD 0000-0001-6467-837X |
339 docs (1993 - 2024)
Service-Oriented Computing , Service-Oriented Architecture , Software Architecture , Web Service Composition , Service Selection Algorithms |
|
919
One Index
|
Ganesh, Vijay PhD 0000-0002-6029-2047 |
365 docs (1997 - 2024)
Solver , Satisfiability , Boolean satisfiability problem , Constraint Optimization , Enumeration |
|
916
One Index
|
AMGOUD, Leila PhD 0000-0002-1838-4271 |
430 docs (1991 - 2024)
Argumentation Frameworks , Dialectical Argumentation , Agent-Based Modeling , Multi-Agent Systems , Nonmonotonic Reasoning |
|
916
One Index
|
Verdecchia, Roberto PhD 0000-0001-9206-6637 |
63 docs (2016 - 2024)
Technical debt , Software Defect Prediction , Source Code Analysis , Code (set theory) , Software Architecture |
|
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
|
La Rosa, Marcello PhD 0000-0001-9568-4035 |
349 docs (2003 - 2024)
Predictive Process Monitoring , Process Models , Process Performance Measurement , Semantic Business Process Management , Process mining |
|
914
One Index
|
Basin, David PhD 0000-0003-2952-939X |
492 docs (1989 - 2024)
Temporal Logic , Model Checking , Security Protocols , HOL , Constraint Logic Programming |
|
913
One Index
|
Wฤ sowski, Andrzej PhD 0000-0003-0532-2685 |
227 docs (2001 - 2024)
Feature Models , Feature (linguistics) , Model Transformation , Variability Management , Model Checking |
|
913
One Index
|
Wadler, Philip PhD 0000-0001-7619-6378 |
272 docs (1975 - 2021)
Programming Language Semantics , Haskell , Description Logics , Type Inference , Model Checking |
|
912
One Index
|
Bloem, Roderick PhD 0000-0002-1411-5744 |
246 docs (1996 - 2023)
Model Checking , Temporal Logic , Automated Testing , Software Reliability Modeling , Implementation |
